Time and ModalityClarendon Press, 2003 - 160 pages The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism. |
Table des matières
BASIC MODAL LOGIC AND THE ŁMODAL | 1 |
TENSELOGIC AND AN ANALOGUE OF 4 | 9 |
A TENSELOGICAL ANALOGUE OF 5 | 18 |
A REEXAMINATION OF OUR TENSELOGICAL | 29 |
THE SYSTEM Q | 39 |
MODAL LOGIC IN THE STYLE OF FREGE | 55 |
PROPERNAME LOGIC AND COMMONNOUN | 63 |
THE WEAK THE AND THE STRONG THE | 76 |
INTENTIONAL LOGIC AND INDETERMINISM | 84 |
TIONS | 94 |
TENSES AND TRUTH IN | 104 |
SOME FEATURES OF THE LEWIS | 123 |
Autres éditions - Tout afficher
Expressions et termes fréquents
3-valued A-formula A. N. Prior Alan Ross Anderson asserts axiom Barcan formula believes that Walter's Carnap is flying Caß characteristic matrix CLpp CMLpLp CMpp collapsing CpLp days ago days hence defined deontic deontic logic entail equate equivalent exactly two things example expresses a law fact faller Formal Logic Frege's function horse has wings implies individuals infinite matrix L-modal law of extensionality Leśniewski's Lewis systems logical law logician Łukasiewicz's many-valued mean modal logic modal operators modal system moon Morning Star neuter NLNp NUtp object ontology p-ing Pegasus Peirce possible postulates predicate Professor Carnap proper names propositional calculus provable quantification theory rule of detachment sea-battle sense sequence for Mp Sid believes someone statable substitution system Q tables tense tense-logic theorem tion tomorrow true statements true today truth truth-functional truth-value truth-valueless verify Walter's horse exists