22 ideas
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) | |
| A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed). | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) |
| 23548 | Indeterminacy is in conflict with classical logic [Fine,K] |
| Full Idea: I now believe that the existence of indeterminacy is in conflict with classical logic. | |
| From: Kit Fine (Vagueness: a global approach [2020], 3) | |
| A reaction: I think that prior to this Fine had defended classical logic. Presumably the difficulty is over Bivalence. Nietzsche spotted this problem, despite not being a logician. Logic has to simplify the world. Hence philosophy is quite different from logic. |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §4) |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §0) |
| 23539 | Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K] |
| Full Idea: A precise language is often assigned a classical semantics, in which the semantic value of a name is its referent, the semantic value of a predicate is its extension (the objects of which it is true), and the value of a sentence is True or False. | |
| From: Kit Fine (Vagueness: a global approach [2020], 1) | |
| A reaction: Helpful to have this clear statement of how predicates are treated. This extensionalism in logic causes trouble when it creeps into philosophy, and people say that 'red' just means all the red things. No it doesn't. |
| 23544 | Local indeterminacy concerns a single object, and global indeterminacy covers a range [Fine,K] |
| Full Idea: Vagueness concerns 'local' indeterminacy, such as whether one man in the lineup is bald, and 'global' indeterminacy, applying to a range of cases, as when it is indeterminate how 'bald' applies to the lineup. But how do these relate? | |
| From: Kit Fine (Vagueness: a global approach [2020], 1) | |
| A reaction: This puts the focus either on objects or on predicates which are vague. |
| 23540 | Conjoining two indefinites by related sentences seems to produce a contradiction [Fine,K] |
| Full Idea: If 'P is red' and 'P is orange' are indefinite, then 'P is red and P is orange' seems false, because red and orange are exclusive. But if two conjoined indefinite sentences are false, that makes 'P is red and P is red' false, when it should be indefinite. | |
| From: Kit Fine (Vagueness: a global approach [2020], 1) | |
| A reaction: [compressed] This is the problem of 'penumbral connection', where two indefinite values are still logically related, by excluding one another. Presumably 'P is red and P is of indefinite shape' can be true? Doubtful about this argument. |
| 23546 | Standardly vagueness involves borderline cases, and a higher standpoint from which they can be seen [Fine,K] |
| Full Idea: Standard notions of vagueness all accept borderline cases, and presuppose a higher standpoint from which a judgement of being borderline F, rather than simply being F or being not F, can be made. | |
| From: Kit Fine (Vagueness: a global approach [2020], 3) | |
| A reaction: He says that the concept of borderline cases is an impediment to understanding vagueness. Proposing a third group when you are struggling to separate two other groups doesn't seem helpful, come to think of it. Limbo cases. |
| 23542 | Identifying vagueness with ignorance is the common mistake of confusing symptoms with cause [Fine,K] |
| Full Idea: We can see Epistemicism [vagueness as ignorance] as a common and misguided tendency to identify a cause with its symptoms. We are unsure how to characterise vagueness, and identify it with the resulting ignorance, instead of explaining it. | |
| From: Kit Fine (Vagueness: a global approach [2020], 1) | |
| A reaction: Love it. This echoes my repeated plea in these reactions to stop identifying features of reality with the functions which embody them or the patterns they create. We need to explain them, and must dig deeper. |
| 23541 | Supervaluation can give no answer to 'who is the last bald man' [Fine,K] |
| Full Idea: Under supervaluation there should always be someone who is the last bald man in the sequence, but there is always an acceptable way to make some other man the last bald man. | |
| From: Kit Fine (Vagueness: a global approach [2020], 1) | |
| A reaction: Fine seems to take this as a conclusive refutation of the supervaluation approach. Fine says (p.41) that supervaluation says there is a precisification for every instance. |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §2) | |
| A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'. |
| 23545 | We do not have an intelligible concept of a borderline case [Fine,K] |
| Full Idea: We simply have no intelligible notion of local indeterminacy or of a borderline case. | |
| From: Kit Fine (Vagueness: a global approach [2020], 2) | |
| A reaction: He mentions cases which are near a borderline, and cases which are hard to decide, but denies that these are intrinsically borderline. If there are borderline cases between red and orange, what are the outer boundaries of the border? |
| 23547 | It seems absurd that there is no identity of any kind between two objects which involve survival [Fine,K] |
| Full Idea: Pace Parfit and others, it boggles the mind that survival could be independent of any relation of identity between the currently existing object and the objects that subsequently exist. | |
| From: Kit Fine (Vagueness: a global approach [2020], 3) | |
| A reaction: Yes. If the self or mind just consists of a diachronic trail of memories such that the two ends of the trail have no connection at all, that isn't the kind of survival that any of us want. I want to live my life, not a life. |
| 3654 | The pineal gland links soul to body, and unites the two symmetrical sides of the body [Descartes, by PG] |
| Full Idea: The soul is united with the body in just one place, a gland (the pineal) in the centre of the brain. It is placed so that its slightest movement will affect the passions, and it plays the essential role of uniting the two symmetrical sides of the body. | |
| From: report of René Descartes (The Passions of the Soul [1649], §31) by PG - Db (ideas) | |
| A reaction: See Idea 4862 for Spinoza's nice response to Descartes' proposal. If Descartes had followed brain research for the last four hundred years, at what point would he have wavered? If every single part of the brain seems to 'interact', dualism looks unlikely. |
| 4015 | For Descartes passions are God-given preservers of the mind-body union [Descartes, by Taylor,C] |
| Full Idea: Descartes sees passions not as opinions, but as functional devices that the Creator has designed for us to help preserve the body-soul substantial union. | |
| From: report of René Descartes (The Passions of the Soul [1649]) by Charles Taylor - Sources of the Self §8 | |
| A reaction: I wonder what Descartes would have made of the theory of evolution? |
| 4313 | Are there a few primary passions (say, joy, sadness and desire)? [Descartes, by Cottingham] |
| Full Idea: Descartes says there are six primary passions (wonder, love, hatred, desire, joy and sadness); Spinoza says there are just three (joy, sadness and desire). | |
| From: report of René Descartes (The Passions of the Soul [1649]) by John Cottingham - The Rationalists p.172 | |
| A reaction: A dubious project. However, it is now agreed that there are a few (six?) basic universal facial expressions, to which these passions may correspond. |
| 23989 | There are six primitive passions: wonder, love, hatred, desire, joy and sadness [Descartes, by Goldie] |
| Full Idea: Descartes said there are six primitive passions, namely wonder, love, hatred, desire, joy and sadness. The others are either species of these, or composed of them. | |
| From: report of René Descartes (The Passions of the Soul [1649], 353) by Peter Goldie - The Emotions 4 'Evidence' | |
| A reaction: [not sure about ref] It's a nice touch to add 'wonder', which doesn't make it onto anyone else's list. |
| 20037 | Merely willing to walk leads to our walking [Descartes] |
| Full Idea: Our merely willing to walk has the consequence that our legs move and we walk. | |
| From: René Descartes (The Passions of the Soul [1649], 18), quoted by Rowland Stout - Action 1 'Volitionism' | |
| A reaction: Stout attributes this to Descartes' dualism, as if legs are separate from persons. Stout says the idea of a prior mental act is not usually now considered as part of an action, or even to exist at all. If the volition is intentional, there is a regress. |
| 16763 | We don't die because the soul departs; the soul departs because the organs cease functioning [Descartes] |
| Full Idea: We ought to hold, on the contrary, that the soul takes its leave when we die only because this heat ceases and the organs that bring about bodily movement decay. | |
| From: René Descartes (The Passions of the Soul [1649], I.5), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5 | |
| A reaction: This sounds like a pretty major change in our concept of death, given that we all now agree with Descartes. |
| 4016 | Descartes makes strength of will the central virtue [Descartes, by Taylor,C] |
| Full Idea: Descartes makes strength of will the central virtue. | |
| From: report of René Descartes (The Passions of the Soul [1649]) by Charles Taylor - Sources of the Self §8 | |
| A reaction: Presumably strength of will can serve evil ends, so this is a bit confusing. |
| 23543 | We identify laws with regularities because we mistakenly identify causes with their symptoms [Fine,K] |
| Full Idea: There is a common tendency to identify a cause with its symptoms. Hence we are not sure how to characterise a law, and so we identify it with the regularities to which it gives rise. | |
| From: Kit Fine (Vagueness: a global approach [2020], 1) | |
| A reaction: A lovely clear identification of my pet hate, which is superficial accounts of things, which claim to be the last word, but actually explain nothing. |