23 ideas
| 14001 | People who use science to make philosophical points don't realise how philosophical science is [Markosian] |
| Full Idea: When people give arguments from scientific theories to philosophical conclusions, there is usually a good deal of philosophy built into the relevant scientific theories. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.9) | |
| A reaction: I love this remark, being thoroughly fed up with knowledgeable scientists who are naïve about philosophy, and think their current theory demolishes long-lasting aporiai. They are up to their necks in philosophy. |
| 13991 | Presentism has the problem that if Socrates ceases to exist, so do propositions about him [Markosian] |
| Full Idea: Presentism has a problem with singular propositions about non-present objects. ...When Socrates popped out of existence, according to Presentism, all those singular propositions about him also popped out of existence. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.1) | |
| A reaction: He seems to treat propositions in a Russellian way, as things which exist independently of thinkers, which I struggle to grasp. Markosian offers various strategies for this [§3.5]. |
| 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. |
| 6368 | If my ticket won't win the lottery (and it won't), no other tickets will either [Kyburg, by Pollock/Cruz] |
| Full Idea: The Lottery Paradox says you should rationally conclude that your ticket will not win the lottery, and then apply the same reasoning to all the other tickets, and conclude that no ticket will win the lottery. | |
| From: report of Henry E. Kyburg Jr (Probability and Logic of Rational Belief [1961]) by J Pollock / J Cruz - Contemporary theories of Knowledge (2nd) §7.2.8 | |
| A reaction: (Very compressed by me). I doubt whether this is a very deep paradox; the conclusion that I will not win is a rational assessment of likelihood, but it is not the result of strict logic. |
| 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. |
| 14002 | Possible worlds must be abstract, because two qualitatively identical worlds are just one world [Markosian] |
| Full Idea: Possible worlds are just abstract objects that play a certain role in philosophers' talk about modality. They are ways things could be. That's why there are no two abstract possible worlds which are qualitatively identical. They count as one world. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.10) | |
| A reaction: Brilliant! This looks like the best distinction between concrete and abstract. If two concreta are identical they remain two; if two abstracta are identical they are one (like numbers, or logical connectives with the same truth table). |
| 14000 | 'Grabby' truth conditions first select their object, unlike 'searchy' truth conditions [Markosian] |
| Full Idea: We can talk of 'grabby' truth conditions (where an object is grabbed before predication) and 'searchy' truth conditions (where the object is included in what is being asserted). | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.8) | |
| A reaction: [He credits Tom Ryckman with the terminology] I am inclined to think that the whole of language is 'searchy', even when it appears to be blatantly 'grabby'. Even ostensive reference is an act of hope rather than certainty. |
| 13990 | Presentism is the view that only present objects exist [Markosian] |
| Full Idea: According to Presentism, if we were to make an accurate list of all the things that exist (within the range of our most unrestricted quantifiers) there would not be a single non-present object on the list. | |
| From: Ned Markosian (A Defense of Presentism [2004], 1) | |
| A reaction: An immediate problem that needs examing is what constitutes an 'object'. It had better not range over time (like an journey). It would be hard to fit a description like 'the oldest man in England'. |
| 13992 | Presentism says if objects don't exist now, we can't have attitudes to them or relations with them [Markosian] |
| Full Idea: If there are no non-present objects (according to Presentism), then no one can now stand in any relation to any non-present object. You cannot now 'admire' Socrates, and no present event has a causal relation to Washington crossing the Delaware. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.2) | |
| A reaction: You can have an overlapping causal chain that gets you back to Washington, and a causal chain can connect Socrates to our thoughts about him (as in baptismal reference). A simple reply needs an 'overlap' though. |
| 13994 | Presentism seems to entail that we cannot talk about other times [Markosian] |
| Full Idea: It is very natural to talk about times, ...but Presentism seems to entail that we never say anything about any such times. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.4) | |
| A reaction: I'm beginning to think that Markosian is in the grips of a false notion of proposition, as something that exists independently of thinkers, and is entailed by the facts and objects of reality. This is not what language does. |
| 13995 | Serious Presentism says things must exist to have relations and properties; Unrestricted version denies this [Markosian] |
| Full Idea: Mark Hinchliff distinguishes between 'Serious' Presentism (objects only have relations and properties when they exist) and 'Unrestricted' Presentism (objects can have relations and properties even when they don't exist). | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.1) | |
| A reaction: [Hinchliff 1996:124-6] Markosian votes for the Serious version, as being the only true Presentism. I think he is muddling language and reality, predicates and properties. |
| 13996 | Maybe Presentists can refer to the haecceity of a thing, after the thing itself disappears [Markosian] |
| Full Idea: Some Presentists (such as Adams) believe that a haecceity (a property unique to some entity) continues to exist even after its object ceases to exist. A sentence about Socrates still expresses a proposition, about 'Socraticity'. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.4) | |
| A reaction: [Adams 1986] This is rather puzzling. In what sense could a haecceity 'exist' to be referred to? Existence, but not as we know it, Jim. This smacks of medieval theology. |
| 13997 | Maybe Presentists can paraphrase singular propositions about the past [Markosian] |
| Full Idea: Maybe Presentists can paraphrase singular propositions about the past, into purely general past- and future-tensed sentences. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.5) | |
| A reaction: I'm not clear why Markosian worries about singular propositions, but is happy with general ones. Surely the latter refer as much as the former to what doesn't exist? Markosian objects that the paraphrase has a different meaning. |
| 13993 | Special Relativity denies the absolute present which Presentism needs [Markosian] |
| Full Idea: The objection to Presentism from Special Relativity is this: 1) Relativity is true, 2) so there is no absolute simultaneity, 3) so there is no absolute presentness, but 4) Presentism entails absolute presentness, so 5) Presentism is false. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.9) | |
| A reaction: I don't accept this objection. There may be accounts that can give Relativity one present (Idea 12689-90). Maybe Einstein was too instrumentalist in his account. Maybe we can have Presentism with multiple present moments. |
| 13998 | Objects in the past, like Socrates, are more like imaginary objects than like remote spatial objects [Markosian] |
| Full Idea: Maybe putative non-present objects like Socrates have more in common with putative non-actual objects like Santa Claus than they have in common with objects located elsewhere in space, like Alpha Centauri. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.7) | |
| A reaction: We can see Alpha Centauri, so we need an example beyond some 'event horizon'. He credits Arthur Prior with this line of thought. He seems to me to drift towards a Descriptive Theory of Reference (shock!). Does the nature of reference change with death? |
| 13999 | People are mistaken when they think 'Socrates was a philosopher' says something [Markosian] |
| Full Idea: People sometimes think that 'Socrates was a philosopher' expresses something like a true, singular proposition about Socrates. They're making a mistake, but still, this explains why they think it is true. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.8) | |
| A reaction: A classic error theory, about our talk of the past. Personally I would say that the sentence really is true, and that needing a tangible object to refer to is a totally bogus requirement. 'I wonder if there are any scissors in the house?' |