7 ideas
18487 | We want to know what makes sentences true, rather than defining 'true' [McFetridge] |
Full Idea: The generalisation 'What makes a (any) sentence true?' is not a request for definitions of 'true' (the concept), but rather requests for (partial) explanations of why certain particular sentences are true. | |
From: Ian McFetridge (Truth, Correspondence, Explanation and Knowledge [1977], II) | |
A reaction: McFetridge is responding to the shortcomings of Tarski's account of truth. The mystery seems to be why some of our representations of the world are 'successful', and others are not. |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
18488 | We normally explain natural events by citing further facts [McFetridge] |
Full Idea: If one were asked 'What makes salt soluble in water?', the most natural answer would be something of the style 'The fact that it has such-and-such structure'. | |
From: Ian McFetridge (Truth, Correspondence, Explanation and Knowledge [1977], II) | |
A reaction: Personally I would want to talk about its 'powers' (dispositional properties), rather than its 'structure' (categorical properties). This defends facts, but you could easily paraphrase 'fact' out of this reply (as McFetridge realised). |
19068 | Causation interests us because we want to explain change [Mumford] |
Full Idea: Like Aristotle, the reason we are really interested in causation is because we want to be able to explain change. | |
From: Stephen Mumford (Contemporary Efficient Causation: Aristotelian themes [2014], 8) | |
A reaction: This pinpoints a very important and simple idea. It raises the question (among others) of whether we have just invented this thing called 'causation', because no explanation of change was visible. Hume certainly couldn't see any explanation. |