16 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. |
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. |
7876 | Even if we identify pain with neural events, we can't explain why those neurons cause that feeling [Levine, by Papineau] |
Full Idea: Materialists identify pain with the firing of nociceptive-specific neurons in the parietal cortex. Even so, Levine argues, we will still lack any explanation of why nociceptive-specific neurons yield pain. | |
From: report of Joseph Levine (Purple Haze [2001]) by David Papineau - Thinking about Consciousness 5.1 | |
A reaction: [Proposed by Levine in 1983] I don't think we need to instantly go dualist when faced with this, but we may all eventually have to concede a bit of mysterianism. The explanation may be holistic (and hence hopelessly complex). |
7877 | Only phenomenal states have an explanatory gap; water is fully explained by H2O [Levine, by Papineau] |
Full Idea: Levine says the explanatory gap is peculiar to phenomenal states. Once water has been identified with H2O, or temperature with mean kinetic energy, we do not continue to ask why H2O yields water, or why mean kinetic energy yields temperature. | |
From: report of Joseph Levine (Purple Haze [2001]) by David Papineau - Thinking about Consciousness 5.1 | |
A reaction: Everything is mysterious if you think about if for long enough. What about a representational gap? Why do those neurons represent that tree (if the neurons aren't tree-shaped)? To understand qualia, we must understand the whole brain, I suspect. |
7878 | Materialism won't explain phenomenal properties, because the latter aren't seen in causal roles [Papineau on Levine] |
Full Idea: We cannot give materialist explanations of why brain yields phenomenal properties because phenomenal concepts are not associated with descriptions of causal roles in the same way as pre-theoretical terms in other areas of science. | |
From: comment on Joseph Levine (Purple Haze [2001]) by David Papineau - Thinking about Consciousness 5.1 | |
A reaction: I think Papineau has part of the answer, and I certainly like his notion of Conceptual Dualism, but if qualia are physical, there must be a physical account of how they acquire their properties. I think the whole brain needs to be understood first. |
20034 | Intentions must be mutually consistent, affirm appropriate means, and fit the agent's beliefs [Bratman, by Wilson/Schpall] |
Full Idea: Bratman's three main norms of intention are 'internal consistency' (between a person's intentions), 'means-end coherence' (the means must fit the end), and 'consistency with the agent's beliefs' (especially intending to do and believing you won't do). | |
From: report of Michael Bratman (Intention, Plans, and Practical Reason [1987]) by Wilson,G/Schpall,S - Action 4 | |
A reaction: These are controversial, but have set the agenda for modern non-reductive discussions of intention. |
20033 | Intentions are normative, requiring commitment and further plans [Bratman, by Wilson/Schpall] |
Full Idea: Intentions involve normative commitments. We settle on intended courses, if there is no reason to reconsider them, and intentions put pressure on us to form further intentions in order to more efficiently coordinate our actions. | |
From: report of Michael Bratman (Intention, Plans, and Practical Reason [1987]) by Wilson,G/Schpall,S - Action 4 | |
A reaction: [a compression of their summary] This distinguishes them from beliefs and desires, which contain no such normative requirements, even though they may point that way. |
20026 | Intention is either the aim of an action, or a long-term constraint on what we can do [Bratman, by Wilson/Schpall] |
Full Idea: We need to distinguish intention as an aim or goal of actions, and intentions as a distinctive state of commitment to future action, a state that results from and subsequently constrains our practical endeavours as planning agents. | |
From: report of Michael Bratman (Intention, Plans, and Practical Reason [1987]) by Wilson,G/Schpall,S - Action 2 | |
A reaction: I'm not sure how distinct these are, given the obvious possibility of intermediate stages, and the embracing of any available short-cut. If I could mow my lawn with one blink, I'd do it. |
20032 | Bratman rejected reducing intentions to belief-desire, because they motivate, and have their own standards [Bratman, by Wilson/Schpall] |
Full Idea: Bratman motivated the idea that intentions are psychologically real and not reducible to desire-belief complexes by observing that they are motivationally distinctive, and subject to their own unique standards of rational appraisal. | |
From: report of Michael Bratman (Intention, Plans, and Practical Reason [1987]) by Wilson,G/Schpall,S - Action 4 | |
A reaction: If I thought my belief was a bit warped, and my desire morally corrupt, my higher self might refuse to form an intention. If so, then Bratman is onto something. But maybe my higher self has its own beliefs and desires. |