8 ideas
| 4742 | Correspondence may be one-many or many one, as when either p or q make 'p or q' true [Armstrong] |
| Full Idea: In Armstrong's version of the correspondence theory, the truth-making relation is not one-one, but one-many or many-one. Thus 'p or q' has two truth makers, p and q. | |
| From: David M. Armstrong (A World of States of Affairs [1997], p.129), quoted by Pascal Engel - Truth Ch.1 | |
| A reaction: Interesting. Armstrong deals in universals. He also cites many swans as truth-makers for 'there is a least one black swan'. Not correspondence as we know it, Jim. |
| 13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
| Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
| 13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
| Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1) |
| 9497 | Without modality, Armstrong falls back on fictionalism to support counterfactual laws [Bird on Armstrong] |
| Full Idea: Armstrong has difficulty explaining how laws entail regularities. There is no real modality in the basic components of the world, but he wants to support counterfactuals. His official position is a kind of fictionalism. | |
| From: comment on David M. Armstrong (A World of States of Affairs [1997], 49-51) by Alexander Bird - Nature's Metaphysics 4.4.4 | |
| A reaction: Armstrong seems to be up against the basic problems that laws won't explain anything if they are merely regularities (assuming they are not decrees of a supernatural force). |
| 15550 | Properties are contingently existing beings with multiple locations in space and time [Armstrong, by Lewis] |
| Full Idea: Armstrong has a distinctive conception of (fundamental) properties as contingently existing beings with multiple locations in space and time. | |
| From: report of David M. Armstrong (A World of States of Affairs [1997]) by David Lewis - A world of truthmakers? p.220 | |
| A reaction: Armstrong tries to get a naturalistically founded platonism (which he claims is Aristotelian), but the idea that one thing can be multiply located strikes me as daft (especially if the number of its locations increases or decreases). |
| 19347 | Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins] |
| Full Idea: For individuation, substance needs three properties: independence, to separate it from other things; unity, to call it one thing, rather than an aggregate; and permanence or stability over time. Its other role is as subject for predicates. | |
| From: Franklin Perkins (Leibniz: Guide for the Perplexed [2007], 3.1) | |
| A reaction: Perkins is describing the Aristotelian view, which is taken up by Leibniz. 'Substance' is not a controversial idea, if we see that it only means that the world is full of 'things'. It is an unusual philosopher wholly totally denies that. |
| 4743 | The truth-maker for a truth must necessitate that truth [Armstrong] |
| Full Idea: The truth-maker for a truth must necessitate that truth. | |
| From: David M. Armstrong (A World of States of Affairs [1997], p.115), quoted by Pascal Engel - Truth Ch.1 | |
| A reaction: Armstrong's 'truth-make principle'. It seems to be a necessity which is neither natural nor analytic, making it metaphysically necessary. Or is it part of the definition of truth? |
| 4798 | In recent writings, Armstrong makes a direct identification of necessitation with causation [Armstrong, by Psillos] |
| Full Idea: In recent writings, Armstrong makes a direct identification of necessitation with causation. | |
| From: report of David M. Armstrong (A World of States of Affairs [1997]) by Stathis Psillos - Causation and Explanation §6.3.3 | |
| A reaction: Obviously logical necessity is not causal, but as a proposal for simplifying accounts of necessity in nature, this is wonderfully simple and appealing. Is his proposal an elevation of causation, or a degradation of necessity? |