43 ideas
| 13520 | A 'tautology' must include connectives [Wolf,RS] |
| 13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
| 13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
| 13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
| 13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
| 13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
| 13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
| 13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
| 13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
| 9038 | We must distinguish what the speaker denotes by a name, from what the name denotes [Evans] |
| 5824 | How can an expression be a name, if names can change their denotation? [Evans] |
| 9042 | A private intention won't give a name a denotation; the practice needs it to be made public [Evans] |
| 9041 | The Causal Theory of Names is wrong, since the name 'Madagascar' actually changed denotation [Evans] |
| 13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
| 13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
| 13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
| 13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
| 13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
| 13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
| 13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
| 13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
| 13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
| 13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
| 16129 | Evans argues (falsely!) that a contradiction follows from treating objects as vague [Evans, by Lowe] |
| 16459 | Is it coherent that reality is vague, identities can be vague, and objects can have fuzzy boundaries? [Evans] |
| 16460 | Evans assumes there can be vague identity statements, and that his proof cannot be right [Evans, by Lewis] |
| 16457 | There clearly are vague identity statements, and Evans's argument has a false conclusion [Evans, by Lewis] |
| 14484 | If a=b is indeterminate, then a=/=b, and so there cannot be indeterminate identity [Evans, by Thomasson] |
| 16224 | There can't be vague identity; a and b must differ, since a, unlike b, is only vaguely the same as b [Evans, by PG] |
| 14895 | 'Superficial' contingency: false in some world; 'Deep' contingency: no obvious verification [Evans, by Macià/Garcia-Carpentiro] |
| 11881 | Rigid designators can be meaningful even if empty [Evans, by Mackie,P] |
| 7639 | The Homunculus Fallacy explains a subject perceiving objects by repeating the problem internally [Evans] |
| 12580 | Experiences have no conceptual content [Evans, by Greco] |
| 7643 | We have far fewer colour concepts than we have discriminations of colour [Evans] |
| 23794 | Some representational states, like perception, may be nonconceptual [Evans, by Schulte] |
| 16366 | The Generality Constraint says if you can think a predicate you can apply it to anything [Evans] |
| 12575 | Concepts have a 'Generality Constraint', that we must know how predicates apply to them [Evans, by Peacocke] |
| 5825 | Speakers intend to refer to items that are the source of their information [Evans] |
| 5823 | The intended referent of a name needs to be the cause of the speaker's information about it [Evans] |
| 9039 | If descriptions are sufficient for reference, then I must accept a false reference if the descriptions fit [Evans] |
| 9043 | We use expressions 'deferentially', to conform to the use of other people [Evans] |
| 9040 | Charity should minimize inexplicable error, rather than maximising true beliefs [Evans] |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |