Periods of Modern Logic
The development of modern logic falls into roughly five periods:
- The embryonic period from Leibniz to 1847, when the notion of a logical calculus was discussed and developed, particularly by Leibniz, but no schools were formed, and isolated periodic attempts were abandoned or went unnoticed.
- The algebraic period from Boole's Analysis to Schröder's Vorlesungen. In this period there were more practitioners, and a greater continuity of development.
- The logicist period from the Begriffsschrift of Frege to the Principia Mathematica of Russell and Whitehead. This was dominated by the "logicist school", whose aim was to incorporate the logic of all mathematical and scientific discourse in a single unified system, and which, taking as a fundamental principle that all mathematical truths are logical, did not accept any non-logical terminology. The major logicists were Frege, Russell, and the early Wittgenstein. It culminates with the Principia, an important work which includes a thorough examination and attempted solution of the antinomies which had been an obstacle to earlier progress.
- The metamathematical period from 1910 to the 1930s, which saw the development of metalogic, in the finitist system of Hilbert, and the non-finitist system of Löwenheim and Skolem, the combination of logic and metalogic in the work of Gödel and Tarski. Gödel's incompleteness theorem of 1931 was one of the greatest achievements in the history of logic. Later in the 1930s Gödel developed the notion of set-theoretic constructibility.
- The period after World War II, when mathematical logic branched into four inter-related but separate areas of research: model theory, proof theory, computability theory, and set theory, and its ideas and methods began to influence philosophy.
Read more about this topic: History Of Logic
Famous quotes containing the words periods of, periods, modern and/or logic:
“The History of the world is not the theatre of happiness. Periods of happiness are blank pages in it, for they are periods of harmony—periods when the antithesis is in abeyance.”
—Georg Wilhelm Friedrich Hegel (1770–1831)
“Whose are the truly labored sentences? From the weak and flimsy periods of the politician and literary man, we are glad to turn even to the description of work, the simple record of the month’s labor in the farmer’s almanac, to restore our tone and spirits.”
—Henry David Thoreau (1817–1862)
“It is beyond a doubt that during the sixteenth century, and the years immediately preceding and following it, poisoning had been brought to a pitch of perfection which remains unknown to modern chemistry, but which is indisputably proved by history. Italy, the cradle of modern science, was at that time, the inventor and mistress of these secrets, many of which are lost.”
—Honoré De Balzac (1799–1850)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)