16 ideas
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] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
18085 | Values that approach zero, becoming less than any quantity, are 'infinitesimals' [Cauchy] |
18084 | When successive variable values approach a fixed value, that is its 'limit' [Cauchy] |
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] |