27 ideas
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| Full Idea: The If-thenist view seems to apply straightforwardly only to the axiomatised portions of mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: He cites Lakatos to show that cutting-edge mathematics is never axiomatised. One might reply that if the new mathematics is any good then it ought to be axiomatis-able (barring Gödelian problems). |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| Full Idea: If we identify logic with first-order logic, and mathematics with the collection of first-order theories, then maybe we can continue to maintain the If-thenist position. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: The problem is that If-thenism must rely on rules of inference. That seems to mean that what is needed is Soundness, rather than Completeness. That is, inference by the rules must work properly. |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| Full Idea: Containing only logical notions is not a necessary condition for being a logical truth, since a logical truth such as 'all men are men' may contain non-logical notions such as 'men'. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) | |
| A reaction: [He attributes this point to Russell] Maybe it is only a logical truth in its general form, as ∀x(x=x). Of course not all 'banks' are banks. |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| Full Idea: The standard modern view of logical truth is that a statement is logically true if it comes out true in all interpretations in all (non-empty) domains. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| Full Idea: The axiom of Peano which states that no two numbers have the same successor requires the Axiom of Infinity for its proof. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4 n) | |
| A reaction: [He refers to Russell 1919:131-2] The Axiom of Infinity is controversial and non-logical. |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative. |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| Full Idea: Formalism is a bulwark of logical positivist philosophy. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get. |
| 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. |
| 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). |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| Full Idea: Logical positivists did not adopt old-style logicism, but rather logicism spiced with varying doses of If-thenism. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4) | |
| A reaction: This refers to their account of mathematics as a set of purely logical truths, rather than being either empirical, or a priori synthetic. |
| 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? |