35 ideas
12772 | Philosophy is a value- and attitude-driven enterprise [Fraassen] |
Full Idea: Philosophy is a value- and attitude-driven enterprise; philosophy is in false consciousness when it sees itself otherwise. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: It is one thing to be permeated with values, and another to be value-driven. Truth, reason and logic are (I take it) granted a high value in philosophy, just as the offside rule is in football. I am trying to place reality in charge, not humanity. |
12771 | Is it likely that a successful, coherent, explanatory ontological hypothesis is true? [Fraassen] |
Full Idea: How likely is it that a truly successful, coherent, explanatory ontological hypothesis is true? | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: Van Fraassen announces "I reject metaphysic" (p.3), so we know where he stands. Anything becomes less certain as it moves to a higher level of generality. Should we abandon generalisation? There is much illumination in metaphysics. |
12773 | Analytic philosophy has an exceptional arsenal of critical tools [Fraassen] |
Full Idea: Analytical philosophy can rightly pride itself on having produced the greatest critical arsenal the world has ever known. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.6) | |
A reaction: This is, of course, in the context of a scathing attack on the desire to use analytical methods to do speculative metaphysics. I say that if these are the best tools, then we should push forward with them to see how far we can get. |
12770 | We may end up with a huge theory of carefully constructed falsehoods [Fraassen] |
Full Idea: The specter that faces us is that we may end up having explained all that is dreamt of in our philosophies by intricately crafted postulates that are false. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: This is more persuasive that Idea 12769. People who cannot bear to live with a total absence of explanation (with Keats's 'negative capability') are most in danger from this threat. |
15063 | Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K] |
Full Idea: There is a distinction between worldly and unworldly sentences, between sentences that depend for their truth upon the worldly circumstances and those that do not. | |
From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
A reaction: Fine is fishing around in the area between the necessary, the a priori, truthmakers, and truth-conditions. He appears to be attempting a singlehanded reconstruction of the concepts of metaphysics. Is he major, or very marginal? |
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. |
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. |
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. |
15078 | There are levels of existence, as well as reality; objects exist at the lowest level in which they can function [Fine,K] |
Full Idea: Just as we recognise different levels of reality, so we should recognise different levels of existence. Each object will exist at the lowest level at which it can enjoy its characteristic form of life. | |
From: Kit Fine (Necessity and Non-Existence [2005], 10) | |
A reaction: I'm struggling with this claim, despite my sympathy for much of Fine's picture. I'm not sure that the so-called 'levels' of reality have different degrees of reality. |
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' |
15072 | Bottom level facts are subject to time and world, middle to world but not time, and top to neither [Fine,K] |
Full Idea: At the bottom are tensed or temporal facts, subject to the vicissitudes of time and hence of the world. Then come the timeless though worldly facts, subject to the world but not to time. Top are transcendental facts, subject to neither world nor time. | |
From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
A reaction: For all of Fine's awesome grasp of logic and semantics, when he divides reality up as boldly as this I start to side a bit with the sceptics about modern metaphysics (like Ladyman and Ross). I daresay Fine acknowledges that it is 'speculative'. |
15071 | Tensed and tenseless sentences state two sorts of fact, which belong to two different 'realms' of reality [Fine,K] |
Full Idea: A tensed fact is stated by a tensed sentence while a tenseless fact is stated by a tenseless sentence, and they belong to two 'realms' of reality. That Socrates drank hemlock is in the temporal realm, while 2+2=4 is presumably in the timeless realm. | |
From: Kit Fine (Necessity and Non-Existence [2005], 07) | |
A reaction: Put so strongly, I suddenly find sales resistance to his proposal. All my instincts favour one realm, and I take 2+2=4 to be a highly general truth about that realm. It may be a truth of any possible realm, which would distinguish it. |
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. |
15075 | Modal features are not part of entities, because they are accounted for by the entity [Fine,K] |
Full Idea: It is natural to suggest that to be a man is to have certain kind of temporal-modal profile. ...but it seems natural that being a man accounts for the profile, ...so one should not appeal to an object's modal features in stating what the object is. | |
From: Kit Fine (Necessity and Non-Existence [2005], 09) | |
A reaction: This strikes me as a correct and very helpful point, as I am tempted to think that the modal dispositions of a thing are intrinsic to its identity. If we accept 'powers', must they be modal in character? Fine backs a sortal approach. That's ideology. |
15065 | What it is is fixed prior to existence or the object's worldly features [Fine,K] |
Full Idea: The identity of an object - what it is - is not a worldly matter; essence will precede existence in that the identity of an object may be fixed by its unworldly features even before any question of its existence or other worldly features is considered. | |
From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
A reaction: I'm not clear how this cashes out. If I remove the 'worldly features' of an object, what is there left which establishes identity? Fine carefully avoids talk of 'a priori' knowledge of identity. |
15076 | Essential features of an object have no relation to how things actually are [Fine,K] |
Full Idea: It is the core essential features of the object that will be independent of how things turn out, and they will be independent in the sense of holding regardless of circumstances, not whatever the circumstances. | |
From: Kit Fine (Necessity and Non-Existence [2005], 09) | |
A reaction: The distinction at the end seems to be that 'regardless' pays no attention to circumstances, whereas 'whatever' pays attention to all circumstances. In other words, essence has no relationship to how things are. Plausible. Nice to see 'core'. |
15073 | Self-identity should have two components, its existence, and its neutral identity with itself [Fine,K] |
Full Idea: The existential identity of an object with itself needs analysis into two components, one the neutral identity of the object with itself, and the other its existence. The existence of the object appears to be merely a gratuitous addition to its identity. | |
From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
A reaction: This is at least a step towards clarification of the notion, which might be seen as just a way of asserting that something 'has an identity'. Fine likes the modern Fregean way of expressing this, as an equality relation. |
15074 | We would understand identity between objects, even if their existence was impossible [Fine,K] |
Full Idea: If there were impossible objects, ones that do not possibly exist, we would have no difficulty in understanding what it is for such objects to be identical or distinct than in the case of possible objects. | |
From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
A reaction: Thus, a 'circular square' seems to be the same as a 'square circle'. Fine is arguing for identity to be independent of any questions of existence. |
15064 | Proper necessary truths hold whatever the circumstances; transcendent truths regardless of circumstances [Fine,K] |
Full Idea: We distinguish between the necessary truths proper, those that hold whatever the circumstances, and the transcendent truths, those that hold regardless of the circumstances. | |
From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
A reaction: Fine's project seems to be dividing the necessities which derive from essence from the necessities which tended to be branded in essentialist discussions as 'trivial'. |
15070 | It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K] |
Full Idea: It is of the nature of Socrates to be a man; and from this it appears to follow that necessarily he is a man. | |
From: Kit Fine (Necessity and Non-Existence [2005], 04) | |
A reaction: I'm always puzzled by this line of thought, because it is only the intrinsic nature of beings like Socrates which decides in the first place what a 'man' is. How can something help to create a category, and then necessarily belong to that category? |
15069 | Possible worlds may be more limited, to how things might actually turn out [Fine,K] |
Full Idea: An alternative conception of a possible world says it is constituted, not by the totality of facts, or of how things might be, but by the totality of circumstances, or how things might turn out. | |
From: Kit Fine (Necessity and Non-Existence [2005], 02) | |
A reaction: The general idea is to make a possible world more limited than in Idea 15068. It only contains properties arising from 'engagement with the world', and won't include timeless sentences. It is a bunch of possibilities, not of actualities? |
15068 | The actual world is a totality of facts, so we also think of possible worlds as totalities [Fine,K] |
Full Idea: We are accustomed think of the actual world as the totality of facts, and so we think of any possible world as being like the actual world in settling the truth-value of every single proposition. | |
From: Kit Fine (Necessity and Non-Existence [2005], 02) | |
A reaction: Hence it is normal to refer to a possible world as a 'maximal' set of of propositions (sentences, etc). See Idea 15069 for his proposed alternative view. |
12769 | Inference to best explanation contains all sorts of hidden values [Fraassen] |
Full Idea: The very phrase 'inference to the best explanation' should wave a red flag for us. What is good, better, best? What values are slipped in here, under a common name, and where do they come from? | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: A point worth making, but overstated. If we are going to refuse to make judgements for fear that some wicked 'value' might creep in, our lives will be reduced to absurdity. |
12768 | We accept many scientific theories without endorsing them as true [Fraassen] |
Full Idea: The choice among theories in science may be a choice to accept in some sense falling far short of endorsement as true. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: When put like this, it is hard to deny the force of Van Fraassen's reservations about science. Lots of people, including me, use scientific theories as working assumptions for life, with nothing like full confidence in their truth. |
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?' |
15077 | It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K] |
Full Idea: It is said that there is no room in the A-theorists' ontology for a realm of timeless existents. Just as there is a tendency to think that every sentence is tensed, so there is a tendency to think that every object must enjoy a tensed form of existence. | |
From: Kit Fine (Necessity and Non-Existence [2005], 10) | |
A reaction: Fine is arguing for certain things to exist or be true independently of time (such as arithmetic, or essential identities). I struggle with the notion of timeless existence. |
15067 | A-theorists tend to reject the tensed/tenseless distinction [Fine,K] |
Full Idea: Most A-theorists have been inclined to reject the tensed/tenseless distinction. | |
From: Kit Fine (Necessity and Non-Existence [2005], 01) | |
A reaction: Presumably this is because they reject the notion of 'tenseless' truths. But sentences like 'two and two make four' seem not to be very tensy. |
15066 | B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K] |
Full Idea: B-theorists regard tensed sentences as incomplete expressions, implicitly containing an unfilled argument-place for the time at which they are to be evaluated. | |
From: Kit Fine (Necessity and Non-Existence [2005], 01) | |
A reaction: To distinguish past from future it looks as if you would need two argument-places, not one. Then there are 'used to be' and 'had been' to evaluate. |
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. |