Combining Philosophers
Ideas for Alfred Tarski, Gottlob Frege and J. Alberto Coffa
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]
|
10152
|
Set theory and logic are fairy tales, but still worth studying [Tarski]
|
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10048
|
There is no clear boundary between the logical and the non-logical [Tarski]
|
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
13337
|
A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski]
|
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
16863
|
Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege]
|
16862
|
The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege]
|