Combining Philosophers
Ideas for Brad W. Hooker, Marcus Rossberg 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 / A. Overview of Logic / 1. Overview of Logic
7728
|
Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner]
|
16881
|
The laws of logic are boundless, so we want the few whose power contains the others [Frege]
|
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
7622
|
In 1879 Frege developed second order logic [Frege, by Putnam]
|
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
9179
|
Frege frequently expressed a contempt for language [Frege, by Dummett]
|
16867
|
Logic not only proves things, but also reveals logical relations between them [Frege]
|
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10757
|
Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
|
10759
|
There are at least seven possible systems of semantics for second-order logic [Rossberg]
|
10751
|
Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
|
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
16862
|
The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege]
|
16863
|
Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege]
|