19 ideas
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 22076 | Being is only perceptible to itself as becoming [Schelling] |
| Full Idea: Being is only perceptible to itself in the state of becoming. | |
| From: Friedrich Schelling (Of Human Freedom [1809], p.403), quoted by Jean-François Courtine - Schelling p.90 | |
| A reaction: Is the Enlightenment the era of Being, and the Romantic era that of Becoming? They like process, fluidity, even chaos. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 22072 | Schelling always affirmed the absolute status of freedom [Schelling, by Courtine] |
| Full Idea: Throughout Schelling's work we find the affirmation of absolute freedom or of the absolute as freedom. | |
| From: report of Friedrich Schelling (Philosophy of Revelation [1843], Vol.13 p.359) by Jean-François Courtine - Schelling p.83 | |
| A reaction: Of all of the German idealists, Schelling may be the closest to modern existentialism. |
| 21925 | For Schelling the Absolute spirit manifests as nature in which self-consciousness evolves [Schelling, by Lewis,PB] |
| Full Idea: (Like Schopenhauer) Schelling understood the Absolute - spirit rather than will - to manifest itself as nature in which man evolves with self-consciousness. | |
| From: report of Friedrich Schelling (Outline of a System of the Philosophy of Nature [1799]) by Peter B. Lewis - Schopenhauer 4 | |
| A reaction: The influence of Spinoza seems strong here. Is his Absolute just Spinoza's 'God'? |
| 22045 | Metaphysics aims at the Absolute, which goes beyond subjective and objective viewpoints [Schelling, by Pinkard] |
| Full Idea: Schelling never lost his youthful conviction that any metaphysics had to be an explication of the 'absolute' as something that went beyond both subjective and objective points of view. | |
| From: report of Friedrich Schelling (Outline of a System of the Philosophy of Nature [1799]) by Terry Pinkard - German Philosophy 1760-1860 12 | |
| A reaction: Even for a scientific and analytic modern philosopher there must be a target of an ideal account that includes human subjectivity within an objective view of the world. Even Mysterians like McGinn would like that. |
| 22074 | We must show that the whole of nature, because it is effective, is grounded in freedom [Schelling] |
| Full Idea: What is required is to show that everything that is effective (nature, the world of things) is grounded in activity, life, freedom. | |
| From: Friedrich Schelling (Of Human Freedom [1809], p.351), quoted by Jean-François Courtine - Schelling | |
| A reaction: I take the ancestor of this view of nature to be the monads of Leibniz, as the active principle in nature. Because this is an idealist view, it starts with the absolute freedom of the Self, and presumably sees nature in its own image. |
| 22073 | The basis of philosophy is the Self prior to experience, where it is the essence of freedom [Schelling] |
| Full Idea: The highest principle of all philosophy is the Self insofar as it is purely and simply Self, not yet conditioned by an object, but where it is formulated by freedom. The alpha and omega of all philosophy is freedom. | |
| From: Friedrich Schelling (Letters to Hegel [1795], 1795 02 04), quoted by Jean-François Courtine - Schelling p.83 | |
| A reaction: A common later response to this (e.g. in Schopenhauer) is that there is no concept of the Self prior to experience. The idealists seem to adore free will, while offering no reply to Spinoza on the matter, with whom they were very familiar. |
| 5692 | Introspection is not perception, because there are no extra qualities apart from the mental events themselves [Rosenthal] |
| Full Idea: Introspection cannot be a form of perceiving, since that invariably involves sensory qualities, and no qualities occur in introspection other than those of the sensations and perceptions we introspect; there are no additional qualities. | |
| From: David M. Rosenthal (Instrospection [1998]) | |
| A reaction: This sounds pretty conclusive. Presumably introspection is best described as meta-thought rather than perception, which means that it involves beliefs and judgements, rather than new perceptual qualities. It has to be conceptual, and probably linguistic. |
| 22075 | Only idealism has given us the genuine concept of freedom [Schelling] |
| Full Idea: Until the discovery of idealism, the genuine concept of freedom has been missing from every modern system, whether it be that of Leibniz or of Spinoza. | |
| From: Friedrich Schelling (Of Human Freedom [1809], p.345), quoted by Jean-François Courtine - Schelling p.87 | |
| A reaction: Spinoza denied free will, and Leibniz fudged it. Evidently more medieval theological accounts were not good enough. I presume Fichte is Schelling's hero, and he seems to see freedom as axiomatic about the Self. |
| 20956 | Ultimately, all being is willing. The nature of primal being is the same as the nature of willing [Schelling] |
| Full Idea: In the last and highest instance there is no other being but willing. Willing is primal being, and all the predicates of primal being only fit willing: groundlessness, eternity, being independent of time, self-affirmation. | |
| From: Friedrich Schelling (On the Essence of Human Freedom [1809], I.7.350), quoted by Andrew Bowie - Introduction to German Philosophy 5 'Reason' | |
| A reaction: Insofar as this says that 'primal being' must be active in character, I love this idea. Not the rest of the idea though! Bowie says this essay clearly influenced Schopenhauer. It looks as if Nietzsche must be read it too. |
| 20957 | We don't choose our characters, yet we still claim credit for the actions our characters perform [Schelling] |
| Full Idea: Nobody has chosen their character; and yet this does not stop anybody attributing the action which follows from his character to themself as a free action. | |
| From: Friedrich Schelling (The Ages of the World [1810], I.93) | |
| A reaction: This pinpoints a very nice ambivalence about our attitudes to our own characters. We all have some pride and shame about who we are, without having chosed who we are. At least when we are young. But we make the bed we lie in. |
| 22057 | Schelling sought a union between the productivities of nature and of the mind [Schelling, by Bowie] |
| Full Idea: Schelling's philosophy of nature aims to connect nature's 'unconscious productivity' with the mind's 'conscious productivity'. | |
| From: report of Friedrich Schelling (Outline of a System of the Philosophy of Nature [1799]) by Andrew Bowie - German Philosophy: a very short introduction 3 | |
| A reaction: If you have a fairly active view of nature (as Leibniz did), then this is a promising line. I like the unpopular view that the modern idea of spontaneous 'powers' in nature is applicable to explanations of mind. |
| 22031 | Schelling made organisms central to nature, because mere mechanism could never produce them [Schelling, by Pinkard] |
| Full Idea: Schelling made the image of the 'organism' central to his conception of nature, arguing that merely mechanical processes could never produce 'life' (as a self-producing, self-sustaining, self-directing process). | |
| From: report of Friedrich Schelling (Outline of a System of the Philosophy of Nature [1799]) by Terry Pinkard - German Philosophy 1760-1860 08 | |
| A reaction: At that date this seems a reasonable claim, but subsequent biochemistry has undermined it. |