Principles of Theoretical Logic
- Principles of Theoretical Logic
"Principles of Mathematical Logic" is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text "Grundzüge der theoretischen Logik", on elementary mathematical logic. The 1928 first edition thereof is considered the first elementary text clearly grounded in the formalism now known as first-order logic (FOL). Hilbert and Ackermann also formalized FOL in a way that subsequently achieved canonical status. FOL is now the core formalism of all mathematical logic, and is presupposed by contemporary treatments of Peano arithmetic and nearly all treatments of axiomatic set theory.
The 1928 edition included a clear statement of the Entscheidungsproblem (decision problem) for FOL, and also asked whether that logic was complete (i.e., whether all semantic truths of FOL were theorems derivable from the FOL axioms and rules). The first problem was answered in the negative by Alonzo Church in 1936. The second was answered affirmatively by Kurt Gödel in 1929.
The text also touched on set theory and relational algebra as ways of going beyond FOL. Contemporary notation for logic owes more to this text than it does to the notation of "Principia Mathematica", long popular in the English speaking world.
References
* David Hilbert and Wilhelm Ackermann (1928). "Grundzüge der theoretischen Logik" (Principles of Mathematical Logic). Springer-Verlag, ISBN 0-8218-2024-9. This text went into four subsequent German editions, the last in 1972.
* Hendricks, Neuhaus, Petersen, Scheffler and Wansing (eds.) (2004). "First-order logic revisited". Logos Verlag, ISBN 3-8325-0475-3. Proceedings of a workshop, FOL-75, commemorating the 75th anniversary of the publication of Hilbert and Ackermann (1928).
Wikimedia Foundation.
2010.
Look at other dictionaries:
Theoretical linguistics — is the branch of linguistics that is most concerned with developing models of linguistic knowledge. Part of this endeavor involves the search for and explanation of linguistic universals, that is, properties all languages have in common. The… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Theoretical computer science — is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy
Concurrent constraint logic programming — is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a… … Wikipedia
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
