5 ideas
10051 | The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M] |
Full Idea: There is something profoundly unsatisfactory about the axiom of infinity. It cannot be described as a truth of logic in any reasonable use of that phrase, and so the introduction of it as a primitive proposition amounts to the abandonment of logicism. | |
From: W Kneale / M Kneale (The Development of Logic [1962], XI.2) | |
A reaction: It seems that the axiom is essentially empirical, and it certainly makes an existential claim which seems to me (intuitively) to have nothing to do with logic at all. |
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. |
18431 | Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards] |
Full Idea: Simons's 'nuclear' option blends features of the substratum and bundle theories. First we have tropes collected by virtue of their internal relations, forming the essential kernel or nucleus. This nucleus then bears the non-essential tropes. | |
From: report of Peter Simons (Particulars in Particular Clothing [1994], p.567) by Douglas Edwards - Properties 3.5 | |
A reaction: [compression of Edwards's summary] This strikes me as being a remarkably good theory. I am not sure of the ontological status of properties, such that they can (unaided) combine to make part of an object. What binds the non-essentials? |