10 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] |
| 19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
| 19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
| 19402 | The actual universe is the richest composite of what is possible [Leibniz] |
| 19696 | There are reasons 'for which' a belief is held, reasons 'why' it is believed, and reasons 'to' believe it [Neta] |
| 19697 | The basing relation of a reason to a belief should both support and explain the belief [Neta] |