51 ideas
| 14888 | Wisdom prevents us from being ruled by the moment [Nietzsche] |
| 14863 | Unlike science, true wisdom involves good taste [Nietzsche] |
| 14890 | Suffering is the meaning of existence [Nietzsche] |
| 14861 | Philosophy ennobles the world, by producing an artistic conception of our knowledge [Nietzsche] |
| 14885 | The first aim of a philosopher is a life, not some works [Nietzsche] |
| 14887 | You should only develop a philosophy if you are willing to live by it [Nietzsche] |
| 14889 | Philosophy is pointless if it does not advocate, and live, a new way of life [Nietzsche] |
| 14862 | Philosophy is more valuable than much of science, because of its beauty [Nietzsche] |
| 14878 | It would better if there was no thought [Nietzsche] |
| 14881 | Why do people want philosophers? [Nietzsche] |
| 14876 | Philosophy is always secondary, because it cannot support a popular culture [Nietzsche] |
| 14860 | Kant has undermined our belief in metaphysics [Nietzsche] |
| 14859 | If philosophy controls science, then it has to determine its scope, and its value [Nietzsche] |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| 14880 | Logic is just slavery to language [Nietzsche] |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| 12219 | Whether a modal claim is true depends on how the object is described [Quine, by Fine,K] |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| 10922 | Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine] |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| 14869 | If some sort of experience is at the root of matter, then human knowledge is close to its essence [Nietzsche] |
| 10923 | Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine] |
| 10921 | Necessity can attach to statement-names, to statements, and to open sentences [Quine] |
| 10924 | Necessity is in the way in which we say things, and not things themselves [Quine] |
| 14875 | Belief matters more than knowledge, and only begins when knowledge ceases [Nietzsche] |
| 14866 | It always remains possible that the world just is the way it appears [Nietzsche] |
| 14872 | Our knowledge is illogical, because it rests on false identities between things [Nietzsche] |
| 14879 | The most extreme scepticism is when you even give up logic [Nietzsche] |
| 14873 | If we find a hypothesis that explains many things, we conclude that it explains everything [Nietzsche] |
| 14868 | Our primary faculty is perception of structure, as when looking in a mirror [Nietzsche] |
| 14870 | We experience causation between willing and acting, and thereby explain conjunctions of changes [Nietzsche] |
| 14867 | It is just madness to think that the mind is supernatural (or even divine!) [Nietzsche] |
| 14884 | The shortest path to happiness is forgetfulness, the path of animals (but of little value) [Nietzsche] |
| 14886 | Education is contrary to human nature [Nietzsche] |
| 14883 | We should evaluate the past morally [Nietzsche] |
| 14882 | Protest against vivisection - living things should not become objects of scientific investigation [Nietzsche] |
| 14865 | We do not know the nature of one single causality [Nietzsche] |
| 14871 | Laws of nature are merely complex networks of relations [Nietzsche] |
| 14864 | The Greeks lack a normative theology: each person has their own poetic view of things [Nietzsche] |