12 ideas
15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
7557 | To solve Zeno's paradox, reject the axiom that the whole has more terms than the parts [Russell] |
10059 | In mathematic we are ignorant of both subject-matter and truth [Russell] |
7556 | A collection is infinite if you can remove some terms without diminishing its number [Russell] |
14979 | Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider] |
15454 | Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis] |
15455 | Total intrinsic properties give us what a thing is [Lewis] |
7554 | Self-evidence is often a mere will-o'-the-wisp [Russell] |