28 ideas
| 19740 | A very hungry man cannot choose between equidistant piles of food [Aristotle] |
| Full Idea: The man who, though exceedingly hungry and thirsty, and both equally, yet being equidistant from food and drink, is therefore bound to stay where he is. | |
| From: Aristotle (On the Heavens [c.336 BCE], 296b33) | |
| A reaction: This is, of course, Buridan's famous Ass, but this quotation has the advantage of precedence, and also of being expressed in an original quotation (which does not exist for Buridan). |
| 10528 | Definitions concern how we should speak, not how things are [Fine,K] |
| Full Idea: Our concern in giving a definition is not to say how things are by to say how we wish to speak | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310) | |
| A reaction: This sounds like an acceptable piece of wisdom which arises out of analytical and linguistic philosophy. It puts a damper on the Socratic dream of using definition of reveal the nature of reality. |
| 6334 | The function of the truth predicate? Understanding 'true'? Meaning of 'true'? The concept of truth? A theory of truth? [Horwich] |
| Full Idea: We must distinguish the function of the truth predicate, what it is to understand 'true', the meaning of 'true', grasping the concept of truth, and a theory of truth itself. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.8) | |
| A reaction: It makes you feel tired to think about it. Presumably every other philosophical analysis has to do this many jobs. Clearly Horwich wants to propose one account which will do all five jobs. Personally I don't believe these five are really distinct. |
| 6342 | Some correspondence theories concern facts; others are built up through reference and satisfaction [Horwich] |
| Full Idea: One correspondence theory (e.g. early Wittgenstein) concerns representations and facts; alternatively (Tarski, Davidson) the category of fact is eschewed, and the truth of sentences or propositions is built out of relations of reference and satisfaction. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.7.35) | |
| A reaction: A helpful distinction. Clearly the notion of a 'fact' is an elusive one ("how many facts are there in this room?"), so it seems quite promising to say that the parts of the sentence correspond, rather than the whole thing. |
| 6332 | The common-sense theory of correspondence has never been worked out satisfactorily [Horwich] |
| Full Idea: The common-sense notion that truth is a kind of 'correspondence with the facts' has never been worked out to anyone's satisfaction. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.1) | |
| A reaction: I've put this in to criticise it. Philosophy can't work by rejecting theories which can't be 'worked out', and accepting theories (like Tarski's) because they can be 'worked out'. All our theories will end up minimal, and defiant of common sense. |
| 6335 | The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich] |
| Full Idea: The redundancy theory is unable to account for the inference from "Oscar's claim is true" and "Oscar's claim is that snow is white" to "the proposition 'that snow is white' is true", and hence to "snow is white". | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.9) | |
| A reaction: Earlier objections appealed to the fact that the word 'true' seemed to have a use in ordinary speech, but this seems a much stronger one. In general, showing the role of a term in making inferences pins it down better than ordinary speech does. |
| 6344 | Truth is a useful concept for unarticulated propositions and generalisations about them [Horwich] |
| Full Idea: All uses of the truth predicate are explained by the hypothesis that its entire raison d'être is to help us say things about unarticulated propositions, and in particular to express generalisations about them. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Concl) | |
| A reaction: This certain is a very deflationary notion of truth. Articulated propositions are considered to stand on their own two feet, without need of 'is true'. He makes truth sound like a language game, though. Personally I prefer to mention reality. |
| 6336 | No deflationary conception of truth does justice to the fact that we aim for truth [Horwich] |
| Full Idea: It has been suggested that no deflationary conception of truth could do justice to the fact that we aim for the truth. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.11) | |
| A reaction: (He mentions Dummett and Wright). People don't only aim for it - they become very idealistic about it, and sometimes die for it. Personally I think that any study of truth should use as its example police investigations, not philosophical analysis. |
| 23299 | Horwich's deflationary view is novel, because it relies on propositions rather than sentences [Horwich, by Davidson] |
| Full Idea: Horwich's brave and striking move is to make the primary bearers of truth propositions - not exactly a new idea in itself, but new in the context of a serious attempt to defend deflationism. | |
| From: report of Paul Horwich (Truth (2nd edn) [1990]) by Donald Davidson - The Folly of Trying to Define Truth p.30 | |
| A reaction: Davidson rejects propositions because they can't be individuated, but I totally accept propositions. I'm puzzled why this would produce a deflationist theory, since I think it points to a much more robust view. |
| 6337 | The deflationary picture says believing a theory true is a trivial step after believing the theory [Horwich] |
| Full Idea: According to the deflationary picture, believing that a theory is true is a trivial step beyond believing the theory. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.17) | |
| A reaction: What has gone wrong with this picture is that you cannot (it seems to me) give a decent account of belief without mentioning truth. To believe a proposition is to hold it true. Hume's emotional account (Idea 2208) makes belief bewildering. |
| 6339 | Logical form is the aspects of meaning that determine logical entailments [Horwich] |
| Full Idea: The logical forms of the sentences in a language are those aspects of their meanings that determine the relations of deductive entailment holding amongst them. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.30) | |
| A reaction: A helpful definition. Not all sentences, therefore, need to have a 'logical form'. Is the logical form the same as the underlying proposition. The two must converge, given that propositions lack the ambiguity that is often found in sentences. |
| 10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
| Full Idea: Neo-Fregeans have thought that Hume's Principle, and the like, might be definitive of number and therefore not subject to the usual epistemological worries over its truth. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310) | |
| A reaction: This seems to be the underlying dream of logicism - that arithmetic is actually brought into existence by definitions, rather than by truths derived from elsewhere. But we must be able to count physical objects, as well as just counting numbers. |
| 10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
| Full Idea: The fundamental difficulty facing the neo-Fregean is to either adopt the predicative reading of Hume's Principle, defining numbers, but inadequate, or the impredicative reading, which is adequate, but not really a definition. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.312) | |
| A reaction: I'm not sure I understand this, but the general drift is the difficulty of building a system which has been brought into existence just by definition. |
| 10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
| Full Idea: If an abstraction principle is going to be acceptable, then it should not 'inflate', i.e. it should not result in there being more abstracts than there are objects. By this mark Hume's Principle will be acceptable, but Frege's Law V will not. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.307) | |
| A reaction: I take this to be motivated by my own intuition that abstract concepts had better be rooted in the world, or they are not worth the paper they are written on. The underlying idea this sort of abstraction is that it is 'shared' between objects. |
| 6338 | We could know the truth-conditions of a foreign sentence without knowing its meaning [Horwich] |
| Full Idea: Someone who does not understand German and is told 'Schnee ist weiss' is true if frozen H2O is white, does not understand the German sentence, even though he knows the truth-conditions. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.5.22 n1) | |
| A reaction: This sounds like a powerful objection to Davidson's well-known claim that meaning is truth-conditions. Horwich likes the idea that meaning is use, but I think a similar objection arises - you can use a sentence well without knowing its meaning. |
| 6340 | There are Fregean de dicto propositions, and Russellian de re propositions, or a mixture [Horwich] |
| Full Idea: There are pure, Fregean, abstract, de dicto propositions, in which a compositional structure is filled only with senses; there are pure, Russellian, concrete, de re propositions, which are filled with referents; and there are mixed propositions. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.31) | |
| A reaction: Once Frege has distinguished sense from reference, this distinction of propositions is likely to follow. The current debate over the internalist and externalist accounts of concepts seems to continue the debate. A mixed strategy sounds good. |
| 6341 | Right translation is a mapping of languages which preserves basic patterns of usage [Horwich] |
| Full Idea: The right translation between words of two languages is the mapping that preserves basic patterns of usage - where usage is characterised non-semantically, in terms of circumstances of application, assertibility conditions and inferential role. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.32) | |
| A reaction: It still strikes me that if you ask why a piece of language is used in a certain way, you find yourself facing something deeper about meaning than mere usage. Horwich cites Wittgenstein and Quine in his support. Could a machine pass his test? |
| 398 | Each thing that has a function is for the sake of that function [Aristotle] |
| Full Idea: Each thing that has a function is for the sake of that function. | |
| From: Aristotle (On the Heavens [c.336 BCE], 286a08) | |
| A reaction: This is the central idea of Aristotle's Ethics. Did it originate with Plato, or Socrates, the young pupil Aristotle? I suspect the strong influence of Aristotle on later Plato. A major idea. Functions link the facts to life. |
| 394 | An unworn sandal is in vain, but nothing in nature is in vain [Aristotle] |
| Full Idea: We say of a sandal which is not worn that it is in vain; God and nature, however, do nothing in vain. | |
| From: Aristotle (On the Heavens [c.336 BCE], 271a33) |
| 396 | There has to be some goal, and not just movement to infinity [Aristotle] |
| Full Idea: There has to be some goal, and not just movement to infinity. | |
| From: Aristotle (On the Heavens [c.336 BCE], 277a26) |
| 16102 | Aether moves in circles and is imperishable; the four elements perish, and move in straight lines [Aristotle, by Gill,ML] |
| Full Idea: For Aristotle, aether and the four sublunary elements obey different physical laws. Aether moves naturally in a circle and, unlike its lower counterparts, is not a source of perishability. The four sublunary elements move naturally in straight lines. | |
| From: report of Aristotle (On the Heavens [c.336 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.2 | |
| A reaction: I think it is anachronistic for Gill to talk of 'obeying' and 'laws'. She should have said that they have different 'natures'. We can be amused by Greek errors, until we stare hard at the problems they were trying to solve. |
| 17463 | An element is what bodies are analysed into, and won't itself divide into something else [Aristotle] |
| Full Idea: An element is a body into which other bodies may be analyzed, present in them potentially or in actuality (which of these is still disputable), and not itself divisible into bodies different in form. That is what all men mean by element. | |
| From: Aristotle (On the Heavens [c.336 BCE], 302a05), quoted by Weisberg/Needham/Hendry - Philosophy of Chemistry 1.1 | |
| A reaction: This is the classic definition of an element, which endured for a long time, and has been replaced by an 'actual components' view. Obviously analysis nowadays goes well beyond the atoms. |
| 399 | If the more you raise some earth the faster it moves, why does the whole earth not move? [Aristotle] |
| Full Idea: If you raise some earth and release it, it moves and won't stay put, and the more you raise it the faster it moves, so why does the whole earth not move? | |
| From: Aristotle (On the Heavens [c.336 BCE], 294a12) |
| 20918 | Void is a kind of place, so it can't explain place [Aristotle] |
| Full Idea: It is absurd to explain place by the void, as though this latter were not itself some kind of place. | |
| From: Aristotle (On the Heavens [c.336 BCE], 309b24) | |
| A reaction: Presumably this is aimed at Democritus. |
| 402 | The Earth must be spherical, because it casts a convex shadow on the moon [Aristotle] |
| Full Idea: A lunar eclipse always has a convex dividing line, so, if it is eclipsed by the interposition of the earth, the circumference of the earth, being spherical, is responsible for the shape. | |
| From: Aristotle (On the Heavens [c.336 BCE], 297b29) |
| 403 | The earth must be round and of limited size, because moving north or south makes different stars visible [Aristotle] |
| Full Idea: Clearly the earth is round and not of great size, because when we move north or south we find that very different stars are visible. | |
| From: Aristotle (On the Heavens [c.336 BCE], 297b30) |
| 1498 | Everyone agrees that the world had a beginning, but thinkers disagree over whether it will end [Aristotle] |
| Full Idea: All thinkers agree that the world had a beginning, but some claim that, having come into existence, it is everlasting. | |
| From: Aristotle (On the Heavens [c.336 BCE], 279b12) |
| 395 | It seems possible that there exists a limited number of other worlds apart from this one [Aristotle] |
| Full Idea: One might indeed be puzzled whether, just as the world about us exists, nothing prevents there being others as well, certainly more than one, though not an unlimited number | |
| From: Aristotle (On the Heavens [c.336 BCE], 274a26) |