Combining Philosophers

Ideas for Hans Reichenbach, Peter Smith and Beth Lord

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

7 ideas

5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic

10076

The 'range' of a function is the set of elements in the output set created by the function [Smith,P]

10605

Two functions are the same if they have the same extension [Smith,P]

10075

A 'partial function' maps only some elements to another set [Smith,P]

10074

A 'total function' maps every element to one element in another set [Smith,P]

10612

An argument is a 'fixed point' for a function if it is mapped back to itself [Smith,P]

5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic

10615

The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P]

5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic

10595

A 'theorem' of a theory is a sentence derived from the axioms using the proof system [Smith,P]