Combining Texts

Ideas for 'Consciousness', 'Letters to Foucher' and 'Ontology'

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

display all the ideas for this combination of texts


2 ideas

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.
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Physicalism requires the naturalisation or rejection of set theory [Lycan]
     Full Idea: Eventually set theory will have to be either naturalised or rejected, if a thoroughgoing physicalism is to be maintained.
     From: William Lycan (Consciousness [1987], 8.4)
     A reaction: Personally I regard Platonism as a form of naturalism (though a rather bold and dramatic one). The central issue seems to be the ability of the human main/brain to form 'abstract' notions about the physical world in which it lives.