54 ideas
10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
Full Idea: The Geach-Kaplan sentence 'Some critics admire only one another' provably has no singular first-order paraphrase using only its predicates. | |
From: Řystein Linnebo (Plural Quantification [2008], 1) | |
A reaction: There seems to be a choice of either going second-order (picking out a property), or going plural (collectively quantifying), or maybe both. |
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] |
23445 | Naďve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
Full Idea: Naďve set theory is based on the principles that any formula defines a set, and that coextensive sets are identical. | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 4.2) | |
A reaction: The second principle is a standard axiom of ZFC. The first principle causes the trouble. |
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) |
10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
Full Idea: The defining features of a pure logic are its absolute generality (the objects of discourse are irrelevant), and its formality (logical truths depend on form, not matter), and its cognitive primacy (no extra-logical understanding is needed to grasp it). | |
From: Řystein Linnebo (Plural Quantification [2008], 3) | |
A reaction: [compressed] This strikes me as very important. The above description seems to contain no ontological commitment at all, either to the existence of something, or to two things, or to numbers, or to a property. Pure logic seems to be 'if-thenism'. |
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) |
10635 | Second-order quantification and plural quantification are different [Linnebo] |
Full Idea: Second-order quantification and plural quantification are generally regarded as different forms of quantification. | |
From: Řystein Linnebo (Plural Quantification [2008], 2) |
10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
Full Idea: The traditional view in analytic philosophy has been that all plural locutions should be paraphrased away by quantifying over sets, though Boolos and other objected that this is unnatural and unnecessary. | |
From: Řystein Linnebo (Plural Quantification [2008], 5) |
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) |
10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
Full Idea: Plural quantification can be used to eliminate the commitment of science and common sense to complex objects. We can use plural quantification over mereological atoms arranged tablewise or chairwise. | |
From: Řystein Linnebo (Plural Quantification [2008], 4.5) | |
A reaction: [He cites Hossack and van Ingwagen] |
10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
Full Idea: Higher-order plural quantification (plural plurals) is often rejected because plural quantification is supposedly ontological innocent, with no plural things to be plural, and because it is not found in ordinary English. | |
From: Řystein Linnebo (Plural Quantification [2008], 2.4) | |
A reaction: [Summary; he cites Boolos as a notable rejector] Linnebo observes that Icelandic contains a word 'tvennir' which means 'two pairs of'. |
10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
Full Idea: Plural quantification seems to offer ontological economy. We can pay the price of a mere first-order theory and then use plural quantification to get for free the corresponding monadic second-order theory, which would be an ontological bargain. | |
From: Řystein Linnebo (Plural Quantification [2008], 4.4) | |
A reaction: [He mentions Hellman's modal structuralism in mathematics] |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
Full Idea: In classical semantics the function of singular terms is to refer, and that of quantifiers, to range over appropriate domains of entities. | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 7.1) |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
Full Idea: Considered in isolation, the axioms of group theory are not assertions but comprise an implicit definition of some abstract structure, | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 3.5) | |
A reaction: The traditional Euclidean approach is that axioms are plausible assertions with which to start. The present idea sums up the modern approach. In the modern version you can work backwards from a structure to a set of axioms. |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
Full Idea: Mathematics investigates the deductive consequences of axiomatic theories, but it also needs its own foundational axioms in order to provide models for its various axiomatic theories. | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 4.1) | |
A reaction: This is a problem which faces the deductivist (if-then) approach. The deductive process needs its own grounds. |
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory. | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 4.6) | |
A reaction: Note that this concerns consistency, not completeness. |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics. | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 11.1) | |
A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed. |
14085 | 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo] |
Full Idea: The 'deductivist' version of eliminativist structuralism avoids ontological commitments to mathematical objects, and to modal vocabulary. Mathematics is formulations of various (mostly categorical) theories to describe kinds of concrete structures. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], 1) | |
A reaction: 'Concrete' is ambiguous here, as mathematicians use it for the actual working maths, as opposed to the metamathematics. Presumably the structures are postulated rather than described. He cites Russell 1903 and Putnam. It is nominalist. |
14084 | Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo] |
Full Idea: The 'non-eliminative' version of mathematical structuralism takes it to be a fundamental insight that mathematical objects are really just positions in abstract mathematical structures. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
A reaction: The point here is that it is non-eliminativist because it is committed to the existence of mathematical structures. I oppose this view, since once you are committed to the structures, you may as well admit a vast implausible menagerie of abstracta. |
14086 | 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo] |
Full Idea: The 'modal' version of eliminativist structuralism lifts the deductivist ban on modal notions. It studies what necessarily holds in all concrete models which are possible for various theories. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
A reaction: [He cites Putnam 1967, and Hellman 1989] If mathematical truths are held to be necessary (which seems to be right), then it seems reasonable to include modal notions, about what is possible, in its study. |
14087 | 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo] |
Full Idea: 'Set-theoretic' structuralism rejects deductive nominalism in favour of a background theory of sets, and mathematics as the various structures realized among the sets. This is often what mathematicians have in mind when they talk about structuralism. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
A reaction: This is the big shift from 'mathematics can largely be described in set theory' to 'mathematics just is set theory'. If it just is set theory, then which version of set theory? Which axioms? The safe iterative conception, or something bolder? |
14089 | Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo] |
Full Idea: Structuralism can be distinguished from traditional Platonism in that it denies that mathematical objects from the same structure are ontologically independent of one another | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], III) | |
A reaction: My instincts strongly cry out against all versions of this. If you are going to be a platonist (rather as if you are going to be religious) you might as well go for it big time and have independent objects, which will then dictate a structure. |
14083 | Structuralism is right about algebra, but wrong about sets [Linnebo] |
Full Idea: Against extreme views that all mathematical objects depend on the structures to which they belong, or that none do, I defend a compromise view, that structuralists are right about algebraic objects (roughly), but anti-structuralists are right about sets. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], Intro) |
14090 | In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo] |
Full Idea: If objects depend on the other objects, this would mean an 'upward' dependence, in that they depend on the structure to which they belong, where the physical realm has a 'downward' dependence, with structures depending on their constituents. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], III) | |
A reaction: This nicely captures an intuition I have that there is something wrong with a commitment primarily to 'structures'. Our only conception of such things is as built up out of components. Not that I am committing to mathematical 'components'! |
23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
Full Idea: Modern logic requires that logical truths be true in all models, including ones devoid of any mathematical objects. It follows immediately that the existence of mathematical objects can never be a matter of logic alone. | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 2) | |
A reaction: Hm. Could there not be a complete set of models for a theory which all included mathematical objects? (I can't answer that). |
23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
Full Idea: Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones. | |
From: Řystein Linnebo (Philosophy of Mathematics [2017], 3.3) | |
A reaction: This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter! |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
14091 | There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo] |
Full Idea: We can give an exhaustive account of the identity of the empty set and its singleton without mentioning infinite sets, and it might be possible to defend the view that one natural number depends on its predecessor but not vice versa. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], V) | |
A reaction: Linnebo uses this as one argument against mathematical structuralism, where the small seems to depend on the large. The view of sets rests on the iterative conception, where each level is derived from a lower level. He dismisses structuralism of sets. |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
Full Idea: Some philosophers speak about a theory's 'ideological commitments' and not just about its 'ontological commitments'. | |
From: Řystein Linnebo (Plural Quantification [2008], 5.4) | |
A reaction: This is a third strategy for possibly evading one's ontological duty, along with fiddling with the words 'exist' or 'object'. An ideological commitment to something to which one is not actually ontologically committed conjures up stupidity and dogma. |
10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
Full Idea: Maybe ordinary speakers aren't very concerned about their ontological commitments, and sometimes find it convenient to posit objects. | |
From: Řystein Linnebo (Plural Quantification [2008], 2.4) | |
A reaction: I think this is the whole truth about the ontological commitment of ordinary language. We bring abstraction under control by pretending it is a world of physical objects. The 'left wing' in politics, 'dark deeds', a 'huge difference'. |
14088 | An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo] |
Full Idea: There are two main ways of spelling out an 'intrinsic' property: if and only if it is shared by every duplicate of an object, ...and if and only if the object would have this property even if the rest of the universe were removed or disregarded. | |
From: Řystein Linnebo (Structuralism and the Notion of Dependence [2008], II) | |
A reaction: [He cites B.Weatherson's Stanford Encyclopaedia article] How about an intrinsic property being one which explains its identity, or behaviour, or persistence conditions? |
16665 | There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez] |
Full Idea: Beyond the entities there are certain real 'modes', which are positive, and in their own right act on those entities, giving them something that is outside their whole essence as individuals existing in reality. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 7.1.17), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 13.3 | |
A reaction: Suárez is apparently the first person to formulate a proper account of properties as 'modes' of a thing, rather than as accidents which are separate, or are wholly integrated into a thing. A typical compromise proposal in philosophy. Can modes act? |
16666 | A mode determines the state and character of a quantity, without adding to it [Suárez] |
Full Idea: The inherence of quantity is called its mode, because it affects that quantity, which serves to ultimately determine the state and character of its existence, but does not add to it any new proper entity, but only modifies the preexisting entity. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 7.1.17), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 13.3 | |
A reaction: He seems to present mode as a very active thing, like someone who gives it a coat of paint, or hammers it into a new shape. I don't see how a 'mode' can have any ontological status at all. To exist, there has to be some way to exist. |
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'. |
16667 | Substances are incomplete unless they have modes [Suárez, by Pasnau] |
Full Idea: In the view of Suárez, substances are radically incomplete entities that cannot exist at all until determined in various ways by things of another kind, modes. …Modes are regarded as completers for their subjects. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597]) by Robert Pasnau - Metaphysical Themes 1274-1671 13.3 | |
A reaction: This is correct. In order to be a piece of clay it needs a shape, a mass, a colour etc. Treating clay as an object independently from its shape is a misunderstanding. |
17007 | Forms must rule over faculties and accidents, and are the source of action and unity [Suárez] |
Full Idea: A form is required that, as it were, rules over all those faculties and accidents, and is the source of all actions and natural motions of such a being, and in which the whole variety of accidents and powers has its root and unity. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 15.1.7), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.4 | |
A reaction: Pasnau emphasises that this is scholastics giving a very physical and causal emphasis to forms, which made them vulnerable to doubts among the new experiment physicists. Pasnau says forms are 'metaphysical', following Leibniz. |
16780 | Partial forms of leaf and fruit are united in the whole form of the tree [Suárez] |
Full Idea: In a tree the part of the form that is in the leaf is not the same character as the part that is in the fruit., but yet they are partial forms, and apt to be united ….to compose one complete form of the whole. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 15.10.30), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 26.6 | |
A reaction: This is a common scholastic view, the main opponent of which was Aquinas, who says each thing only has one form. Do leaves have different DNA from the bark or the fruit? Presumably not (since I only have one DNA), which supports Aquinas. |
16758 | The best support for substantial forms is the co-ordinated unity of a natural being [Suárez] |
Full Idea: The most powerful arguments establishing substantial forms are based on the necessity, for the perfect constitution of a natural being, that all the faculties and operations of that being are rooted in one essential principle. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 15.10.64), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.4 | |
A reaction: Note Idea 15756, that this stability not only applies to biological entities (the usual Aristotelian examples), but also to non-living natural kinds. We might say that the drive for survival is someone united around a single entity. |
16743 | We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez] |
Full Idea: We can say that the form that gives corporeal bulk [molem] or extension to things is the essential nature of quantity. To have bulk is to expel a similar bulk from the same space. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 40.4.16), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 539 | |
A reaction: This is one step away from asking why, once we knew the bulk and extension of the thing, we would still have any interest in trying to grasp something called its 'quantity'. |
13074 | Only natural kinds and their members have real essences [Suárez, by Cover/O'Leary-Hawthorne] |
Full Idea: On Suarez's account, only natural kinds and their members have real essences. | |
From: report of Francisco Suárez (works [1588]) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 1.3.1 n21 | |
A reaction: Interesting. Rather than say that everything is a member of some kind, we leave quirky individuals out, with no essence at all. What is the status of the very first exemplar of a given kind? |
16742 | We only know essences through non-essential features, esp. those closest to the essence [Suárez] |
Full Idea: We can almost never set out the essences of things, as they are in things. Instead, we work through their connection to some non-essential feature, and we seem to succeed well enough when we spell it out through the feature closest to the essence. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 40.4.16), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.5 | |
A reaction: It is a common view that with geometrical figures we can actually experience the essence itself. So has science broken through, and discerned actual essences of things? |
22143 | Identity does not exclude possible or imagined difference [Suárez, by Boulter] |
Full Idea: To be really the same excludes being really other, but does not exclude being other modally or mentally. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], 7.65) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: So the statue and the clay are identical, but they could become separate, or be imagined as separate. |
22144 | Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter] |
Full Idea: The Real Essential distinction says if A and B are not of the same natural kind, then they are essentially distinct. This is the highest degree of distinction. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: Boulter says Peter is essentially distinct from a cabbage, because neither has the nature of the other. |
22146 | Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter] |
Full Idea: The Minor Real distinction is if A can exist without B, but B ceases to exist without A. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: This is one-way independence. Boulter's example is Peter and Peter's actual weight. |
22145 | Major Real distinction: A and B have independent existences [Suárez, by Boulter] |
Full Idea: The Major Real distinction is if A can exist in the real order without B, and B can exist in the real order without A. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: Boulter's example is the distinction between Peter and Paul, where their identity of kind is irrelevant. This is two-way independence. |
22147 | Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter] |
Full Idea: The Conceptual or Mental distinction is when A and B are actually identical but we have two different ways of conceiving them. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: This is the Morning and Evening Star. I bet Frege never read Suarez. This seems to be Spinoza's concept of mind/body. |
22148 | Modal distinction: A isn't B or its property, but still needs B [Suárez, by Boulter] |
Full Idea: The Modal distinction is when A is not B or a property of B, but still could not possibly exist without B. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: Duns Scotus proposed in, Ockham rejected it, but Suarez supports it. Suarez proposes that light's dependence on the Sun is distinct from the light itself, in this 'modal' way. |
22149 | Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter] |
Full Idea: The scholastic view is that Actuality is our only guide to possibility in the real order. One knows that it is possible to separate A and B if one knows that A and B have actually been separated or are separate. | |
From: report of Francisco Suárez (Disputationes metaphysicae [1597], Bk VII) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
A reaction: It may be possible to separate A and B even though it has never happened, but it is hard to see how we could know that. (But if I put my pen down where it has never been before, I know I can pick it up again, even though this has not previously happened). |
10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
Full Idea: The predicate 'is on the table' is 'distributive', since some things are on the table if each one is, whereas the predicate 'form a circle' is 'non-distributive', since it is not analytic that when some things form a circle, each one forms a circle. | |
From: Řystein Linnebo (Plural Quantification [2008], 1.1) | |
A reaction: The first predicate can have singular or plural subjects, but the second requires a plural subject? Hm. 'The rope forms a circle'. The second is example is not true, as well as not analytic. |
7563 | The old 'influx' view of causation says it is a flow of accidental properties from A to B [Suárez, by Jolley] |
Full Idea: The 'influx' model of causation says that causes involve a process of contagion, as it were; when the kettle boils, the gas infects the water inside the kettle with its own 'individual accident' of heat, which literally flows from one to the other. | |
From: report of Francisco Suárez (works [1588]) by Nicholas Jolley - Leibniz Ch.2 | |
A reaction: This nicely captures the scholastic target of Hume's sceptical thinking on the subject. However, see Idea 2542, where the idea of influx has had a revival. It is hard to see how the water could change if it didn't 'catch' something from the gas. |
16682 | Other things could occupy the same location as an angel [Suárez] |
Full Idea: An angelic substance could be penetrated by other bodies in the same location. | |
From: Francisco Suárez (Disputationes metaphysicae [1597], 40.2.21), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 15.3 | |
A reaction: So am I co-located with an angel right now? |