Second-order logicIn logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle).
Structure (logique mathématique)En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle). La sémantique de la logique du premier ordre se définit dans une structure.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Logique floueLa logique floue (fuzzy logic, en anglais) est une logique polyvalente où les valeurs de vérité des variables — au lieu d'être vrai ou faux — sont des réels entre 0 et 1. En ce sens, elle étend la logique booléenne classique avec des . Elle consiste à tenir compte de divers facteurs numériques pour qu'on souhaite acceptable.
Programmation logiqueLa programmation logique est une forme de programmation qui définit les applications à l'aide : d'une base de faits : ensemble de faits élémentaires concernant le domaine visé par l'application, d'une base de règles : règles de logique associant des conséquences plus ou moins directes à ces faits, d'un moteur d'inférence (ou démonstrateur de théorème ) : exploite ces faits et ces règles en réaction à une question ou requête. Cette approche se révèle beaucoup plus souple que la définition d'une succession d'instructions que l'ordinateur exécuterait.
Pauvretéalt=|vignette|250x250px|Manifestation contre la pauvreté des étudiants, France. alt=|vignette|250x250px|Habitants des rues du district de San'ya à Tokyo, au Japon. La pauvreté désigne dans une société donnée le fait d'être dans une situation d'infériorité matérielle par rapport aux individus les plus favorisés; cela se traduit notamment par des difficultés à subvenir à ses besoins et à ceux de ses proches, mais aussi par une stigmatisation de la part des personnes plus riches.
Cycle of povertyIn economics, a cycle of poverty or poverty trap is caused by self-reinforcing mechanisms that cause poverty, once it exists, to persist unless there is outside intervention. It can persist across generations, and when applied to developing countries, is also known as a development trap. Families trapped in the cycle of poverty have few to no resources. There are many self-reinforcing disadvantages that make it virtually impossible for individuals to break the cycle.
Programme des Nations unies pour le développementLe Programme des Nations unies pour le développement (PNUD) fait partie des programmes et fonds de l'ONU. Son rôle est d'aider les pays en développement en leur fournissant des conseils mais également en plaidant leurs causes pour l'octroi de dons. C'est ainsi que ce programme travaille en collaboration avec de nombreux autres programmes comme l'Onusida et d'autres organisations internationales (UPU et OMS notamment). Son siège est situé à New York, aux États-Unis.
Poverty reductionPoverty reduction, poverty relief, or poverty alleviation is a set of measures, both economic and humanitarian, that are intended to permanently lift people out of poverty. Measures, like those promoted by Henry George in his economics classic Progress and Poverty, are those that raise, or are intended to raise, ways of enabling the poor to create wealth for themselves as a conduit of ending poverty forever. In modern times, various economists within the Georgism movement propose measures like the land value tax to enhance access to the natural world for all.
Theories of povertyTheories on the causes of poverty are the foundation upon which poverty reduction strategies are based. While in developed nations poverty is often seen as either a personal or a structural defect, in developing nations the issue of poverty is more profound due to the lack of governmental funds. Some theories on poverty in the developing world focus on cultural characteristics as a retardant of further development.
Maladievignette|320px|The Sick Girl (en français : La Fille malade) de Michael Ancher La maladie est une altération des fonctions ou de la santé d'un organisme vivant. On parle aussi bien de la maladie, se référant à l'ensemble des altérations de santé, que dune maladie, qui désigne alors une entité particulière caractérisée par des causes, des symptômes, une évolution et des possibilités thérapeutiques propres. Un ou une malade est une personne souffrant d'une maladie, qu'elle soit déterminée ou non.
Recherche scientifiquevignette|Une laborantine du Laboratoire fédéral d'essai des matériaux et de recherche (EMPA) à Saint-Gall, en 1964. La recherche scientifique est, en premier lieu, l’ensemble des actions entreprises en vue de produire et de développer les connaissances scientifiques. Par extension métonymique, on utilise également ce terme dans le cadre social, économique, institutionnel et juridique de ces actions. thumb|Allégorie de la Recherche, bronze par , 1896, Thomas Jefferson Building.
Diseases of affluenceDiseases of affluence, previously called diseases of rich people, is a term sometimes given to selected diseases and other health conditions which are commonly thought to be a result of increasing wealth in a society. Also referred to as the "Western disease" paradigm, these diseases are in contrast to so-called "diseases of poverty", which largely result from and contribute to human impoverishment. These diseases of affluence have vastly increased in prevalence since the end of World War II.
Diseases of povertyDiseases of poverty (also known as poverty-related diseases) are diseases that are more prevalent in low-income populations. They include infectious diseases, as well as diseases related to malnutrition and poor health behaviour. Poverty is one of the major social determinants of health. The World Health Report (2002) states that diseases of poverty account for 45% of the disease burden in the countries with high poverty rate which are preventable or treatable with existing interventions.
Maladie liée au mode de vieLes maladies liées au style de vie ou maladies de civilisation sont définies comme des maladies liées à la façon dont les gens vivent leur vie. La fréquence d'apparition de ces maladies semble augmenter au fur et à mesure que les pays deviennent plus industrialisés et que les gens vivent plus longtemps. Elles sont souvent dues à une mauvaise alimentation, à la consommation d'alcool, de tabac, de drogue, ainsi qu'à un manque d'activité physique.
Maladies tropicales négligéesLes maladies tropicales négligées (souvent désignées sous l'acronyme anglo-saxon NTDs) sont un groupe de diverses maladies tropicales fréquentes au sein des populations à faible revenu dans les régions en développement d'Afrique, d'Asie et d'Amérique. Elles sont causées par divers pathogènes au premier rang desquels les parasites helminthes ou protozoaires, mais également les virus et les bactéries. En Afrique subsaharienne, l'impact de l'ensemble de ces pathologies est comparable au paludisme et à la tuberculose.
Recherche médicaleLa recherche médicale se divise en recherche fondamentale et clinique. La recherche médicale fondamentale vise à mieux comprendre le corps humain et ses maladies. La recherche médicale clinique se base sur les résultats de la recherche fondamentale pour inventer et prouver l’efficacité de nouveaux traitements. La recherche fondamentale en médecine vise à mieux comprendre le corps humain et ses maladies. Son spectre est très large et largement lié aux autres sciences.
Maladie non transmissibleUne maladie non transmissible (en abrégé MNT) est une maladie non infectieuse et non transmissible entre personnes. Les MNT peuvent être chroniques et à progression lente, ou aiguës et conduire à une mort plus rapide comme certains types d’accidents vasculaires cérébraux (AVC). Les MNT comprennent : les maladies auto-immunes, les maladies cardio-vasculaires, les AVC, beaucoup de cancers, l’asthme, le diabète, les insuffisances rénales chroniques, l’ostéoporose, la maladie d’Alzheimer, les cataractes, etc.
