25 ideas
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| 4975 | A thought can be split in many ways, so that different parts appear as subject or predicate [Frege] |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| 9949 | There is the concept, the object falling under it, and the extension (a set, which is also an object) [Frege, by George/Velleman] |
| 18995 | Frege mistakenly takes existence to be a property of concepts, instead of being about things [Frege, by Yablo] |
| 10317 | It is unclear whether Frege included qualities among his abstract objects [Frege, by Hale] |
| 10535 | Frege's 'objects' are both the referents of proper names, and what predicates are true or false of [Frege, by Dummett] |
| 9839 | Frege equated the concepts under which an object falls with its properties [Frege, by Dummett] |
| 4973 | As I understand it, a concept is the meaning of a grammatical predicate [Frege] |
| 9167 | Frege felt that meanings must be public, so they are abstractions rather than mental entities [Frege, by Putnam] |
| 4974 | For all the multiplicity of languages, mankind has a common stock of thoughts [Frege] |
| 22384 | A 'double effect' is a foreseen but not desired side-effect, which may be forgivable [Foot] |
| 22385 | The doctrine of double effect can excuse an outcome because it wasn't directly intended [Foot] |
| 22386 | Double effect says foreseeing you will kill someone is not the same as intending it [Foot] |
| 22387 | Without double effect, bad men can make us do evil by threatening something worse [Foot] |
| 22388 | Double effect seems to rely on a distinction between what we do and what we allow [Foot] |
| 22383 | Abortion is puzzling because we do and don't want the unborn child to have rights [Foot] |