15 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. |
| 20660 | At one level maths and nature are very similar, suggesting some deeper origin [Wolfram] |
| Full Idea: At some rather abstract level one can immediately recognise one basic similarity between nature and mathematics ...this suggests that the overall similarity between mathematics and nature must have a deeper origin. | |
| From: Stephen Wolfram (A New Kind of Science [2002], p.772), quoted by Peter Watson - Convergence 17 'Philosophy' | |
| A reaction: Personally I think mathematics has been derived by abstracting from the patterns in nature, and then further extrapolating from those abstractions. So the puzzle in nature is not the correspondence with mathematics, but the patterns. |
| 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. |
| 5673 | If we have a pain, we are strongly aware of the bodily self [Cassam] |
| Full Idea: Since sensations such as pain generally present themselves as in some part of one's body, the bodily self seems to be anything but elusive in sensory awareness. | |
| From: Quassim Cassam (Introduction to 'Self-Knowledge' [1994], §I) | |
| A reaction: This strikes me as a really good observation. Whenever we do Hume's experiment in introspection, we tend to examine either pure sense experiences or abstract ideas. If we introspect a pain, we actually find the body at the centre of activity. |
| 5670 | Knowledge of thoughts covers both their existence and their contents [Cassam] |
| Full Idea: Our knowledge of our thoughts includes both our knowledge that we think and our knowledge of the contents of our thought. | |
| From: Quassim Cassam (Introduction to 'Self-Knowledge' [1994], §I) | |
| A reaction: This seems like a simple, self-evident and true distinction. We might question the first part, though. Knowledge involves the contents, but the fact that we think may be an inference from the contents, or even a fictional abstraction. Contents alone? |
| 5671 | Outer senses are as important as introspection in the acquisition of self-knowledge [Cassam] |
| Full Idea: It would be quite legitimate to claim that the outer senses are at least as important as introspection in the acquisition of self-knowledge. | |
| From: Quassim Cassam (Introduction to 'Self-Knowledge' [1994], §I) | |
| A reaction: It is interesting to speculate about the extent to which a 'mind in a void' could have a personal identity. Experiences tend to be 'mine' because of my body, which has a history and a space-time location. But this doesn't make identity entirely cultural. |
| 5672 | Is there a mode of self-awareness that isn't perception, and could it give self-knowledge? [Cassam] |
| Full Idea: The key questions are: can one be introspectively aware of oneself other than through an inner sense, and, if there is a non-perceptual mode of introspective self-awareness, can it be the ground or basis of one's self-knowledge? | |
| From: Quassim Cassam (Introduction to 'Self-Knowledge' [1994], §I) | |
| A reaction: Perception would involve a controlled attempt to experience a separate object. The other mode would presumably be more direct. The question boils down to 'is there an object which introspection can attempt to perceive?' Good question. |
| 5675 | Neither self-consciousness nor self-reference require self-knowledge [Cassam] |
| Full Idea: According to Kant, self-consciousness does not require self-knowledge, and it also appears that self-reference does not require self-knowledge. | |
| From: Quassim Cassam (Introduction to 'Self-Knowledge' [1994], §II) | |
| A reaction: Kant's point is that knowledge requires a stage of conceptualisation, which simple self-consciousness might not involve. The second point is that self-reference require no knowledge because error is impossible. Two nice points, and useful distinctions. |
| 5674 | We can't introspect ourselves as objects, because that would involve possible error [Cassam] |
| Full Idea: One can identify an object in a mirror as oneself, but that brings with it the possibility of misidentification, so since introspective awareness statements are immune to error, one is not introspectively aware of oneself as an object. | |
| From: Quassim Cassam (Introduction to 'Self-Knowledge' [1994], §I) | |
| A reaction: As a pure argument this looks weak. There could be two sorts of knowledge of objects, one admitting possible error, the other not. Introspecting pain appears to be awareness of oneself as an object. Planning my future needs my body. |
| 20659 | Space and its contents seem to be one stuff - so space is the only existing thing [Wolfram] |
| Full Idea: It seems plausible that both space and its contents should somehow be made of the same stuff - so that in a sense space becomes the only thing in the universe. | |
| From: Stephen Wolfram (A New Kind of Science [2002], p.474), quoted by Peter Watson - Convergence 17 'Philosophy' | |
| A reaction: I presume the concept of a 'field' is what makes this idea possible. |