131 ideas
| 2546 | Philosophy is a magnificent failure in its attempt to overstep the limits of our knowledge [McGinn] |
| Full Idea: Philosophy marks the limits of human theoretical intelligence. Philosophy is an attempt to overstep our cognitive bounds, a kind of magnificent failure. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.209) | |
| A reaction: No one attempts to overstep boundaries once they are confirmed as such. The magnificent attempts persist because failure is impossible to demonstrate (except, perhaps, by Gödel's Theorem). |
| 18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
| Full Idea: There is surely no metaphysical basis for logic, but equally there is no logical basis for metaphysics, if that implies that we can settle the choice of logic in advance of settling any seriously contested metaphysical-cum-semantic issues. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.5) | |
| A reaction: Is this aimed at Tim Williamson's book on treating modal logic as metaphysics? I agree with the general idea that logic won't deliver a metaphysics. I might want to defend a good metaphysics giving rise to a good logic. |
| 6052 | Definitions identify two concepts, so they presuppose identity [McGinn] |
| Full Idea: Any definition must presuppose the notion of identity precisely because a definition affirms the identity of two concepts. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: McGinn is arguing that identity is fundamental to thought, and this seems persuasive. It may be, though, that while identities are inescapable, definitions are impossible. |
| 6064 | Regresses are only vicious in the context of an explanation [McGinn] |
| Full Idea: Regresses are only vicious in the context of some explanatory aim, not in themselves. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2 n11) | |
| A reaction: A nice point. It is not quite clear how 'pure' reason could ever be vicious, or charming, or sycophantic. The problem about a vicious regress is precisely that it fails to explain anything. Now benign regresses are something else… (see Idea 2523) |
| 18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
| Full Idea: The realist principle that a statement may be true even though no one is able to recognise its truth is so deeply embedded in our ordinary conception of truth that any account that flouts it is liable to engender confusion. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 5.1) |
| 6088 | Truth is a method of deducing facts from propositions [McGinn] |
| Full Idea: Truth is essentially a method of deducing facts from propositions. | |
| From: Colin McGinn (Logical Properties [2000], Ch.5) | |
| A reaction: Very persuasive. McGinn is offering a disquotational account of truth, but in a robust form. Of course, deduction normally takes the form of moving infallibly from one truth to another, but that model of deduction won't fit this particular proposal. |
| 18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
| Full Idea: A statement is 'true at a possibility' if, necessarily, things would have been as the statement (actually) says they are, had the possibility obtained. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6.6) | |
| A reaction: This is deliberately vague about what a 'possibility' is, but it is intended to be more than a property instantiation, and less than a possible world. |
| 6084 | 'Snow does not fall' corresponds to snow does fall [McGinn] |
| Full Idea: We can say that the proposition that snow does not fall from the sky corresponds to the fact that snow does fall from the sky - in the sense that there is a mapping from fact to proposition. | |
| From: Colin McGinn (Logical Properties [2000], Ch.5) | |
| A reaction: A very nice difficulty for the correspondence theory. It becomes essential to say how the two things correspond before it can offer any sort of account of the truth-relation. |
| 6085 | The idea of truth is built into the idea of correspondence [McGinn] |
| Full Idea: The correspondence theory has an air of triviality, and hence undeniability, but this is because it implicitly builds the idea of truth into the notion of correspondence. | |
| From: Colin McGinn (Logical Properties [2000], Ch.5) | |
| A reaction: If this is accepted, it is a really fatal objection to the theory. Russell tried to use the idea of 'congruency' between beliefs and reality, but that may be open to the same objection. McGinn is claiming that truth is essentially indefinable. |
| 6083 | The coherence theory of truth implies idealism, because facts are just coherent beliefs [McGinn] |
| Full Idea: If 'snow falls from the sky' is true iff it coheres with other beliefs, this is a form of idealism; snow could surely fall from sky even if there were no beliefs in the world to cohere with each other. | |
| From: Colin McGinn (Logical Properties [2000], Ch.5) | |
| A reaction: The coherence theory of truth strikes me as yet another blunder involving a confusion of ontology and epistemology. Of course, idealism may be true, but I have yet to hear a good reason why I should abandon commonsense realism. |
| 6086 | Truth is the property of propositions that makes it possible to deduce facts [McGinn] |
| Full Idea: Truth is a property of a proposition from which one can deduce the fact stated by the proposition. | |
| From: Colin McGinn (Logical Properties [2000], Ch.5) | |
| A reaction: This is McGinn's explanation of the disquotational account of truth ('p' is true iff p). The redundancy theorist would reply that you can deduce p from 'p' without mentioning truth, but it remains to ask why this deduction is possible. |
| 6087 | Without the disquotation device for truth, you could never form beliefs from others' testimony [McGinn] |
| Full Idea: Imagine being in a community which had no concept of truth; ..you cannot disquote on p and hence form beliefs about the world as a result of testimony, since you lack the device of disquotation that is the essence of truth. | |
| From: Colin McGinn (Logical Properties [2000], Ch.5) | |
| A reaction: Whether his theory is right or not, the observation that testimony is the really crucial area where we must have a notion of truth is very good. How about 'truth is what turns propositions into beliefs'? |
| 18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
| Full Idea: The classical semantics of natural language propositions says 1) valid arguments preserve truth, 2) no statement is both true and false, 3) each statement is either true or false, 4) the familiar truth tables. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) |
| 12204 | The logic of metaphysical necessity is S5 [Rumfitt] |
| Full Idea: It is a widely accepted thesis that the logic of metaphysical necessity is S5. | |
| From: Ian Rumfitt (Logical Necessity [2010], §5) | |
| A reaction: Rumfitt goes on to defend this standard view (against Dummett's defence of S4). The point, I take it, is that one can only assert that something is 'true in all possible worlds' only when the worlds are all accessible to one another. |
| 18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
| Full Idea: If there is such a notion as 'absolute necessity', its logic is surely S5. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3) | |
| A reaction: There are plenty of people (mainly in the strict empiricist tradition) who don't believe in 'absolute' necessity. |
| 18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
| Full Idea: Although intuitionistic propositional and first-order logics are sub-systems of the corresponding classical systems, intuitionistic second-order logic affirms the negations of some classical theorems. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) |
| 18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
| Full Idea: Double Negation Elimination is a rule of inference which the classicist accepts without restriction, but which the intuitionist accepts only for decidable propositions. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
| A reaction: This cures me of my simplistic understanding that intuitionists just reject the rules about double negation. |
| 18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
| Full Idea: Many set theorists doubt if the Generalised Continuum Hypothesis must be either true or false; certainly, its bivalence is far from obvious. All the same, almost all set theorists use classical logic in their proofs. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.2) | |
| A reaction: His point is that classical logic is usually taken to rest on bivalence. He offers the set theorists a helping hand, by defending classical logic without resorting to bivalence. |
| 18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
| Full Idea: We are doomed to postulate an infinite sequence of successively stronger axiom systems as we try to spell out what is involved in iterating the power set operation 'as far as possible'. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.3) | |
| A reaction: [W.W. Tait is behind this idea] The problem with set theory, then, especially as a foundation of mathematics, is that it doesn't just expand, but has to keep reinventing itself. The 'large cardinal axioms' are what is referred to. |
| 18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
| Full Idea: There seem strong grounds for rejecting the thesis that a set consists of its members. For one thing, the empty set is a perpetual embarrassment for the thesis. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.4) | |
| A reaction: Rumfitt also says that if 'red' has an extension, then membership of that set must be vague. Extensional sets are precise because their objects are decided in advance, but intensional (or logical) sets, decided by a predicate, can be vague. |
| 18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
| Full Idea: Vagueness in respect of membership is consistent with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of the concept A. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.4) | |
| A reaction: To be determinate, it must be presumed that there is some test which will decide what falls under the concept. The rule can say 'if it is vague, reject it' or 'if it is vague, accept it'. Without one of those, how could the set have a clear identity? |
| 18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
| Full Idea: Someone who is sympathetic to the thesis that the totality of sets is not well-defined ought to concede that we have no reason to think that the Power Set Axiom is true. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.6) | |
| A reaction: The point is that it is only this Axiom which generates the vast and expanding totality. In principle it is hard, though, to see what is intrinsically wrong with the operation of taking the power set of a set. Hence 'limitation of size'? |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
| Full Idea: On the conception of logic recommended here, logical laws are higher-order laws that can be applied to expand the range of any deductive principles. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3) | |
| A reaction: You need the concept of a 'deductive principle' to get this going, but I take it that might be directly known, rather than derived from a law. |
| 9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
| Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13) | |
| A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy. |
| 18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
| Full Idea: I think it is a strategic mistake to rest the case for classical logic on the Principle of Bivalence: the soundness of the classical logic rules is far more compelling than the truth of Bivalence. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
| A reaction: The 'rules' to which he is referring are those of 'natural deduction', which make very few assumptions, and are intended to be intuitively appealing. |
| 18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
| Full Idea: There is not the slightest prospect of proving that the rules of classical logic are sound. ….All that the defender of classical logic can do is scrutinize particular attacks and try to repel them. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
| A reaction: This is the agenda for Rumfitt's book. |
| 18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
| Full Idea: If we specify the senses of the connectives by way of the standard truth-tables, then we must justify classical logic only by appeal to the Principle of Bivalence. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7) | |
| A reaction: Rumfitt proposes to avoid the truth-tables, and hence not to rely on Bivalence for his support of classical logic. He accepts that Bivalence is doubtful, citing the undecidability of the Continuum Hypothesis as a problem instance. |
| 12195 | Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt] |
| Full Idea: Our ordinary standards for deeming arguments to be sound vary greatly from context to context. Even the package tourist's syllogism ('It's Tuesday, so this is Belgium') may meet the operative standards for soundness. | |
| From: Ian Rumfitt (Logical Necessity [2010], Intro) | |
| A reaction: No doubt one could spell out the preconceptions of package tourist reasoning, and arrive at the logical form of the implication which is being offered. |
| 12199 | There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt] |
| Full Idea: There is a modal element in consequence, in its applicability to assessing reasoning from suppositions. | |
| From: Ian Rumfitt (Logical Necessity [2010], §2) |
| 12201 | We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt] |
| Full Idea: A rule is to be rejected if it enables us to deduce from some premisses a purported conclusion that does not follow from them in the broad sense. The idea that deductions answer to consequence is incomprehensible if consequence consists in deducibility. | |
| From: Ian Rumfitt (Logical Necessity [2010], §2) |
| 18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
| Full Idea: Logical consequence, I argue, is distinguished from other implication relations by the fact that logical laws may be applied in extending any implication relation so that it applies among some complex statements involving logical connectives. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3) | |
| A reaction: He offers implication in electronics as an example of a non-logical implication relation. This seems to indicate that logic must be monotonic, that consequence is transitive, and that the Cut Law always applies. |
| 18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
| Full Idea: Our deductive practices seem to presuppose the Cut Law. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 2.3) | |
| A reaction: That is, if you don't believe that deductions can be transitive (and thus form a successful chain of implications), then you don't really believe in deduction. It remains a well known fact that you can live without the Cut Law. |
| 18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
| Full Idea: I do not regard Bivalence, when applied to vague statements, as an intuitively compelling principle which we ought to try to preserve. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.7) | |
| A reaction: The point of Rumfitt's book is to defend classical logic despite failures of bivalence. He also cites undecidable concepts such as the Continuum Hypothesis. |
| 12194 | Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt] |
| Full Idea: Overt contradictions include formal contradictions of form 'B and not B', but I also take them to include 'This is red all over and green all over' and 'This is red and not coloured'. | |
| From: Ian Rumfitt (Logical Necessity [2010], Intro) |
| 6051 | In 'x is F and x is G' we must assume the identity of x in the two statements [McGinn] |
| Full Idea: If we say 'for some x, x is F and x is G' we are making tacit appeal to the idea of identity in using 'x' twice here: it has to be the same object that is both F and G. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: This may well be broadened to any utterances whatsoever. The only remaining question is to speculate about whether it is possible to think without identities. The Hopi presumably gave identity to processes rather objects. How does God think? |
| 6055 | Both non-contradiction and excluded middle need identity in their formulation [McGinn] |
| Full Idea: To formulate the law of non-contradiction ('nothing can be both F and non-F') and the law of excluded middle ('everything is either F or it is not-F'), we need the concept of identity (in 'nothing' and 'everything'). | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: Two good examples in McGinn's argument that identity is basic to all thinking. But the argument also works to say that necessity is basic (since both laws claim it) and properties are basic. Let's just declare everything 'basic', and we can all go home. |
| 6059 | Identity is unitary, indefinable, fundamental and a genuine relation [McGinn] |
| Full Idea: I have endorsed four main theses about identity: it is unitary, it is indefinable, it is fundamental, and it is a genuine relation | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: That it is fundamental to our thinking seems certain (but to all possible thought?). That it is a relation looks worth questioning. One might challenge unitary by comparing the identity of numbers, values, electrons and continents. I can't define it. |
| 2544 | Thoughts have a dual aspect: as they seem to introspection, and their underlying logical reality [McGinn] |
| Full Idea: Our thoughts have a kind of duality, corresponding to their surface appearance to introspection and their underlying logical reality. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.147) |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
| Full Idea: There is no prospect whatever of giving the sense of a logical constant without using that very constant, and much else besides, in the metalinguistic principle that specifies that sense. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 6042 | The quantifier is overrated as an analytical tool [McGinn] |
| Full Idea: The quantifier has been overrated as a tool of logical and linguistic analysis. | |
| From: Colin McGinn (Logical Properties [2000], Pref) | |
| A reaction: I find this proposal quite thrilling. Twentieth century analytical philosophy has been in thrall to logic, giving the upper hand in philosophical discussion to the logicians, who are often not very good at philosophy. |
| 6067 | Existential quantifiers just express the quantity of things, leaving existence to the predicate 'exists' [McGinn] |
| Full Idea: What the existential quantifier does is indicate the quantity of things in question - it says that some are; it is left up to the predicate 'exists' to express existence. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: This seems right. The whole quantification business seems like a conjuring trick to conceal the embarrassingly indefinable and 'metaphysical' notion of 'existence'. Cf Idea 7697. |
| 6069 | 'Partial quantifier' would be a better name than 'existential quantifier', as no existence would be implied [McGinn] |
| Full Idea: We would do much better to call 'some' the 'partial quantifier' (rather than the 'existential quantifier'), on analogy with the universal quantifier - as neither of them logically implies existence. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: Like McGinn's other suggestions in this chapter, this strikes me as a potentially huge clarification in linguistic analysis. I wait with interest to see whether the philosophical logicians take it up. I bet they don't. |
| 6068 | We need an Intentional Quantifier ("some of the things we talk about.."), so existence goes into the proposition [McGinn] |
| Full Idea: We could introduce an 'intentional quantifier' (Ix) which means 'some of the things we talk about..'; we could then say 'some of the things we talk about are F and exist' (Ix, x is F and x exists). | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: This immediately strikes me as a promising contribution to the analytical toolkit. McGinn is supporting his view that existence is a predicate, and so belongs inside the proposition, not outside. |
| 12198 | Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt] |
| Full Idea: The geometrical style of formalization of logic is now little more than a quaint anachronism, largely because it fails to show logical truths for what they are: simply by-products of rules of inference that are applicable to suppositions. | |
| From: Ian Rumfitt (Logical Necessity [2010], §1) | |
| A reaction: This is the rejection of Russell-style axiom systems in favour of Gentzen-style natural deduction systems (starting from rules). Rumfitt quotes Dummett in support. |
| 18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
| Full Idea: 'Introduction rules' state the conditions under which one may deduce a conclusion whose dominant logical operator is the connective. 'Elimination rules' state what may be deduced from some premises, where the major premise is dominated by the connective. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
| A reaction: So Introduction gives conditions for deduction, and Elimination says what can actually be deduced. If my magic wand can turn you into a frog (introduction), and so I turn you into a frog, how does that 'eliminate' the wand? |
| 18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
| Full Idea: Gentzen's way of formalising logic has accustomed people to the idea that logical truths are simply the by-products of logical rules, that arise when all the assumptions on which a conclusion rests have been discharged. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 2.5) | |
| A reaction: This is the key belief of those who favour the natural deduction account of logic. If you really believe in separate logic truths, then you can use them as axioms. |
| 18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
| Full Idea: Monotonicity seems to mark the difference between cases in which a guarantee obtains and those where the premises merely provide inductive support for a conclusion. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 2.3) | |
| A reaction: Hence it is plausible to claim that 'non-monotonic logic' is a contradiction in terms. |
| 18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
| Full Idea: Menzel proposes that an ordinal is something isomorphic well-ordered sets have in common, so while an ordinal can be represented as a set, it is not itself a set, but a 'property' of well-ordered sets. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.2) | |
| A reaction: [C.Menzel 1986] This is one of many manoeuvres available if you want to distance mathematics from set theory. |
| 17462 | A single object must not be counted twice, which needs knowledge of distinctness (negative identity) [Rumfitt] |
| Full Idea: One requirement for a successful count is that double counting should be avoided: a single object should not be counted twice. ...but that is to make a knowledgeable judgement of distinctness - to resolve a question of identity in the negative. | |
| From: Ian Rumfitt (Concepts and Counting [2002], III) | |
| A reaction: He also notes later (p.65) that you must count all and only the right things. |
| 18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
| Full Idea: Infinitesimals do not stand in a determinate order relation to zero: we cannot say an infinitesimal is either less than zero, identical to zero, or greater than zero. ….Infinitesimals are so close to zero as to be theoretically indiscriminable from it. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.4) |
| 18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
| Full Idea: One of the motivations behind Cantor's and Dedekind's pioneering explorations in the field was the ambition to give real analysis a new foundation in set theory - and hence a foundation independent of geometry. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.6) | |
| A reaction: Rumfitt is inclined to think that the project has failed, although a weaker set theory than ZF might do the job (within limits). |
| 17461 | Some 'how many?' answers are not predications of a concept, like 'how many gallons?' [Rumfitt] |
| Full Idea: We hit trouble if we hear answers to some 'How many?' questions as predications about concepts. The correct answer to 'how many gallons of water are in the tank?' may be 'ten', but that doesn''t mean ten things instantiate 'gallon of water in the tank'. | |
| From: Ian Rumfitt (Concepts and Counting [2002], I) | |
| A reaction: Rumfitt makes the point that a huge number of things instantiate that concept in a ten gallon tank of water. No problem, says Rumfitt, because Frege wouldn't have counted that as a statement of number. |
| 6070 | Existence is a primary quality, non-existence a secondary quality [McGinn] |
| Full Idea: Existence is like a primary quality; non-existence is like a secondary quality. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2 n29) | |
| A reaction: Since McGinn thinks existence really is a property, and hence, presumably, a predicate, I don't quite see why he uses the word "like". A nicely pithy and thought-provoking remark. |
| 6062 | Existence can't be analysed as instantiating a property, as instantiation requires existence [McGinn] |
| Full Idea: Paraphrasing existence statements into statements about the instantiation of a property does not establish that existence is not a predicate, since the notion of instantiation must be taken to have existence built into it. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: Thank you, Colin McGinn! This now strikes me as so obvious that it is astonishing that for the whole of the twentieth century no one seems to have said it. For a century philosophers had swept the ontological dirt under the mat. |
| 6065 | We can't analyse the sentence 'something exists' in terms of instantiated properties [McGinn] |
| Full Idea: The problems of the orthodox view are made vivid by analysis of the sentence 'something exists'; this is meaningful and true, but what property are we saying is instantiated here? | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: A very nice point. McGinn claims that existence is a property, a very generalised one. Personally I don't think anyone is even remotely clear what a property is, so the whole discussion is a bit premature. Must properties have causal powers? |
| 22427 | To explain object qualities, primary qualities must be more than mere sources of experience [McGinn] |
| Full Idea: In order that we have available an explanation of the qualities of objects we need to be able to conceive primary qualities as consisting in something other than powers to produce experiences. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6 n 52) | |
| A reaction: I suppose if the qualities are nothing more than the source of the experiences, that is Kant's noumenon. Nothing more could be said. The seems to be a requirement for tacit inference here. We infer the interior of the tomato. |
| 6082 | If causal power is the test for reality, that will exclude necessities and possibilities [McGinn] |
| Full Idea: Whether my body weight is necessary or contingent makes no difference at all to my causal powers, so modality is epiphenomenal; if you took causal potential as a test of reality you would have to declare modes unreal. | |
| From: Colin McGinn (Logical Properties [2000], Ch.4) | |
| A reaction: We could try analysing modality into causal terms, as Lewis proposes with quantification across worlds, or as Quine proposes by reduction to natural regularities. I am not sure what it would mean to declare that modes are 'real'. |
| 6075 | Facts are object-plus-extension, or property-plus-set-of-properties, or object-plus-property [McGinn] |
| Full Idea: A fact may be an object and an extension (Quine's view), or a property and a set of properties, or an object and a property; the view I favour is the third one, which seems the most natural. | |
| From: Colin McGinn (Logical Properties [2000], Ch.3) | |
| A reaction: Personally I tend to use the word 'fact' in a realist and non-linguistic way. There must be innumerable inexpressible facts, such as the single pattern made by all the particles of the universe. McGinn seems to be talking of 'atomic facts'. See Idea 6111. |
| 9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
| Full Idea: Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5) | |
| A reaction: I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy. |
| 18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
| Full Idea: A borderline red-orange object satisfies the disjunctive predicate 'red or orange', even though it satisfies neither 'red' or 'orange'. When applied to adjacent bands of colour, the disjunction 'sweeps up' objects which are reddish-orange. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.5) | |
| A reaction: Rumfitt offers a formal principle in support of this. There may be a problem with 'adjacent'. Different colour systems will place different colours adjacent to red. In other examples the idea of 'adjacent' may make no sense. Rumfitt knows this! |
| 18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
| Full Idea: On Sainsbury's picture, a colour has an extension that it has by virtue of its place in a network of contrary colour classifications. Something is determined to be 'red' by being a colour incompatible with orange, yellow, green, blue, indigo and violet. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.5) | |
| A reaction: Along with Idea 18839, this gives quite a nice account of vagueness, by requiring a foil to the vague predicate, and using the disjunction of the predicate and its foil to handle anything caught in between them. |
| 18892 | Suppose a world where I'm from different gametes; add my gametes; which one is more me? [McGinn] |
| Full Idea: It seems essential that you come from your gametes. Suppose (for reductio) that I come from Nixon's actual gametes. Now add my actual gametes to that possible world, and suppose they become an adult. Which has the stronger title to be me? | |
| From: Colin McGinn (On the Necessity of Origin [1976], p.132), quoted by Nathan Salmon - Reference and Essence (1st edn) 7.25.5 | |
| A reaction: [See Nathan Salmon 1981:209] Feels like the Ship of Theseus. You say 'that's Theseus Ship', until the rival ship appears around the headland. Confusion. If Nixon's gametes can produce McGinn, the second gametes could produce a Nixon! Then what? |
| 12019 | McGinn falsely claims necessity of origin is a special case of the necessity of identity [Forbes,G on McGinn] |
| Full Idea: McGinn assimilates the origin relation among organisms to the identity relation, so that the necessity of origin becomes a special case of the necessity of identity. We argue that this assimilation is illegitimate. | |
| From: comment on Colin McGinn (On the Necessity of Origin [1976]) by Graeme Forbes - The Metaphysics of Modality 6.1 | |
| A reaction: Not sure about this. I have long suspected what McGinn suspects. Once you have identified the organism with a particular origin, it hardly seems surprising that this particular origin has become inescapable. |
| 6058 | Identity propositions are not always tautological, and have a key epistemic role [McGinn] |
| Full Idea: Identity propositions are not always analytic or a priori (as Frege long ago taught us) so there is nothing trivial about such propositions; the claim of redundancy ignores the epistemic role that the concept of identity plays. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: He is referring to Frege's Morning Star/Evening Star distinction (Idea 4972). Wittgenstein wanted to eliminate our basic metaphysics by relabelling it as analytic or tautological, but his project failed. Long live metaphysics! |
| 6053 | Identity is as basic as any concept could ever be [McGinn] |
| Full Idea: Identity has a universality and basicness that is hard to overstate; concepts don't get more basic than this - or more indispensable. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: I agree with this. It seems to me to follow that the natural numbers are just as basic, because they are entailed by the separateness of the identities of things. And the whole of mathematics is the science of the patterns within these numbers. |
| 6043 | Type-identity is close similarity in qualities [McGinn] |
| Full Idea: Two things are said to be type-identical when they are similar enough to be declared qualitatively identical. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: A simple point which brings out the fact that type-identity is unlikely to be any sort of true identity (unless there is absolutely no different at all between two electrons, say). |
| 6044 | Qualitative identity is really numerical identity of properties [McGinn] |
| Full Idea: A statement of so-called qualitative identity is really a statement of numerical identity (that is, identity tout court) about the properties of the objects in question - assuming that there are genuine universals. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: We might agree that two cars are type-identical, even though (under the microscope) we decided that none of their properties were absolutely identical. |
| 6046 | Qualitative identity can be analysed into numerical identity of the type involved [McGinn] |
| Full Idea: We can analyse qualitative identity in terms of numerical identity, by saying that x and y are type-identical if there is a single type T that x and y both are, i.e. they both exemplify the same type. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: This just seems to shift the problem onto the words 'are' and 'exemplify'. This takes us back to the problem of things 'partaking' of Plato's Forms. Better to say that qualitative identity isn't identity - it is resemblance (see Idea 6045). |
| 6045 | It is best to drop types of identity, and speak of 'identity' or 'resemblance' [McGinn] |
| Full Idea: It would be better to drop talk of 'numerical' and 'qualitative' identity altogether, speaking instead simply of identity and resemblance. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1 n4) | |
| A reaction: This is the kind of beautifully simple proposal I pay analytical philosophers to come up with. I will attempt in future to talk either of 'identity' (which is strict), or 'resemblance' (which comes in degrees). |
| 6066 | Existence is a property of all objects, but less universal than self-identity, which covers even conceivable objects [McGinn] |
| Full Idea: Existence is a property universal to all objects that exist, somewhat like self-identity, but less universal, because self-identity holds of all conceivable objects, not merely those that happen to exist. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: This is a splendidly defiant response to the Kantian slogan that 'existence is not a predicate', and I find McGinn persuasive. I can still not find anyone to explain to me exactly what a property is, so I will reserve judgement. |
| 6054 | Sherlock Holmes does not exist, but he is self-identical [McGinn] |
| Full Idea: Sherlock Holmes does not exist, but he is self-identical (he is certainly not indentical to Dr Watson). | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: Most significant. Identity does not entail existence; identity is necessary for existence (I think) but not sufficient. But the notion of existence might be prior to the notion of identity, and the creation of Holmes be parasitic on real existence. |
| 6047 | All identity is necessary, though identity statements can be contingently true [McGinn] |
| Full Idea: All identity is necessary, although there can be contingently true identity statements - those that contain non-rigid designators. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1 n5) | |
| A reaction: A nice case of the need to keep epistemology and ontology separate. An example might be 'The Prime Minister wears a wig', where 'Prime Minister' may not be a rigid designator. 'Winston wears a wig' will be necessary, if true (which it wasn't). |
| 6049 | Leibniz's Law says 'x = y iff for all P, Px iff Py' [McGinn] |
| Full Idea: Leibniz's Law says 'x = y iff for all P, Px iff Py'. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: That is, two things are the same if when we say that one thing (x) has a property (P), then we are saying that the other thing (y) also has the property. A usefully concise statement of the Law. |
| 6048 | Leibniz's Law is so fundamental that it almost defines the concept of identity [McGinn] |
| Full Idea: Leibniz's Law, which a defender of relative identity might opt to reject, is so fundamental to the notion of identity that rejecting it amounts to changing the subject. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1 n8) | |
| A reaction: The Law here is the 'indiscernibility of identicals'. I agree with McGinn, and anyone who loses their grip on this notion of identity strikes me as losing all grip on reality, and threatening their own sanity (well, call it their 'philosophical sanity'). |
| 6050 | Leibniz's Law presupposes the notion of property identity [McGinn] |
| Full Idea: Leibniz's Law presupposes the notion of property identity. | |
| From: Colin McGinn (Logical Properties [2000], Ch.1) | |
| A reaction: A very important observation, because it leads to recognition of the way in which basic concepts and categories of thought interconnect. Which is more metaphysically basic, identity or properties? It is not easy to say… |
| 14532 | A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A] |
| Full Idea: Rumfitt argues that there is a distinctive notion of necessity implicated in the notion of logical consequence. | |
| From: report of Ian Rumfitt (Logical Necessity [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2 |
| 18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
| Full Idea: The central characteristic mark of metaphysical necessity is that a metaphysical possibility respects the actual identities of things - in a capacious sense of 'thing'. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.4) | |
| A reaction: He contrast this with logical necessity, and concludes that some truths are metaphysically but not logically necessary, such as 'Hesperus is identical with Phosphorus'. Personally I like the idea of a 'necessity-maker', so that fits. |
| 12193 | Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt] |
| Full Idea: By the notion of 'logical necessity' I mean that there is a sense of 'necessary' for which 'It is necessary that A' implies and is implied by 'It is logically contradictory that not A'. ...From this, logical necessity is implicated in logical consequence. | |
| From: Ian Rumfitt (Logical Necessity [2010], Intro) | |
| A reaction: Rumfitt expresses a commitment to classical logic at this point. We will need to be quite sure what we mean by 'contradiction', which will need a clear notion of 'truth'.... |
| 12200 | A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt] |
| Full Idea: There is no reason to suppose that any statement that is logically necessary (in the present sense) is knowable a priori. ..If a statement is logically necessary, its negation will yield a contradiction, but that does not imply that someone could know it. | |
| From: Ian Rumfitt (Logical Necessity [2010], §2) | |
| A reaction: This remark is aimed at Dorothy Edgington, who holds the opposite view. Rumfitt largely defends McFetridge's view (q.v.). |
| 18825 | S5 is the logic of logical necessity [Rumfitt] |
| Full Idea: I accept the widely held thesis that S5 is the logic of logical necessity. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6.4 n16) | |
| A reaction: It seems plausible that S5 is also the logic of metaphysical necessity, but that does not make them the same thing. The two types of necessity have two different grounds. |
| 12202 | Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt] |
| Full Idea: While Fine suggests defining a narrow notion of logical necessity in terms of metaphysical necessity by 'restriction' (to logical truths that can be defined in non-modal terms), this seems unpromising for broad logical necessity, which is modal. | |
| From: Ian Rumfitt (Logical Necessity [2010], §2) | |
| A reaction: [compressed] He cites Kit Fine 2002. Rumfitt glosses the non-modal definitions as purely formal. The metaphysics lurks somewhere in the proof. |
| 18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
| Full Idea: Some philosophers describe the colour scarlet as a determination of the determinable red; since the ways the world might be are naturally taken to be properties of the world, it helps to bear this analogy in mind. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6.4) | |
| A reaction: This fits nicely with the disposition accounts of modality which I favour. Hence being 'coloured' is a real property of objects, even in the absence of the name of its specific colour. |
| 18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
| Full Idea: Two possibilities are incompatible when no possibility determines both. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.1) | |
| A reaction: This strikes me as just the right sort of language for building up a decent metaphysical picture of the world, which needs to incorporate possibilities as well as actualities. |
| 6080 | Modality is not objects or properties, but the type of binding of objects to properties [McGinn] |
| Full Idea: Modality has a special ontological category: it consists neither in objects (possible worlds theory) nor in properties (predicate modifier view), but items I have called 'modes', ..which can be hard/soft/rigid/pliable binding of objects to properties. | |
| From: Colin McGinn (Logical Properties [2000], Ch.4) | |
| A reaction: As so often, McGinn is very persuasive. Essentially he is proposing that modality is adverbial. He associates the middle view with David Wiggins. |
| 6079 | If 'possible' is explained as quantification across worlds, there must be possible worlds [McGinn] |
| Full Idea: If we replace modal words like 'possible' with quantification across worlds, clearly the notion of 'world' must exclude impossible worlds, otherwise 'possibly p' will be true if 'p' holds in an impossible world. | |
| From: Colin McGinn (Logical Properties [2000], Ch.4) | |
| A reaction: The point here, of course, is that the question is being begged of what 'possible' and 'impossible' actually mean. |
| 12203 | If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt] |
| Full Idea: A world is usually taken to be a fully determinate way that things could have been; but then one might seriously wonder whether anyone is capable of 'considering' such a thing at all. | |
| From: Ian Rumfitt (Logical Necessity [2010], §4) | |
| A reaction: This has always worried me. If I say 'maybe my coat is in the car', I would hate to think that I had to be contemplating some entire possible world (including all the implications of my coat not being on the hat stand). |
| 18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
| Full Idea: Possibilities are things of the same general character as possible worlds, on one popular conception of the latter. They differ from worlds, though, in that they are not required to be fully determinate or complete. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6) | |
| A reaction: A rather promising approach to such things, even though a possibility is fairly determinate at its core, but very vague at the edges. It is possible that the UK parliament might be located in Birmingham, for example. Is this world 'complete'? |
| 18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
| Full Idea: Mediaeval logicians had a principle, 'Eadem est scientia oppositorum': in order to attain a clear conception of what it is for A to be the case, one needs to attain a conception of what it is for A not to be the case. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.2) | |
| A reaction: Presumably 'understanding' has to be a fairly comprehensive grasp of the matter, so understanding the negation sounds like a reasonable requirement for the real thing. |
| 6171 | Beliefs are states of the head that explain behaviour, and also items with referential truth-conditions [McGinn] |
| Full Idea: We view beliefs both as states of the head explanatory of behaviour, and as items possessed of referential truth-conditions. | |
| From: Colin McGinn (The Structure of Content [1982]), quoted by Mark Rowlands - Externalism Ch.6 | |
| A reaction: McGinn wants to build a two-part account of meaning on this point, which Rowlands resists. Hume just wanted to define belief by a feeling, but it seems obvious that truth must also be involved. |
| 22413 | Being red simply consists in looking red [McGinn] |
| Full Idea: What we should claim is that being red consists in looking red. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 2) | |
| A reaction: A very nice simple account. There is more to being square than looking square (which may not even guarantee that it is square). That's the primary/secondary distinction in a nut shell. But red things don't look red in the dark. Sufficient, not necessary. |
| 22415 | Relativity means differing secondary perceptions are not real disagreements [McGinn] |
| Full Idea: Relativity permits differences in the perceived secondary qualities not to imply genuine disagreement, whereas perceived differences of primary qualities imply that at least one perceiver is in error. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 2) | |
| A reaction: An example of 'relativity' is colour blindness. Sounds good, but what of one perceiver seeing a square as square, and another seeing it obliquely as a parallelogram? The squareness then seems more like a theory than a perception. |
| 22416 | Phenomenalism is correct for secondary qualities, so scepticism is there impossible [McGinn] |
| Full Idea: We might say that scepticism is ruled out for secondary qualities because (roughly) phenomenalism is correct for them; but phenomenalism is not similarly correct for primary qualities, and scepticism cannot get a foothold. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 2) | |
| A reaction: An odd idea, if phenomenalism says that reality consists entirely of phenomena. I should think phenomenalism is a commitment to the absence of primary qualities. |
| 22422 | Maybe all possible sense experience must involve both secondary and primary qualities [McGinn] |
| Full Idea: The inseparability thesis about perception says that for any actual and possible sense the content of experiences delivered by that sense must be both of secondary qualities and of primary qualities. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6) | |
| A reaction: That would mean that all possible experience must have a mode of presentation, and also must be 'of' something independent of experience. So a yellow after-image would not count as an 'experience'? |
| 22428 | You understood being red if you know the experience involved; not so with thngs being square [McGinn] |
| Full Idea: To grasp what it is to be red is to know the kind of sensory experience red things produce; ...but it is not true that to grasp what it is to be square one needs to know what kinds of sensory experience square things produce. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 8) | |
| A reaction: Are any experiences involved in the understanding of squareness? We don't know squareness by a priori intuition (do we?). To grasp squareness if may be necessary to have a variety of experiences of it. Or to grasp that it is primary. |
| 22414 | You don't need to know how a square thing looks or feels to understand squareness [McGinn] |
| Full Idea: To grasp what it is for something to be square it is not constitutively necessary to know how square things look or feel, since what it is to be square does not involve any such relation to experience. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 2) | |
| A reaction: You could even describe squareness verbally, unlike redness. It seems crucial that almost any sense (such as bat echoes) can communicate primary qualities, but secondary qualities are tied to a sense, and wouldn't exist without it. |
| 22423 | Touch doesn't provide direct experience of primary qualities, because touch feels temperature [McGinn] |
| Full Idea: Bennett's claim that touch provides experience of primary qualities without experience of any secondary qualities strikes me as false, because tactile experience includes felt temperature, which is a dispositional secondary quality. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6) | |
| A reaction: [J.Bennett 1971 pp. 90-4] Fair point. What about shape and texture? We experience forces, but the shape is assembled in imagination rather than in experience. So do we meet primary qualities directly in forces, such as acceleration? No secondary quality? |
| 22426 | We can perceive objectively, because primary qualities are not mind-created [McGinn] |
| Full Idea: I hold that experience succeeds in representing the world objectively, since primary quality perceptual content is not contributed by the mind. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6) | |
| A reaction: My new example of a direct perception of a primary quality is acceleration in a lift. What would we say to one passenger who denied feeling the acceleration? It took an effort to see that mind contributes to secondary qualities (so make more effort?). |
| 22412 | Lockean secondary qualities (unlike primaries) produce particular sensory experiences [McGinn] |
| Full Idea: In the Lockean tradition, secondary qualities are defined as those whose instantiation in an object consists in a power or disposition of the object to produce sensory experiences in perceivers of a certain phenomenological character. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 2) | |
| A reaction: Primary qualities are said to lack such dispositions. Not sure about these definitions. Primaries offer no experiences? With these definitions, comparing them would be a category mistake. I take it primaries reflect reality and secondaries do not. |
| 22421 | Could there be a mind which lacked secondary quality perception? [McGinn] |
| Full Idea: Can we form a conception of a type of mind whose representations are free of secondary quality perceptions? | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6) | |
| A reaction: Nice question. Minds must have experiences, and there has to be a 'way' or 'mode' for those experiences. A mind which directly grasped the primary quality of sphericity would seem to be visionary rather than sensual or experiential. |
| 22424 | Secondary qualities contain information; their variety would be superfluous otherwise [McGinn] |
| Full Idea: Surely we learn something about an object when we discover its secondary qualities? ...If secondary quality experience were informationally inert, its variety would be something of a puzzle. Why not employ the same medium for all primary informaton? | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6) | |
| A reaction: This is important. We can't just focus on the primary qualities, and ignore the secondary. But diverse colours draw attention to information, which can then be translated into neutral data, as in spectroscopic analysis. Locke agrees with this. |
| 22425 | The utility theory says secondary qualities give information useful to human beings [McGinn] |
| Full Idea: Secondary quality perception, according to the utility theory, gives information about the relation between the perceptual object and the perceiver's needs and interests. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6) | |
| A reaction: Almost the only example I can think of is whether fruit is ripe or rotten. ...Also 'bad' smells. We recognise aggressive animal noises, but that is not the same as dangerous (e.g. rustling snake). Divine design is behind this theory, I think. |
| 7629 | We see objects 'directly' by representing them [McGinn] |
| Full Idea: My view is that we see objects 'directly' by representing them in visual experience. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], Ch.8 n1) | |
| A reaction: [Quoted by Maund] This rejects both inference in perception and sense-data, while retaining the notion of representation. It is a view which has gained a lot of support. But how can it be direct if it represents? Photographs can't do that. |
| 6081 | Necessity and possibility are big threats to the empiricist view of knowledge [McGinn] |
| Full Idea: It is clear that modality is a prima-facie threat to the usual kind of naturalistic-causal-empiricist theory of knowledge. | |
| From: Colin McGinn (Logical Properties [2000], Ch.4) | |
| A reaction: This is why modern empiricists spend of a lot of energy on trying to analyse counterfactuals and laws of nature. Rationalists are much happier to assert necessities a priori, but then they often don't have much basis for their claims. |
| 18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
| Full Idea: In English, the word 'evidence' behaves as a mass term: we speak of someone's having little evidence for an assertion, and of one thinker's having more evidence than another for a claim. One the other hand, we also speak of 'pieces' of evidence. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 5.2) | |
| A reaction: And having 'more' evidence does not mean having a larger number of pieces of evidence, so it really is like an accumulated mass. |
| 6071 | Scepticism about reality is possible because existence isn't part of appearances [McGinn] |
| Full Idea: Scepticism about the external world is possible because you can never build existence into the appearances, so it must always be inferred or assumed. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: When McGinn's claim that existence is a very universal property begins to produce interesting observations like this, I think we should take it very seriously. |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |
| 4691 | If all mental life were conscious, we would be unable to see things, or to process speech [McGinn] |
| Full Idea: If there were nothing more to our mind than our conscious awareness, then we would be unable to see anything or to process speech. | |
| From: Colin McGinn (The Making of a Philosopher [2002], Ch. 6) | |
| A reaction: A vital point. Traditional dualism has left us a simplistic exaggeration of the role of consciousness, and the misapprehension that most of what we do is conscious - which it clearly isn't, once you think about it. |
| 2539 | Mental modules for language, social, action, theory, space, emotion [McGinn] |
| Full Idea: The prevailing view in cognitive psychology is that the mind consists of separate faculties, each with a certain cognitive task: linguistic, social, practical, theoretical, abstract, spatial and emotional. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.40) | |
| A reaction: 'Faculties' are not quite the same as 'modules', and this list mostly involves more higher-order activities than a modules list (e.g. Idea 2495). The idea that emotion is a 'faculty' sounds old-fashioned. |
| 2545 | Free will is mental causation in action [McGinn] |
| Full Idea: Free will is mental causation in action. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.167) |
| 2543 | Brains aren't made of anything special, suggesting panpsychism [McGinn] |
| Full Idea: All matter must contain the potential to underlie consciousness, since there is nothing special about the matter that composes brain tissue. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.100) | |
| A reaction: This seems to me one of the most basic assumptions which we should all make about the mind. The mind is made of the brain, and the brain is made of food. However, there must be something 'special' about the brain. |
| 7388 | McGinn invites surrender, by saying it is hopeless trying to imagine conscious machines [Dennett on McGinn] |
| Full Idea: McGinn invites his readers to join him in surrender: It's just impossible to imagine how software could make a conscious robot. Don't even try, he says. Other philosophical experiments (involving China) "work" by dissuading readers from imagining. | |
| From: comment on Colin McGinn (The Problem of Consciousness [1991]) by Daniel C. Dennett - Consciousness Explained 14.1 | |
| A reaction: I agree with Dennett. If you don't try to imagine how robots might do it, you are also denied the right to try to imagine how brains might manage it. Admittedly this is hard, but good imagination needs study, effort, discussion, time, information... |
| 2540 | Examining mind sees no brain; examining brain sees no mind [McGinn] |
| Full Idea: You can look into your mind until you burst and not discover neurons and synapses, and you can stare at someone's brain from dawn till dusk and not perceive the consciousness that is so apparent to the person whose brain it is. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.47) | |
| A reaction: This is a striking symmetry of ignorance, though hardly enough to justify McGinn's pessimism about understanding the mind. 'When you are in the grass you can't see the whole of England; if you can see the whole of England, you won't see the grass'. |
| 3185 | Multiple realisability rules out hidden essences and experts as the source of water- and gold-concepts [McGinn] |
| Full Idea: The multiple realisability emphasised by functionalists rules out the hidden essences (and the 'deferential' move in semantics) that one finds in the cases, for example, of "water" and "gold" emphasised by Kripke and Putnam. | |
| From: Colin McGinn (The Problem of Consciousness [1991], p.132) | |
| A reaction: Presumably if they are 'hidden', then the people to whom we 'defer' for our concepts can't actually know about the essences we are supposed to be discussing. You can mean essences without knowing them. Cf. Loch Ness Monster. |
| 22420 | The indexical perspective is subjective, incorrigible and constant [McGinn] |
| Full Idea: I attribute three properties to the indexical perspective: it is subjective, incorrigible, and constant. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 5) | |
| A reaction: That is as good an idea as any for summarising the view (associated with John Perry) that the indexical perspective is an indispensable feature of reality. For a good attack on this, which I favour, see Cappelen and Dever. |
| 18410 | Indexical thought is in relation to my self-consciousness [McGinn] |
| Full Idea: Very roughly, we can say that to think of something indexically is to think of it in relation to me, as I am presented to myself in self-consciousness. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 2) | |
| A reaction: So it is characterised relationally, which doesn't mean it has a distinctive intrinsic character. If I'm lost, and I overhear someone say 'Peter is in Hazlemere', I get the same relational information (in a different mode) without the indexicality. |
| 22417 | Indexicals do not figure in theories of physics, because they are not explanatory causes [McGinn] |
| Full Idea: Indexicals are like secondary qualities in not figuring in causal explanations of the interactions of objects: physics omits them not because they are relative and egocentric, but because they do not constitute explanatory predicates of a causal theory. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 2) | |
| A reaction: They are outside explanatory physics, but not outside explanation. The object moved because a force acted on it; or the object moved because I wanted it moved. |
| 18402 | Indexical concepts are indispensable, as we need them for the power to act [McGinn] |
| Full Idea: The present suggestion is that indexical concepts are ineliminable because without them agency would be impossible: when I imagine myself divested of indexical thoughts employing only centreless mental representations, I am deprived of the power to act. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 6) | |
| A reaction: A nice clear statement of the view developed by Perry and Lewis. I agree with Cappelen and Dever that it is entirely wrong, and that indexical thought is entirely eliminable, and nothing special. |
| 4690 | If meaning is speaker's intentions, it can be reduced to propositional attitudes, and philosophy of mind [McGinn] |
| Full Idea: The importance of Grice's analysis of speaker meaning is that it offers the prospect of analysing the whole phenomenon of linguistic meaning in terms of propositional attitudes… thus turning semantics into a department of the philosophy of mind. | |
| From: Colin McGinn (The Making of a Philosopher [2002], Ch. 5) | |
| A reaction: Although meaning being truth conditions is the most cited theory, the reduction of semantics to an aspect of mind also seems almost orthodox now. But how do the symbols 'represent' the attitudes? |
| 18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
| Full Idea: It is striking that our understanding of conditionals is not greatly impeded by widespread disagreement about their truth-conditions. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 4.2) | |
| A reaction: Compare 'if you dig there you might find gold' with 'if you dig there you will definitely find gold'. The second but not the first invites 'how do you know that?', implying truth. Two different ifs. |
| 6077 | Semantics should not be based on set-membership, but on instantiation of properties in objects [McGinn] |
| Full Idea: Semantics should not employ the relationship of set-membership between objects and extensions, but rather the relation of instantiation between objects and properties. | |
| From: Colin McGinn (Logical Properties [2000], Ch.3) | |
| A reaction: At least this means that philosophers won't be required to read fat books on set theory, but they will have to think very carefully about 'instantiation'. A good start is the ideas on 'Partaking' of Platonic Forms in this database (in 'Universals'). |
| 2547 | There is information if there are symbols which refer, and which can combine into a truth or falsehood [McGinn] |
| Full Idea: There is information in a system if there are symbols in it that refer to things and that together form strings that can be true or false. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.225) | |
| A reaction: We can also directly apprehend information by perception. Are facts identical with correct information? Can a universal generalisation be information? |
| 6074 | Clearly predicates have extensions (applicable objects), but are the extensions part of their meaning? [McGinn] |
| Full Idea: We are taught that predicates have extensions - the class of objects of which the predicate is true - which seems hard to deny; but a stronger claim is also made - that extensions are semantically relevant features of predicates. | |
| From: Colin McGinn (Logical Properties [2000], Ch.3) | |
| A reaction: He cites Quine as a spokesman for this view. McGinn is going on to challenge it, by defending universals. It seems to fit in with other externalist theories of concepts and meanings, none of which seems very appealing to me. |
| 22418 | I can know indexical truths a priori, unlike their non-indexical paraphrases [McGinn] |
| Full Idea: I know the truth of the sentence 'I am here now' a priori, but I do not know a priori 'McGinn is in London on 15th Nov 1981'. | |
| From: Colin McGinn (Subjective View: sec qualities and indexicals [1983], 3) | |
| A reaction: I'm not convinced that I can grasp the concepts of 'here' and 'now' (i.e. space and time) by purely a priori means. But he certainly shows that you can't glibly dismiss indexicals by paraphrasing them in that way. |
| 18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
| Full Idea: The truth-grounds of '¬A' are precisely those possibilities that are incompatible with any truth-ground of A. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.1) | |
| A reaction: This is Rumfitt's proposal for the semantics of 'not', based on the central idea of a possibility, rather than a possible world. The incompatibility tracks back to an absence of shared grounding. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
| 2542 | Causation in the material world is energy-transfer, of motion, electricity or gravity [McGinn] |
| Full Idea: Causation in the material world works by energy transfer of some sort: transfer of motion, of electrical energy, of gravitational force. | |
| From: Colin McGinn (The Mysterious Flame [1999], p.92) |
| 6072 | If Satan is the most imperfect conceivable being, he must have non-existence [McGinn] |
| Full Idea: Satan cannot exist because he is the most imperfect conceivable being, and existence is one of the perfections. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: The logic of this seems right to me. Presumably the theologians would hastily deny this as a definition of Satan; he must have some positive qualities (like power) in order to enact his supreme moral imperfections. NIce, though. |
| 6073 | I think the fault of the Ontological Argument is taking the original idea to be well-defined [McGinn] |
| Full Idea: My own suspicion about the Ontological Argument is that the fault lies in taking notions like 'the most perfect, impressive and powerful being conceivable' to be well-defined. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: I'm tempted to put it more strongly: the single greatest challenge for the theist with intellectual integrity is to give a clear and coherent definition of God. There must be no internal contradictions, and it must be within the bounds of possibility. |