Combining Philosophers
Ideas for Paul Audi, Xenophanes 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]
|