13 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] |
| 8361 | What is true used to be possible, but it may no longer be so [Wright,GHv] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| 8363 | p is a cause and q an effect (not vice versa) if manipulations of p change q [Wright,GHv] |
| 8364 | We can imagine controlling floods by controlling rain, but not vice versa [Wright,GHv] |
| 8366 | The very notion of a cause depends on agency and action [Wright,GHv] |
| 8362 | We give regularities a causal character by subjecting them to experiment [Wright,GHv] |
| 8360 | We must further analyse conditions for causation, into quantifiers or modal concepts [Wright,GHv] |
| 8365 | Some laws are causal (Ohm's Law), but others are conceptual principles (conservation of energy) [Wright,GHv] |