24 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) |
| 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'. |
| 7357 | People who control others with fluent language often end up being hated [Kongzi (Confucius)] |
| Full Idea: Of what use is eloquence? He who engages in fluency of words to control men often finds himself hated by them. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], V.5) | |
| A reaction: I don't recall Socrates making this very good point to any of the sophists (such as Gorgias). The idea that if you battle or connive your way to dominance over others then you are successful is false. Life is a much longer game than that. |
| 4377 | Intellectualism is an excessive emphasis on reasoning in moral philosophy [Burnyeat] |
| Full Idea: Intellectualism, a one-sided preoccupation with reason and reasoning, is a perennial failing in moral philosophy. | |
| From: Myles F. Burnyeat (Aristotle on Learning to be Good [1980], p.70) | |
| A reaction: But Kant's reply would be that while there is much more to moral behaviour, the only part which matters in morality is the reasoning part. And Socrates' view (ignorance is evil) is not obviously wrong. |
| 7358 | All men prefer outward appearance to true excellence [Kongzi (Confucius)] |
| Full Idea: I have yet to meet a man as fond of excellence as he is of outward appearances. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], IX.18) | |
| A reaction: Interestingly, this cynical view of the love of virtue is put by Plato into the mouths of Glaucon and Adeimantus (in Bk II of 'Republic', e.g. Idea 12), and not into the mouth of Socrates, who goes on to defend the possibility of true virtue. |
| 7362 | Humans are similar, but social conventions drive us apart (sages and idiots being the exceptions) [Kongzi (Confucius)] |
| Full Idea: In our natures we approximate one another; habits put us further and further apart. The only ones who do not change are sages and idiots. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XVII.2) | |
| A reaction: I find most of Confucius rather uninteresting, but this is a splendid remark about the influence of social conventions on human nature. Sages can achieve universal morality if they rise above social convention, and seek the true virtues of human nature. |
| 7360 | Do not do to others what you would not desire yourself [Kongzi (Confucius)] |
| Full Idea: Do not do to others what you would not desire yourself. Then you will have no enemies, either in the state or in your home. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XII.2) | |
| A reaction: The Golden Rule, but note the second sentence. Logically, it leads to the absurdity of not giving someone an Elvis record for Christmas because you yourself don't like Elvis. Kant (Idea 3733) and Nietzsche (Idea 4560) offer good criticisms. |
| 7359 | Excess and deficiency are equally at fault [Kongzi (Confucius)] |
| Full Idea: Excess and deficiency are equally at fault. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XI.16) | |
| A reaction: This is the sort of wisdom we admire in Aristotle (and in any sensible person), but it may also be the deepest motto of conservatism, and it is a long way from romantic philosophy, and the clarion call of Nietzsche to greater excitement in life. |
| 7363 | The virtues of the best people are humility, maganimity, sincerity, diligence, and graciousness [Kongzi (Confucius)] |
| Full Idea: He who in this world can practise five things may indeed be considered Man-at-his-best: humility, maganimity, sincerity, diligence, and graciousness. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XVII.5) | |
| A reaction: A very nice list. Who could resist working with a colleague who had such virtues? Who could go wrong if they married a person who had them? I can't think of anything important that is missing. |
| 7361 | Men of the highest calibre avoid political life completely [Kongzi (Confucius)] |
| Full Idea: Men of the highest calibre avoid political life completely. | |
| From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XIV.37) | |
| A reaction: Plato notes that such people tend to avoid political life (and a left sheltering, as if from a wild storm!), but he thinks they should be dragged into the political arena for the common good. Confucius seems to approve of the avoidance. Plato is right. |
| 23393 | Confucianism assumes that all good developments have happened, and there is only one Way [Norden on Kongzi (Confucius)] |
| Full Idea: The two major limitations of Confucianism are that it assumes that all worthwhile cultural, social and ethical innovation has already occurred, and that it does not recognise the plurality of worthwhile ways of life. | |
| From: comment on Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE]) by Bryan van Norden - Intro to Classical Chinese Philosophy 3.III | |
| A reaction: In modern liberal terms that is about as conservative as it is possible to get. We think of it as the state of mind of an old person who can only long for the way things were when they were young. But 'hold fast to that which is good'! |