14 ideas
7911 | Theory vanishes when one has obtained wisdom [Rahulabhadra] |
3745 | Must sentences make statements to qualify for truth? [O'Connor] |
3742 | Beliefs must match facts, but also words must match beliefs [O'Connor] |
3744 | The semantic theory requires sentences as truth-bearers, not propositions [O'Connor] |
3749 | What does 'true in English' mean? [O'Connor] |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
3746 | Logic seems to work for unasserted sentences [O'Connor] |
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] |
3747 | Events are fast changes which are of interest to us [O'Connor] |
3743 | We can't contemplate our beliefs until we have expressed them [O'Connor] |
3748 | Without language our beliefs are particular and present [O'Connor] |