28 ideas
| 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) |
| 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. |
| 16083 | Aristotelian matter seriously threatens the intrinsic unity and substantiality of its object [Gill,ML] |
| Full Idea: On the interpretation of Aristotelian matter that I shall propose, matter seriously threatens the intrinsic unity, and hence the substantiality, of the object to which it contributes. | |
| From: Mary Louise Gill (Aristotle on Substance [1989], Intro) | |
| A reaction: Presumably the thought is that if an object is form+matter (hylomorphism), then forms are essentially unified, but matter is essentially unified and sloppy. |
| 22673 | Wherever there is a small community, the association of the people is natural [Tocqueville] |
| Full Idea: The village or township is the only association which is so perfectly natural that, wherever a number of men are collected, it seems to constitute itself. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.04) | |
| A reaction: Seems like a chicken and egg issue. I would have thought that association precedes the development of a village. |
| 22676 | The people are just individuals, and only present themselves as united to foreigners [Tocqueville] |
| Full Idea: The people in themselves are only individuals; and the special reason why they need to be united under one government is that they may appear to advantage before foreigners. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.07) | |
| A reaction: I take this to be an observation on 1830s America, rather than a universal truth. It fits modern western societies rather well though. |
| 22679 | Vast empires are bad for well-being and freedom, though they may promote glory [Tocqueville] |
| Full Idea: Nothing is more opposed to the well-being and the freedom of men than vast empires. …But there is a love of glory in those who regard the applause of a great people as a worthy reward. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.07) | |
| A reaction: Presumably the main the problem is the central dominance over distant colonies. There may also be some freedom in being distant from the centres, especially in 1830. The Wild West. |
| 22680 | People would be much happier and freer in small nations [Tocqueville] |
| Full Idea: If none but small nations existed, I do not doubt that mankind would be more happy and more free. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.07) | |
| A reaction: In modern times many small states have appeared in Europe (in the Balkans and on the Baltic), and it looks to me a good thing. The prospect of Scottish independence may currently be looming, and De Tocqueville would approve. |
| 22675 | In American judges rule according to the Constitution, not the law [Tocqueville] |
| Full Idea: The Americans have acknowledged the right of judges to found their decisions on the Constitution, rather than on the laws. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.05) | |
| A reaction: Obviously the Constitution is one short document, so the details must be enshrined in the laws (which presumably defer to the Constitution). |
| 22677 | A monarchical family is always deeply concerned with the interests of the state [Tocqueville] |
| Full Idea: The advantages of a monarchy are that the private interests of a family are connected with the interests of the state, …and at least there is always someone available to conduct the affairs of a monarchy. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.07) | |
| A reaction: The second one is not much of a reason! The same defence can be given for the dominance of the Mafia. His defences are deliberately feeble, I suspect. England had plenty of monarchs who showed limited interest. |
| 22683 | Despots like to see their own regulations ignored, by themselves and their agents [Tocqueville] |
| Full Idea: In despotic states the sovereign is so much attached to his power that he dislikes the constraints even of his own regulations, and likes to see his agents acting irregularly. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.11) | |
| A reaction: A nice observation. What would Machiavelli say? At least the citizens can see where the real power resides. |
| 22669 | Aristocracy is constituted by inherited landed property [Tocqueville] |
| Full Idea: Land is the basis of an aristocracy; …it is by landed property handed down from generation to generation that an aristocracy is constituted. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.01) | |
| A reaction: Presumably there can be aristocrats by mere royal patronage, who have perhaps gambled away their land. They need protection by the other aristocrats. |
| 22674 | In Europe it is thought that local government is best handled centrally [Tocqueville] |
| Full Idea: The partisans of centralisation in Europe are wont to maintain that the government can administer the affairs of each locality better than the citizens can do it for themselves. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.04) | |
| A reaction: In the modern UK we have lots of local government, which is thoroughly starved of funds by the central government. He is contrasting it with the strong local system in the U.S. |
| 22678 | An election, and its lead up time, are always a national crisis [Tocqueville] |
| Full Idea: The period which immediately precedes an election, and that during which the election is taking place, must always be considered as a national crisis. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.07) | |
| A reaction: Rousseau said something similar. Election day in modern Britain is very peaceful and civilised, but it used to be chaotic. The weeks preceding it are invariably nasty. |
| 22682 | Universal suffrage is no guarantee of wise choices [Tocqueville] |
| Full Idea: Universal suffrage is by no means a guarantee of the wisdom of the popular choice. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.11) | |
| A reaction: This was precisely Plato's fear about democracy. There seems no way at all of preventing the people from electing representatives on superficial grounds of personality. |
| 22670 | Slavery undermines the morals and energy of a society [Tocqueville] |
| Full Idea: Slavery dishonours labour; it introduces idleness into society, and with idleness, ignorance and pride, luxury and distress. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.01) | |
| A reaction: A pretty feeble reason (in the 1830s) for disliking slavery. He seems only concerned with the adverse effects on the slave-owning society, and shows no interest in the slaves themselves. |
| 22681 | The liberty of the press is more valuable for what it prevents than what it promotes [Tocqueville] |
| Full Idea: I approve of the liberty of the press from a consideration more of the evils it prevents than of the advantages it ensures. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.10) | |
| A reaction: He accepts the freedom of the press as inevitable in a democracy, but he found U.S. newspapers to be nearly as bad then as they are now. |
| 22672 | It is admirable to elevate the humble to the level of the great, but the opposite is depraved [Tocqueville] |
| Full Idea: One manly and lawful passion for equality elevates the humble to the rank of the great. But there exists also a depraved taste for equality, which impels the weak to attempt to lower the powerful to their own level. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.02) | |
| A reaction: There is a distinction in modern political rhetoric between 'levelling down' and 'levelling up'. Since levelling down is just destructive, and levelling up is unaffordable, it seems obvious that true equality needs to be a compromise. |
| 22671 | Equality can only be established by equal rights for all (or no rights for anyone) [Tocqueville] |
| Full Idea: I know of only two methods of establishing equality in the political world; rights must be given to every citizen, or none at all to anyone. | |
| From: Alexis de Tocqueville (Democracy in America (abr Renshaw) [1840], 1.02) | |
| A reaction: We may have a vague concept of 'natural' rights, but primarily they are a tool of social engineering. You could grant equal rights on inheritance, for example, which turn out in practice to hugely favour the rich. |
| 17006 | Prime matter has no place in Aristotle's theories, and passages claiming it are misread [Gill,ML] |
| Full Idea: I argue that prime matter has no place in Aristotle's elemental theory. ..References to prime matter are found in Aristotle's work because his theory was thought to need the doctrine. If I am right, these passages will all admit of another interpretation. | |
| From: Mary Louise Gill (Aristotle on Substance [1989], App) | |
| A reaction: If correct, this strikes me as important for the history of ideas, because scholastics got themselves in a right tangle over prime matter. See Pasnau on it. It pushed the 17th century into corpuscularianism. |
| 16093 | Prime matter is actually nothing and potentially everything (or potentially an element) [Gill,ML] |
| Full Idea: Prime matter is supposed to be actually nothing and potentially everything or, at any rate, potentially the simplest bodies - earth, water, air and fire. | |
| From: Mary Louise Gill (Aristotle on Substance [1989], Ch.1) | |
| A reaction: The view that the four elements turn out to be prime matter is distinctive of Gill's approach. Prime matter sounds like quark soup in the early universe. |