26 ideas
| 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. |
| 18877 | Moral realism doesn't seem to entail the existence of any things [Cameron] |
| Full Idea: Moral realism isn't realism about things, and it seems strange to suggest that moral realism is existence entailing in the way that realism about unobservable is. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: Cameron is questioning whether a realist has to believe in truthmakers. It seems to me that his doubts are because he insists that truthmaking is committed to the existence of 'things'. I assume any moral realism must supervene on nature. |
| 18868 | Surely if some propositions are grounded in existence, they all are? [Cameron] |
| Full Idea: What possible reason could one have for thinking of some propositions that they need to be grounded in what there is that doesn't apply to all propositions? | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: Well, if truthmaking said that all truths are grounded, then some could be grounded in what there is, and others in how it is, or maybe even how it isn't (if you get a decent account of negative truths). |
| 18867 | Orthodox Truthmaker applies to all propositions, and necessitates their truth [Cameron] |
| Full Idea: Orthodox truthmaker theory (Armstrong's) entails Maximalism (that every true proposition has at least one truthmaker), and Necessitarianism (that the existence of a truthmaker necessitates the truth of its proposition). | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: I think I accept both of these. If you say only some truths have truthmakers, the other truths are then baffling. And how could a truthmaker fail in its job? But that doesn't necessitate the existence of the proposition. |
| 18873 | God fixes all the truths of the world by fixing what exists [Cameron] |
| Full Idea: The truthmaker thought is that explanation only bottoms out at existence facts; for God to give a complete plan of the world He needs only make an inventory of what is to exist. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: He is defending Necessitarianism about truthmaking. I'm struggling with this. An inventory of the contents of my house doesn't begin to fix all the truths that arise from them. Why is Cameron so resistent to 'how' things are being part of the truthmaking? |
| 18879 | What the proposition says may not be its truthmaker [Cameron] |
| Full Idea: The explanation of the truth of the proposition [p] doesn't stop at it being the case that p, so it's false to claim that whenever a proposition is true it's true in virtue of the world being as the proposition says it is. The features often lie deeper. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Grounding') | |
| A reaction: [He is opposing Jennifer Hornsby 2005] Cameron offers 'the average family has 2.4 children' as a counterexample' (since no one actually has 2.4 children). That seems compelling. Second example: 'the rose is beautiful'. |
| 18880 | Rather than what exists, some claim that the truthmakers are ways of existence, dispositions, modalities etc [Cameron] |
| Full Idea: Rivals to the truthmaker claim that facts about what there is are the truthmakers, there are theories that add facts about how the things are, or add dispositional facts, or modal facts, or haecceitistic facts, or maybe moral facts. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Grounding') | |
| A reaction: [compressed] He seems to think his version has a monopoly on truthmaking, but I don't see why these other theories shouldn't count as truthmaking. The truthmaker for 'live grenades are dangerous' is not just the existence of grenades. |
| 18874 | Truthmaking doesn't require realism, because we can be anti-realist about truthmakers [Cameron] |
| Full Idea: It's definitely not sufficient to be a realist that one be a truthmaker theorist, since one can simply be anti-realist about the truthmakers. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: It is not quite clear how unreal truth makers could actually MAKE propositions true, rather than just being correlated with them. |
| 18869 | Without truthmakers, negative truths must be ungrounded [Cameron] |
| Full Idea: If negative truths don't have truthmakers then make no mistake: they are ungrounded. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: What would be the grounding for truths which expressed the necessary preconditions for all existence? Could 'nothing whatever exists' ever be a truth? |
| 18871 | I support the correspondence theory because I believe in truthmakers [Cameron] |
| Full Idea: I tend to think that the fundamental reason we can have the correspondence theory of truth is that truthmaker theory is correct. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: [This responds to Fumerton 2006, who gives the opposite view] Cameron gives himself the classic problem of spelling out the correspondence relation (perhaps as 'congruence'). I like truthmaking, but I'm unsure about correspondence. |
| 18870 | Maybe truthmaking and correspondence stand together, and are interdefinable [Cameron] |
| Full Idea: One view says truthmaker theory stands or falls with the correspondence theory of truth, because the truthmaker for p is just the portion of reality that p corresponds to: truthmaker and correspondence can be conversely defined. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: The normal view, which I prefer, is that correspondence is a particular theory of truthmaking, invoking a precise 'correspondence' relation. Hence abolishing correspondence would not abolish truthmaking, if you had a rival account. |
| 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. |
| 18881 | For realists it is analytic that truths are grounded in the world [Cameron] |
| Full Idea: The analytic commitment of realism is that truths are grounded in the world. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Grounding') | |
| A reaction: Certain fifth-level truths might be a long way from the actual world, and deeply interfused with human concepts and theories. Negative truths must be fitted into this picture. |
| 18875 | Realism says a discourse is true or false, and some of it is true [Cameron] |
| Full Idea: Realism about a discourse is 1) to think that the sentences are, when construed literally, literally true or false, and 2) to think that some of the sentences of the discourse are non-vacuously true. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: [Cameron adds 'non-vacuously' to an idea of Sayre-McCord 199 p.5] This is realism based on what is 'true', without specifying 'commitments', so I like it. Cameron says it makes mathematical postulationists into realists. He likes 'mind-independent'. |
| 18878 | Realism says truths rest on mind-independent reality; truthmaking theories are about which features [Cameron] |
| Full Idea: All that is necessary for realism, I claim, is that truth is grounded in mind-independent features of fundamental reality. Truthmaker theory comes into play because it is a theory about what those features are (…so it isn't a commitment to realism). | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: [He cites Michael Devitt for this approach] What is the word 'fundamental' doing here? Because the mind-dependent parts of reality are considered non-fundamental? The no-true-Scotsman-hates-whisky move? His truthmaking is committed to 'things'. |
| 14534 | Shoemaker moved from properties as powers to properties bestowing powers [Shoemaker, by Mumford/Anjum] |
| Full Idea: Shoemaker ventured the theory in 1980 that properties just are clusters of powers, but he has subsequently abandoned this, and now thinks properties bestow their bearers with causal powers. | |
| From: report of Sydney Shoemaker (Self, Body and Coincidence [1999], p.297) by S.Mumford/R.Lill Anjum - Getting Causes from Powers 1.1 | |
| A reaction: Like Mumford and Anjum, I prefer the earlier theory. I think taking powers as basic is the only story that really makes sense. A power is intrinsic and primitive, whereas properties are complex, messy, partly subjective, and higher level. |
| 18872 | We should reject distinct but indiscernible worlds [Cameron] |
| Full Idea: I think we should reject distinct but indiscernible worlds. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: An interesting passing remark. Presumably there would be unknowable truths about such worlds, which wouldn't bother a full-blooded realist. Indiscernible to whom? Me? Humanity? A divine mind? |