14 ideas
| 8833 | Why should we prefer coherent beliefs? [Klein,P] |
| Full Idea: A key question for a coherentist is, why should he or she adopt a coherent set of beliefs rather than an incoherent set? | |
| From: Peter Klein (Infinitism solution to regress problem [2005], 'Step 1') | |
| A reaction: The point of the question is that the coherentist may have to revert to other criteria in answering it. One could equally ask, why should I believe in tables just because I vividly experience them? Or, why believe 2+2=4, just because it is obvious? |
| 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. |
| 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. |
| 8834 | Infinitism avoids a regress, circularity or arbitrariness, by saying warrant just increases [Klein,P] |
| Full Idea: Infinitism can solve the regress problem, because it endorses a warrant-emergent form of reasoning in which warrant increases as the series of reasons lengthens. The theory can avoid both circularity and arbitrariness. | |
| From: Peter Klein (Infinitism solution to regress problem [2005], 'Step 2') | |
| A reaction: It nicely avoids arbitrariness by offering a reason for absolutely every belief. I think the way to go may to combine individual Infinitism with a social account of where to set the bar of acceptable justification. |
| 8838 | If justification is endless, no link in the chain is ultimately justified [Ginet on Klein,P] |
| Full Idea: An endless chain of inferential justifications can never ultimately explain why any link in the chain is justified. | |
| From: comment on Peter Klein (Infinitism solution to regress problem [2005]) by Carl Ginet - Infinitism not solution to regress problem p.148 | |
| A reaction: This strikes me as a mere yearning for foundations. I don't see sense-experience or the natural light of human reason (or the word of God, for that matter) as in any way 'ultimate'. It's all evidence to be evaluated. |
| 8839 | Reasons acquire warrant through being part of a lengthening series [Klein,P] |
| Full Idea: The infinitist holds that finding a reason, and then another reason for that reason, places it at the beginning of a series where each gains warrant as part of the series. ..Rational credibility increases as the series lengthens. | |
| From: Peter Klein (Infinitism solution to regress problem [2005], p.137) | |
| A reaction: A striking problem here for Klein is the status of the first reason, prior to it being supported by a series. Surprisingly, it seems that it would not yet be a justification. Coherence accounts have the same problem, if coherence is the only criterion. |
| 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. |