10 ideas
7661 | Truth is the opinion fated to be ultimately agreed by all investigators [Peirce] |
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] |
14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
19089 | Our whole conception of an object is its possible practical consequences [Peirce] |
7660 | We are aware of beliefs, they appease our doubts, and they are rules of action, or habits [Peirce] |
14906 | Non-positivist verificationism says only take a hypothesis seriously if it is scientifically based and testable [Ladyman/Ross on Peirce] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |