42 ideas
| 11159 | My account shows how the concept works, rather than giving an analysis [Fine,K] |
| Full Idea: My assimilation of essence to definition ...may not provide us with an analysis of the concept, but it does provide us with a good model of how the concept works. | |
| From: Kit Fine (Essence and Modality [1994], p. 3) | |
| A reaction: An example of the modern shift in analytic philosophy, away from the dream of given a complete analysis of a concept, towards giving an account of the concepts relationships. Compare Shoemaker in Idea 8559. |
| 22024 | Fichte's subjectivity struggles to then give any account of objectivity [Pinkard on Fichte] |
| Full Idea: For Fichte 'subjectivity' came first, and he was then stuck with the (impossible) task of showing how 'objectivity' arose out of it. | |
| From: comment on Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Terry Pinkard - German Philosophy 1760-1860 06 | |
| A reaction: The best available answer to this problem (for idealists) is, I think, Nietzsche's perspectives, in which multiple subjectivities are summed to produce a blurred picture which has a degree of consensus. Fichte later embraced other minds. |
| 11157 | Modern philosophy has largely abandoned real definitions, apart from sortals [Fine,K] |
| Full Idea: In modern analytic philosophy we find that, as a result of sustained empiricist critique, the idea of real definition has been more or less given up (unless it be taken to be vestigially present in the notion of a sortal). | |
| From: Kit Fine (Essence and Modality [1994], p. 3) | |
| A reaction: The account of essences as falling under sortals (roughly, categorising terms) is associated with David Wiggins. Kit Fine is in the business of reviving Aristotelian real definitions, as are fans of scientific essentialism (see under 'Nature'). |
| 11171 | Defining a term and giving the essence of an object don't just resemble - they are the same [Fine,K] |
| Full Idea: There is an analogy between defining a term and giving the essence of an object. ..However, I am inclined to think that the two cases are not merely parallel but are, at bottom, the same. | |
| From: Kit Fine (Essence and Modality [1994], p.13) | |
| A reaction: The proposal is something like the meaning of a concept being the essence of the concept. And essence is definition. The parallel is that they both lead to necessities, either derived from objects or from concepts. Sounds good to me. |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| Full Idea: The If-thenist view seems to apply straightforwardly only to the axiomatised portions of mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: He cites Lakatos to show that cutting-edge mathematics is never axiomatised. One might reply that if the new mathematics is any good then it ought to be axiomatis-able (barring Gödelian problems). |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| Full Idea: If we identify logic with first-order logic, and mathematics with the collection of first-order theories, then maybe we can continue to maintain the If-thenist position. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: The problem is that If-thenism must rely on rules of inference. That seems to mean that what is needed is Soundness, rather than Completeness. That is, inference by the rules must work properly. |
| 22017 | Normativity needs the possibility of negation, in affirmation and denial [Fichte, by Pinkard] |
| Full Idea: To adopt any kind of normative stance is to commit oneself necessarily to the possibility of negation. It involves doing something correctly or incorrectly, so there must exist the possibility of denying or affirming. | |
| From: report of Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Terry Pinkard - German Philosophy 1760-1860 05 | |
| A reaction: This seems to be the key idea for understanding Hegel's logic. Personally I think animals have a non-verbal experience of negation - when a partner dies, for example. |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| Full Idea: Containing only logical notions is not a necessary condition for being a logical truth, since a logical truth such as 'all men are men' may contain non-logical notions such as 'men'. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) | |
| A reaction: [He attributes this point to Russell] Maybe it is only a logical truth in its general form, as ∀x(x=x). Of course not all 'banks' are banks. |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| Full Idea: The standard modern view of logical truth is that a statement is logically true if it comes out true in all interpretations in all (non-empty) domains. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| Full Idea: The axiom of Peano which states that no two numbers have the same successor requires the Axiom of Infinity for its proof. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4 n) | |
| A reaction: [He refers to Russell 1919:131-2] The Axiom of Infinity is controversial and non-logical. |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative. |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| Full Idea: Formalism is a bulwark of logical positivist philosophy. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get. |
| 11151 | An object is dependent if its essence prevents it from existing without some other object [Fine,K] |
| Full Idea: One object depends upon another (in one sense of the term) if its essence prevents it from existing without the other object. | |
| From: Kit Fine (Essence and Modality [1994], p. 2) | |
| A reaction: I take the interest of this to be that essences are usually thought to be intrinsic, but this seems to involve the object in necessary external relations. |
| 11152 | Essences are either taken as real definitions, or as necessary properties [Fine,K] |
| Full Idea: Essence has been conceived either on the model of definition, involving the 'real' as opposed to 'nominal' definitions, or it is elucidated in modal terms, located in de re cases of modal attributions (an object being necessarily a certain way). | |
| From: Kit Fine (Essence and Modality [1994], p. 2) | |
| A reaction: [compressed] Fine sets out to defend the definitional view, which derives from Aristotle, his line being that necessity depends on essence, and so cannot be used to define it. I think I agree. |
| 11161 | Essentially having a property is naturally expressed as 'the property it must have to be what it is' [Fine,K] |
| Full Idea: We have an informal way of saying an object essentially has a property, as 'the object must have the property if it is to be the object that it is', and this form of words manages to convey what we wish to convey. | |
| From: Kit Fine (Essence and Modality [1994], p. 4) | |
| A reaction: The importance of this claim is that it makes no mention of 'necessity'. Fine's view is plausible, but hard to evaluate once he has said. We seem to then divide an object's properties into identity properties, causal properties and peripheral properties. |
| 11160 | Simple modal essentialism refers to necessary properties of an object [Fine,K] |
| Full Idea: The simplest form of the modal account takes an object to have a property essentially just in case it is necessary that the object has the property. | |
| From: Kit Fine (Essence and Modality [1994], p. 3) | |
| A reaction: Fine wants to reverse the account, explaining necessities in terms of prior essences. |
| 11158 | Essentialist claims can be formulated more clearly with quantified modal logic [Fine,K] |
| Full Idea: With the advent of quantified modal logic, philosophers have been in a better position to formulate essentialist claims. | |
| From: Kit Fine (Essence and Modality [1994], p. 3) | |
| A reaction: A nice illustration of the role which logic plays in modern analytic philosophy. It is not an unreasonable assumption that we will understand a theoretical problem more clearly if we can articulate it more accurately. |
| 11167 | Metaphysical necessity is a special case of essence, not vice versa [Fine,K] |
| Full Idea: Far from viewing essence as a special case of metaphysical necessity, we should view metaphysical necessity as a special case of essence. | |
| From: Kit Fine (Essence and Modality [1994], p. 9) | |
| A reaction: This strikes me as one of the most powerful proposals in modern philosophy (even if it is a reiteration of Aristotle!). |
| 16537 | Essence as necessary properties produces a profusion of essential properties [Fine,K, by Lowe] |
| Full Idea: If an essence is a sum of essential properties (had in all possible worlds where it exists), Fine points out that it seems grossly to overgenerate essential properties ('S is either a man or a mouse', or 'S is such that 2+2=4'). | |
| From: report of Kit Fine (Essence and Modality [1994]) by E.J. Lowe - What is the Source of Knowledge of Modal Truths? 6 | |
| A reaction: To me this is the sort of mess you get into when you accept that 'being such that p' is a property. Defenders of the modal approach always have to eliminate 'trivial' properties from essences, but non-trivial is a defining feature of an essence. |
| 11163 | The nature of singleton Socrates has him as a member, but not vice versa [Fine,K] |
| Full Idea: Can we not recognise a sense of 'what an object is', according to which it lies in the nature of a singleton to have Socrates as a member, even though it does not lie in the nature of Socrates to belong to the singleton? | |
| From: Kit Fine (Essence and Modality [1994], p. 5) | |
| A reaction: Important and persuasive. It echoes the example in Idea 11162, that the necessary relation is not part of the essence. Socrates is necessarily in {Socrates}, but that is because of the set, not because of Socrates. Essences causes necessities. |
| 11164 | It is not part of the essence of Socrates that a huge array of necessary truths should hold [Fine,K] |
| Full Idea: Necessarily any necessary truth will hold if Socrates exists. But it is no part of Socrates' essence that there be infinitely many prime numbers, ..or that objects like the Eiffel Tower have their own necessary essence. | |
| From: Kit Fine (Essence and Modality [1994], p. 5-6) | |
| A reaction: This and the 'singleton Socrates' example (Idea 11165) are the twin prongs of Fine's attack on the modal account of essentialism. I think they constitute one of the best single pages in the whole of recent philosophy. Bravo. |
| 10935 | An essential property of something must be bound up with what it is to be that thing [Fine,K, by Rami] |
| Full Idea: Fine's view is that the notion of an essential property of a thing should be bound up with the notion of what it is to be that thing (unlike, for example, Socrates being such that there are infinitely many primes). | |
| From: report of Kit Fine (Essence and Modality [1994]) by Adolph Rami - Essential vs Accidental Properties §2 | |
| A reaction: I would think that Fine is so obviously right that it was hardly worth saying, but philosophers are a funny lot, and are quite likely to claim that features of prime numbers are part of the essence of a long-dead philosopher. |
| 10936 | Essential properties are part of an object's 'definition' [Fine,K, by Rami] |
| Full Idea: According to Fine's definitional characterization of essential properties, they are those of an object's properties that are part of the object's 'definition'. | |
| From: report of Kit Fine (Essence and Modality [1994]) by Adolph Rami - Essential vs Accidental Properties §2 | |
| A reaction: This demands not just an account of what a definition is, but also the notion that there is only one fixed and correct definition (since the object presumably only has one essence) - but there seems to be something relative about a good definition. |
| 11165 | If Socrates lacks necessary existence, then his nature cannot require his parents' existence [Fine,K] |
| Full Idea: If there is nothing in the nature of Socrates which demands that he exists, then presumably there is nothing in the nature of Socrates which demands that his parents exist. | |
| From: Kit Fine (Essence and Modality [1994], p. 6) | |
| A reaction: This sounds conclusive to me, against any claim that Socrates necessarily had those parents, if the claim is based on the identity or esssence of Socrates. |
| 11166 | The subject of a proposition need not be the source of its necessity [Fine,K] |
| Full Idea: We naturally suppose, if a subject-predicate proposition is necessary, that the subject of the proposition is the source of the necessity. But that singleton 2 contains 2 is necessary, whether the number or the set is the subject of the proposition. | |
| From: Kit Fine (Essence and Modality [1994], p. 9) | |
| A reaction: A very nice addition to his general attack on the idea that essence should be accounted for in terms of his necessity. He asks a beautifully simple question: for each necessity that we accept, what is the source of that necessity? |
| 22018 | Necessary truths derive from basic assertion and negation [Fichte, by Pinkard] |
| Full Idea: Fichte thought that everything that involves necessary truths - even mathematics and logic - should be shown to follow from the more basic principles involved in assertion and negation. | |
| From: report of Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Terry Pinkard - German Philosophy 1760-1860 05 | |
| A reaction: An interesting proposal, though I am struggling to see how it works. Fichte sees assertion and negation as foundational (Idea 22017), but I take them to be responses to the real world. |
| 11169 | Conceptual necessities rest on the nature of all concepts [Fine,K] |
| Full Idea: Conceptual (and logical) necessities can be taken to be the propositions which are true in virtue of the nature of all concepts (or just the logical concepts). | |
| From: Kit Fine (Essence and Modality [1994], p. 9-10) | |
| A reaction: The idea that something might be true simply because of the nature of a concept sounds good, and a slightly better formulation than traditional accounts of analytic truth. |
| 11162 | Socrates is necessarily distinct from the Eiffel Tower, but that is not part of his essence [Fine,K] |
| Full Idea: It is necessary that Socrates and the Eiffel Tower be distinct. But it is not essential to Socrates that he be distinct from the Tower, for there is nothing in his nature which connects him in any special way to it. | |
| From: Kit Fine (Essence and Modality [1994], p. 5) | |
| A reaction: I find this simple argument very persuasive in separating out necessary facts about an object from the essence of that object. |
| 11168 | Metaphysical necessities are true in virtue of the nature of all objects [Fine,K] |
| Full Idea: The metaphysically necessary truths can be identified with the propositions which are true in virtue of the nature of all objects whatever. | |
| From: Kit Fine (Essence and Modality [1994], p. 9) | |
| A reaction: This is part of Fine's proposal that necessities are derived from the essences or natures of things, which view I find very congenial. |
| 22064 | Fichte's logic is much too narrow, and doesn't deduce ethics, art, society or life [Schlegel,F on Fichte] |
| Full Idea: Only Fichte's principles are deduced in his book, that is, the logical ones, and not even these completely. And what about the practical, the moral and ethical ones. Society, learning, wit, art, and so on are also entitled to be deduced here. | |
| From: comment on Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Friedrich Schlegel - works Vol 18 p.34 | |
| A reaction: This is the beginnings of the romantic rebellion against a rather narrowly rationalist approach to philosophy. Schlegel also objects to the fact that Fichte only had one axiom (presumably the idea of the not-Self). |
| 22032 | Fichte's key claim was that the subjective-objective distinction must itself be subjective [Fichte, by Pinkard] |
| Full Idea: Fichte's key claim was that the difference between the subjective and the objective points of view had to be itself a subjective distinction, something that the 'I' posits. | |
| From: report of Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Terry Pinkard - German Philosophy 1760-1860 09 | |
| A reaction: This seems to lock us firmly into the idealist mental prison and throw away the key. |
| 22020 | We only see ourselves as self-conscious and rational in relation to other rationalities [Fichte] |
| Full Idea: A rational creature cannot posit itself as such a creature with self-consciousness without positing itself as an individual, as one among many rational creatures. | |
| From: Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794], p.8), quoted by Terry Pinkard - German Philosophy 1760-1860 05 n25 | |
| A reaction: [1796 book about his Wissenschaftlehre] This is the transcendental (Kantian) approach to other minds. Wittgenstein's private language argument is similar. Hegel was impressed by this idea (I think). |
| 22060 | The Self is the spontaneity, self-relatedness and unity needed for knowledge [Fichte, by Siep] |
| Full Idea: According to Fichte, spontaneity, self-relatedness, and unity are the basic traits of knowledge (which includes conscience). ...This principle of all knowledge is what he calls the 'I' or the Self. | |
| From: report of Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Ludwig Siep - Fichte p.58 | |
| A reaction: This is the idealist view. He gets 'spontaneity' from Kant, which is the mind's contribution to experience. Self-relatedness is the distinctive Fichte idea. Unity presumably means total coherence, which is typical of idealists. |
| 22066 | Novalis sought a much wider concept of the ego than Fichte's proposal [Novalis on Fichte] |
| Full Idea: Novalis aimed to create a theory of the ego with a much wider scope than Fichte's doctrine of knowledge had been able to establish. ....Without philosophy, imperfect poet - without poetry, imperfect thinker. | |
| From: comment on Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Novalis - Logological Fragments I vol.3 p.531 | |
| A reaction: [in his 'Fichte Studies] Since this is at the heart of early romanticism, I take the concept to embrace nature, as well as creative imagination. There is a general rebellion against the narrowness of Fichte. |
| 22016 | The self is not a 'thing', but what emerges from an assertion of normativity [Fichte, by Pinkard] |
| Full Idea: Fichte said the self is not a natural 'thing' but is itself a normative status, and 'it' can obtain this status, so it seems, only by an act of attributing it to itself. ...He continually identified the 'I' with 'reason' itself. | |
| From: report of Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Terry Pinkard - German Philosophy 1760-1860 05 | |
| A reaction: Pinkard says Fichte gradually qualified this claim. Fichte struggled to state his view in a way that avoided obvious paradoxes. 'My mind produces decisions, so there must be someone in charge of them'? Is this transcendental? |
| 22019 | Consciousness of an object always entails awareness of the self [Fichte] |
| Full Idea: I can be conscious of any object only on the condition that I am also conscious of myself, that is, of the conscious subject. This proposition is incontrovertible. | |
| From: Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794], p.112), quoted by Terry Pinkard - German Philosophy 1760-1860 05 | |
| A reaction: [from the 1797/8 version of Wissenschaftslehre] Russell might be cross to find that his idea on this was anticipated by Fichte. I still approve of the idea. |
| 22061 | Judgement is distinguishing concepts, and seeing their relations [Fichte, by Siep] |
| Full Idea: For Fichte, to judge means to distinguish concepts from one another and to place them in relationship to one another. | |
| From: report of Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Ludwig Siep - Fichte p.59 | |
| A reaction: This idea of Fichte's seems to be the key one for Hegel, and hence (I presume) it is the lynchpin of German Idealism. It seems to describe mathematical knowledge quite well. I don't think it fits judging whether there is a snake in the grass. |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| Full Idea: Logical positivists did not adopt old-style logicism, but rather logicism spiced with varying doses of If-thenism. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4) | |
| A reaction: This refers to their account of mathematics as a set of purely logical truths, rather than being either empirical, or a priori synthetic. |
| 11170 | Analytic truth may only be true in virtue of the meanings of certain terms [Fine,K] |
| Full Idea: Just as a necessary truth may be true in virtue of the identity of certain objects as opposed to others, so an analytic truth may be true in virtue of the meanings of certain terms as opposed to others (such as 'bachelor' rather than 'unmarried'). | |
| From: Kit Fine (Essence and Modality [1994], p.10) | |
| A reaction: This is a beautifully simple observation, that the necessity of 'bachelors are unmarried men' derives from part of the proposition, not from the whole of it. So what is it about the part that generates the apparent necessity? The nature of the concept! |
| 11172 | The meaning of 'bachelor' is irrelevant to the meaning of 'unmarried man' [Fine,K] |
| Full Idea: Strictly speaking it is irrelevant to the meaning of 'bachelor' that the phrase 'unmarried man' means what it does. | |
| From: Kit Fine (Essence and Modality [1994], p.13) | |
| A reaction: His point is that the necessary truth here derives from the meaning of 'bachelor', and not from the meaning of 'unmarried man'. But is also true that 'unmarried man' means 'bachelor' (for those familiar with the latter, but not the former). |
| 22023 | Fichte's idea of spontaneity implied that nothing counts unless we give it status [Fichte, by Pinkard] |
| Full Idea: Fichte placed emphasis on human spontaneity, on nothing 'counting' for us unless we somehow bestowed some kind of status on it. | |
| From: report of Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Terry Pinkard - German Philosophy 1760-1860 06 | |
| A reaction: This idea evidentally arises from Kant's account of thought. Pinkard says this idea inspired the early Romantics. I would have thought the drive to exist (Spinoza's conatus) would make things count whether we liked it or not. |
| 22065 | Fichte reduces nature to a lifeless immobility [Schlegel,F on Fichte] |
| Full Idea: Fichte reduces the non-Ego or nature to a state of constant calm, standstill, immobility, lack of all change, movement and life, that is death. | |
| From: comment on Johann Fichte (The Science of Knowing (Wissenschaftslehre) [1st ed] [1794]) by Friedrich Schlegel - works vol 12 p.190 | |
| A reaction: The point is that Fichte's nature is a merely logical or conceptual deduction from the spontaneous reason of the self, so it can't have the lively diversity we find in nature. |