Combining Texts
Ideas for
'Events and Their Names', 'Begriffsschrift' and 'What is an Idea?'
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]
|