Ideas from 'works' by Gottlob Frege [1890], by Theme Structure
green numbers give full details |
back to texts
|
expand these ideas
3. Truth / A. Truth Problems / 6. Verisimilitude
22317
|
Truth does not admit of more and less
|
4. Formal Logic / F. Set Theory ST / 1. Set Theory
13455
|
Frege did not think of himself as working with sets [Hart,WD]
|
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
16895
|
The null set is indefensible, because it collects nothing [Burge]
|
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
3328
|
Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Benardete,JA]
|
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
9179
|
Frege frequently expressed a contempt for language [Dummett]
|
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
13473
|
Frege thinks there is an independent logical order of the truths, which we must try to discover [Hart,WD]
|
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
6076
|
For Frege, predicates are names of functions that map objects onto the True and False [McGinn]
|
3319
|
Frege gives a functional account of predication so that we can dispense with predicates [Benardete,JA]
|
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
9871
|
Frege always, and fatally, neglected the domain of quantification [Dummett]
|
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
16884
|
Basic truths of logic are not proved, but seen as true when they are understood [Burge]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
3331
|
If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
16880
|
Frege aimed to discover the logical foundations which justify arithmetical judgements [Burge]
|
8689
|
Eventually Frege tried to found arithmetic in geometry instead of in logic [Friend]
|
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
5657
|
Frege's logic showed that there is no concept of being [Scruton]
|
9. Objects / F. Identity among Objects / 5. Self-Identity
3318
|
Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Benardete,JA]
|
11. Knowledge Aims / A. Knowledge / 2. Understanding
16885
|
To understand a thought, understand its inferential connections to other thoughts [Burge]
|
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
16887
|
Frege's concept of 'self-evident' makes no reference to minds [Burge]
|
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
16894
|
An apriori truth is grounded in generality, which is universal quantification [Burge]
|
14. Science / B. Scientific Theories / 1. Scientific Theory
16882
|
The building blocks contain the whole contents of a discipline
|
18. Thought / E. Abstraction / 8. Abstractionism Critique
5816
|
Frege said concepts were abstract entities, not mental entities [Putnam]
|
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
7307
|
A thought is not psychological, but a condition of the world that makes a sentence true [Miller,A]
|
19. Language / C. Assigning Meanings / 5. Fregean Semantics
7309
|
Frege's 'sense' is the strict and literal meaning, stripped of tone [Miller,A]
|
7312
|
'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Miller,A]
|
19. Language / E. Analyticity / 1. Analytic Propositions
7725
|
'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Weiner]
|
19. Language / E. Analyticity / 2. Analytic Truths
7316
|
Analytic truths are those that can be demonstrated using only logic and definitions [Miller,A]
|
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
3307
|
Frege put forward an ontological argument for the existence of numbers [Benardete,JA]
|