99 ideas
16325 | Analysis rests on natural language, but its ideal is a framework which revises language [Halbach] |
15575 | Knowledge is not a static set of correct propositions, but a continuing search for better interpretations [Polt] |
16292 | An explicit definition enables the elimination of what is defined [Halbach] |
16307 | Don't trust analogies; they are no more than a guideline [Halbach] |
16330 | Truth-value 'gluts' allow two truth values together; 'gaps' give a partial conception of truth [Halbach] |
16339 | Truth axioms prove objects exist, so truth doesn't seem to be a logical notion [Halbach] |
16324 | Any definition of truth requires a metalanguage [Halbach] |
16293 | Traditional definitions of truth often make it more obscure, rather than less [Halbach] |
16301 | If people have big doubts about truth, a definition might give it more credibility [Halbach] |
16297 | Semantic theories avoid Tarski's Theorem by sticking to a sublanguage [Halbach] |
16337 | Disquotational truth theories are short of deductive power [Halbach] |
16322 | CT proves PA consistent, which PA can't do on its own, so CT is not conservative over PA [Halbach] |
16294 | Axiomatic truth doesn't presuppose a truth-definition, though it could admit it at a later stage [Halbach] |
16326 | The main semantic theories of truth are Kripke's theory, and revisions semantics [Halbach] |
16311 | To axiomatise Tarski's truth definition, we need a binary predicate for his 'satisfaction' [Halbach] |
16318 | Compositional Truth CT has the truth of a sentence depending of the semantic values of its constituents [Halbach] |
16299 | Gödel numbering means a theory of truth can use Peano Arithmetic as its base theory [Halbach] |
16340 | Truth axioms need a base theory, because that is where truth issues arise [Halbach] |
16305 | We know a complete axiomatisation of truth is not feasible [Halbach] |
16313 | A theory is 'conservative' if it adds no new theorems to its base theory [Halbach, by PG] |
16315 | The Tarski Biconditional theory TB is Peano Arithmetic, plus truth, plus all Tarski bi-conditionals [Halbach] |
16314 | Theories of truth are 'typed' (truth can't apply to sentences containing 'true'), or 'type-free' [Halbach] |
16327 | Friedman-Sheard is type-free Compositional Truth, with two inference rules for truth [Halbach] |
16332 | The KF theory is useful, but it is not a theory containing its own truth predicate [Halbach] |
16331 | The KF is much stronger deductively than FS, which relies on classical truth [Halbach] |
16329 | Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts [Halbach] |
16319 | Compositional Truth CT proves generalisations, so is preferred in discussions of deflationism [Halbach] |
16320 | Some say deflationism is axioms which are conservative over the base theory [Halbach] |
16338 | Deflationism says truth is a disquotation device to express generalisations, adding no new knowledge [Halbach] |
16317 | The main problem for deflationists is they can express generalisations, but not prove them [Halbach] |
16316 | Deflationists say truth is just for expressing infinite conjunctions or generalisations [Halbach] |
16335 | In Strong Kleene logic a disjunction just needs one disjunct to be true [Halbach] |
16334 | In Weak Kleene logic there are 'gaps', neither true nor false if one component lacks a truth value [Halbach] |
16309 | Every attempt at formal rigour uses some set theory [Halbach] |
16333 | The underestimated costs of giving up classical logic are found in mathematical reasoning [Halbach] |
16310 | A theory is some formulae and all of their consequences [Halbach] |
16342 | You cannot just say all of Peano arithmetic is true, as 'true' isn't part of the system [Halbach] |
16341 | Normally we only endorse a theory if we believe it to be sound [Halbach] |
16344 | Soundness must involve truth; the soundness of PA certainly needs it [Halbach] |
16347 | Many new paradoxes may await us when we study interactions between frameworks [Halbach] |
16336 | The liar paradox applies truth to a negated truth (but the conditional will serve equally) [Halbach] |
16321 | The compactness theorem can prove nonstandard models of PA [Halbach] |
16343 | The global reflection principle seems to express the soundness of Peano Arithmetic [Halbach] |
16312 | To reduce PA to ZF, we represent the non-negative integers with von Neumann ordinals [Halbach] |
16308 | Set theory was liberated early from types, and recent truth-theories are exploring type-free [Halbach] |
16345 | That Peano arithmetic is interpretable in ZF set theory is taken by philosophers as a reduction [Halbach] |
16346 | Maybe necessity is a predicate, not the usual operator, to make it more like truth [Halbach] |
15568 | When we consider possibilities, there must be something we are considering [Polt] |
16298 | We need propositions to ascribe the same beliefs to people with different languages [Halbach] |
19906 | All countries are in a mutual state of nature [Locke] |
19882 | We are not created for solitude, but are driven into society by our needs [Locke] |
19864 | In nature men can dispose of possessions and their persons in any way that is possible [Locke] |
19865 | There is no subjection in nature, and all creatures of the same species are equal [Locke] |
19866 | The rational law of nature says we are all equal and independent, and should show mutual respect [Locke] |
19872 | The animals and fruits of the earth belong to mankind [Locke] |
19907 | There is a natural right to inheritance within a family [Locke] |
19863 | Politics is the right to make enforceable laws to protect property and the state, for the common good [Locke] |
5654 | The Second Treatise explores the consequences of the contractual view of the state [Locke, by Scruton] |
19888 | A society only begins if there is consent of all the individuals to join it [Locke] |
6702 | If anyone enjoys the benefits of government (even using a road) they give tacit assent to its laws [Locke] |
19909 | A politic society is created from a state of nature by a unanimous agreement [Locke] |
19910 | A single will creates the legislature, which is duty-bound to preserve that will [Locke] |
19892 | Children are not born into citizenship of a state [Locke] |
19893 | Anyone who enjoys the benefits of a state has given tacit consent to be part of it [Locke] |
19894 | You can only become an actual member of a commonwealth by an express promise [Locke] |
19885 | Absolute monarchy is inconsistent with civil society [Locke] |
19886 | The idea that absolute power improves mankind is confuted by history [Locke] |
19903 | Despotism is arbitrary power to kill, based neither on natural equality, nor any social contract [Locke] |
19905 | People stripped of their property are legitimately subject to despotism [Locke] |
19904 | Legitimate prisoners of war are subject to despotism, because that continues the state of war [Locke] |
19895 | Even the legislature must be preceded by a law which gives it power to make laws [Locke] |
19900 | The executive must not be the legislature, or they may exempt themselves from laws [Locke] |
19902 | Any obstruction to the operation of the legislature can be removed forcibly by the people [Locke] |
19908 | Rebelling against an illegitimate power is no sin [Locke] |
19911 | If legislators confiscate property, or enslave people, they are no longer owed obedience [Locke] |
19901 | The people have supreme power, to depose a legislature which has breached their trust [Locke] |
19887 | Unanimous consent makes a united community, which is then ruled by the majority [Locke] |
19913 | A master forfeits ownership of slaves he abandons [Locke] |
19883 | Slaves captured in a just war have no right to property, so are not part of civil society [Locke] |
19870 | If you try to enslave me, you have declared war on me [Locke] |
19871 | Freedom is not absence of laws, but living under laws arrived at by consent [Locke] |
19880 | All value depends on the labour involved [Locke] |
19884 | There is only a civil society if the members give up all of their natural executive rights [Locke] |
19873 | We all own our bodies, and the work we do is our own [Locke] |
6580 | Locke (and Marx) held that ownership of objects is a natural relation, based on the labour put into it [Locke, by Fogelin] |
20520 | Locke says 'mixing of labour' entitles you to land, as well as nuts and berries [Wolff,J on Locke] |
19875 | A man's labour gives ownership rights - as long as there are fair shares for all [Locke] |
19874 | If a man mixes his labour with something in Nature, he thereby comes to own it [Locke] |
19877 | Fountain water is everyone's, but a drawn pitcher of water has an owner [Locke] |
19876 | Gathering natural fruits gives ownership; the consent of other people is irrelevant [Locke] |
19878 | Mixing labour with a thing bestows ownership - as long as the thing is not wasted [Locke] |
19898 | Soldiers can be commanded to die, but not to hand over their money [Locke] |
19879 | A man owns land if he cultivates it, to the limits of what he needs [Locke] |
19881 | The aim of law is not restraint, but to make freedom possible [Locke] |
19868 | It is only by a law of Nature that we can justify punishing foreigners [Locke] |
19867 | Reparation and restraint are the only justifications for punishment [Locke] |
19912 | Self-defence is natural, but not the punishment of superiors by inferiors [Locke] |
19869 | Punishment should make crime a bad bargain, leading to repentance and deterrence [Locke] |
19899 | The consent of the people is essential for any tax [Locke] |