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] |