Combining Philosophers

Ideas for Eubulides, Rayo,A/Uzquiasno,G and Gottlob Frege

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

display all the ideas for this combination of philosophers

---

10 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

7729	Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner]

8645	Convert "Jupiter has four moons" into "the number of Jupiter's moons is four" [Frege]

4975	A thought can be split in many ways, so that different parts appear as subject or predicate [Frege]

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

8490	First-level functions have objects as arguments; second-level functions take functions as arguments [Frege]

5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic

8492	Relations are functions with two arguments [Frege]

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

3319	Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA]

6076	For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn]

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

16891

Despite Gödel, Frege's epistemic ordering of all the truths is still plausible [Frege, by Burge]

16906

The primitive simples of arithmetic are the essence, determining the subject, and its boundaries [Frege, by Jeshion]

16865

'Theorems' are both proved, and used in proofs [Frege]