Combining Texts

All the ideas for '', 'The Foundations of Mathematics' and 'The Science of Knowing (Wissenschaftslehre) [1st ed]'

unexpand these ideas     |    start again     |     specify just one area for these texts


25 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
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.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: there is an infinity of distinguishable individuals [Ramsey]
     Full Idea: The Axiom of Infinity means that there are an infinity of distinguishable individuals, which is an empirical proposition.
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], §5)
     A reaction: The Axiom sounds absurd, as a part of a logical system, but Ramsey ends up defending it. Logical tautologies, which seem to be obviously true, are rendered absurd if they don't refer to any objects, and some of them refer to infinities of objects.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey]
     Full Idea: The Axiom of Reducibility asserted that to every non-elementary function there is an equivalent elementary function [note: two functions are equivalent when the same arguments render them both true or both false].
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], §2)
     A reaction: Ramsey in the business of showing that this axiom from Russell and Whitehead is not needed. He says that the axiom seems to be needed for induction and for Dedekind cuts. Since the cuts rest on it, and it is weak, Ramsey says it must go.
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]
     Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation.
     From: Ian Rumfitt ("Yes" and "No" [2000], II)
     A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts.
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey]
     Full Idea: In 'a = b' either 'a' and 'b' are names of the same thing, in which case the proposition says nothing, or of different things, in which case it is absurd. In neither case is it an assertion of a fact; it only asserts when a or b are descriptions.
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1)
     A reaction: This is essentially Frege's problem with Hesperus and Phosphorus. How can identities be informative? So 2+2=4 is extensionally vacuous, but informative because they are different descriptions.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The sense of a connective comes from primitively obvious rules of inference [Rumfitt]
     Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious.
     From: Ian Rumfitt ("Yes" and "No" [2000], III)
     A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value.
Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]
     Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table.
     From: Ian Rumfitt ("Yes" and "No" [2000])
     A reaction: This is the standard view which Rumfitt sets out to challenge.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
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.
5. Theory of Logic / L. Paradox / 1. Paradox
Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey]
     Full Idea: Group A consists of contradictions which would occur in a logical or mathematical system, involving terms such as class or number. Group B contradictions are not purely logical, and contain some reference to thought, language or symbolism.
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.171), quoted by Graham Priest - The Structure of Paradoxes of Self-Reference 1
     A reaction: This has become the orthodox division of all paradoxes, but the division is challenged by Priest (Idea 13373). He suggests that we now realise (post-Tarski?) that language is more involved in logic and mathematics than we thought.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey]
     Full Idea: The formalists neglected the content altogether and made mathematics meaningless, but the logicians neglected the form and made mathematics consist of any true generalisations; only by taking account of both sides can we obtain an adequate theory.
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1)
     A reaction: He says mathematics is 'tautological generalizations'. It is a criticism of modern structuralism that it overemphasises form, and fails to pay attention to the meaning of the concepts which stand at the 'nodes' of the structure.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey]
     Full Idea: The hopelessly inadequate formalist theory is, to some extent, the result of considering only the propositions of mathematics and neglecting the analysis of its concepts.
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1)
     A reaction: You'll have to read Ramsey to see how this thought pans out, but it at least gives a pointer to how to go about addressing the question.
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
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.
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
I just confront the evidence, and let it act on me [Ramsey]
     Full Idea: I can but put the evidence before me, and let it act on my mind.
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.202), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 70 'Deg'
     A reaction: Potter calls this observation 'downbeat', but I am an enthusiastic fan. It is roughly my view of both concept formation and of knowledge. You soak up the world, and respond appropriately. The trick is in the selection of evidence to confront.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
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).
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
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.
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey]
     Full Idea: I have always said that a belief was knowledge if it was 1) true, ii) certain, iii) obtained by a reliable process.
     From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.258), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 66 'Rel'
     A reaction: Not sure why it has to be 'certain' as well as 'true'. It seems that 'true' is objective, and 'certain' subjective. I think I know lots of things of which I am not fully certain. Reliabilism long preceded Alvin Goldman.
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / a. Other minds
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).
16. Persons / B. Nature of the Self / 4. Presupposition of Self
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.
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.
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?
16. Persons / B. Nature of the Self / 6. Self as Higher Awareness
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.
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
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.
19. Language / F. Communication / 3. Denial
We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]
     Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A.
     From: Ian Rumfitt ("Yes" and "No" [2000], IV)
     A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role).
22. Metaethics / B. Value / 1. Nature of Value / d. Subjective value
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.
26. Natural Theory / A. Speculations on Nature / 1. Nature
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.