14 ideas
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
7771 | We need 'events' to explain adverbs, which are adjectival predicates of events [Davidson, by Lycan] |
8860 | Language-learning is not good enough evidence for the existence of events [Yablo on Davidson] |
15002 | If the best theory of adverbs refers to events, then our ontology should include events [Davidson, by Sider] |
7752 | Only the utterer's primary intention is relevant to the meaning [Grice] |
7751 | Meaning needs an intention to induce a belief, and a recognition that this is the speaker's intention [Grice] |
7753 | We judge linguistic intentions rather as we judge non-linguistic intentions, so they are alike [Grice] |