31 ideas
| 10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
| 10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
| 10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
| 10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
| 10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
| 10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
| 10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
| 10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
| 10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
| 10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
| 10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
| 10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
| 5806 | Belief is the power of metarepresentation [Dretske] |
| 5801 | A mouse hearing a piano played does not believe it, because it lacks concepts and understanding [Dretske] |
| 20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
| 5802 | Representations are in the head, but their content is not, as stories don't exist in their books [Dretske] |
| 5809 | Some activities are performed better without consciousness of them [Dretske] |
| 5808 | Qualia are just the properties objects are represented as having [Dretske] |
| 5807 | Introspection is the same as the experience one is introspecting [Dretske] |
| 5803 | In a representational theory of mind, introspection is displaced perception [Dretske] |
| 5805 | Introspection does not involve looking inwards [Dretske] |
| 5804 | A representational theory of the mind is an externalist theory of the mind [Dretske] |
| 5800 | All mental facts are representation, which consists of informational functions [Dretske] |
| 20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
| 20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
| 20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
| 20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
| 20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
| 20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
| 20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
| 20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |