From Frege to GödelHarvard University Press, 1967 - 660 pagina's The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publication in 1879 of Gottlob Frege’s Begriffsschrift that opened a great epoch in the history of logic by presenting, in full-fledged form, the propositional calculus and quantification theory. |
Inhoudsopgave
Use of letters as function signs A has the property Ø B has | 10 |
The third fundamental law of conditionality consequences | 16 |
Inference The Aristotelian modes of inference | 17 |
Copyright | |
36 andere gedeelten niet getoond
Overige edities - Alles bekijken
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 Jean van Heijenoort Gedeeltelijke weergave - 2002 |
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 Jean Van Heijenoort Fragmentweergave - 1967 |