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] |
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] |
16597 | Quantity is the capacity to be divided [Digby] |
19855 | The purpose of society is to protect the rights of liberty, property, security and resistance [Mirabeau/committee] |
19856 | The law expresses the general will, and all citizens can participate [Mirabeau/committee] |
19861 | There is only a constitution if rights are assured, and separation of powers defined [Mirabeau/committee] |
19858 | No one should be molested for their opinions, if they do not disturb the established order [Mirabeau/committee] |
19859 | Free speech is very precious, and everyone may speak and write freely (but take responsibility for it) [Mirabeau/committee] |
19857 | All citizens are eligible for roles in the state, purely on the basis of merit [Mirabeau/committee] |
19862 | Property is a sacred right, breached only when essential, and with fair compensation [Mirabeau/committee] |
19860 | Everyone must contribute to the state's power and administration, in just proportion [Mirabeau/committee] |
16731 | Colours arise from the rarity, density and mixture of matter [Digby] |