83 ideas
| 19695 | The devil was wise as an angel, and lost no knowledge when he rebelled [Whitcomb] |
| Full Idea: The devil is evil but nonetheless wise; he was a wise angel, and through no loss of knowledge, but, rather, through some sort of affective restructuring tried and failed to take over the throne. | |
| From: Dennis Whitcomb (Wisdom [2011], 'Argument') | |
| A reaction: ['affective restructuring' indeed! philosophers- don't you love 'em?] To fail at something you try to do suggests a flaw in the wisdom. And the new regime the devil wished to introduce doesn't look like a wise regime. Not convinced. |
| 21970 | Philosophy attains its goal if one person feels perfect accord between their system and experience [Fichte] |
| Full Idea: If even a single person is completely convinced of his philosophy; ...if his free judgement in philosophising, and what life obtrudes upon him, are perfectly in accord; then in this person philosophy has completed its circuit and attained its goal. | |
| From: Johann Fichte (works [1798], I:512), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.4 | |
| A reaction: Interesting to hear a famous idealist offering accordance with real life as a criterion for philosophical success. But that is real life, but not as you and I may know it.... His criterion is very subjective. A bad philosopher might attain it? |
| 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. |
| 6912 | For Fichte there is no God outside the ego, and 'our religion is reason' [Fichte, by Feuerbach] |
| Full Idea: For Fichte there is no God outside the ego, and 'our religion is reason'. | |
| From: report of Johann Fichte (works [1798]) by Ludwig Feuerbach - Principles of Philosophy of the Future §17 | |
| A reaction: Fichte was not an atheist, but this seems to be a supreme aphorism for summarising our image of the Englightenment. Personally I subscribe to the Enlightenment ideal (the best life is the rational life), despite doubts about 'pure' reason. |
| 23247 | The need to act produces consciousness, and practical reason is the root of all reason [Fichte] |
| Full Idea: Consciousness of the real world proceeds from the need to act, not the other way around. …Practical reason is the root of all reason. | |
| From: Johann Fichte (The Vocation of Man [1800], 3.I) | |
| A reaction: Strongly agree with the last part. In my conceptual scheme 'sensible' behaviour (e.g. of animals) precedes, in every way, rational behaviour. Sensible attitudes to quantity and magnitude precede mathematical logic. Minds exist for navigation. |
| 23232 | Sufficient reason makes the transition from the particular to the general [Fichte] |
| Full Idea: The principle of sufficient reason is the point of transition from the particular, which is itself, to the general, which is outside it. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: Not sure I understand this, but it seems worth passing on. Personally I would say that we have a knack of generalising, triggered when we spot patterns. |
| 15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
| Full Idea: Fand P as 'will' and 'was', G as 'always going to be', H as 'always has been', all tenses reduce to 14 cases: the past series, each implying the next, FH,H,PH,HP,P,GP, and the future series PG,G,FG,GF,F,HF, plus GH=HG implying all, FP=PF which all imply. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.8) | |
| A reaction: I have tried to translate the fourteen into English, but am not quite confident enough to publish them here. I leave it as an exercise for the reader. |
| 15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
| Full Idea: In temporal logic, if the converse Barcan formula holds then nothing goes out of existence, and the direct Barcan formula holds if nothing ever comes into existence. These results highlight the intuitive absurdity of the Barcan formulas. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.9) | |
| A reaction: This is my reaction to the modal cases as well - the absurdity of thinking that no actually nonexistent thing might possibly have existed, or that the actual existents might not have existed. Williamson seems to be the biggest friend of the formulas. |
| 15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
| Full Idea: From one point of view intuitionistic logic is a part of classical logic, missing one axiom, from another classical logic is a part of intuitionistic logic, missing two connectives, intuitionistic v and → | |
| From: John P. Burgess (Philosophical Logic [2009], 6.4) |
| 15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
| Full Idea: The question of the completeness of the full intuitionistic logic for its intended interpretation is not yet fully resolved. | |
| From: John P. Burgess (Philosophical Logic [2009], 6.9) |
| 15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
| Full Idea: The relevantist logician's → is perhaps expressible by 'if A, then B, for that reason'. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.8) |
| 15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
| Full Idea: Among the more technically oriented a 'logic' no longer means a theory about which forms of argument are valid, but rather means any formalism, regardless of its applications, that resembles original logic enough to be studied by similar methods. | |
| From: John P. Burgess (Philosophical Logic [2009], Pref) | |
| A reaction: There doesn't seem to be any great intellectual obligation to be 'technical'. As far as pure logic is concerned, I am very drawn to the computer approach, since I take that to be the original dream of Aristotle and Leibniz - impersonal precision. |
| 15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
| Full Idea: There are topics of great philosophical interest that classical logic neglects because they are not important to mathematics. …These include distinctions of past, present and future, or of necessary, actual and possible. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.1) |
| 15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
| Full Idea: The Cut rule (from A|-B and B|-C, infer A|-C) directly expresses the classical doctrine that entailment is transitive. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) |
| 15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
| Full Idea: Classical logic neglects counterfactual conditionals for the same reason it neglects temporal and modal distinctions, namely, that they play no serious role in mathematics. | |
| From: John P. Burgess (Philosophical Logic [2009], 4.1) | |
| A reaction: Science obviously needs counterfactuals, and metaphysics needs modality. Maybe so-called 'classical' logic will be renamed 'basic mathematical logic'. Philosophy will become a lot clearer when that happens. |
| 15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
| Full Idea: Philosophical logic is a branch of logic, a technical subject. …Its centre of gravity today lies in theoretical computer science. | |
| From: John P. Burgess (Philosophical Logic [2009], Pref) | |
| A reaction: He firmly distinguishes it from 'philosophy of logic', but doesn't spell it out. I take it that philosophical logic concerns metaprinciples which compare logical systems, and suggest new lines of research. Philosophy of logic seems more like metaphysics. |
| 15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
| Full Idea: When formalising arguments it is convenient to have as many connectives as possible available.; but when proving results about formulas it is convenient to have as few as possible. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.4) | |
| A reaction: Illuminating. The fact that you can whittle classical logic down to two (or even fewer!) connectives warms the heart of technicians, but makes connection to real life much more difficult. Hence a bunch of extras get added. |
| 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. |
| 15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
| Full Idea: Gricean implicature theory might suggest that a disjunction is never assertable when a disjunct is (though actually the disjunction might be 'pertinent') - but the procedure is indispensable in mathematical practice. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.2) | |
| A reaction: He gives an example of a proof in maths which needs it, and an unusual conversational occasion where it makes sense. |
| 15409 | All occurrences of variables in atomic formulas are free [Burgess] |
| Full Idea: All occurrences of variables in atomic formulas are free. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.7) |
| 15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
| Full Idea: By contrast to rigidly designating proper names, …the denotation of definite descriptions is (in general) not rigid but flexible. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.9) | |
| A reaction: This modern way of putting it greatly clarifies why Russell was interested in the type of reference involved in definite descriptions. Obviously some descriptions (such as 'the only person who could ever have…') might be rigid. |
| 15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
| Full Idea: There are atomic formulas, and formulas built from the connectives, and that is all. We show that all formulas have some property, first for the atomics, then the others. This proof is 'induction on complexity'; we also use 'recursion on complexity'. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.4) | |
| A reaction: That is: 'induction on complexity' builds a proof from atomics, via connectives; 'recursion on complexity' breaks down to the atomics, also via the connectives. You prove something by showing it is rooted in simple truths. |
| 15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
| Full Idea: Instead of demonstrations which are either axioms, or follow from axioms by rules, we can have one ever-growing sequence of formulas of the form 'Axioms |- ______', where the blank is filled by Axioms, then Lemmas, then Theorems, then Corollaries. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) |
| 15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
| Full Idea: It might be wondered how one could have any kind of proof procedure at all if transitivity of entailment is disallowed, but the sequent calculus can get around the difficulty. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) | |
| A reaction: He gives examples where transitivity of entailment (so that you can build endless chains of deductions) might fail. This is the point of the 'cut free' version of sequent calculus, since the cut rule allows transitivity. |
| 15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
| Full Idea: The valid formulas of classical sentential logic are called 'tautologically valid', or simply 'tautologies'; with other logics 'tautologies' are formulas that are substitution instances of valid formulas of classical sentential logic. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.5) |
| 15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
| Full Idea: Validity (truth by virtue of logical form alone) and demonstrability (provability by virtue of logical form alone) have correlative notions of logical possibility, 'satisfiability' and 'consistency', which come apart in some logics. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.3) |
| 15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
| Full Idea: In practice there is no need to consider any but mathematical models, models whose universes consist of mathematical objects, since every model is isomorphic to one of these. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.8) | |
| A reaction: The crucial link is the technique of Gödel Numbering, which can translate any verbal formula into numerical form. He adds that, because of the Löwenheim-Skolem theorem only subsets of the natural numbers need be considered. |
| 15412 | Models leave out meaning, and just focus on truth values [Burgess] |
| Full Idea: Models generally deliberately leave out meaning, retaining only what is important for the determination of truth values. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.2) | |
| A reaction: This is the key point to hang on to, if you are to avoid confusing mathematical models with models of things in the real world. |
| 15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
| Full Idea: The aim in setting up a model theory is that the technical notion of truth in all models should agree with the intuitive notion of truth in all instances. A model is supposed to represent everything about an instance that matters for its truth. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.2) |
| 15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
| Full Idea: It is a common view that the liar sentence ('This very sentence is not true') is an instance of a truth-value gap (neither true nor false), but some dialethists cite it as an example of a truth-value glut (both true and false). | |
| From: John P. Burgess (Philosophical Logic [2009], 5.7) | |
| A reaction: The defence of the glut view must be that it is true, then it is false, then it is true... Could it manage both at once? |
| 10185 | Set theory is the standard background for modern mathematics [Burgess] |
| Full Idea: In present-day mathematics, it is set theory that serves as the background theory in which other branches of mathematics are developed. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: [He cites Bourbaki as an authority for this] See Benacerraf for a famous difficulty here, when you actually try to derive an ontology from the mathematicians' working practices. |
| 10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
| Full Idea: On the structuralist interpretation, theorems of analysis concerning the real numbers R are about all complete ordered fields. So R, which appears to be the name of a specific structure, is taken to be a variable ranging over structures. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: Since I am beginning to think that nearly all linguistic expressions should be understood as variables, I find this very appealing, even if Burgess hates it. Terms slide and drift, and are vague, between variable and determinate reference. |
| 10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
| Full Idea: One might meet the 'Van Inwagen Problem' by saying that the intrinsic properties of the object playing the role of 2 will differ from one model to another, so that no statement about the intrinsic properties of 'the' real numbers will make sense. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: There seems to be a potential confusion among opponents of structuralism between relations at the level of actual mathematical operations, and generalisations about relations, which are captured in the word 'patterns'. Call them 'meta-relations'? |
| 10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
| Full Idea: It is to set theory that one turns for the very definition of 'structure', ...and this creates a problem of circularity if we try to impose a structuralist interpretation on set theory. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: This seems like a nice difficulty, especially if, like Shapiro, you wade in and try to give a formal account of structures and patterns. Resnik is more circumspect and vague. |
| 10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
| Full Idea: Abstract algebra, such as group theory, is not concerned with the features common to all models of the axioms, but rather with the relationships among different models of those axioms (especially homomorphic relation functions). | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: It doesn't seem to follow that structuralism can't be about the relations (or patterns) found when abstracting away and overviewing all the models. One can study family relations, or one can study kinship in general. |
| 10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
| Full Idea: The 'Van Inwagen Problem' for structuralism is of explaining how a mathematical relation (such as set membership, or the ratios of an ellipse) can fit into one of the three scholastics types of relations: are they internal, external, or intrinsic? | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: The difficulty is that mathematical objects seem to need intrinsic properties to get any of these three versions off the ground (which was Russell's complaint against structures). |
| 23227 | Each object has a precise number of properties, each to a precise degree [Fichte] |
| Full Idea: Each object has a definite number of properties, no more, no less. …Each of these objects possesses each of these properties to a definite degree. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: Quine flatly disagrees with this. Fichte offers no grounds for his claim. On the whole I think of properties as psychologically abstracted by us from holistic objects, so there is plenty of room for error. The underlying powers are real. |
| 23228 | The principle of activity and generation is found in a self-moving basic force [Fichte] |
| Full Idea: The principle of activity, of generation and becoming in and for itself, is purely in that force itself and not in anything outside it…; the force is not driven or set in motion, it sets itself in motion. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: A good account of primitive powers, as self-motivating forces. I can't think what else could be fundamental to nature. This whole passage of Fichte expounds a powers ontology. |
| 15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
| Full Idea: There is a problem over 'de re' modality (as contrasted with 'de dicto'), as in ∃x□x. What is meant by '"it is analytic that Px" is satisfied by a', given that analyticity is a notion that in the first instance applies to complete sentences? | |
| From: John P. Burgess (Philosophical Logic [2009], 3.9) | |
| A reaction: This is Burgess's summary of one of Quine's original objections. The issue may be a distinction between whether the sentence is analytic, and what makes it analytic. The necessity of bachelors being unmarried makes that sentence analytic. |
| 15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
| Full Idea: To the extent that there is any conventional wisdom about the question, it is that S5 is correct for alethic logical modality, and S4 correct for apodictic logical modality. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.8) | |
| A reaction: In classical logic these coincide, so presumably one should use the minimum system to do the job, which is S4 (?). |
| 15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
| Full Idea: Logical necessity is a genus with two species. For classical logic the truth-related notion of validity and the proof-related notion of demonstrability, coincide - but they are distinct concept. In some logics they come apart, in intension and extension. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.3) | |
| A reaction: They coincide in classical logic because it is sound and complete. This strikes me as the correct approach to logical necessity, tying it to the actual nature of logic, rather than some handwavy notion of just 'true in all possible worlds'. |
| 15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
| Full Idea: Three main theories of the truth of indicative conditionals are Materialism (the conditions are the same as for the material conditional), Idealism (identifying assertability with truth-value), and Nihilism (no truth, just assertability). | |
| From: John P. Burgess (Philosophical Logic [2009], 4.3) |
| 15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
| Full Idea: It is contentious whether conditionals have negations, and whether 'it is not the case that if A,B' has any clear meaning. | |
| From: John P. Burgess (Philosophical Logic [2009], 4.9) | |
| A reaction: This seems to be connected to Lewis's proof that a probability conditional cannot be reduced to a single proposition. If a conditional only applies to A-worlds, it is not surprising that its meaning gets lost when it leaves that world. |
| 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. |
| 22062 | Mental presentation are not empirical, but concern the strivings of the self [Fichte] |
| Full Idea: The intelligence has as the object of its presentation not an empirical perception, but rather only the necessary striving of the self. | |
| From: Johann Fichte (Review of 'Aenesidemus' [1792], Wks I:22), quoted by Ludwig Siep - Fichte p.62 | |
| A reaction: The embodiment of Fichte's idealism. The 'striving' is the spontaneous application of concepts described the Kant. Kant looks outwards, but Fichte sees only the striving. |
| 22015 | The thing-in-itself is an empty dream [Fichte, by Pinkard] |
| Full Idea: Fichte said that the thing-in-itself (which both Reinhold and Schulze accepted) is only "a piece of whimsy, a pipe-dream, a non-thought". | |
| From: report of Johann Fichte (Review of 'Aenesidemus' [1792]) by Terry Pinkard - German Philosophy 1760-1860 05 | |
| A reaction: This seems to be a key moment in German philosophy, and the first step towards the idealist interpretation of Kant. |
| 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). |
| 21973 | Fichte believed in things-in-themselves [Fichte, by Moore,AW] |
| Full Idea: Fichte retained a broadly Kantian conception of how things are in themselves. | |
| From: report of Johann Fichte (works [1798]) by A.W. Moore - The Evolution of Modern Metaphysics 07.2 | |
| A reaction: The contrast is between those who believe in the thing-in-itself, while admitting that we can't know it, and those who deny such a thing. The debate returned 130 years later as verificationism in language. |
| 21914 | We can deduce experience from self-consciousness, without the thing-in-itself [Fichte] |
| Full Idea: We can abandon the thing-in-itself, and aim for 'a complete deduction of all experience from the possibility of self-consciousness'. | |
| From: Johann Fichte (works [1798], I p.425), quoted by Peter B. Lewis - Schopenhauer 3 | |
| A reaction: German Idealism now looks to me like a weird abberation in the history of philosophy, though no doubt it has (like every philosophical theory) some supporters out there somewhere. Schopenhauer called this 'raving nonsense'. |
| 23241 | I am myself, but not the external object; so I only sense myself, and not the object [Fichte] |
| Full Idea: I sense in myself, not in the object, for I am myself and not the object; therefore I sense only myself and my condition, and not the condition of the object. | |
| From: Johann Fichte (The Vocation of Man [1800], 2) | |
| A reaction: I'm not clear why anyone would have total confidence in internal experience and almost no confidence in experience of externals. In daily life I am equally confident about both. In philosophical mode I make equally cautious judgements about both. |
| 21969 | Awareness of reality comes from the free activity of consciousness [Fichte] |
| Full Idea: It is the necessary faith in our freedom of power, in our own real activity, and in the definite laws of human action, which lies at the root of all our consciousness of a reality external to ourselves. | |
| From: Johann Fichte (The Vocation of Man [1800], p.98), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.4 | |
| A reaction: I'd love to know what the 'laws of human action' are. Is it what Hume was trying to do? Moore says there is an 'element of self-creation' in Fichte's account of the source of reality. This is Descartes' dream argument biting back. |
| 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. |
| 20951 | The absolute I divides into consciousness, and a world which is not-I [Fichte, by Bowie] |
| Full Idea: Fichte's very influential idea is that the subject becomes divided against itself. The absolute I splits into an I (consciousness) and a not-I (the objective world) that are relative to each other. | |
| From: report of Johann Fichte (works [1798]) by Andrew Bowie - Introduction to German Philosophy 3 'Fichtean' | |
| A reaction: This is German Idealism in action. Is there a before and after the split here? I can't make much sense of this idea. It is said that babies spend a while deciding which bits are them and which aren't. There is more to the world than 'not-I'. |
| 21964 | Reason arises from freedom, so philosophy starts from the self, and not from the laws of nature [Fichte] |
| Full Idea: Not by any law of nature do we attain to reason; we achieve it by absolute freedom. ...In philosophy, therefore, we must necessarily start from the self. The materialists' project of deriving the appearance of reason from natural laws is impossible. | |
| From: Johann Fichte (works [1798], I:298), quoted by A.W. Moore - The Evolution of Modern Metaphysics | |
| A reaction: I blame Descartes' Cogito for this misunderstanding. The underlying idea (in Kant, and probably earlier) is that pure reason needs pure free will. Modern thought usually sees reason as extremely impure. |
| 21968 | Abandon the thing-in-itself; things only exist in relation to our thinking [Fichte] |
| Full Idea: We must be rid of the thing-in-itself; for whatever we may think, we are that which thinks therein, and hence nothing could ever come to exist independently of us, for everything is necessarily related to our thinking. | |
| From: Johann Fichte (works [1798], I:501), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.3 | |
| A reaction: Some statements of idealism are understandable, or even quite plausible, but this one sounds ridiculous. The idea that if human beings die out then reality ceases to exist is absurd humanistic vanity. |
| 21966 | Self-consciousness is the basis of knowledge, and knowing something is knowing myself [Fichte] |
| Full Idea: The immediate consciousness of myself is the condition of all other consciousness; and I know a thing only in so far as I know that I know it; no element can enter into the latter cognition which is not contained in the former. | |
| From: Johann Fichte (The Vocation of Man [1800], p.37), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.2 | |
| A reaction: This strikes me as false, and a lot of intellectual contortion would be needed to believe it. Is knowing this pen is in front of me a case of knowing that I have knowledge of this pen, or is it just knowledge of this pen? [cf Kant 1781:A129] |
| 21967 | There is nothing to say about anything which is outside my consciousness [Fichte] |
| Full Idea: Of any connection beyond the limits of my consciousness I cannot speak. ...I cannot proceed a hair's breadth beyond this consciousness, any more than I can spring out of myself. | |
| From: Johann Fichte (The Vocation of Man [1800], p.74), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.3 | |
| A reaction: I can't see that this is any different from the idealism of Berkeley, although they get there from different starting points. Idealist seem unable to even begin explaining consciousness. |
| 23231 | I immediately know myself, and anything beyond that is an inference [Fichte] |
| Full Idea: Immediately I know only of myself. What I am able to know beyond that I am only able to know through inference. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: A direct descendant of the Cartesian Cogito, I assume. Personally, if I bang my head on a beam I take the beam to be a full paid-up member of reality. Is it not possible that he also knows himself through inference? Do animals infer reality? |
| 23246 | Faith is not knowledge; it is a decision of the will [Fichte] |
| Full Idea: Faith is no knowledge, but a decision of the will to recognise the validity of knowledge. | |
| From: Johann Fichte (The Vocation of Man [1800], 3.I) | |
| A reaction: What matters is the grounds for the decision. Mad conspiracy theories are decisions of the will which are false. Legitimate faith is an intuition of coherence which cannot be fully articulated. |
| 23245 | Knowledge can't be its own foundation; there has to be regress of higher and higher authorities [Fichte] |
| Full Idea: No knowledge can be its own foundation and proof. Every knowledge presupposes something still higher as its foundation, and this ascent has no end. | |
| From: Johann Fichte (The Vocation of Man [1800], 3.I) | |
| A reaction: A metaphor that's hard to visualise! He must have in mind a priori as well as empirical knowledge. The 'higher' levels don't seem to be God, but some region of absolute rationality, to which free minds have access. I think. |
| 23242 | Consciousness has two parts, passively receiving sensation, and actively causing productions [Fichte] |
| Full Idea: My immediate consciousness is composed of two constituent parts, the consciousness of my passivity, the sensation; and the consciousness of my activity, in the production of an object according to the principle of causality. | |
| From: Johann Fichte (The Vocation of Man [1800], 2) | |
| A reaction: Kind of obvious, but unusual to make this sharp binary division. Modern neuroscience strongly militates against any and every simple binary division of brain activities. |
| 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). |
| 23240 | We can't know by sight or hearing without realising that we are doing so [Fichte] |
| Full Idea: Q. Could you not perhaps know an object through sight or hearing without knowing that you are seeing or hearing? A. Not at all. | |
| From: Johann Fichte (The Vocation of Man [1800], 2) | |
| A reaction: A nice statement of the traditional view which seemed to be demolished by the discovery of blindsight. In the light of modern brain research, the views of the mind found in past philosophers mostly seem very naïve. |
| 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? |
| 23243 | Consciousness of external things is always accompanied by an unnoticed consciousness of self [Fichte] |
| Full Idea: Q. So that constantly and under all circumstances my consciousness of things outside of me is accompanied by an unnoticed consciousness of myself? A. Quite so. | |
| From: Johann Fichte (The Vocation of Man [1800], 2) | |
| A reaction: He should be more cautious about asserting the existence of something 'unnoticed'. The Earth's core is unnoticed by me, but there is plenty of evidence for it. Not so sure about unnoticed self. Still, I think central control of the mind is indispensable. |
| 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. |
| 22063 | Effective individuals must posit a specific material body for themselves [Fichte] |
| Full Idea: Rational beings cannot posit themselves as effective individuals without ascribing to themselves a material body and determining it in doing so. | |
| From: Johann Fichte (The Science of Rights [1797], p.87), quoted by Ludwig Siep - Fichte | |
| A reaction: To be free entails a belief that one is 'effective', and a body is our only concept for that. This seems to be a transcendental proof that the body must exist, which is a neat inverted move! The Self sustains the body, for Fichte. |
| 23244 | Forming purposes is absolutely free, and produces something from nothing [Fichte] |
| Full Idea: My thinking and originating of a purpose is in its nature absolutely free and brings forth something from nothing. | |
| From: Johann Fichte (The Vocation of Man [1800], 3.I) | |
| A reaction: Modern fans of free will are more equivocal in their assertions, and would be uncomfortable bluntly claiming to 'get something from nothing'. But that's what free will is! Embrace it, or run for your life. |
| 23237 | The capacity for freedom is above the laws of nature, with its own power of purpose and will [Fichte] |
| Full Idea: This capacity [for freedom], once it exists, is in the servitude of a power which is higher than nature and quite free of its laws, the power of purposes, and the will. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: You would think this could only refer to God, but he in fact is referring to the power of human free will. The clearest statement I have found of the weird human exceptionalism implied by a strong commitment to free will. |
| 23235 | I want independent control of the fundamental cause of my decisions [Fichte] |
| Full Idea: I want to be independent - not to be in and through another but to be something for myself: and as such I want myself to be the fundamental cause of all my determinations. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: I think this sums up the absurdity of the concept of free will. The only reason he gives for his passionate belief in free will is that he desperately wants some imagined 'fundamental cause' for his action, and he wants full control of that chimera. |
| 21965 | Spinoza could not actually believe his determinism, because living requires free will [Fichte] |
| Full Idea: Spinoza could only think his philosophy, not believe it, for it stood in immediate contradiction to his necessary conviction in daily life, whereby he was bound to regard himself as free and independent. | |
| From: Johann Fichte (works [1798], I:513), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06.2 | |
| A reaction: This seems to be invoking Kant's idea that we must presuppose free will, rather than an assertion that we actually have it. |
| 23230 | Nature contains a fundamental force of thought [Fichte] |
| Full Idea: There is an original force of thought in nature just as there is an original formative force. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: I think this idea is false, but it helps to understand Fichte. |
| 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. |
| 23233 | The will is awareness of one of our inner natural forces [Fichte] |
| Full Idea: To will is to be immediately conscious of the activity of one of our inner natural forces. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: A more Nietzschean view would be that to will is to be conscious of the victor among our inner natural drives. It can't just be awareness of one force, because the will feels conflicts. |
| 23234 | I cannot change the nature which has been determined for me [Fichte] |
| Full Idea: I cannot will the intention of making myself something other than what I am determined to be by nature, for I don't make myself at all but nature makes me and whatever I become. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: I take this to be a lot more accurate than Sartre's claim that we can re-make ourselves, but Fichte doesn't seem quite right. Don't I get any credit at all if I give up smoking, or train myself to treat someone more sympathetically? |
| 23239 | The self is, apart from outward behaviour, a drive in your nature [Fichte] |
| Full Idea: This 'you' for which you show such a lively interest is, so far as it is not overt behaviour, at least a drive in your own peculiar nature. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: I assume this use of 'drive' is the origin of Nietzsche's picture of such things, focused on the basic will to power. I like Fichte's emphasis on active forces as the basis of nature. |
| 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. |
| 23238 | If life lacks love it becomes destruction [Fichte] |
| Full Idea: Only in love is there life; without it there is death and annihilation. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: He gives not context of justification for this sudden claim. Watching from a melancholy distance the current 2022 Russian invasion of Ukraine, I take this idea to be a profound truth. If you let go of love, you float away down a dark stream. |
| 23236 | Freedom means making yourself become true to your essential nature [Fichte] |
| Full Idea: I want to be free means: I myself want to make myself be whatever I will be. I would therefore …already have to be, in a certain sense, what I am to become, so that I could make myself be it. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: This is much closer to the existenial picture of the malleable self, which Fichte arrives out once he commits to his desperate desire to have free will. [Not sure if my gist captures what he says]. |
| 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. |
| 23229 | Nature is wholly interconnected, and the tiniest change affects everything [Fichte] |
| Full Idea: Nature is an interconnected whole; …you could shift no grain of sand from its spot without thereby, perhaps invisibly to your eyes, changing something in all parts of the immeasurable whole. | |
| From: Johann Fichte (The Vocation of Man [1800], 1) | |
| A reaction: Sounds like idealist daydreaming, but might it actually be true with respect to gravity? |