32 ideas
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| 13751 | If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J] |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| 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] |
| 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] |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [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] |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| 13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| 13742 | There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J] |
| 13752 | The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J] |
| 13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
| 13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |
| 23529 | Conduct is not isolated from its effect on the moral code [Hart,HLA] |
| 23530 | The great danger of democracy is that the oppression of the minority becomes unobjectionable [Hart,HLA] |
| 23522 | In an organised society all actions have some effect on other people [Hart,HLA] |
| 23528 | The value of liberty allows freedom of action, even if that distresses other people [Hart,HLA] |
| 23523 | The principle of legality requires crimes to be precisely defined in advance of any action [Hart,HLA] |
| 23524 | Some private moral issues are no concern of the law [Hart,HLA] |
| 23521 | Do morals influence law? Is morality an aspect of law? Can law be morally criticised? [Hart,HLA] |
| 23525 | Is the enforcement of morality morally justifiable? [Hart,HLA] |
| 23526 | Modern law still suppresses practices seen as immoral, and yet harmless [Hart,HLA] |
| 23527 | Moral wickedness of an offence is always relevant to the degree of punishment [Hart,HLA] |