Combining Philosophers

Ideas for Peter B. Lewis, Eric R. Scerri and Ian Rumfitt

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 / 2. Axiomatic Proof
Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt]