21 ideas
| 19395 | Philosophy is sanctified, because it flows from God [Leibniz] |
| Full Idea: Philosophy is sanctified by having its streams flow from the fountain of God's attributes. | |
| From: Gottfried Leibniz (A General Principle to Explain Laws of Nature [1687], p.69) |
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language. |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources. |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: [compressed] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another. |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Idea 15647 explains why Halbach thinks the definition route is no good. |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'. |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1) |
| 7548 | Classes, grouped by a convenient property, are logical constructions [Russell] |
| Full Idea: Classes or series of particulars, collected together on account of some property which makes it convenient to be able to speak of them as wholes, are what I call logical constructions or symbolic fictions. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.125) | |
| A reaction: When does a construction become 'logical' instead of arbitrary? What is it about a property that makes it 'convenient'? At this point Russell seems to have built his ontology on classes, and the edifice was crumbling, thanks to Wittgenstein. |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science. |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates. |
| 7545 | Visible things are physical and external, but only exist when viewed [Russell] |
| Full Idea: I believe that common sense is right in regarding what we see as physical and (in one of several possible senses) outside the mind, but is probably wrong in supposing that it continues to exist when we are no longer looking at it. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.123) | |
| A reaction: This remark (in 1915) is a bit startling from a philosopher well known for his robustly realist stance. Just one of his phases! It seems very counterintuitive - that objects really exist externally, but only when viewed. Schrödinger's Cat? |
| 19394 | Inequality can be brought infinitely close to equality [Leibniz] |
| Full Idea: Equality may be considered as an infinitely small inequality, and we may make inequality approach equality as much as we wish. | |
| From: Gottfried Leibniz (A General Principle to Explain Laws of Nature [1687], p.67) | |
| A reaction: An interesting response to David Lewis's brusque dismissal of the problem of identity, as all-or-nothing...end of story. |
| 7549 | If my body literally lost its mind, the object seen when I see a flash would still exist [Russell] |
| Full Idea: My meaning may be made plainer by saying that if my body could remain in exactly the same state in which it is, though my mind had ceased to exist, precisely that object which I now see when I see a flash would exist, though I should not see it. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.126) | |
| A reaction: Zombies, 70 years before Robert Kirk! Sense-data are physical. It is interesting to see a philosopher as committed to empiricism, anti-spiritualism and the priority of science as this, still presenting an essentially dualist picture of perception. |
| 7553 | Sense-data are purely physical [Russell] |
| Full Idea: Sense-data are purely physical, and all that is mental in connection with them is our awareness of them. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.138) | |
| A reaction: Once this account of sense-data becomes fully clear, it also becomes apparent what a dualist theory it is. The mind is a cinema, I am the audience, and sense-data are the screen. There has to be a big logical gap between viewer and screen. |
| 7546 | A man is a succession of momentary men, bound by continuity and causation [Russell] |
| Full Idea: The real man, I believe, however the police may swear to his identity, is really a series of momentary men, each different one from the other, and bound together, not by a numerical identity, but by continuity and certain instrinsic causal laws. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.124) | |
| A reaction: This seems to be in the tradition of Locke and Parfit, and also follows the temporal-slices idea of physical objects. Personally I take a more physical view of things, and think the police are probably more reliable than Bertrand Russell. |
| 7550 | We could probably, in principle, infer minds from brains, and brains from minds [Russell] |
| Full Idea: It seems not improbable that if we had sufficient knowledge we could infer the state of a man's mind from the state of his brain, or the state of his brain from the state of his mind. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.131) | |
| A reaction: This strikes me as being a very good summary of the claim that mind is reducible to brain, which is the essence of physicalism. Had he been born a little later, Russell would have taken a harder line with physicalism. |
| 7551 | Matter is a logical construction [Russell] |
| Full Idea: We must regard matter as a logical construction. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.132) | |
| A reaction: A logical construction is a fancy way of saying a best explanation (but with Ockham's Razor hanging over it). A key component missing from Russell's account is that we can directly experience matter, because we are made of it. |
| 7547 | Matter requires a division into time-corpuscles as well as space-corpuscles [Russell] |
| Full Idea: A true theory of matter requires a division of things into time-corpuscles as well as space-corpuscles. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.125) | |
| A reaction: The division of matter in space seems decidable by physicists, but the division in time seems a bit arbitrary (unless it is quanta of time?). Russell focuses on observable qualities, but are there also intrinsic qualities? |
| 7552 | Six dimensions are needed for a particular, three within its own space, and three to locate that space [Russell] |
| Full Idea: The world of particulars is a six-dimensional space, where six co-ordinates will be required to assign the position of any particular, three to assign its position in its own space, and three to assign the position of its space among the other spaces. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.134) | |
| A reaction: Not a proposal that has caught on. One might connect the idea with the notion of 'frames of reference' in Einstein's Special Theory. Inside a frame of reference, three co-ordinates are needed; but where is the frame of reference? |