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:
“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)
“Compared to football, baseball is almost an Oriental game, minimizing individual stardom, requiring a wide range of aggressive and defensive skills, and filled with long periods of inaction and irresolution. It has no time limitations. Football, on the other hand, has immediate goals, resolution on every single play, and a lot of violence—itself a highlight. It has clearly distinguishable hierarchies: heroes and drones.”
—Jerry Mander, U.S. advertising executive, author. Four Arguments for the Elimination of Television, ch. 15, Morrow (1978)
“In most other modern societies working mothers are not put under these special and exaggerated pressures. For example, French and English mothers often prefer to breast-feed their babies, but they do not feel that their womanhood is at stake if they fail to do so. Nor does anyone else.”
—Sylvia Ann Hewitt (20th century)
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)