3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely. | |
From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5 |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
22818 | Liberals are not too individualistic, because people recognise and value social relations [Kymlicka] |
Full Idea: It is alleged that liberals fail to recognise that people are naturally social or communal. …But liberals believe that people form and join social relations in which they come to understand and pursue the good. | |
From: Will Kymlicka (Liberal Individualism and Liberal Neutrality [1989], Conc) | |
A reaction: This is particulary aimed at communitarians, who see liberalism as based on a distorted concept of people as isolated beings. Personally I am beginning to shift my views from Aristotelian communitarianism to modern liberalism, so I like this idea. |