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. |
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. |
3364 | All mental phenomena contain an object [Brentano] |
Full Idea: Every mental phenomenon contains something as object within itself. | |
From: Franz Brentano (Psychology from an empirical standpoint [1874], p. 88), quoted by Jaegwon Kim - Philosophy of Mind p.21 | |
A reaction: This gives rise to the slogan that 'intentionality is the mark of the mental', which notoriously seems to miss out the phenomenal aspect of mental life. We note now, though, that even emotions have objects. |
3225 | Mental unity suggests that qualia and intentionality must connect [Brentano, by Rey] |
Full Idea: Brentano's thesis is that all mental phenomena are intentional i.e. representational. Support for this view is that assimilating phenomenal experience to attitudes we explain the essential unity of the mind. | |
From: report of Franz Brentano (Psychology from an empirical standpoint [1874]) by Georges Rey - Contemporary Philosophy of Mind 11.5 | |
A reaction: Unifying intentionality and qualia in a single theory looks like a good move, but which one has priority? Evolutionary theory says priority goes to whatever produces behaviour. My intuition is that qualia are more basic - in tiny insects, say. |
23681 | The first motion or effect cannot be produced necessarily, so the First Cause must be a free agent [Reid] |
Full Idea: That the first motion, or the first effect, whatever it be, cannot be produced necessarily, and, consequently, that the First Cause must be a free agent, has been demonstrated clearly and unanswerably. | |
From: Thomas Reid (Essays on Active Powers 4: Liberty of Agents [1788], 8) | |
A reaction: He has said that the First Cause can only be conceived by us as an 'agent'. If there is an agential First Cause, then he must be right. It is this need for God to be free which makes scepticism about free will unacceptable to many. |
23676 | A willed action needs reasonable understanding of what is to be done [Reid] |
Full Idea: There can be no will without such a degree of understanding, at least, as gives the conception of that which we will. | |
From: Thomas Reid (Essays on Active Powers 4: Liberty of Agents [1788], 1) | |
A reaction: Presumably this 'conception' includes an understanding of the probable consequences, but they are of infinite complexity. I see this as an objection to 'ultimate' free will and responsibility, because there are only ever degrees of understanding. |
23680 | We are morally free, because we experience it, we are accountable, and we pursue projects [Reid] |
Full Idea: I believe in moral liberty first because we have a natural conviction of belief that in many cases we act freely, second because we are accountable, and third because we can prosecute an end by a long series of means adapted. | |
From: Thomas Reid (Essays on Active Powers 4: Liberty of Agents [1788], 5) | |
A reaction: This is his final summary of why he believes in free will. Why didn't Plato and Aristotle have this natural belief? He could only believe we are 'accountable' because he believes in free will. Ants and bees pursue lengthy projects. Hm. |
23678 | A motive is merely an idea, like advice, and not a force for action [Reid] |
Full Idea: A motive is equally incapable of action and of passion; because it is not a thing that exists, but a thing that is conceived. …Motives may be compared to advice or exhortation. | |
From: Thomas Reid (Essays on Active Powers 4: Liberty of Agents [1788], 4) | |
A reaction: We say people are motivated by greed or anger or love, which seems a bit stronger than mere advice. |
23677 | We all know that mere priority or constant conjunction do not have to imply causation [Reid] |
Full Idea: Every man who understands the language knows that neither priority, nor constant conjunction, nor both taken together, imply efficiency. | |
From: Thomas Reid (Essays on Active Powers 4: Liberty of Agents [1788], 2) | |
A reaction: This invites the question of how we do know causal events, if none of our experiences are enough to prove it. Reid says we have an innate knowledge that all events are caused, but that isn't much help. The presence of power? |
23679 | The principle of the law of nature is that matter is passive, and is acted upon [Reid] |
Full Idea: The law of nature respecting matter is grounded upon this principle: That matter is an inert, inactive substance, which does not act, but is acted upon. | |
From: Thomas Reid (Essays on Active Powers 4: Liberty of Agents [1788], 5) | |
A reaction: A clear statement (alongside Euler's) of the 18th century view, still with us, but strikes me as entirely wrong. Their view needs the active power of God to drive the laws. Matter has intrinsic primitive powers, and laws describe patterns of behaviour. |