logic: References & Edit History
More Articles On This Topic
mathematical aspects
- algebra
- automata theory
- binary system
- foundations
- fuzzy logic
- In fuzzy logic
philosophical aspects
philosophical schools and doctrines
- Aristotelianism
- Empiricism
- Hegelianism
- Kantianism and Neo-Kantianism
- logical positivism
- phenomenology
- positivism
- In positivism
- rationalism
- In rationalism
- Scholasticism
philosophy of
- Hilbert
- Jaspers
- Kant
- Wittgenstein
uses
- puzzles
- semantics
Additional Reading
Jean van Heijenoort (compiler), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 (1967, reissued 2002), is an anthology of articles covering the early development of contemporary logic. Outstanding textbooks are Patrick Suppes, Introduction to Logic (1957, reissued 1999); Stephen Cole Kleene, Mathematical Logic (1967, reissued 2002); Donald Kalish, Richard Montague, and Gary Mar, Logic: Techniques of Formal Reasoning, 2nd ed. (1980, reissued 1992); Elliott Mendelson, Introduction to Mathematical Logic, 4th ed. (1987); Alfred Tarski, Introduction to Logic and to the Methodology of the Deductive Sciences, trans. from Polish, 5th ed. (2009); and, on a more advanced level, Joseph R. Shoenfield, Mathematical Logic (1967, reissued 2001).
The entire field of logic is covered in Jon Barwise (ed.), Handbook of Mathematical Logic (1977, reissued 1999); and D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd ed. (2001– ). Developments in the late 20th century are covered in Jon Barwise and Solomon Feferman (eds.), Model-Theoretic Logics (1985); Wilfrid Hodges, Model Theory (1993); and Jaakko Hintikka, The Principles of Mathematics Revisited (1996).
Jaakko J. HintikkaArticle Contributors
Primary Contributors
-
Jaakko J. Hintikka
Jakko Hintikka was a Professor of Philosophy at Boston University. He was known as the main architect of game-theoretical semantics and of the interrogative approach to inquiry and also as one of the architects of distributive normal forms, possible-worlds semantics, tree methods, infinitely deep logics, and the present-day theory of inductive generalization.
Other Encyclopedia Britannica Contributors
Article History
| Type | Description | Contributor | Date |
|---|---|---|---|
| Add new Web site: National Center for Biotechnology Information - PubMed Central - Logic, Reasoning, and Verbal Behavior. | Dec 07, 2024 | ||
| Add new Web site: Oxford University Research Archive - Logos, logic and maximal infinity. | Sep 30, 2024 | ||
| Add new Web site: Nature - Mathematics: Logic and Lewis Carroll. | Aug 21, 2024 | ||
| Add new Web site: Milne Publishing - A Concise Introduction to Logic - Why study logic? | Aug 02, 2024 | ||
| Add new Web site: VIVA Open Publishing - Let's Get Writing! - What is Logic? | Jun 20, 2024 | ||
| Add new Web site: Eternal Word Television Network - Logic. | Nov 07, 2023 | ||
| Add new Web site: Humanities LibreTexts - What is Logic? | Aug 18, 2023 | ||
| Add new Web site: Ancient Origins - What is Logic? | May 26, 2023 | ||
| Link added. | Apr 19, 2023 | ||
| Add new Web site: The University of Hong Kong - Philosophy Department - What is logic? | Feb 19, 2023 | ||
| Add new Web site: Stanford Encyclopedia of Philosophy - Logic and Ontology. | Dec 09, 2022 | ||
| Add new Web site: The Basics of Philosophy - Logic. | May 21, 2019 | ||
| Add new Web site: The Catholic Encyclopedia - Logic. | Mar 31, 2014 | ||
| Article thoroughly revised and updated. | Aug 07, 2009 | ||
| Bibliography thoroughly revised and updated. | Aug 07, 2009 | ||
| Added new Web site: School of Mathematics of Trinity College Dublin - The Calculus of Logic. | Aug 08, 2007 | ||
| Added new Web site: Stanford Encyclopedia of Philosophy - Relevance Logic. | Oct 31, 2006 | ||
| Added new Web site: Stanford Encyclopedia of Philosophy - Informal Logic. | Oct 30, 2006 | ||
| Added new Web site: Stanford Encyclopedia of Philosophy - Paraconsistent Logic. | Oct 30, 2006 | ||
| Added new Web site: The Secular Web - Logic & Fallacies - Constructing a Logical Argument (1997). | Jun 20, 2006 | ||
| Added new Web site: The Secular Web - Logic & Fallacies - Constructing a Logical Argument (1997). | Jun 20, 2006 | ||
| Added new Web site: The Logic Machine at Texas A&M University. | May 29, 2006 | ||
| Article added to new online database. | Sep 19, 1998 |