111 ideas
14857 | The highest wisdom has the guise of simplicity [Nietzsche] |
14854 | Deep thinkers know that they are always wrong [Nietzsche] |
14833 | Comedy is a transition from fear to exuberance [Nietzsche] |
16325 | Analysis rests on natural language, but its ideal is a framework which revises language [Halbach] |
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] |
14853 | Truth finds fewest champions not when it is dangerous, but when it is boring [Nietzsche] |
24075 | Convictions, more than lies, are the great enemy of truth [Nietzsche] |
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] |
16329 | Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts [Halbach] |
16331 | The KF is much stronger deductively than FS, which relies on classical truth [Halbach] |
16332 | The KF theory is useful, but it is not a theory containing its own truth predicate [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] |
16319 | Compositional Truth CT proves generalisations, so is preferred in discussions of deflationism [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] |
21110 | An understanding of the most basic physics should explain all of the subject's mysteries [Krauss] |
16345 | That Peano arithmetic is interpretable in ZF set theory is taken by philosophers as a reduction [Halbach] |
21105 | In 1676 it was discovered that water is teeming with life [Krauss] |
16346 | Maybe necessity is a predicate, not the usual operator, to make it more like truth [Halbach] |
14858 | Being certain presumes that there are absolute truths, and means of arriving at them [Nietzsche] |
14830 | Intuition only recognises what is possible, not what exists or is certain [Nietzsche] |
20378 | Just as skin hides the horrors of the body, vanity conceals the passions of the soul [Nietzsche] |
16298 | We need propositions to ascribe the same beliefs to people with different languages [Halbach] |
14820 | People always do what they think is right, according to the degree of their intellect [Nietzsche] |
14856 | Our judgment seems to cause our nature, but actually judgment arises from our nature [Nietzsche] |
14842 | Why are the strong tastes of other people so contagious? [Nietzsche] |
14835 | Artists are not especially passionate, but they pretend to be [Nietzsche] |
22473 | Nietzsche said the will doesn't exist, so it can't ground moral responsibility [Nietzsche, by Foot] |
14807 | The history of morality rests on an error called 'responsibility', which rests on an error called 'free will' [Nietzsche] |
14823 | Ceasing to believe in human responsibility is bitter, if you had based the nobility of humanity on it [Nietzsche] |
14824 | It is absurd to blame nature and necessity; we should no more praise actions than we praise plants or artworks [Nietzsche] |
14812 | Intellect is tied to morality, because it requires good memory and powerful imagination [Nietzsche] |
14810 | Originally it was the rulers who requited good for good and evil for evil who were called 'good' [Nietzsche] |
14831 | No one has ever done anything that was entirely for other people [Nietzsche] |
14855 | Simultaneous love and respect are impossible; love has no separation or rank, but respect admits power [Nietzsche] |
14815 | We get enormous pleasure from tales of noble actions [Nietzsche] |
14849 | We can only achieve happy moments, not happy eras [Nietzsche] |
14818 | First morality is force, then custom, then acceptance, then instinct, then a pleasure - and finally 'virtue' [Nietzsche] |
20103 | You are mastered by your own virtues, but you must master them, and turn them into tools [Nietzsche] |
14817 | The 'good' man does the moral thing as if by nature, easily and gladly, after a long inheritance [Nietzsche] |
14809 | All societies of good men give a priority to gratitude [Nietzsche] |
14816 | Justice (fairness) originates among roughly equal powers (as the Melian dialogues show) [Nietzsche] |
20112 | Pity consoles those who suffer, because they see that they still have the power to hurt [Nietzsche] |
14821 | Apart from philosophers, most people rightly have a low estimate of pity [Nietzsche] |
14841 | Many people are better at having good friends than being a good friend [Nietzsche] |
14843 | Women can be friends with men, but only some physical antipathy will maintain it [Nietzsche] |
14811 | In Homer it is the contemptible person, not the harmful person, who is bad [Nietzsche] |
20111 | We could live more naturally, relishing the spectacle, and not thinking we are special [Nietzsche] |
14844 | People do not experience boredom if they have never learned to work properly [Nietzsche] |
14808 | Over huge periods of time human character would change endlessly [Nietzsche] |
14822 | If self-defence is moral, then so are most expressions of 'immoral' egoism [Nietzsche] |
14838 | The state aims to protect individuals from one another [Nietzsche] |
14852 | Culture cannot do without passions and vices [Nietzsche] |
14846 | If we want the good life for the greatest number, we must let them decide on the good life [Nietzsche] |
14819 | Slavery cannot be judged by our standards, because the sense of justice was then less developed [Nietzsche] |
14847 | Laws that are well thought out, or laws that are easy to understand? [Nietzsche] |
14814 | Execution is worse than murder, because we are using the victim, and really we are the guilty [Nietzsche] |
14836 | People will enthusiastically pursue an unwanted war, once sacrifices have been made [Nietzsche] |
14845 | Don't crush girls with dull Gymnasium education, the way we have crushed boys! [Nietzsche] |
14848 | Education in large states is mediocre, like cooking in large kitchens [Nietzsche] |
14839 | Interest in education gains strength when we lose interest in God [Nietzsche] |
14834 | Teachers only gather knowledge for their pupils, and can't be serious about themselves [Nietzsche] |
14825 | In religious thought nature is a complex of arbitrary acts by conscious beings [Nietzsche] |
14826 | Modern man wants laws of nature in order to submit to them [Nietzsche] |
21109 | Space itself can expand (and separate its contents) at faster than light speeds [Krauss] |
21104 | General Relativity: the density of energy and matter determines curvature and gravity [Krauss] |
21107 | Uncertainty says that energy can be very high over very short time periods [Krauss] |
21106 | Most of the mass of a proton is the energy in virtual particles (rather than the quarks) [Krauss] |
21112 | Empty space contains a continual flux of brief virtual particles [Krauss] |
21108 | The universe is precisely 13.72 billion years old [Krauss] |
21111 | It seems likely that cosmic inflation is eternal, and this would make a multiverse inevitable [Krauss] |
14827 | The Greeks saw the gods not as their masters, but as idealised versions of themselves [Nietzsche] |
14813 | Science rejecting the teaching of Christianity in favour of Epicurus shows the superiority of the latter [Nietzsche] |
14832 | The Sermon on the Mount is vanity - praying to one part of oneself, and demonising the rest [Nietzsche] |
14850 | Christ was the noblest human being [Nietzsche] |
14837 | Christ seems warm hearted, and suppressed intellect in favour of the intellectually weak [Nietzsche] |
14828 | Religion is tempting if your life is boring, but you can't therefore impose it on the busy people [Nietzsche] |