Combining Texts
Ideas for
'works', 'Grundgesetze der Arithmetik 1 (Basic Laws)' and 'Intro to I: Classical Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 ideas
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
9463
|
Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette]
|
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
13733
|
Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn]
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
9874
|
Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege]
|