27 ideas
9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
9768 | Vagueness is semantic, a deficiency of meaning [Fine,K] |
9776 | A thing might be vaguely vague, giving us higher-order vagueness [Fine,K] |
9767 | A vague sentence is only true for all ways of making it completely precise [Fine,K] |
9770 | Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K] |
9772 | Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K] |
9773 | With the super-truth approach, the classical connectives continue to work [Fine,K] |
9774 | Borderline cases must be under our control, as capable of greater precision [Fine,K] |
9769 | Vagueness can be in predicates, names or quantifiers [Fine,K] |
3282 | The general form of moral reasoning is putting yourself in other people's shoes [Nagel] |
3278 | An egalitarian system must give priority to those with the worst prospects in life [Nagel] |
3275 | Equality was once opposed to aristocracy, but now it opposes public utility and individual rights [Nagel] |
3281 | The ideal of acceptability to each individual underlies the appeal to equality [Nagel] |
3277 | In judging disputes, should we use one standard, or those of each individual? [Nagel] |
3274 | Equality can either be defended as good for society, or as good for individual rights [Nagel] |
3273 | Equality nowadays is seen as political, social, legal and economic [Nagel] |
3276 | A morality of rights is very minimal, leaving a lot of human life without restrictions or duties [Nagel] |