31 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'. |
7440 | Secondary qualities are microscopic primary qualities of physical things [Armstrong] |
Full Idea: I argue for the direct identification of the secondary qualities with microscopic primary qualities of physical things. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xxii) | |
A reaction: This sounds a bit like the eliminativism which Armstrong rejects. This seems in danger of mixing questions about the nature of mental events with questions about the nature of externally perceived objects. |
7437 | Consciousness and experience of qualities are not the same [Armstrong] |
Full Idea: Consciousness and experience of qualities are often run together - a serious mistake, I think. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvii) | |
A reaction: A difficult claim to evaluate. Can we experience redness without being conscious of it? Could there be consciousness (e.g. of concepts) which didn't involve any qualities? I suspect that qualities are more basic than intentionality or consciousness. |
7434 | Behaviourism is false, but mind is definable as the cause of behaviour [Armstrong] |
Full Idea: Behaviourism is false, but one is not far from the truth if one defines the mind as the cause of behaviour. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvi) | |
A reaction: As Putnam says, if you cut all the efferent (outgoing) nerves, you would have a mind with no behaviour at all. I would say my mind is full of stuff that never affects my behaviour. However, influencing behaviour is certainly the main function of a mind. |
7436 | The manifestations of a disposition need never actually exist [Armstrong] |
Full Idea: The manifestations of a disposition have the particularly mysterious property (metaphysically speaking) that they need not exist - which makes them rather like intentional objects. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvii) | |
A reaction: His example is a brittle glass which never shatters. This problem seems to require the mention of conditional and counterfactual statements in the description of the actual world, which rather increases the workload for philosophers. |
7429 | Causal Functionalism says mental states are apt for producing behaviour [Armstrong] |
Full Idea: I speak of my view as the Causal version of functionalism, which asserts that mental states are states apt for the production of certain ranges of behaviour and, in some cases, apt for being produced by certain ranges of stimuli. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xiv) | |
A reaction: This effectively makes a mental state a place in a flowdiagram (and hence the mind is software). It says nothing about what qualities the mental states have which make them apt for this role. Full explanations need more than the function. |
7438 | A causal theory of mentality would be improved by a teleological element [Armstrong] |
Full Idea: I now think, following Lycan, that my Causal theory of mentality would be strengthened (perhaps eliminating some potential counter-examples) by the addition of a teleological element. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xviii) | |
A reaction: For Lycan, see Idea 6533. Armstrong has begun to realise that merely specifying the causal role of a mental state is too thin as an explanation. Teleology widens the notion of function. I also want to know about the properties that make it possible. |
7431 | The identity of mental states with physical properties is contingent, because the laws of nature are contingent [Armstrong] |
Full Idea: Granted the contingency of the laws of nature, the identification of dispositions with their categorical bases can be contingent only. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xvi) | |
A reaction: Personally I am not willing to grant the contingency of the laws of nature, but I suppose Armstrong is right about identity if he is right about laws. Presumably an identity could happen to be invariant across possible worlds, without being necessary. |
7432 | One mental role might be filled by a variety of physical types [Armstrong] |
Full Idea: If the mental is just that which plays a causal role then there is the possibility, which may even be an empirical possibility, that the causal role of tokens of the same mental type should be filled by tokens of significantly different physical types. | |
From: David M. Armstrong (Pref to new 'Materialist Theory' [1992], p.xiv) | |
A reaction: This allows for multiple realisability in a physicalist framework. Fear has the same role in all animals, but may be realised in physically different ways. I go further, and say that two mental states could differ, while playing the same role. |
7590 | Consequentialism emphasises value rather than obligation in morality [Scruton] |
Full Idea: According to consequentialism, the fundamental concept of morality is not obligation (deontological ethics) but value (axiological ethics). | |
From: Roger Scruton (A Dictionary of Political Thought [1982], 'consequentialism') | |
A reaction: These two views could come dramatically apart, in wartime, or in big ecological crises, or in a family breakup, or in religious disputes. Having identified the pair so clearly, why can we not aim for a civilised (virtuous) balance between the two? |
7589 | Altruism is either emotional (where your interests are mine) or moral (where they are reasons for me) [Scruton] |
Full Idea: Two distinct motives go by the name of altruism: the emotions of liking, love and friendship, making another's interest automatically mine; and the moral motive of respect or considerateness, where another's interests become reasons for me, but not mine. | |
From: Roger Scruton (A Dictionary of Political Thought [1982], 'altruism') | |
A reaction: The second one has a strongly Kantian flavour, with its notion of impersonal duty. Virtue theorists will aspire to achieve the first state rather than the second, because good actions are then actively desired, and give pleasure to the doer. |
7595 | The idea of a right seems fairly basic; justice may be the disposition to accord rights to people [Scruton] |
Full Idea: The idea of a right seems to be as basic as any other; we might even define justice in terms of it, as the disposition to accord to every person his rights. | |
From: Roger Scruton (A Dictionary of Political Thought [1982], 'rights') | |
A reaction: I am inclined to think that a set of fairly pure values (such as equality, kindness, sympathy, respect) must be in place before the idea of a right would occur to anyone. Aristotle has a powerful moral sense, but rights for slaves don't cross his mind. |
7588 | Allegiance is fundamental to the conservative view of society [Scruton] |
Full Idea: Conservatives have made the concept of allegiance, conceived as a power, fundamental to their description of the experience of society | |
From: Roger Scruton (A Dictionary of Political Thought [1982], 'allegiance') | |
A reaction: This provokes the famous slogan of "My country - right or wrong!" However, the issue here is not going to be decided by a consequentialist analysis, but by a view a of human nature. I think I would want to carefully prise allegiance apart from loyalty. |
7594 | Democrats are committed to a belief and to its opposite, if the majority prefer the latter [Scruton] |
Full Idea: The paradox of democracy (emphasised by Rousseau) is that I am compelled by my belief in democracy to embrace conflicting - perhaps even contradictory - opinions. If I believe A, and the majority vote for B, I am committed to enacting them both. | |
From: Roger Scruton (A Dictionary of Political Thought [1982], 'paradox of democracy') | |
A reaction: The paradox would have to be resolved by qualifying what exactly one is committed to by being a democrat. I would say I am committed to the right of my opponents to enact a policy with which I disagree. |
7593 | Liberals focus on universal human freedom, natural rights, and tolerance [Scruton, by PG] |
Full Idea: Liberalism believes (roughly) in the supremacy of the individual, who has freedom and natural rights; it focuses on human, not divine affairs; it claims rights and duties are universal; and it advocates tolerance in religion and morality. | |
From: report of Roger Scruton (A Dictionary of Political Thought [1982], 'liberalism') by PG - Db (ideas) | |
A reaction: I find it hard to disagree with these principles, but the upshot in practice is often an excessive commitment to freedom and tolerance, because people fail to realise the subtle long-term erosions of society that can result. |
7592 | For positivists law is a matter of form, for naturalists it is a matter of content [Scruton] |
Full Idea: For the positivist, law is law by virtue of its form; for the naturalist, by virtue of its content. | |
From: Roger Scruton (A Dictionary of Political Thought [1982], 'law') | |
A reaction: Clearly a perverse and 'unnatural' social rule (backed by government and implied force) is a 'law' in some sense of the word. It is hard to see how you could gain social consensus for a law if it didn't appear in some way to be 'natural justice'. |
7587 | The issue of abortion seems insoluble, because there is nothing with which to compare it [Scruton] |
Full Idea: The issue of abortion is intractable, partly because of the absence of any other case to which it can be assimilated. | |
From: Roger Scruton (A Dictionary of Political Thought [1982], 'abortion') | |
A reaction: This is the legalistic approach to the problem, which always looks for precedents and comparisons. All problems must hav solutions, though (mustn't they?). The problem, though, is not the value of the foetus, but the unique form of 'ownership'. |