Combining Texts
Ideas for
'works', 'The Establishment of Scientific Semantics' and 'Begriffsschrift'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
5. Theory of Logic / H. Proof Systems / 1. Proof Systems
13824
|
Proof theory began with Frege's definition of derivability [Frege, by Prawitz]
|
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
13609
|
Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan]
|