28 ideas
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| Full Idea: A state of 'reflective equilibrium' is when our theory and our intuitions become completely aligned | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.IV) | |
| A reaction: [Rawls made this concept famous] This is a helpful concept in trying to spell out the ideal which is the dream of believers in 'pure reason' - that there is a goal in which everything comes right. The problem is when people have different intuitions! |
| 13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
| Full Idea: There are four 'perfect syllogisms': Barbara (every M is P, every S is M, so every S is P); Celarent (no M is P, every S is M, so no S is P); Darii (every M is P, some S is M, so some S is P); Ferio (no M is P, some S is M, so some S is not P). | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) | |
| A reaction: The four names are mnemonics from medieval universities. |
| 13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
| Full Idea: It has often been claimed (e.g. by Leibniz) that a single rule governs all syllogistic validity, called 'dictum de omni et null', which says that what is affirmed or denied of any whole is affirmed or denied of any part of that whole. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) | |
| A reaction: This seems to be the rule which is captured by Venn Diagrams. |
| 13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
| Full Idea: Three common kinds of sentence cannot be put into syllogistic ('categorical') form: ones using singular terms ('Mars is red'), ones using relational terms ('every painter owns some brushes'), and compound sentences. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) |
| 13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
| Full Idea: Term logic begins with expressions and two 'term functors'. Any simple letter is a 'term', any term prefixed by a minus ('-') is a 'negative term', and any pair of terms flanking a plus ('+') is a 'compound term'. Parenthese are used for grouping. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) | |
| A reaction: [see Engelbretsen and Sayward for the full formal system] |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| Full Idea: In three-valued logic (L3), neither the law of excluded middle (p or not-p), nor the law of non-contradiction (not(p and not-p)) will be tautologies. If p has the value 'indeterminate' then so will not-p. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.I) | |
| A reaction: I quite accept that the world is full of indeterminate propositions, and that excluded middle and non-contradiction can sometimes be uncertain, but I am reluctant to accept that what is being offered here should be called 'logic'. |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| Full Idea: In fuzzy logic objects have properties to a greater or lesser degree, and truth values are given as fractions or decimals, ranging from 0 to 1. Not-p is defined as 1-p, and other formula are defined in terms of maxima and minima for sets. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The question seems to be whether this is actually logic, or a recasting of probability theory. Susan Haack attacks it. If logic is the study of how truth is preserved as we move between propositions, then 0 and 1 need a special status. |
| 13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
| Full Idea: One of the key ideas of modern formal logic is that all formally valid inferences can be specified in strictly syntactic terms. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.2) |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| Full Idea: For simplicity, we can say that 'classical logic' amounts to the truth of four sentences: 1) either p or not-p; 2) it is not the case that both p and not-p; 3) from p and not-p, infer q; 4) from p or q and not-p, infer q. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.I) | |
| A reaction: [She says there are many ways of specifying classical logic] Intuition suggests that 2 and 4 are rather hard to dispute, while 1 is ignoring some grey areas, and 3 is totally ridiculous. There is, of course, plenty of support for 3! |
| 13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
| Full Idea: Classical logic rests on the concepts of truth and falsity (and usually makes use of a semantic theory based on models), whereas constructivist logic accounts for inference in terms of defense and refutation. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Intro) | |
| A reaction: My instincts go with the classical view, which is that inferences do not depend on the human capacity to defend them, but sit there awaiting revelation. My view isn't platonist, because I take the inferences to be rooted in the physical world. |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| Full Idea: Even if one is inclined to be a realist about everything, it is hard to see why our logic should be the determiner. Logic is supposed to formalize how we ought to reason, but whether or not we should be realists is a matter of philosophy, not logic. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 09.I) | |
| A reaction: Nice to hear a logician saying this. I do not see why talk in terms of an object is a commitment to its existence. We can discuss the philosopher's stone, or Arthur's sword, or the Loch Ness monster, or gravitinos, with degrees of commitment. |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| Full Idea: Unlike ∨, →, ↔, and ∀, the sign = is not eliminable from a logic. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.3) |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| Full Idea: A set of axioms is said to be ω-incomplete if, for some universal quantification, each of its instances is derivable from those axioms but the quantification is not thus derivable. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 7) |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| Full Idea: We could construct a 1,000,000-valued logic that would allow our intuitions concerning a heap to vary exactly with the amount of sand in the heap. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008]) | |
| A reaction: Presumably only an infinite number of grains of sand would then produce a true heap, and even one grain would count as a bit of a heap, which must both be wrong, so I can't see this helping much. |
| 14329 | Some dispositional properties (such as mental ones) may have no categorical base [Price,HH] |
| Full Idea: There is no a priori necessity for supposing that all disposition properties must have a 'categorical base'. In particular, there may be some mental dispositions which are ultimate. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.XI) | |
| A reaction: I take the notion that mental dispositions could be ultimate as rather old-fashioned, but I agree with the notion that dispositions might be more fundamental that categorical (actual) properties. Personally I like 'powers'. |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| Full Idea: Vague terms come in at least two different kinds: those whose constituent parts come in discrete packets (bald, rich, red) and those that don't (beauty, boredom, niceness). | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The first group seem to be features of the external world, and the second all occur in the mind. Baldness may be vague, but presumably hairs are (on the whole) not. Nature doesn't care whether someone is actually 'bald' or not. |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| Full Idea: Explaining 'it is possible that p' by saying p is true in at least one possible world doesn't get me very far. If I don't understand what possibility is, then appealing to possible worlds is not going to do me much good. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 06.III) | |
| A reaction: This seems so blatant that I assume friends of possible worlds will have addressed the problem. Note that you will also need to understand 'possible' to define necessity as 'true in all possible worlds'. Necessarily-p is not-possibly-not-p. |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| Full Idea: If all truths are implied by a falsehood, then 'if there are no trees in the park then there is no shade' and 'if there are no trees in the park there is plenty of shade' both come out as true. Intuitively, though, the second one is false. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.I) | |
| A reaction: The rule that a falsehood implies all truths must be the weakest idea in classical logic, if it actually implies a contradiction. This means we must take an interest in relevance logics. |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| Full Idea: A good account of relevance logic suggests that a conditional will be true when the flow of information is such that a conditional is the device that helps information to flow from the antecedent to the consequent. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.III) | |
| A reaction: Hm. 'If you are going out, you'll need an umbrella'. This passes on information about 'out', but also brings in new information. 'If you are going out, I'm leaving you'. What flows is an interpretation of the antecedent. Tricky. |
| 9032 | Before we can abstract from an instance of violet, we must first recognise it [Price,HH] |
| Full Idea: Abstraction is preceded by an earlier stage, in which we learn to recognize instances; before I can conceive of the colour violet in abstracto, I must learn to recognize instances of this colour when I see them. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.II) | |
| A reaction: The problem here might be one of circularity. If you are actually going to identify something as violet, you seem to need the abstract concept of 'violet' in advance. See Idea 9034 for Price's attempt to deal with the problem. |
| 9035 | If judgement of a characteristic is possible, that part of abstraction must be complete [Price,HH] |
| Full Idea: If we are to 'judge' - rightly or not - that this object has a specific characteristic, it would seem that so far as the characteristic is concerned the process of abstraction must already be completed. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.III) | |
| A reaction: Personally I think Price is right, despite the vicious attack from Geach that looms. We all know the experiences of familiarity, recognition, and identification that go on when see a person or picture. 'What animal is that, in the distance?' |
| 9034 | There may be degrees of abstraction which allow recognition by signs, without full concepts [Price,HH] |
| Full Idea: If abstraction is a matter of degree, and the first faint beginnings of it are already present as soon as anything has begun to feel familiar to us, then recognition by means of signs can occur long before the process of abstraction has been completed. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.III) | |
| A reaction: I like this, even though it is unscientific introspective psychology, for which no proper evidence can be adduced - because it is right. Neuroscience confirms that hardly any mental life has an all-or-nothing form. |
| 9036 | There is pre-verbal sign-based abstraction, as when ice actually looks cold [Price,HH] |
| Full Idea: We must still insist that some degree of abstraction, and even a very considerable degree of it, is present in sign-cognition, pre-verbal as it is. ...To us, who are familiar with northern winters, the ice actually looks cold. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.IV) | |
| A reaction: Price may be in the weak position of doing armchair psychology, but something like his proposal strikes me as correct. I'm much happier with accounts of thought that talk of 'degrees' of an activity, than with all-or-nothing cut-and-dried pictures. |
| 9037 | Intelligent behaviour, even in animals, has something abstract about it [Price,HH] |
| Full Idea: Though it may sound odd to say so, intelligent behaviour has something abstract about it no less than intelligent cognition; and indeed at the animal level it is unrealistic to separate the two. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.IV) | |
| A reaction: This elusive thought strikes me as being a key one for understanding human existence. To think is to abstract. Brains are abstraction machines. Resemblance and recognition require abstaction. |
| 9033 | Recognition must precede the acquisition of basic concepts, so it is the fundamental intellectual process [Price,HH] |
| Full Idea: Recognition is the first stage towards the acquisition of a primary or basic concept. It is, therefore, the most fundamental of all intellectual processes. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.II) | |
| A reaction: An interesting question is whether it is an 'intellectual' process. Animals evidently recognise things, though it is a moot point whether slugs 'recognise' tasty leaves. |
| 9030 | Abstractions can be interpreted dispositionally, as the ability to recognise or imagine an item [Price,HH] |
| Full Idea: An abstract idea may have a dispositional as well as an occurrent interpretation. ..A man who possesses the concept Dog, when he is actually perceiving a dog can recognize that it is one, and can think about dogs when he is not perceiving any dog. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.IX) | |
| A reaction: Ryle had just popularised the 'dispositional' account of mental events. Price is obviously right. The man may also be able to use the word 'dog' in sentences, but presumably dogs recognise dogs, and probably dream about dogs too. |
| 9029 | If ideas have to be images, then abstract ideas become a paradoxical problem [Price,HH] |
| Full Idea: There used to be a 'problem of Abstract Ideas' because it was assumed that an idea ought, somehow, to be a mental image; if some of our ideas appeared not to be images, this was a paradox and some solution must be found. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.VIII) | |
| A reaction: Berkeley in particular seems to be struck by the fact that we are incapable of thinking of a general triangle, simply because there is no image related to it. Most conversations go too fast for images to form even of very visual things. |
| 9031 | The basic concepts of conceptual cognition are acquired by direct abstraction from instances [Price,HH] |
| Full Idea: Basic concepts are acquired by direct abstraction from instances; unless there were some concepts acquired in this way by direct abstraction, there would be no conceptual cognition at all. | |
| From: H.H. Price (Thinking and Experience [1953], Ch.II) | |
| A reaction: This seems to me to be correct. A key point is that not only will I acquire the concept of 'dog' in this direct way, from instances, but also the concept of 'my dog Spot' - that is I can acquire the abstract concept of an instance from an instance. |