Combining Philosophers
Ideas for John Cottingham, Gottlob Frege and Lawrence B. Lombard
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
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]
|