23 ideas
| 19504 | My modus ponens might be your modus tollens [Pritchard,D] |
| Full Idea: One philosopher's modus ponens is another philosopher's modus tollens. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 3.§2) | |
| A reaction: [Anyone know the originator of this nice thought?] You say A is true, and A proves B, so B is true. I reply that if A proves something as daft as B, then so much the worse for A. Ain't it the truth? |
| 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. |
| 19503 | An improbable lottery win can occur in a nearby possible world [Pritchard,D] |
| Full Idea: Low probability events such as lottery wins can occur in nearby possible worlds. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.n2) | |
| A reaction: This seems to ruin any chance of mapping probabilities and counterfactuals in the neat model of nested possible worlds (like an onion). [Lewis must have thought of this, surely? - postcards, please] |
| 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. |
| 19505 | Moore begs the question, or just offers another view, or uses 'know' wrongly [Pritchard,D, by PG] |
| Full Idea: The three main objections to Moore's common-sense refutation of scepticism is that it either begs the question, or it just offers a rival view instead of a refutation, or it uses 'know' in a conversationally inappropriate way. | |
| From: report of Duncan Pritchard (Epistemological Disjunctivism [2012], 3.§2) by PG - Db (ideas) | |
| A reaction: [I deserve applause for summarising two pages of Pritchard's wordy stuff so neatly] |
| 19499 | We can have evidence for seeing a zebra, but no evidence for what is entailed by that [Pritchard,D] |
| Full Idea: The closure principle forces us to regard Zula as knowing that what she is looking at is not a cleverly disguised mule, and yet she doesn't appear to have any supporting evidence for this knowledge. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.§3) | |
| A reaction: [Zula observes a zebra in the zoo] Entailment is a different type of justification from perception. If we add fallibilism to the mix, then fallibility can increase as we pursue a string of entailments. But proper logic, of course, should not be fallible. |
| 19500 | Favouring: an entailment will give better support for the first belief than reason to deny the second [Pritchard,D] |
| Full Idea: The Favouring Principle says that if S knows two things, and that the first entails the second, then S has better evidence in support of her belief in the first than she has for denying the second. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.§3) | |
| A reaction: [his version is full of Greek letters, but who wants that stuff?] Pritchard concludes that if you believe in the closure principle then you should deny the favouring principle. |
| 19502 | Maybe knowledge just needs relevant discriminations among contrasting cases [Pritchard,D] |
| Full Idea: According to the 'contrastivist' proposal knowledge is to be understood as essentially involving discrimination, such that knowing a proposition boils down to having the relevant discriminatory capacities. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.§6) | |
| A reaction: Pritchard says this isn't enough, and we must also to be aware of supporting favouring evidence. I would focus on the concept of coherence, even for simple perceptual knowledge. If I see a hawk in England, that's fine. What if I 'see' a vulture? |
| 19498 | Epistemic internalism usually says justification must be accessible by reflection [Pritchard,D] |
| Full Idea: Typically, internal epistemic conditions are characterised in terms of a reflective access requirement. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 1.§6) | |
| A reaction: If your justification is straightforwardly visual, it is unclear what the difference would be between seeing the thing and having reflective access to the seeing. |
| 19506 | Externalism is better than internalism in dealing with radical scepticism [Pritchard,D] |
| Full Idea: Standard epistemic internalism faces an uphill struggle when it comes to dealing with radical scepticism, which points in favour of epistemic externalist neo-Mooreanism. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 3.§3) | |
| A reaction: I incline towards internalism. I deal with scepticism by being a fallibilist, and adding 'but you never know' to every knowledge claim, and then getting on with life. |
| 19496 | Disjunctivism says perceptual justification must be both factual and known by the agent [Pritchard,D] |
| Full Idea: Slogan for disjunctivism: perceptual knowledge is paradigmatically constituted by a true belief whose epistemic support is both factive (i.e. it entails the truth of the propositions believed) and reflectively accessible to the agent. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], Intro) | |
| A reaction: I'm not a fan of externalism, but it could be that the factive bit achieves the knowledge, and then being able to use and answer for that knowledge may just be a bonus, and not an essential ingredient. |
| 19497 | Metaphysical disjunctivism says normal perceptions and hallucinations are different experiences [Pritchard,D] |
| Full Idea: Metaphysical disjunctivists hold that veridical perceptual experiences are not essentially the same as the experiences involved in corresponding cases involving illusion and (especially) hallucination. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 1.§4) | |
| A reaction: Metaphysical disjunctivism concerns what the experiences are; epistemological justification concerns the criteria of justification. I think. I wish Pritchard would spell things out more clearly. Indeed, I wish all philosophers would. |
| 19495 | Epistemic externalism struggles to capture the idea of epistemic responsibility [Pritchard,D] |
| Full Idea: A fundamental difficulty for epistemic externalist positions is that it is hard on this view to capture any adequate notion of epistemic responsibility. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], Intro) | |
| A reaction: He never explains the 'responsibility', but I presume that would be like an expert witness in court, vouching for their knowledge. |
| 19501 | We assess error against background knowledge, but that is just what radical scepticism challenges [Pritchard,D] |
| Full Idea: When faced with an error-possibility we can appeal to background knowledge, as long as the error-possibility does not call into question this background knowledge. The same is not true when we focus on the radical sceptical hypothesis. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.§5) | |
| A reaction: [reworded] Doubting everything simultaneously just looks like a mad project. If you doubt linguistic meaning, you can't even express your doubts. |
| 19507 | Radical scepticism is merely raised, and is not a response to worrying evidence [Pritchard,D] |
| Full Idea: Crucially, radical sceptical error-possibilities are never epistemically motivated, but are instead merely raised. | |
| From: Duncan Pritchard (Epistemological Disjunctivism [2012], 3.§5) | |
| A reaction: In 'The Matrix' someone sees a glitch in the software (a cat crossing a passageway), and that would have to be taken seriously. Otherwise it is a nice strategy to ask why the sceptic is raising this bizzare possibility, without evidence. |
| 21906 | Political theory should not focus on the state or economy, but on the small scale of power [Deleuze/Guattari, by May] |
| Full Idea: Liberals who focus on the state and Marxists who focus on the economy are macropolitical theorists. They overlook the small elements that comprise our political lives. To understand how we are constructed and power works we must turn to the smaller scale. | |
| From: report of G Deleuze / F Guattari (A Thousand Plateaus [1980]) by Todd May - Gilles Deleuze 4.04 | |
| A reaction: This seems to be precisely in tune with the ideas of Foucault. I'm not sure that a study of power within the family or the office throws much light on macropolitics. How the micro intrudes into the micro seems more interesting. |