46 ideas
| 7623 | For ancient Greeks being wise was an ethical value [Putnam] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 4714 | Putnam's epistemic notion of truth replaces the realism of correspondence with ontological relativism [Putnam, by O'Grady] |
| 7617 | Before Kant, all philosophers had a correspondence theory of truth [Putnam] |
| 4716 | The correspondence theory is wrong, because there is no one correspondence between reality and fact [Putnam, by O'Grady] |
| 7616 | Truth is an idealisation of rational acceptability [Putnam] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 14203 | Intension is not meaning, as 'cube' and 'square-faced polyhedron' are intensionally the same [Putnam] |
| 14207 | If cats equal cherries, model theory allows reinterpretation of the whole language preserving truth [Putnam] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 14214 | If we try to cure the abundance of theories with causal links, this is 'just more theory' [Putnam, by Lewis] |
| 14205 | The sentence 'A cat is on a mat' remains always true when 'cat' means cherry and 'mat' means tree [Putnam] |
| 7610 | A fact is simply what it is rational to accept [Putnam] |
| 7618 | Very nominalistic philosophers deny properties, though scientists accept them [Putnam] |
| 12132 | Indiscernibility is a necessary and sufficient condition for identity [Brody] |
| 15834 | Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P] |
| 12140 | Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody] |
| 11895 | A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P] |
| 12141 | Maybe essential properties are those which determine a natural kind? [Brody] |
| 12137 | De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody] |
| 12142 | Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody] |
| 12143 | An object having a property essentially is equivalent to its having it necessarily [Brody] |
| 12144 | Essentialism is justified if the essential properties of things explain their other properties [Brody] |
| 12139 | Mereological essentialism says that every part that ensures the existence is essential [Brody] |
| 12135 | Interrupted objects have two first moments of existence, which could be two beginnings [Brody] |
| 12130 | a and b share all properties; so they share being-identical-with-a; so a = b [Brody] |
| 4718 | If necessity is always relative to a description in a language, then there is only 'de dicto' necessity [Putnam, by O'Grady] |
| 12138 | Identity across possible worlds is prior to rigid designation [Brody] |
| 7620 | Some kind of objective 'rightness' is a presupposition of thought itself [Putnam] |
| 14204 | Naïve operationalism would have meanings change every time the tests change [Putnam] |
| 7611 | Rationality is one part of our conception of human flourishing [Putnam] |
| 14200 | 'Water' on Twin Earth doesn't refer to water, but no mental difference can account for this [Putnam] |
| 7612 | Reference is social not individual, because we defer to experts when referring to elm trees [Putnam] |
| 7613 | Concepts are (at least in part) abilities and not occurrences [Putnam] |
| 14202 | Neither individual nor community mental states fix reference [Putnam] |
| 14201 | Maybe the total mental state of a language community fixes the reference of a term [Putnam] |
| 14206 | There are infinitely many interpretations of a sentence which can all seem to be 'correct' [Putnam] |
| 7624 | The word 'inconsiderate' nicely shows the blurring of facts and values [Putnam] |