17 events with tag "logic"
350 BC
ID: 360
Aristotle develops syllogistic logic in the Organon, establishing the first formal system of logic with rules of valid inference
ID: 360
1662
ID: 434
Arnauld and Nicole publish 'La Logique ou l'Art de Penser' (Port-Royal Logic), influential logic textbook bridging scholastic and modern logic
ID: 434
1666
ID: 435
Leibniz writes 'De Arte Combinatoria', outlining his vision for a universal characteristic and logical calculus
ID: 435
1703
ID: 436
Leibniz publishes 'Explication de l'Arithmétique Binaire', describing binary number system with implications for logic
ID: 436
1713
ID: 438
Christian Wolff begins publishing his systematic philosophy, formalizing and extending Leibnizian logic
ID: 438
1714
ID: 437
Leibniz's mature work on characteristica universalis and calculus ratiocinator, envisioning mechanical reasoning
ID: 437
1761
ID: 439
Euler introduces Euler diagrams for visualizing syllogistic reasoning, improving on medieval methods
ID: 439
1764
ID: 440
Johann Heinrich Lambert develops linear diagrams for logic and improved logical notation
ID: 440
1777
ID: 441
Lambert's 'Neues Organon' published posthumously, advancing symbolic logic and anticipating Boolean algebra
ID: 441
1810
ID: 442
Bernard Bolzano develops rigorous proofs and logical foundations, anticipating modern analysis
ID: 442
1837
ID: 444
Bolzano's 'Wissenschaftslehre' presents theory of propositions and logical consequence, anticipating modern semantics
ID: 444
1847
ID: 449
The year 1847 sees both Boole's 'Mathematical Analysis of Logic' and De Morgan's 'Formal Logic', marking birth of modern mathematical logic
ID: 449
1889
ID: 1087
Giuseppe Peano axiomatizes arithmetic using mathematical logic - rigorous foundation for counting
ID: 1087
1910
ID: 1193
Bertrand Russell and Alfred North Whitehead begin publishing Principia Mathematica - Attempts to derive all mathematics from pure logic
ID: 1193
1930
ID: 1379
Kurt Gödel proves incompleteness theorems - Mathematical proof that mathematical systems cannot prove their own consistency
ID: 1379
1963
ID: 4576
Grothendieck develops topos theory - unifies geometry and logic
ID: 4576
1972
ID: 4425
Alain Colmerauer and Robert Kowalski create Prolog - PROgramming in LOGic, declarative language for AI
ID: 4425