59 ideas
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
7689 | The modal logic of C.I.Lewis was only interpreted by Kripke and Hintikka in the 1960s [Jacquette] |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
7681 | Logic describes inferences between sentences expressing possible properties of objects [Jacquette] |
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
7682 | Logic is not just about signs, because it relates to states of affairs, objects, properties and truth-values [Jacquette] |
7697 | On Russell's analysis, the sentence "The winged horse has wings" comes out as false [Jacquette] |
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
7701 | Can a Barber shave all and only those persons who do not shave themselves? [Jacquette] |
7707 | To grasp being, we must say why something exists, and why there is one world [Jacquette] |
7687 | Existence is completeness and consistency [Jacquette] |
7692 | Being is maximal consistency [Jacquette] |
7679 | Ontology is the same as the conceptual foundations of logic [Jacquette] |
7678 | Ontology must include the minimum requirements for our semantics [Jacquette] |
7683 | Logic is based either on separate objects and properties, or objects as combinations of properties [Jacquette] |
7684 | Reduce states-of-affairs to object-property combinations, and possible worlds to states-of-affairs [Jacquette] |
7703 | If classes can't be eliminated, and they are property combinations, then properties (universals) can't be either [Jacquette] |
7685 | An object is a predication subject, distinguished by a distinctive combination of properties [Jacquette] |
7699 | Numbers, sets and propositions are abstract particulars; properties, qualities and relations are universals [Jacquette] |
7691 | The actual world is a consistent combination of states, made of consistent property combinations [Jacquette] |
7688 | The actual world is a maximally consistent combination of actual states of affairs [Jacquette] |
7695 | Do proposition-structures not associated with the actual world deserve to be called worlds? [Jacquette] |
7694 | We must experience the 'actual' world, which is defined by maximally consistent propositions [Jacquette] |
7706 | If qualia supervene on intentional states, then intentional states are explanatorily fundamental [Jacquette] |
7704 | Reduction of intentionality involving nonexistent objects is impossible, as reduction must be to what is actual [Jacquette] |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
7702 | The extreme views on propositions are Frege's Platonism and Quine's extreme nominalism [Jacquette] |
22849 | Rawls's theory cannot justify liberalism, since it presupposes free and equal participants [Charvet] |
22848 | People with strong prior beliefs would have nothing to do with a veil of ignorance [Charvet] |
22838 | Societies need shared values, so conservatism is right if rational discussion of values is impossible [Charvet] |
22846 | The universalism of utilitarianism implies a world state [Charvet] |
22835 | Liberals value freedom and equality, but the society itself must decide on its values [Charvet] |
22831 | Modern libertarian societies still provide education and some housing [Charvet] |
22839 | Liberalism needs people to either have equal autonomy, or everyone to have enough autonomy [Charvet] |
22847 | Kant places a higher value on the universal rational will than on the people asserting it [Charvet] |
22821 | Liberalism asserts maximum freedom, but that must be equal for all participants [Charvet] |
22834 | Egalitarian liberals prefer equality (either of input or outcome) to liberty [Charvet] |
22822 | Liberals promote community and well-being - because all good societies need them [Charvet] |
22841 | Identity multiculturalism emerges from communitarianism, preferring community to humanity [Charvet] |
22842 | For communitarians it seems that you must accept the culture you are born into [Charvet] |
22830 | Give by ability and receive by need, rather than a free labour market [Charvet] |
22829 | Allowing defamatory speech is against society's interests, by blurring which people are trustworthy [Charvet] |
22836 | 'Freedom from' is an empty idea, if the freedom is not from impediments to my desires [Charvet] |
22837 | Positive freedom can lead to coercion, if you are forced to do what you chose to do [Charvet] |
22844 | First level autonomy is application of personal values; second level is criticising them [Charvet] |
22840 | Mere equality, as in two trees being the same height, has no value at all [Charvet] |
22843 | Inequalities are worse if they seem to be your fault, rather than social facts [Charvet] |
22845 | Money allows unlimited inequalities, and we obviously all agree to money [Charvet] |
22828 | The rule of law mainly benefits those with property and liberties [Charvet] |
22825 | The 1689 Bill of Rights denied the monarch new courts, or the right to sit as judge [Charvet] |
22823 | The rule of law is mainly to restrict governments [Charvet] |
22827 | Justice superior to the rule of law is claimed on behalf of the workers, or the will of the nation [Charvet] |
22826 | From 1701 only parliament could remove judges, whose decisions could not be discussed [Charvet] |
22832 | Welfare is needed if citizens are to accept the obligations of a liberal state [Charvet] |
17593 | Always be ready to give reasons for your beliefs [Peter] |