Mathematical logic

From Wikiquote
Jump to navigation Jump to search

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.


  • Frege's development began with... "an epoch-making little book" called Begriffsschrift, translated as Concept Script or Conceptual Notation... Just as Aristotle's Prior Analytics is the foundation of traditional or syllogistic logic—the logic of the categorical three-term syllogism, Frege's Begriffsschrift is the keystone of modern or mathematical logic.
    • Michael Losonsky, Linguistic Turns in Modern Philosophy (2006) pp. 148-149.

External links[edit]

Wikipedia has an article about: