Chronologie: Logique

-360

Aristote rédige le traité de logique "Les topiques" à Athènes.(Grèce)(nS)

Voir aussi : Athènes - Aristote - Logique - Philosophie - Culture - Topiques (Aristote)

1267

Bacon envoie son "Opus Majus" au pape Clément IV.(Royaume-Uni)(nS)

Voir aussi : Roger Bacon - Clément IV - Optique - Culture - Lunettes - Grammaire - Logique - Philosophie

1672

mai

Milton publie "Art of Logic".(Royaume-Uni)(n)

Voir aussi : Londres - John Milton - Logique - Littérature - Culture - John Milton Bibliographie

1752

avr

Smith est transféré de la chaire de logique à l'Université de Glasgow à la philosophie morale.(Royaume-Uni)(n)

Voir aussi : Ecosse - Glasgow - Université de Glasgow - Adam Smith - Logique - Philosophie

1843

Stuart Mill publie "A System of Logic".(Royaume-Uni)(n)

Voir aussi : John Stuart Mill - Philosophie - Logique - Culture - William Whewell - William Hamilton

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)(nS)

Voir aussi : George Boole - Logique - Mathématiques - George Boole Bibliographie - Culture

1866

Venn publie "The Logic of Chance".(Royaume-Uni)(nS)

Voir aussi : John Venn - Logique - Probabilités - Mathématiques - Statistiques - Philosophie politique - Culture

1881

Venn présente les diagrammes "Symbolic Logic".(Royaume-Uni)(nS)

Voir aussi : John Venn - Mathématiques - Statistiques - Probabilités - Linguistique - Théorie des ensembles - Logique - Culture

1912

Wiener obtient son PhD à Harvard avec un mémoire sur la logique (sous la direction de Schmidt).(Etats-Unis)(n)

Voir aussi : Massachusetts - Cambridge (Massachusetts) - Bertha Wiener - Leo Wiener - Norbert Wiener - Université de Harvard - Karl Schmidt - Logique

1928

Carnap publie "Der logische Aufbau der Welt" (La Construction logique du monde).(Autriche)(n)

Voir aussi : Vienne - Rudolph Carnap - Université de Vienne - Logique - Culture

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)(nS)

Voir aussi : Kaliningrad - Logique - Kurt Gödel - Epistémologie - Rudolph Carnap

1930

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)(nS)

Voir aussi : Vienne - Kurt Gödel - Logique - Mathématiques

1934

Carnap publie "La syntaxe logique du langage" : il introduit en mathématique le terme d'opérateur.(Tchèquie)(n)

Voir aussi : Rudolph Carnap - Mathématiques - Logique