Chapter 1 presents BS, a basic syllogistic system based on Aristotle's logic, in natural deduction form. Chapters 2 and 3 treat the metatheory of BS: consitency, soundness, independence, and completeness. (We show how Aristotle's attempt to show his logic was complete anticipates modern Henkin-style completeness proofs.) Chapter 4 and 5 deal with s...
International audience
International audience
International audience
International audience
L'intérêt pour la gestion de situations d'urgence trouve son origine dans un atelier de formation qui s'est tenu dans le cadre du programme Fiesta (Formation intensive en épidémiologie et statistiques de terrain approfondies). Les participants (MISP et IGS pour la plupart) s'interrogeaient alors sur l'utilisation réelle des expertises techniques, e...
Propositions du Conseil des impôts et nouvelles dispositions fiscales
(Rapport de l'IGAS/IGF, juin 1998)
Bull. COB, sept. 1999, p. 25
Le présent article cherche à circonscrire la contribution sémantique propre des syncatégorèmes -- située entre la pure et simple absence de signification et la signification pleine ou autonome des catégorèmes -- en se fondant sur des textes de deux auteurs réalistes du XIVe siècle. On examinera également le rapport entre termes dénominatifs et sync...
