25 ideas
17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
23647 | Objects have an essential constitution, producing its qualities, which we are too ignorant to define [Reid] |
11958 | Impossibilites are easily conceived in mathematics and geometry [Reid, by Molnar] |
23646 | Reference is by name, or a term-plus-circumstance, or ostensively, or by description [Reid] |
23645 | A word's meaning is the thing conceived, as fixed by linguistic experts [Reid] |
20014 | Actions include: the involuntary, the purposeful, the intentional, and the self-consciously autonomous [Wilson/Schpall] |
20019 | Maybe bodily movements are not actions, but only part of an agent's action of moving [Wilson/Schpall] |
20021 | Is the action the arm movement, the whole causal process, or just the trying to do it? [Wilson/Schpall] |
20022 | To be intentional, an action must succeed in the manner in which it was planned [Wilson/Schpall] |
20023 | If someone believes they can control the lottery, and then wins, the relevant skill is missing [Wilson/Schpall] |
20025 | We might intend two ways to acting, knowing only one of them can succeed [Wilson/Schpall] |
20031 | On one model, an intention is belief-desire states, and intentional actions relate to beliefs and desires [Wilson/Schpall] |
20028 | Groups may act for reasons held by none of the members, so maybe groups are agents [Wilson/Schpall] |
20027 | If there are shared obligations and intentions, we may need a primitive notion of 'joint commitment' [Wilson/Schpall] |
20016 | Strong Cognitivism identifies an intention to act with a belief [Wilson/Schpall] |
20017 | Weak Cognitivism says intentions are only partly constituted by a belief [Wilson/Schpall] |
20018 | Strong Cognitivism implies a mode of 'practical' knowledge, not based on observation [Wilson/Schpall] |
20012 | Maybe the explanation of an action is in the reasons that make it intelligible to the agent [Wilson/Schpall] |
20013 | It is generally assumed that reason explanations are causal [Wilson/Schpall] |
20029 | Causalists allow purposive explanations, but then reduce the purpose to the action's cause [Wilson/Schpall] |