Combining Texts

Ideas for 'works', 'fragments/reports' and 'Ontology'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
The modal logic of C.I.Lewis was only interpreted by Kripke and Hintikka in the 1960s [Jacquette]
     Full Idea: The modal syntax and axiom systems of C.I.Lewis (1918) were formally interpreted by Kripke and Hintikka (c.1965) who, using Z-F set theory, worked out model set-theoretical semantics for modal logics and quantified modal logics.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: A historical note. The big question is always 'who cares?' - to which the answer seems to be 'lots of people', if they are interested in precision in discourse, in artificial intelligence, and maybe even in metaphysics. Possible worlds started here.