47 ideas
| 18486 | We might define truth as arising from the truth-maker relation [MacBride] |
| Full Idea: We might define truth using the truth-maker relation, albeit in a roundabout way, according to the pattern of saying 'S is true' is equivalent to 'there is something which makes S true'. | |
| From: Fraser MacBride (Truthmakers [2013], 3.3) | |
| A reaction: [MacBride gives it more algebraically, but I prefer English!] You would need to explain 'truth-making' without reference to truth. Horwich objects, reasonably, that ordinary people grasp 'truth' much more clearly than 'truth-making'. Bad idea, I think. |
| 18484 | Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride] |
| Full Idea: For Martin the fatal error of phenomenalists was their inability to supply credible truth-makers for truths about unobserved objects; the same error afflicted Ryle's behaviourism, ...and Prior's Presentism (for past-tensed and future-tensed truths). | |
| From: Fraser MacBride (Truthmakers [2013], 3.1) | |
| A reaction: This seems to be the original motivation for the modern rise of the truthmaker idea. Personally I find 'Napoleon won at Austerlitz' is a perfectly good past-tensed truthmaker which is compatible with presentism. Truth-making is an excellent challenge. |
| 18466 | If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride] |
| Full Idea: If a truthmaker entails its truth, this threatens to over-generate truth-makers for necessary truths - at least if the entailment is classical. It's a feature of this notion that anything whatsoever entails a given necessary truth. | |
| From: Fraser MacBride (Truthmakers [2013], 1.1) | |
| A reaction: This is a good reason to think that the truth-making relation does not consist of logical entailment. |
| 18473 | 'Maximalism' says every truth has an actual truthmaker [MacBride] |
| Full Idea: The principle of 'maximalism' is that for every truth, then there must be something in the world that makes it true. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1) | |
| A reaction: That seems to mean that no truths can be uttered about anything which is not in the world. If I say 'pigs might have flown', that isn't about the modal profile of actual pigs, it is about what might have resulted from that profile. |
| 18481 | Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride] |
| Full Idea: If maximalism is intellectual heir to Russell's logical atomism, then 'optimalism' (the denial that universal and negative statements need truth-makers) is heir to Wittgenstein's version, where only atomic propositions represent states of affairs. | |
| From: Fraser MacBride (Truthmakers [2013], 2.2) | |
| A reaction: Wittgenstein's idea is that you can use the logical connectives to construct all the other universal and negative facts. 'Optimalism' restricts truthmaking to atomic statements. |
| 18483 | The main idea of truth-making is that what a proposition is about is what matters [MacBride] |
| Full Idea: According the Lewis, the kernel of truth in truth-making is the idea that propositions have a subject matter. They are about things, so whether they are true or false depends on how those things stand. | |
| From: Fraser MacBride (Truthmakers [2013], 2.4.1) | |
| A reaction: [Lewis 'Things Qua Truth-makers' 2003] That sounds like the first step in the story, rather than the 'kernel' of the truth-making approach. |
| 18479 | There are different types of truthmakers for different types of negative truth [MacBride] |
| Full Idea: We recognise that what makes it true that there is no oil in this engine is different from what makes it true that there are no dodos left. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: This looks like a local particular negation up against a universal negation. I'm not sure there is a big difference between 'my dodo's gone missing' (like my oil), and 'all the dodos have gone permanently missing'. |
| 18477 | There aren't enough positive states out there to support all the negative truths [MacBride] |
| Full Idea: It's not obvious that there are enough positive states out there to underwrite all the negative truths. Even though it may be true that this liquid is odourless this needn't be because there's something further about it that excludes its being odourless. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: What is the ontological status of all these hypothetical truths? What is the truthmaker for 'a trillion trillion negative truths exist'? What is the status of 'this is not not-red'? |
| 18482 | Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride] |
| Full Idea: Optimalists say that negative truths are 'true by default' (having the opposite truth value of p), and universal truths are too. Universal truths are equivalent to negative existential truths, which are true by default. | |
| From: Fraser MacBride (Truthmakers [2013], 2.2) | |
| A reaction: The background idea is Wittgenstein's, that if p is false, then not-p is true by default, without anyone having to assert the negation. This strikes me as a very promising approach to truthmaking. See Simons 2008. |
| 18474 | Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride] |
| Full Idea: If the sentence 'This sentence has no truth-maker' has a truth-maker, then it must be true. But then what it says must be the case, so it has no truth-maker. Hence by reductio the sentence has no truth-maker. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.1) | |
| A reaction: [Argument proposed by Peter Milne 2005] Rodriguez-Pereyra replies that the sentence is meaningless, so that it can't possibly be true. The Liar sentence is also said to be meaningless. The argument opposes Maximalism. |
| 18485 | Even idealists could accept truthmakers, as mind-dependent [MacBride] |
| Full Idea: Even an idealist could accept that there are truth-makers whilst thinking of them as mind-dependent entities. | |
| From: Fraser MacBride (Truthmakers [2013], 3.1) | |
| A reaction: This undercuts anyone (me, perhaps?) who was hoping to prop up their robust realism with an angry demand to be shown the truthmakers. |
| 18490 | Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride] |
| Full Idea: Maybe the truth-maker panegyrists have misconstrued the logical form of 'makes true'. They have taken it to be a verb like 'x hits y', when really it is akin to the connective '→' or 'because'. | |
| From: Fraser MacBride (Truthmakers [2013], 3.7) | |
| A reaction: [He cites Melia 2005] This isn't any sort of refutation of truth-making, but an offer of how to think of the phenomenon if you reject the big principle. I like truth-making, but resist the 'makes' that brings unthought propositions into existence. |
| 18493 | Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride] |
| Full Idea: When supporters of truth-making talk of 'something' which makes a sentence true, they make the assumption that it is an objectual quantifier in name position. | |
| From: Fraser MacBride (Truthmakers [2013], 3.8) | |
| A reaction: We might say, more concisely, that they are 'reifying' the something. This makes it sound as if Armstrong and Bigelow have made a mistake, but that are simply asserting that this particular quantification is indeed objectual. |
| 18489 | Connectives link sentences without linking their meanings [MacBride] |
| Full Idea: The 'connectives' are expressions that link sentences but without expressing a relation that holds between the states of affairs, facts or tropes that these sentences denote. | |
| From: Fraser MacBride (Truthmakers [2013], 3.7) | |
| A reaction: MacBride notes that these contrast with ordinary verbs, which do express meaningful relations. |
| 18476 | 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride] |
| Full Idea: Statements of the form 'a is F' aren't invariably positive ('a is dead'), and nor are statements of the form 'a isn't F' ('a isn't blind') always negative. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4) | |
| A reaction: The point is that the negation may be implicit in the predicate. There are many ways to affirm or deny something, other than by use of the standard syntax. |
| 8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
| Full Idea: The mathematically significant properties and relations of natural numbers arise from the successor function that orders them; the natural numbers are identified simply as the objects that answer to this basic function. | |
| From: Fraser MacBride (Structuralism Reconsidered [2007], §1) | |
| A reaction: So Julius Caesar would be a number if he was the successor of Pompey the Great? I would have thought that counting should be mentioned - cardinality as well as ordinality. Presumably Peano's Axioms are being referred to. |
| 8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
| Full Idea: The identification of mathematical objects with positions in structures rests upon the prior credibility of the thesis that positions are objects in their own right. | |
| From: Fraser MacBride (Structuralism Reconsidered [2007], §3) | |
| A reaction: Sounds devastating, but something has to get the whole thing off the ground. This is why Resnik's word 'patterns' is so appealing. Patterns stare you in the face, and they don't change if all the objects making it up are replaced by others. |
| 18480 | Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride] |
| Full Idea: 'To be is to be a truth-maker' has been proposed as a replacement the standard conception of ontological commitment, that to be is to be the value of a variable. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.2) | |
| A reaction: [He cites Ross Cameron 2008] Unconvincing. What does it mean to say that some remote unexperienced bit of the universe 'makes truths'? How many truths? Where do these truths reside when they aren't doing anything useful? |
| 18471 | Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride] |
| Full Idea: The concept of 'grounding' appears to cry out for treatment as a family resemblance concept, a concept whose instances have no more in common than different games do. | |
| From: Fraser MacBride (Truthmakers [2013], 1.6) | |
| A reaction: I like the word 'determinations', though MacBride's point my also apply to that. I take causation to be one species of determination, and truth-making to be another. They form a real family, with no adoptees. |
| 18472 | Which has priority - 'grounding' or 'truth-making'? [MacBride] |
| Full Idea: Some philosophers define 'grounding' in terms of 'truth-making', rather than the other way around. | |
| From: Fraser MacBride (Truthmakers [2013], 1.6) | |
| A reaction: [Cameron exemplifies the first, and Schaffer the second] I would have thought that grounding was in the world, but truth-making required the introduction of propositions about the world by minds, so grounding is prior. Schaffer is right. |
| 18475 | Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride] |
| Full Idea: The logical atomism of Russell admitted some logically complex facts but not others - in contrast to Wittgenstein's version which admitted only atomic facts. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.3) | |
| A reaction: For truthmakers, it looks as if the Wittgenstein version might do a better job (e.g. with negative truths). I quite like the Russell approach, where complex facts underwrite the logical connectives. Disjunctive, negative, conjunctive, hypothetical facts. |
| 21354 | It may be that internal relations like proportion exist, because we directly perceive it [MacBride] |
| Full Idea: Some philosophers maintain that we literally perceive proportions and other internal relations. These relations must exist, otherwise we couldn't perceive them. | |
| From: Fraser MacBride (Relations [2016], 3) | |
| A reaction: [He cites Mulligan 1991, and Hochberg 2013:232] This seems a rather good point. You can't perceive the differing heights of two people, yet fail to perceive that one is taller. You also perceive 'below', which is external. |
| 21353 | Internal relations are fixed by existences, or characters, or supervenience on characters [MacBride] |
| Full Idea: Internal relations are determined either by the mere existence of the things they relate, or by their intrinsic characters, or they supervene on the intrinsic characters of the things they relate. | |
| From: Fraser MacBride (Relations [2016], 3) | |
| A reaction: Suggesting that they 'supervene' doesn't explain anything (and supervenience never explains anything). I vote for the middle one - the intrinsic character. It has to be something about the existence, and not the mere fact of existence. |
| 21352 | 'Multigrade' relations are those lacking a fixed number of relata [MacBride] |
| Full Idea: A 'unigrade' relation R has a definite degree or adicity: R is binary, or ternary....or n-ary (for some unique n). By contrast a relation is 'multigrade' if it fails to be unigrade. Causation appears to be multigrade. | |
| From: Fraser MacBride (Relations [2016], 1) | |
| A reaction: He also cites entailment, which may have any number of premises. |
| 9295 | Not only substances have attributes; events, actions, states and qualities can have them [Teichmann] |
| Full Idea: It is not true that only substances have attributes; events, actions, states and qualities can all be characterized. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.2) | |
| A reaction: This is why it is so important to distinguish the actual properties in nature from those that can be fancifully hypothesized by a linguistic being. Is there any limit to the possible number of levels of meta-properties? |
| 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. |
| 18478 | Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride] |
| Full Idea: It is almost universally acknowledged that Wittgenstein's plan to show all necessity is logical necessity ended in failure - indeed foundered upon the very problem of explaining colour incompatibilities. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: I'm not sure whether you can 'show' that colour incompatibility is some sort of necessity, though intuitively it seems so. I'm thinking that 'necessity' is a unitary concept, with a wide variety of sources generating it. |
| 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). |
| 9293 | Body-spirit interaction ought to result in losses and increases of energy in the material world [Teichmann] |
| Full Idea: Since the interaction of bodies themselves involves energy-flow, it looks as if interaction between body and spirit ought to result in losses and increases of energy in the material world. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.2) | |
| A reaction: A nice statement of an important argument. It forces the dualist to go the whole way, asserting that not only is the mind immaterial, but that it can be active without energy, and cover its traces in the physical world. Doesn't look good. |
| 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? |
| 9294 | No individuating marks distinguish between Souls [Teichmann] |
| Full Idea: There are no individuating marks which could serve to differentiate one Soul from another. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.2) | |
| A reaction: Presumably they could have at least much identity as two different electrons (if they are in space-time?). It is hard to see why anyone would be interested in their 'own' immortality, if loss of all individuality was a condition. |
| 9292 | The Soul has no particular capacity (in the way thinking belongs to the mind) [Teichmann] |
| Full Idea: On the whole, the Soul has no capacities which belong to it pre-eminently in the way that thinking 'belongs' to the mind. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.1) | |
| A reaction: There are no phenomena which have to be saved by postulating a soul. It lacks a function within a human being, but it has a crucial function within a large theological picture. |