17 ideas
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| Full Idea: Three periods can be distinguished in philosophical logic: the syntactic stage, from Russell's definite descriptions to the 1950s, the dominance of possible world semantics from the 50s to 80s, and a current widening of the subject. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 1) | |
| A reaction: [compressed] I've read elsewhere that the arrival of Tarski's account of truth in 1933, taking things beyond the syntactic, was also a landmark. |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| Full Idea: Logical formalization forces the investigator to make the central philosophical concepts precise. It can also show how some philosophical concepts and objects can be defined in terms of others. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: This is the main rationale of the highly formal and mathematical approach to such things. The downside is when you impose 'precision' on language that was never intended to be precise. |
| 10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
| Full Idea: When we reconstrue quantification in terms of substituted expressions rather than real values, we waive reference. ...but if reference matters, we cannot afford to waive it as a category; and if it does not, we do not need to. | |
| From: Willard Quine (Reply to Professor Marcus [1962], p.183) | |
| A reaction: An odd dilemma to pose. Presumably the substitution account is an attempt to explain how language actually works, without mentioning dubious direct ontological commitment in the quantifiers. |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| Full Idea: A (logical) model is a set with functions and relations defined on it that specify the denotation of the non-logical vocabulary. A series of recursive clauses explicate how truth values of complex sentences are compositionally determined from the parts. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea. |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| Full Idea: If there is indeed no property of existence that is expressed by the word 'exist', then it makes no sense to ask for its essence. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: As far as I can tell, this was exactly Aristotle's conclusion, so he skirted round the question of 'being qua being', and focused on the nature of objects instead. Grand continental talk of 'Being' doesn't sound very interesting. |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| Full Idea: A Tarskian model can in a sense be seen as a model of a possible state of affairs. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: I include this remark to show how possible worlds semantics built on the arrival of model theory. |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| Full Idea: The notion of a possible worlds model was extended (resulting in the concept of a 'spheres model') in order to obtain a satisfactory logical treatment of counterfactual conditional sentences. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Thus we add 'centred' worlds, and an 'actual' world, to the loose original model. It is important to remember when we discuss 'close' worlds that we are then committed to these presuppositions. |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| Full Idea: The idea of 'impossible worlds' was introduced into epistemic logic. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Nathan Salmon seems interested in their role in metaphysics (presumably in relation to Meinongian impossible objects, like circular squares, which must necessarily be circular). |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| Full Idea: Each possible worlds model contains a set of possible worlds. For this reason, possible worlds semantics is often charged with smuggling in heavy metaphysical commitments. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: To a beginner it looks very odd that you should try to explain possibility by constructing a model of it in terms of 'possible' worlds. |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| Full Idea: When the possible worlds semantics were further extended to model notions of knowledge and of moral obligation, the application was beginning to look distinctly forced and artificial. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 5) | |
| A reaction: They accept lots of successes in modelling necessity and time. |
| 5662 | Maybe induction could never prove the existence of something unobservable [Ayer] |
| Full Idea: Some people hold that no inductive argument can give us any reason to believe in the existence of something which could not even in principle be observed. | |
| From: A.J. Ayer (The Concept of a Person [1963], §I) | |
| A reaction: I see nothing illogical in inferring the existence of a poltergeist from the recurrent flight of objects around my lounge. Only an excessive empiricism (which used to afflict Ayer) could lead to this claim. |
| 5664 | Consciousness must involve a subject, and only bodies identify subjects [Ayer] |
| Full Idea: It may not make sense to talk of states of consciousness except as the experiences of some conscious subject; and it may well be that this conscious subject can not be identified except by reference to his body. | |
| From: A.J. Ayer (The Concept of a Person [1963], §IV) | |
| A reaction: It strikes me that Ayer deserves more credit as a pioneer of this view. It tracks back to what may turn out to be the key difficulty for Descartes - how do you individuate a mental substance? I may identify me, but how do I identify you? |
| 5668 | People own conscious states because they are causally related to the identifying body [Ayer] |
| Full Idea: I think personal identity depends on the identity of the body, and that a person's ownership of states of consciousness consists in their standing in a special causal relation to the body by which he is identified. | |
| From: A.J. Ayer (The Concept of a Person [1963], §IV) | |
| A reaction: I think with this is right, with the slight reservation that Ayer talks as if there were two things which have a causal relationship, implying that the link is contingent. Better to think of the whole thing as a single causal network. |
| 5661 | We identify experiences by their owners, so we can't define owners by their experiences [Ayer] |
| Full Idea: Normally we identify experiences in terms of the persons whose experiences they are; but this will lead to a vicious circle if persons themselves are to be analysed in terms of their experiences. | |
| From: A.J. Ayer (The Concept of a Person [1963], §I) | |
| A reaction: This (from a leading empiricist) is a nice basic challenge to all empiricist accounts of personal identity. One might respond my saying that the circle is not vicious. There are two interlinked concepts (experience and persons), like day and night. |
| 5665 | Memory is the best proposal as what unites bundles of experiences [Ayer] |
| Full Idea: The most promising suggestion is that the bundles are tied together by means of memory. | |
| From: A.J. Ayer (The Concept of a Person [1963], §IV) | |
| A reaction: This is interesting for showing how Locke was essentially trying to meet (in advance) Hume's 'bundle' scepticism. Hume proposed associations as the unifying factor, instead of memories. Ayer proposes concepts as a candidate. |
| 5666 | Not all exerience can be remembered, as this would produce an infinite regress [Ayer] |
| Full Idea: Not every experience can be remembered; otherwise each piece of remembering, which is itself an experience, would have to be remembered, and each remembering of a remembering and so ad infinitum. | |
| From: A.J. Ayer (The Concept of a Person [1963], §IV) | |
| A reaction: See Idea 5667. Ayer takes for granted two sorts of consciousness - current awareness, and memory. Ayer brings out a nice difficulty for Locke's proposal, but also draws attention to what may be a very basic misunderstanding about the mind. |
| 5669 | Personal identity can't just be relations of experiences, because the body is needed to identify them [Ayer] |
| Full Idea: A Humean theory, in which a person's identity is made to depend upon relations between experiences ..is not tenable unless the experiences themselves can be identified, and that is only possible through their association with the body. | |
| From: A.J. Ayer (The Concept of a Person [1963], §IV) | |
| A reaction: This seems to me a very fruitful response to difficulties with the 'bundle' view of a person - a better response than the a priori claims of Butler and Reid, or the transcendental argument of Kant. Only a philosopher could ignore the body. |