25 ideas
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 21597 | Logical connectives have the highest precision, yet are infected by the vagueness of true and false [Russell, by Williamson] |
| Full Idea: Russell says the best chance of avoiding vagueness are the logical connectives. ...But the vagueness of 'true' and 'false' infects the logical connectives too. All words are vague. Russell concludes that all language is vague. | |
| From: report of Bertrand Russell (Vagueness [1923]) by Timothy Williamson - Vagueness 2.4 | |
| A reaction: This relies on the logical connectives being defined semantically, in terms of T and F, but that is standard. Presumably the formal uninterpreted syntax is not vague. |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 9051 | Since natural language is not precise it cannot be in the province of logic [Russell, by Keefe/Smith] |
| Full Idea: Russell takes it that logic assumes precision, and since natural language is not precise it cannot be in the province of logic at all. | |
| From: report of Bertrand Russell (Vagueness [1923]) by R Keefe / P Smith - Intro: Theories of Vagueness §1 | |
| A reaction: I find this view congenial. It seems to me that the necessary prelude to logic is to do everything you can to eliminate ambiguity and vagueness from the sentences at issue. We want the proposition, or logical form. If there isn't one, forget it? |
| 9054 | Vagueness is only a characteristic of representations, such as language [Russell] |
| Full Idea: Vagueness and precision alike are characteristics which can only belong to a representation, of which language is an example. | |
| From: Bertrand Russell (Vagueness [1923], p.62) | |
| A reaction: Russell was the first to tackle the question of vagueness, and he may have got it right. If we are unable to decide which set an object belongs in (red or orange) that is a problem for our conceptual/linguistic scheme. The object still has a colour! |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 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. |