17 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] |
6299 | Axioms are often affirmed simply because they produce results which have been accepted [Resnik] |
6304 | Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik] |
6300 | Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik] |
6303 | Sets are positions in patterns [Resnik] |
6302 | Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik] |
6295 | There are too many mathematical objects for them all to be mental or physical [Resnik] |
6296 | Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik] |
6301 | Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik] |
8108 | Aesthetics presupposes a distinctive sort of experience, and a unified essence for art [Gardner] |
8112 | Art works originate in the artist's mind, and appreciation is re-creating this mental object [Gardner] |
8111 | Aesthetic objectivists must explain pleasure being essential, but not in the object [Gardner] |
8109 | Aesthetic judgements necessarily require first-hand experience, unlike moral judgements [Gardner] |