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]