32 ideas
| 22087 | Philosophy fails to articulate the continual becoming of existence [Kierkegaard, by Carlisle] |
| Full Idea: Kierkegaard criticise philosophy for its inability to grasp and to articulate the movement, the continual becoming, that characterises existence. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 2 | |
| A reaction: Heraclitus had a go, and Hegel's historicism focuses on dynamic thought, but this idea concerns the immediacy of individual life. |
| 8996 | If if time is money then if time is not money then time is money then if if if time is not money... [Quine] |
| Full Idea: If if time is money then if time is not money then time is money then if if if time is not money then time is money then time is money then if time is money then time is money. | |
| From: Willard Quine (Truth by Convention [1935], p.95) | |
| A reaction: Quine offers this with no hint of a smile. I reproduce it for the benefit of people who hate analytic philosophy, and get tired of continental philosophy being attacked for its obscurity. |
| 8995 | Definition by words is determinate but relative; fixing contexts could make it absolute [Quine] |
| Full Idea: A definition endows a word with complete determinacy of meaning relative to other words. But we could determine the meaning of a new word absolutely by specifying contexts which are to be true and contexts which are to be false. | |
| From: Willard Quine (Truth by Convention [1935], p.89) | |
| A reaction: This is the beginning of Quine's distinction between the interior of 'the web' and its edges. The attack on the analytic/synthetic distinction will break down the boundary between the two. Surprising to find 'absolute' anywhere in Quine. |
| 5651 | Traditional views of truth are tautologies, and truth is empty without a subject [Kierkegaard, by Scruton] |
| Full Idea: Kierkegaard developed the idea of 'truth as subjectivity'; the traditional conceptions of truth - correspondence or coherence - he regarded as equally empty, not because false, but because tautologous; truth ceases to be empty when related to a subject. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Roger Scruton - Short History of Modern Philosophy Ch.13 | |
| A reaction: It strikes me that the correspondence theory of truth also involves a subject. If you become too obsessed with the subject, you lose the concept of truth. You need a concept of the non-subject too. Truth concerns the contents of thought. |
| 18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
| Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2 | |
| A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped. |
| 10064 | Quine quickly dismisses If-thenism [Quine, by Musgrave] |
| Full Idea: Quine quickly dismisses If-thenism. | |
| From: report of Willard Quine (Truth by Convention [1935], p.327) by Alan Musgrave - Logicism Revisited §5 | |
| A reaction: [Musgrave quotes a long chunk of Quine which is hard to compress!] Effectively, he says If-thenism is cheating, or begs the question, by eliminating whole sections of perfectly good mathematics, because they cannot be derived from axioms. |
| 20296 | Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey] |
| Full Idea: Quine argues that logic could not be established by conventions, since the logical truths, being infinite in number, must be given by general conventions rather than singly; and logic is needed in the meta-theory, to apply to individual cases. | |
| From: report of Willard Quine (Truth by Convention [1935]) by Georges Rey - The Analytic/Synthetic Distinction 3.4 | |
| A reaction: A helpful insight into Quine's claim. If only someone would print these one sentence summaries at the top of classic papers, we would all get far more out of them at first reading. Assuming Rey is right! |
| 8998 | Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine] |
| Full Idea: If logic and mathematics being true by convention says the primitives can be conventionally described, that works for anything, and is empty; if the conventions are only for those fields, that's uninteresting; if a general practice, that is false. | |
| From: Willard Quine (Truth by Convention [1935], p.102) | |
| A reaction: This is Quine's famous denial of the traditional platonist view, and the new Wittgensteinian conventional view, preparing the ground for a more naturalistic and empirical view. I feel more sympathy with Quine than with the other two. |
| 8999 | Logic isn't conventional, because logic is needed to infer logic from conventions [Quine] |
| Full Idea: If logic is to proceed mediately from conventions, logic is needed for inferring logic from the conventions. Conventions for adopting logical primitives can only be communicated by free use of those very idioms. | |
| From: Willard Quine (Truth by Convention [1935], p.104) | |
| A reaction: A common pattern of modern argument, which always seems to imply that nothing can ever get off the ground. I suspect that there are far more benign circles in the world of thought than most philosophers imagine. |
| 9000 | If a convention cannot be communicated until after its adoption, what is its role? [Quine] |
| Full Idea: When a convention is incapable of being communicated until after its adoption, its role is not clear. | |
| From: Willard Quine (Truth by Convention [1935], p.106) | |
| A reaction: Quine is discussing the basis of logic, but the point applies to morality - that if there is said to be a convention at work, the concepts of morality must already exist to get the conventional framework off the ground. What is it that comes first? |
| 8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
| Full Idea: Just as functions are fundamentally different from objects, so also functions whose arguments are and must be functions are fundamentally different from functions whose arguments are objects. The latter are first-level, the former second-level, functions. | |
| From: Gottlob Frege (Function and Concept [1891], p.38) | |
| A reaction: In 1884 he called it 'second-order'. This is the standard distinction between first- and second-order logic. The first quantifies over objects, the second over intensional entities such as properties and propositions. |
| 8492 | Relations are functions with two arguments [Frege] |
| Full Idea: Functions of one argument are concepts; functions of two arguments are relations. | |
| From: Gottlob Frege (Function and Concept [1891], p.39) | |
| A reaction: Nowadays we would say 'two or more'. Another interesting move in the aim of analytic philosophy to reduce the puzzling features of the world to mathematical logic. There is, of course, rather more to some relations than being two-argument functions. |
| 8994 | If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine] |
| Full Idea: Geometry can be brought into line with logicism simply by identifying figures with arithmetical relations with which they are correlated thought analytic geometry. | |
| From: Willard Quine (Truth by Convention [1935], p.87) | |
| A reaction: Geometry was effectively reduced to arithmetic by Descartes and Fermat, so this seems right. You wonder, though, whether something isn't missing if you treat geometry as a set of equations. There is more on the screen than what's in the software. |
| 8997 | There are four different possible conventional accounts of geometry [Quine] |
| Full Idea: We can construe geometry by 1) identifying it with algebra, which is then defined on the basis of logic; 2) treating it as hypothetical statements; 3) defining it contextually; or 4) making it true by fiat, without making it part of logic. | |
| From: Willard Quine (Truth by Convention [1935], p.99) | |
| A reaction: [Very compressed] I'm not sure how different 3 is from 2. These are all ways to treat geometry conventionally. You could be more traditional, and say that it is a description of actual space, but the multitude of modern geometries seems against this. |
| 8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
| Full Idea: I am of the opinion that arithmetic is a further development of logic, which leads to the requirement that the symbolic language of arithmetic must be expanded into a logical symbolism. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: This may the the one key idea at the heart of modern analytic philosophy (even though logicism may be a total mistake!). Logic and arithmetical foundations become the master of ontology, instead of the servant. The jury is out on the whole enterprise. |
| 8993 | If mathematics follows from definitions, then it is conventional, and part of logic [Quine] |
| Full Idea: To claim that mathematical truths are conventional in the sense of following logically from definitions is the claim that mathematics is a part of logic. | |
| From: Willard Quine (Truth by Convention [1935], p.79) | |
| A reaction: Quine is about to attack logic as convention, so he is endorsing the logicist programme (despite his awareness of Gödel), but resisting the full Wittgenstein conventionalist picture. |
| 18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
| Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism' |
| 4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
| Full Idea: Frege's theory of properties (which he calls 'concepts') yields too few properties, by identifying coextensive properties, and also too many, by letting every predicate express a property. | |
| From: comment on Gottlob Frege (Function and Concept [1891]) by DH Mellor / A Oliver - Introduction to 'Properties' §2 | |
| A reaction: Seems right; one extension may have two properties (have heart/kidneys), two predicates might express the same property. 'Cutting nature at the joints' covers properties as well as objects. |
| 8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
| Full Idea: I regard a regular definition of 'object' as impossible, since it is too simple to admit of logical analysis. Briefly: an object is anything that is not a function, so that an expression for it does not contain any empty place. | |
| From: Gottlob Frege (Function and Concept [1891], p.32) | |
| A reaction: Here is the core of the programme for deriving our ontology from our logic and language, followed through by Russell and Quine. Once we extend objects beyond the physical, it becomes incredibly hard to individuate them. |
| 9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
| Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties. |
| 10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
| Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it. | |
| From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects | |
| A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status. |
| 8488 | A concept is a function whose value is always a truth-value [Frege] |
| Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable. |
| 9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
| Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity. |
| 4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
| Full Idea: From sameness of meaning there does not follow sameness of thought expressed. A fact about the Morning Star may express something different from a fact about the Evening Star, as someone may regard one as true and the other false. | |
| From: Gottlob Frege (Function and Concept [1891], p.14) | |
| A reaction: This all gets clearer if we distinguish internalist and externalist theories of content. Why take sides on this? Why not just ask 'what is in the speaker's head?', 'what does the sentence mean in the community?', and 'what is the corresponding situation?' |
| 22090 | For me time stands still, and I with it [Kierkegaard, by Carlisle] |
| Full Idea: Time flows, life is a stream, people say, and so on. I do not notice it. Time stands still, and I with it. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843], I:26) by Clare Carlisle - Kierkegaard: a guide for the perplexed 3 | |
| A reaction: This is from the spokesman for the aesthetic option in life, which is largely pleasure-seeking. No real choices ever occur. |
| 9305 | The plebeians bore others; only the nobility bore themselves [Kierkegaard] |
| Full Idea: Those who bore others are the plebeians, the crowd, the endless train of humanity in general; those who bore themselves are the chosen ones, the nobility. | |
| From: Søren Kierkegaard (Either/Or: a fragment of life [1843], Pt.1), quoted by Lars Svendsen - A Philosophy of Boredom Ch.2 | |
| A reaction: [p.288 in Princeton Edn] Stunningly elitist, but ask where boredom is most overtly found. "Boring" was once a very fashionable word among the English upper classes. Education and wealth seem to intensify boredom. |
| 5650 | Reason is just abstractions, so our essence needs a subjective 'leap of faith' [Kierkegaard, by Scruton] |
| Full Idea: For Kierkegaard, reason, which produces only abstractions, negates our individual essence; this essence is subjectivity, and subjectivity exists only in the 'leap of faith', whereby the individual casts in his lot with eternity. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Roger Scruton - Short History of Modern Philosophy Ch.13 | |
| A reaction: Interesting, but this strikes me as a confusion of reason and logic. A logical life would indeed be a sort of death, and need faith as an escape, but a broad view of the rational life includes emotion, imagination and laughter. Blind faith is disaster. |
| 22095 | There are aesthetic, ethical and religious subjectivity [Kierkegaard, by Carlisle] |
| Full Idea: Kierkegaard distinguishes three main types of subjectivity: aesthetic, ethical and religious. But are these types of people, or different phases of one person's life? | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 4 | |
| A reaction: His picture of the religious mode holds no appeal for me. I also can't accept that the aesthetic and the moral are somewho distinct. People may discover they have slipped into one of these modes, but no one chooses them, do they? |
| 20747 | What matters is not right choice, but energy, earnestness and pathos in the choosing [Kierkegaard] |
| Full Idea: In making a choice, it is not so much a question of choosing the right way as of the energy, the earnestness, and the pathos with which one chooses. | |
| From: Søren Kierkegaard (Either/Or: a fragment of life [1843], p.106), quoted by Kevin Aho - Existentialism: an introduction 2 'Phenomenology' | |
| A reaction: I'm struggling to identify with the experience he is describing. I can't imagine a more quintessentially existentialist remark than this. Reference to 'energy' in choosing strikes me as very romantic. Is 'the way not taken' crucial (in 'pathos')? |
| 22091 | Kierkegaard prioritises the inward individual, rather than community [Kierkegaard, by Carlisle] |
| Full Idea: Whereas Hegel argues that individuals find fulfilment through participation in their community, Kierkegaard prioritises the inwardness of each person, which is shared only with God. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 3 | |
| A reaction: Sounds like the protestant religion opposing the catholic religion (although Hegel was a protestant). Individual v community is the great debate of the last two centuries in Europe. |
| 8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |
| Full Idea: The ontological proof of God's existence suffers from the fallacy of treating existence as a first-level concept. | |
| From: Gottlob Frege (Function and Concept [1891], p.38 n) | |
| A reaction: [See Idea 8490 for first- and second-order functions] This is usually summarised as the idea that existence is a quantifier rather than a predicate. |
| 22088 | Faith is like a dancer's leap, going up to God, but also back to earth [Kierkegaard, by Carlisle] |
| Full Idea: Kierkegaard doesn't use the phrase 'leap of faith'. His metaphor of a dancer's leap expresses the way faith goes 'up' towards God, but also comes back down to earth, and is a way of living in the world. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 2 | |
| A reaction: This entirely contradicts what I was taught about this idea many years ago. Memes turn into Chinese whispers. |