display all the ideas for this combination of texts
15 ideas
| 10916 | Truth is either intuiting a way of being, or a putting together [Aristotle] |
| Full Idea: Truth is either a putting-together or, if the thing has being, it has it in a certain way. Truth for these things is intuiting them. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1051b30) | |
| A reaction: This seems to confirm what Aristotle says in Idea 10914, that there are two aspects to truth - the immediate grasp of atomic facts, and the assembling of complex facts. This resembles Tarski's construction of truth for complex sentences. |
| 10914 | Simple and essential truth seems to be given, with further truth arising in thinking [Aristotle] |
| Full Idea: It is not in states of affairs that truth and falsity arise but in thinking. And for things that are simple and for essences, truth and falsity do not even arise in thinking. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1027b27) | |
| A reaction: This might be viewed in the light of Tarski's theory, and the distinction between atomic sentences, which are just accepted, with a recursive account of more complex statements. Aristotle seems to have two theories of truth here (Cf. Idea 10916). |
| 10913 | Truth is a matter of asserting correct combinations and separations [Aristotle] |
| Full Idea: That which is as being true (and that which is not as being false) have to do with composition and division, ... (for truth involves assertion in the case of combination and denial in the case of a separation). | |
| From: Aristotle (Metaphysics [c.324 BCE], 1027b22) | |
| A reaction: This remark has the prospect of being spelled out precisely in terms of predication in modern logic |
| 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. |
| 575 | If one error is worse than another, it must be because it is further from the truth [Aristotle] |
| Full Idea: The man who mistakes a tetrad for a pentad is not as erroneous as he who takes it for a chiliad. But then, if they are not equally erroneous, this can only mean that one has less, and so one more, of the truth. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1008b32) |
| 15775 | Truth-thinking does not make it so; it being so is what makes it true [Aristotle] |
| Full Idea: It is not on account of our truly thinking that you are white that you are white; rather it is on account of your being white that we who assert as much are telling the truth. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1051b10) | |
| A reaction: Some philosophers say this makes truth a derivative property, and is central to truth-maker theories. Kit Fine claims the reverse - that things exist because of the truths - but I don't really understand that (or agree with it). |
| 10915 | The truth or falsity of a belief will be in terms of something that is always this way not that [Aristotle] |
| Full Idea: The truth or falsity of a belief will be in terms of something that is always this way not that. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1052a12) | |
| A reaction: Aristotle seems to take 'beliefs' to be the truth-bearers. |
| 586 | Falsity says that which is isn't, and that which isn't is; truth says that which is is, and that which isn't isn't [Aristotle] |
| Full Idea: Falsity is the assertion that that which is is not or that that which is not is, and truth is the assertion that that which is is and that that which is not is not. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1011b20) | |
| A reaction: It was very startling to discover Plato's Idea 13776, and realise that this famous and much-quoted idea of Aristotle's was not original to him. I find it very hard to disagree with any aspect of the idea. |
| 19165 | Aristotle's truth formulation concerns referring parts of sentences, not sentences as wholes [Aristotle, by Davidson] |
| Full Idea: Aristotle's formulation postulates no entities like facts. The things of which we say that they are or that they are not are the entities adverted to by the referring parts of sentences, not by sentences as wholes. | |
| From: report of Aristotle (Metaphysics [c.324 BCE], 1011b21) by Donald Davidson - Truth and Predication 6 | |
| A reaction: Aristotle seems to refer to the existences or non-existences of things. Presumably this would mean referring not to an apple, but to a red apple or a green apple, seen as two different things, even though they were the 'same' apple? |
| 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'. |