17 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] |
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] |
22142 | In future, only logical limits can be placed on divine omnipotence [Anon (Par), by Boulter] |
19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
16716 | It is heresy to require self-evident foundational principles in order to be certain [Anon (Par)] |
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
1866 | It is heresy to teach that history repeats every 36,000 years [Anon (Par)] |
1865 | It is heresy to teach that natural impossibilities cannot even be achieved by God [Anon (Par)] |
1864 | It is heresy to teach that we can know God by his essence in this mortal life [Anon (Par)] |