30 ideas
3695 | Philosophy is a priori if it is anything [Bonjour] |
3651 | Perceiving necessary connections is the essence of reasoning [Bonjour] |
3700 | Coherence can't be validated by appeal to coherence [Bonjour] |
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] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
3697 | The concept of possibility is prior to that of necessity [Bonjour] |
3704 | Moderate rationalists believe in fallible a priori justification [Bonjour] |
3707 | Our rules of thought can only be judged by pure rational insight [Bonjour] |
3696 | A priori justification requires understanding but no experience [Bonjour] |
3703 | You can't explain away a priori justification as analyticity, and you can't totally give it up [Bonjour] |
3706 | A priori justification can vary in degree [Bonjour] |
3699 | The induction problem blocks any attempted proof of physical statements [Bonjour] |
3701 | Externalist theories of justification don't require believers to have reasons for their beliefs [Bonjour] |
3702 | Externalism means we have no reason to believe, which is strong scepticism [Bonjour] |
3709 | Induction must go beyond the evidence, in order to explain why the evidence occurred [Bonjour] |
3708 | All thought represents either properties or indexicals [Bonjour] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
3698 | Indeterminacy of translation is actually indeterminacy of meaning and belief [Bonjour] |