The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church

DOI10.1080/01445340.2017.1409578zbMath1427.03010OpenAlexW2784017602WikidataQ58527028 ScholiaQ58527028MaRDI QIDQ5208102

Adam Tamas Tuboly

Publication date: 15 January 2020

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2017.1409578

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03)

Cites Work

• Reply to Professor Marcus
• Quine on intensional entities: modality and quantification, truth and satisfaction
• Logic and language. Studies dedicated to Professor Rudolf Carnap of the occasion of his seventieth birthday
• Logic and the modalities in the twentieth century
• A completeness theorem in modal logic
• Extensionalism
• Alonzo Church and the Reviews
• Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science
• Emch's calculus and strict implication
• A system of strict implication
• Modalities in the Survey system of strict implication
• Proof that there are infinitely many modalities in Lewis's system S₂
• The problem of interpreting modal logic
• On the syntactical construction of systems of modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church