17 ideas
19463 | Induction assumes some uniformity in nature, or that in some respects the future is like the past [Ayer] |
18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
19459 | To say 'I am not thinking' must be false, but it might have been true, so it isn't self-contradictory [Ayer] |
19460 | 'I know I exist' has no counterevidence, so it may be meaningless [Ayer] |
19461 | Knowing I exist reveals nothing at all about my nature [Ayer] |
19464 | We only discard a hypothesis after one failure if it appears likely to keep on failing [Ayer] |
19462 | Induction passes from particular facts to other particulars, or to general laws, non-deductively [Ayer] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
20327 | Modern attention has moved from the intrinsic properties of art to its relational properties [Lamarque/Olson] |
20326 | Early 20th cent attempts at defining art focused on significant form, intuition, expression, unity [Lamarque/Olson] |
20330 | The dualistic view says works of art are either abstract objects (types), or physical objects [Lamarque/Olson] |