Catégories cachées Catégories affichées
-360
Aristote rédige le traité de logique "Les topiques" à Athènes.(Grèce)(S)
1159
Jean de Salisbury publie le "Polycraticus", un traité politique qui décrit la Sté, du roi jusqu'aux paysans, comme un corps, de la tête aux pieds.(Royaume-Uni)
1267
Bacon envoie son "Opus Majus" au pape Clément IV.(Royaume-Uni)(S)
1658
Le traité "Syntagma philosophicum" de Gassendi est publié.(France)
1672
mai
Milton publie "Art of Logic".(Royaume-Uni)
1751
jan 9
Adam Smith est élu professeur de logique à l'université de Glasgow.(Royaume-Uni)
1752
avr
Smith est transféré de la chaire de logique à l'Université de Glasgow à la philosophie morale.(Royaume-Uni)
1816
Ampère enseigne la logique à l'Ecole Normale.(France)
1843
Stuart Mill publie "A System of Logic".(Royaume-Uni)
1847
Boole publie "Mathematical Analysis of Logic".(Royaume-Uni)(S)
1854
Boole publie "Une exploration des lois de la pensée sur lesquelles sont fondées les théories mathématiques de la logique et des probabilités".(Royaume-Uni)(S)
1865
Peirce donne des conférences à Harvard sur "La logique de la science".(Etats-Unis)
1866
Venn publie "The Logic of Chance".(Royaume-Uni)(S)
1877
Peirce publie ses observations sur la vision des couleurs dans "American Journal of Science".(Etats-Unis)
1881
Venn présente les diagrammes "Symbolic Logic".(Royaume-Uni)(S)
1900
Husserl publie "Logische Untersuchungen" (Recherches logiques).(Allemagne)
1912
Wiener obtient son PhD à Harvard avec un mémoire sur la logique (sous la direction de Schmidt).(Etats-Unis)
1914
juil
Wittgenstein, isolé à Skjolden, rédige ses Notes sur la logique.(Norvège)
1928
Carnap publie "Der logische Aufbau der Welt" (La Construction logique du monde).(Autriche)
Hilbert et Ackermann publient "Des Fondements de la logique théorique".(Allemagne)(S)
1930
sept 5
Carnap, au Congrès de Konigsberg, présente dans sa conférence la démonstration de la non-contradiction comme un critère nécessaire de validité des théories axiomatiques.(Russie)(S)
sept 7
Gödel, lors d'une session de discussion sur les conférences passées, au Congrès de Konigsberg, énonce son théorème d'incomplétude.(Russie)(S)
nov
Gödel envoie son article "Sur les propositions formellement indécidables des « Principia Mathematica » et des systèmes apparentés" au "Monatshefte für mathematik und Physik".(Autriche)(S)
1931
jan
Gödel publie son article "Sur les propositions formellement indécidables des « Principia Mathematica » et des systèmes apparentés", contenant l'énoncé et la démonstration de son théorème d'incomplétude.(Allemagne)(S)
1934
Carnap publie "La syntaxe logique du langage" : il introduit en mathématique le terme d'opérateur.(Tchèquie)
Popper publie "Logik der Forschung" (La Logique de la découverte scientifique).(Allemagne)(S)
219 019
événements