26 ideas
9376 | A sentence may simultaneously define a term, and also assert a fact [Boghossian] |
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
13029 | Set Existence: ∃x (x = x) [Kunen] |
13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
16620 | A chair is wood, and its shape is the form; it isn't 'compounded' of the matter and form [Hobbes] |
16622 | Essence is just an artificial word from logic, giving a way of thinking about substances [Hobbes] |
9369 | 'Snow is white or it isn't' is just true, not made true by stipulation [Boghossian] |
9367 | The a priori is explained as analytic to avoid a dubious faculty of intuition [Boghossian] |
9373 | That logic is a priori because it is analytic resulted from explaining the meaning of logical constants [Boghossian] |
9380 | We can't hold a sentence true without evidence if we can't agree which sentence is definitive of it [Boghossian] |
9384 | We may have strong a priori beliefs which we pragmatically drop from our best theory [Boghossian] |
9374 | If we learn geometry by intuition, how could this faculty have misled us for so long? [Boghossian] |
9378 | If meaning depends on conceptual role, what properties are needed to do the job? [Boghossian] |
9377 | 'Conceptual role semantics' says terms have meaning from sentences and/or inferences [Boghossian] |
9372 | Could expressions have meaning, without two expressions possibly meaning the same? [Boghossian] |
17721 | There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins] |
9368 | Epistemological analyticity: grasp of meaning is justification; metaphysical: truth depends on meaning [Boghossian] |