25 ideas
| 1489 | Modern philosophy tends to be a theory-constructing extension of science, but there is also problem-solving [Nagel] |
| Full Idea: Philosophy is now dominated by a spirit of theory construction which sees philosophy as continuous with science, but the other problem-centred style is still in existence and it is important to keep it alive. | |
| From: Thomas Nagel (The Philosophical Culture [1995], §6) |
| 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. |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 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]. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 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?' |