11 ideas
| 3653 | My Meditations are the complete foundation of my physics [Descartes] |
| Full Idea: My six Meditations contain all the foundations of my physics, …and their principles destroy those of Aristotle. | |
| From: René Descartes (Letters to Mersenne [1640], 1641.01.28) |
| 4736 | Truth is such a transcendentally clear notion that it cannot be further defined [Descartes] |
| Full Idea: Truth is such a transcendentally clear notion that it cannot be further defined. | |
| From: René Descartes (Letters to Mersenne [1640], 1642), quoted by Pascal Engel - Truth Intro | |
| A reaction: This is the view endorsed by Davidson. It is tempting to take basic concepts as axiomatic, but philosophers can't make that move every time they are in trouble. I have to say, though, that truth is a good candidate. |
| 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. |
| 3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
| Full Idea: Ernest Nagel defines reduction as the possibility of deriving all laws of one theory by logic and mathematics to another theory, with appropriate 'bridging principles' (either definitions, or empirical laws) connecting the expressions of the two theories. | |
| From: report of Ernest Nagel (The Structure of Science [1961]) by Jaegwon Kim - Philosophy of Mind p.213 | |
| A reaction: This has been labelled as 'weak' reduction, where 'strong' reduction would be identity, as when lightning is reduced to electrical discharge. You reduce x by showing that it is y in disguise. |
| 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. |
| 3652 | I can't prove the soul is indestructible, only that it is separate from the mortal body [Descartes] |
| Full Idea: I don't know how to demonstrate that God cannot annihilate the soul, but only that it is entirely distinct from the body, and consequently that it is not naturally subject to die with it, which is all that is required to establish religion. | |
| From: René Descartes (Letters to Mersenne [1640], 1640.02.24) |