22 ideas
12104 | All ideas must be understood historically [Comte] |
12105 | Our knowledge starts in theology, passes through metaphysics, and ends in positivism [Comte] |
12112 | Metaphysics is just the oversubtle qualification of abstract names for phenomena [Comte] |
12111 | Positivism is the final state of human intelligence [Comte] |
12106 | Positivism gives up absolute truth, and seeks phenomenal laws, by reason and observation [Comte] |
7491 | The phases of human thought are theological, then metaphysical, then positivist [Comte, by Watson] |
12114 | Science can drown in detail, so we need broad scientists (to keep out the metaphysicians) [Comte] |
12116 | Only positivist philosophy can terminate modern social crises [Comte] |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
12108 | All real knowledge rests on observed facts [Comte] |
12109 | We must observe in order to form theories, but connected observations need prior theories [Comte] |
12107 | Positivism explains facts by connecting particular phenomena with general facts [Comte] |
12115 | Introspection is pure illusion; we can obviously observe everything except ourselves [Comte] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |
5833 | Education is the greatest of human goods [Xenophon] |
12113 | The search for first or final causes is futile [Comte] |
12110 | We can never know origins, purposes or inner natures [Comte] |