15 ideas
9161 | Maybe reasonableness requires circular justifications - that is one coherentist view [Field,H] |
18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
13344 | X follows from sentences K iff every model of K also models X [Tarski] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
9160 | Lots of propositions are default reasonable, but the a priori ones are empirically indefeasible [Field,H] |
9164 | We treat basic rules as if they were indefeasible and a priori, with no interest in counter-evidence [Field,H] |
9165 | Reliability only makes a rule reasonable if we place a value on the truth produced by reliable processes [Field,H] |
9162 | Believing nothing, or only logical truths, is very reliable, but we want a lot more than that [Field,H] |
9166 | People vary in their epistemological standards, and none of them is 'correct' [Field,H] |
9163 | If we only use induction to assess induction, it is empirically indefeasible, and hence a priori [Field,H] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |