Ideas from 'works' by Gottlob Frege [1890], by Theme Structure

green numbers give full details    |     back to texts     |     expand these ideas


4. Formal Logic / F. Set Theory ST / 1. Set Theory
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
The null set is indefensible, because it collects nothing [Burge]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
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
Frege frequently expressed a contempt for language [Dummett]
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
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
For Frege, predicates are names of functions that map objects onto the True and False [McGinn]
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
Frege always, and fatally, neglected the domain of quantification [Dummett]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
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
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
Frege aimed to discover the logical foundations which justify arithmetical judgements [Burge]
Eventually Frege tried to found arithmetic in geometry instead of in logic [Friend]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Frege's logic showed that there is no concept of being [Scruton]
9. Objects / F. Identity among Objects / 5. Self-Identity
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
To understand a thought, understand its inferential connections to other thoughts [Burge]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
Frege's concept of 'self-evident' makes no reference to minds [Burge]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
An apriori truth is grounded in generality, which is universal quantification [Burge]
14. Science / B. Scientific Theories / 1. Scientific Theory
The building blocks contain the whole contents of a discipline
18. Thought / E. Abstraction / 8. Abstractionism Critique
Frege said concepts were abstract entities, not mental entities [Putnam]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
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
Frege's 'sense' is the strict and literal meaning, stripped of tone [Miller,A]
'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Miller,A]
19. Language / E. Analyticity / 1. Analytic Propositions
'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
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
Frege put forward an ontological argument for the existence of numbers [Benardete,JA]