37 ideas
| 7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
| Full Idea: Propositional logic can deal with negation, disjunction and conjunction of propositions, but predicate logic goes beyond it to deal with quantifiers, predicates and relations. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 1.1) | |
| A reaction: This is on the first page of an introduction to the next stage, which is to include modal notions like 'must' and 'possibly'. |
| 7798 | There are three axiom schemas for propositional logic [Girle] |
| Full Idea: The axioms of propositional logic are: A→(B→A); A→(B→C)→(A→B)→(A→C) ; and (¬A→¬B)→(B→A). | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 6.5) |
| 7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
| Full Idea: The operators of propositional logic are defined as follows: 'or' (v) is not-A implies B; 'and' (ampersand) is not A-implies-not-B; and 'identity' (three line equals) is A-implies-B and B-implies-A. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 6.5) |
| 7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
| Full Idea: An axiom system for a logic contains three elements: a set of axioms; a set of inference rules; and definitions for proofs and theorems. There are also definitions for the derivation of conclusions from sets of premises. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 6.5) |
| 7794 | There are seven modalities in S4, each with its negation [Girle] |
| Full Idea: In S4 there are fourteen modalities: no-operator; necessarily; possibly; necessarily-possibly; possibly-necessarily; necessarily-possibly-necessarily; and possibly-necessarily-possibly (each with its negation). | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 3.5) | |
| A reaction: This is said to be 'more complex' than S5, but also 'weaker'. |
| 7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
| Full Idea: The critical formula that distinguishes S5 from all others is: ◊p → □◊p. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 3.3) | |
| A reaction: If it is possible that it is raining, then it is necessary that it is possible that it is raining. But if it is possible in this world, how can that possibility be necessary in all possible worlds? |
| 7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
| Full Idea: In S5 there are six modalities: no-operator; necessarily; and possibly (and their negations). In any sequence of operators we may delete all but the last to gain an equivalent formula. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 3.5) | |
| A reaction: Such drastic simplification seems attractive. Is there really no difference, though, between 'necessarily-possibly', 'possibly-possibly' and just 'possibly'? Could p be contingently possible in this world, and necessarily possible in another? |
| 7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
| Full Idea: In possible worlds logics a statement is true-in-a-world rather than just true. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 1.1) | |
| A reaction: This sounds relativist, but I don't think it is. It is the facts which change, not the concept of truth. So 'donkeys can talk' may be true in a world, but not in the actual one. |
| 7788 | Modal logic has four basic modal negation equivalences [Girle] |
| Full Idea: The four important logical equivalences in modal logic (the Modal Negation equivalences) are: ¬◊p↔□¬p, ◊¬p↔¬□p, □p↔¬◊¬p, and ◊p↔¬□¬p. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 1.2) | |
| A reaction: [Possibly is written as a diamond, necessarily a square] These are parallel to a set of equivalences between quantifiers in predicate logic. They are called the four 'modal negation (MN) equivalences'. |
| 7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
| Full Idea: Modal logics were, for a long time, studied in terms of axiom systems. The advent of possible worlds semantics made it possible to study them in a semantic way as well. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 6.5) |
| 7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
| Full Idea: Necessary implication is often called 'strict implication'. The sort of strict implication found in valid arguments, where the conjunction of the premises necessarily implies the conclusion, is often called 'entailment'. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 1.2) | |
| A reaction: These are basic concept for all logic. |
| 7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
| Full Idea: The truth trees method for establishing the validity of arguments and formulas is easy to use, and has the advantage that if an argument or formula is not valid, then a counter-example can be retrieved from the tree. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 1.4) |
| 21554 | Sets always exceed terms, so all the sets must exceed all the sets [Lackey] |
| Full Idea: Cantor proved that the number of sets in a collection of terms is larger than the number of terms. Hence Cantor's Paradox says the number of sets in the collection of all sets must be larger than the number of sets in the collection of all sets. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: The sets must count as terms in the next iteration, but that is a normal application of the Power Set axiom. |
| 21553 | It seems that the ordinal number of all the ordinals must be bigger than itself [Lackey] |
| Full Idea: The ordinal series is well-ordered and thus has an ordinal number, and a series of ordinals to a given ordinal exceeds that ordinal by 1. So the series of all ordinals has an ordinal number that exceeds its own ordinal number by 1. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: Formulated by Burali-Forti in 1897. |
| 16050 | The goodness of a picture supervenes on the picture; duplicates must be equally good [Hare] |
| Full Idea: Characteristic of value-words is that they name 'supervenient' properties. If we are discussing whether a picture is a good picture, ..and there is another picture that is a replica of it, we cannot say 'they are alike, but one is good and the other not'. | |
| From: Richard M. Hare (The Language of Morals [1952], 5.2) | |
| A reaction: [compressed] Horgan says this is the passage which introduced 'supervenience' into contemporary discussions. I think the best simple word for it is that the goodness of the picture 'tracks' its physical characteristics. It also depend on them. |
| 7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
| Full Idea: It has been customary to see analytic truths as dividing into the logically necessary and the conceptually necessary. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 7.3) | |
| A reaction: I suspect that this neglected distinction is important in discussions of Quine's elimination of the analytic/synthetic distinction. Was Quine too influenced by what is logically necessary, which might shift with a change of axioms? |
| 7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
| Full Idea: Qualified modalities seem to form a hierarchy, if we say that 'the possibility that there might be no hunger' is possible logically, theoretically, physically, economically, and humanly. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 7.3) | |
| A reaction: Girle also mentions conceptual possibility. I take 'physically' to be the same as 'naturally'. I would take 'metaphysically' possible to equate to 'theoretically' rather than 'logically'. Almost anything might be logically possible, with bizarre logic. |
| 7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
| Full Idea: When one world generates another then it has 'access' to the world it generated. The accessibility relation between worlds is very important in possible worlds semantics. | |
| From: Rod Girle (Modal Logics and Philosophy [2000], 3.2) | |
| A reaction: This invites the obvious question what is meant by 'generates'. |
| 2705 | How can intuitionists distinguish universal convictions from local cultural ones? [Hare] |
| Full Idea: There are convictions which are common to most societies; but there are others which are not, and no way is given by intuitionists of telling which are the authoritative data. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.454) | |
| A reaction: It seems unfair on intuitionists to say they haven't given a way to evaluate such things, given that they have offered intuition. The issue is what exactly they mean by 'intuition'. |
| 2712 | You can't use intuitions to decide which intuitions you should cultivate [Hare] |
| Full Idea: If it comes to deciding what intuitions and dispositions to cultivate, we cannot rely on the intuitions themselves, as intuitionists do. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.461) | |
| A reaction: Makes intuitionists sound a bit dim. Surely Hume identifies dispositions (such as benevolence) which should be cultivated, because they self-evidently improve social life? |
| 2706 | Emotivists mistakenly think all disagreements are about facts, and so there are no moral reasons [Hare] |
| Full Idea: Emotivists concluded too hastily that because naturalism and intuitionism are false, you cannot reason about moral questions, because they assumed that the only questions you can reason about are factual ones. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: Personally I have a naturalistic view of ethics (based on successful functioning, as indicated by Aristotle), so not my prob. Why can't we reason about expressive emotions? We reason about art. |
| 2709 | Prescriptivism sees 'ought' statements as imperatives which are universalisable [Hare] |
| Full Idea: Universal prescriptivists hold that 'ought'-judgements are prescriptive like plain imperatives, but differ from them in being universalisable. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.457) | |
| A reaction: Sounds a bit tautological. Which comes first, the normativity or the universalisability? |
| 2704 | If morality is just a natural or intuitive description, that leads to relativism [Hare] |
| Full Idea: Non-descriptivists (e.g. prescriptivists) reject descriptivism in its naturalist or intuitionist form, because they are both destined to collapse into relativism. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.453) | |
| A reaction: I'm not clear from this why prescriptism would not also turn out to be relativist, if it includes evaluations along with facts. |
| 2855 | In primary evaluative words like 'ought' prescription is constant but description can vary [Hare, by Hooker,B] |
| Full Idea: Hare says words are secondarily evaluative (e.g. 'soft-hearted') if prescriptive meaning varies but description is constant; primarily evaluative words ('good', 'right', 'ought') are the opposite, with the descriptive content varying. | |
| From: report of Richard M. Hare (The Language of Morals [1952]) by Brad W. Hooker - Prescriptivism p.640 | |
| A reaction: I would have thought that the prescriptive meaning of the evaluative word could at least vary in strength. You really, really ought to do that. |
| 22331 | Moral statements are imperatives rather than the avowals of emotion - but universalisable [Hare, by Glock] |
| Full Idea: According to Hare's universal prescriptivism, moral statements are closer to imperatives than to avowals of emotion; their purpose is to guide action. But unlike imeperatives they are universalisable. | |
| From: report of Richard M. Hare (Freedom and Reason [1963]) by Hans-Johann Glock - What is Analytic Philosophy? 2.9 | |
| A reaction: Why isn't 'everyone ought to support West Ham' a moral judgement? |
| 22484 | Universalised prescriptivism could be seen as implying utilitarianism [Hare, by Foot] |
| Full Idea: Hare has suggested that a fairly tight form of utilitarianism can be obtained from universalised prescriptivism. | |
| From: report of Richard M. Hare (Freedom and Reason [1963]) by Philippa Foot - Does Moral Subjectivism Rest on a Mistake? p.191 | |
| A reaction: All the benefits of Bentham, Kant and Hume, in one neat package! Since I take all three of them to be wrong about ethics, that counts against this idea. |
| 4125 | Hare says I acquire an agglomeration of preferences by role-reversal, leading to utilitarianism [Hare, by Williams,B] |
| Full Idea: In Hare's theory I apply a "role-reversal test", and then acquire an actual agglomeration of preferences that apply to the hypothetical situation. The result is utilitarianism. | |
| From: report of Richard M. Hare (Moral Thinking: Its Levels,Method and Point [1981]) by Bernard Williams - Ethics and the Limits of Philosophy Ch.5 | |
| A reaction: It hits that traditional stumbling block, of why I should care about the preferences of others. Pure reason and empathy are the options (Kant or Hume). I may, however, lack both. |
| 4126 | If we have to want the preferences of the many, we have to abandon our own deeply-held views [Williams,B on Hare] |
| Full Idea: Hare's version of utilitarianism requires an agent to abandon any deeply held principle or conviction if a large enough aggregate of contrary preferences, of whatever kind, favours a contrary action. | |
| From: comment on Richard M. Hare (Moral Thinking: Its Levels,Method and Point [1981]) by Bernard Williams - Ethics and the Limits of Philosophy Ch.5 | |
| A reaction: This nicely attacks any impersonal moral theory, whether it is based on reason or preferences. But where did my personal ideals come from? |
| 4127 | If morality is to be built on identification with the preferences of others, I must agree with their errors [Williams,B on Hare] |
| Full Idea: If there is to be total identification with others, then if another's preferences are mistaken, the preferences I imagine myself into are equally mistaken, and if 'identification' is the point, they should remain mistaken. | |
| From: comment on Richard M. Hare (Moral Thinking: Its Levels,Method and Point [1981]) by Bernard Williams - Ethics and the Limits of Philosophy Ch.5 | |
| A reaction: Yes. The core of morality must be judgement. Robots can implement universal utilitarian rules, but they could end up promoting persecutions of minorities. |
| 22483 | A judgement is presciptive if we expect it to be acted on [Hare] |
| Full Idea: We say something prescriptive if and only if, for some act A, some situation S and some person R, if P were to assent (orally) to what we say, and not, in S, do A, he logically must be assenting insincerely. | |
| From: Richard M. Hare (Moral Thinking: Its Levels,Method and Point [1981], p.21), quoted by Philippa Foot - Does Moral Subjectivism Rest on a Mistake? p.190 | |
| A reaction: Foot offers this as Hare's most explicit definition. The use of algebra strikes me as ludicrous. In logic letters have the virtue of not shifting their meaning during an argument, but that is not required here. |
| 2703 | Descriptivism say ethical meaning is just truth-conditions; prescriptivism adds an evaluation [Hare] |
| Full Idea: Ethical descriptivism is the view that ethical sentence-meaning is wholly determined by truth-conditions. …Prescriptivists think there is a further element of meaning, which expresses prescriptions or evaluations or attitudes which we assent to. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.452) | |
| A reaction: Not sure I understand either of these. If all meaning consists of truth-conditions, that will apply to ethics. If meaning includes evaluations, that will apply to non-ethics. |
| 2707 | If there can be contradictory prescriptions, then reasoning must be involved [Hare] |
| Full Idea: Prescriptivists claim that there are rules of reasoning which govern non-descriptive as well as descriptive speech acts. The standard example is possible logical inconsistency between contradictory prescriptions. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: The example doesn't seem very good. Inconsistency can appear in any area of thought, but that isn't enough to infer full 'rules of reasoning'. I could desire two incompatible crazy things. |
| 2708 | An 'ought' statement implies universal application [Hare] |
| Full Idea: In any 'ought' statement there is implicit a principle which says that the statement applies to all precisely similar situations. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.456) | |
| A reaction: No two situations can ever be 'precisely' similar. Indeed, 'precisely similar' may be an oxymoron (at least for situations). Kantians presumably like this idea. |
| 2711 | Prescriptivism implies a commitment, but descriptivism doesn't [Hare] |
| Full Idea: Prescriptivists hold that moral judgements commit the speaker to motivations and actions, but non-moral facts by themselves do not do this. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.459) | |
| A reaction: Surely hunger motivates to action? I suppose the key word is 'commit'. But lazy people are allowed to make moral judgements. |
| 4360 | By far the easiest way of seeming upright is to be upright [Hare] |
| Full Idea: By far the easiest way of seeming upright is to be upright. | |
| From: Richard M. Hare (Moral Thinking: Its Levels,Method and Point [1981], Ch.11) | |
| A reaction: Yes. This is the route which takes us from enlightened self-interest to a vision of true morality. Virtue is found to be its own reward, thought that is not how we became virtuous to begin with. |
| 2710 | Moral judgements must invoke some sort of principle [Hare] |
| Full Idea: To make moral judgements is implicitly to invoke some principle, however specific. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.458) |
| 6449 | The categorical imperative leads to utilitarianism [Hare, by Nagel] |
| Full Idea: Hare has proposed that utilitarianism is the ultimate standard to which we are led by the categorical imperative. | |
| From: report of Richard M. Hare (Freedom and Reason [1963], p.123-4) by Thomas Nagel - Equality and Partiality | |
| A reaction: It seems to me better to say that Kant starts (unwittingly) from something like utilitarianism, that is, an assumption that human happiness and welfare have some sort of intrinsic value that cannot be demonstrated. Otherwise evil can be universalised. |