26 ideas
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
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] |
20023 | If someone believes they can control the lottery, and then wins, the relevant skill is missing [Wilson/Schpall] |
20022 | To be intentional, an action must succeed in the manner in which it was planned [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] |
20027 | If there are shared obligations and intentions, we may need a primitive notion of 'joint commitment' [Wilson/Schpall] |
20028 | Groups may act for reasons held by none of the members, so maybe groups are agents [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] |
20016 | Strong Cognitivism identifies an intention to act with a belief [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] |
3032 | I can form no notion of what the good is [Amphis] |