16 ideas
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] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
19451 | When absorbed in deep reflection, is your reason in control, or is it you? [Feuerbach] |
19450 | Reason, love and will are the highest perfections and essence of man - the purpose of his life [Feuerbach] |
21785 | We are only free, with rights, if we claim our freedom, and there are no natural rights [Hegel, by Houlgate] |
22041 | Representatives by region ignores whether they care about the national interest [Hegel, by Pinkard] |
21781 | The absolute right is the right to have rights [Hegel] |
19448 | Consciousness is said to distinguish man from animals - consciousness of his own species [Feuerbach] |
19454 | A God needs justice, kindness and wisdom, but those concepts don't depend on the concept of God [Feuerbach] |
19452 | The nature of God is an expression of human nature [Feuerbach] |
19453 | If love, goodness and personality are human, the God who is their source is anthropomorphic [Feuerbach] |
19449 | Religion is the consciousness of the infinite [Feuerbach] |
19455 | Today's atheism will tomorrow become a religion [Feuerbach] |