more on this theme
|
more from this thinker
Single Idea 16880
[filed under theme 6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
]
Full Idea
Frege saw arithmetical judgements as resting on a foundation of logical principles, and the discovery of this foundation as a discovery of the nature and structure of the justification of arithmetical truths and judgments.
Gist of Idea
Frege aimed to discover the logical foundations which justify arithmetical judgements
Source
report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations Intro
Book Ref
Burge,Tyler: 'Truth, Thought, Reason (on Frege)' [OUP 2001], p.317
A Reaction
Burge's point is that the logic justifies the arithmetic, as well as underpinning it.
The
26 ideas
from 'works'
|
13473
|
Frege thinks there is an independent logical order of the truths, which we must try to discover
[Frege, by Hart,WD]
|
|
6076
|
For Frege, predicates are names of functions that map objects onto the True and False
[Frege, by McGinn]
|
|
3319
|
Frege gives a functional account of predication so that we can dispense with predicates
[Frege, by Benardete,JA]
|
|
9871
|
Frege always, and fatally, neglected the domain of quantification
[Dummett on Frege]
|
|
16884
|
Basic truths of logic are not proved, but seen as true when they are understood
[Frege, by Burge]
|
|
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 on Frege]
|
|
16880
|
Frege aimed to discover the logical foundations which justify arithmetical judgements
[Frege, by Burge]
|
|
5657
|
Frege's logic showed that there is no concept of being
[Frege, by Scruton]
|
|
3318
|
Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x'
[Frege, by Benardete,JA]
|
|
16885
|
To understand a thought, understand its inferential connections to other thoughts
[Frege, by Burge]
|
|
16887
|
Frege's concept of 'self-evident' makes no reference to minds
[Frege, by Burge]
|
|
16894
|
An apriori truth is grounded in generality, which is universal quantification
[Frege, by Burge]
|
|
16882
|
The building blocks contain the whole contents of a discipline
[Frege]
|
|
5816
|
Frege said concepts were abstract entities, not mental entities
[Frege, by Putnam]
|
|
7307
|
A thought is not psychological, but a condition of the world that makes a sentence true
[Frege, by Miller,A]
|
|
7309
|
Frege's 'sense' is the strict and literal meaning, stripped of tone
[Frege, by Miller,A]
|
|
7312
|
'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness
[Frege, by Miller,A]
|
|
7725
|
'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate
[Frege, by Weiner]
|
|
7316
|
Analytic truths are those that can be demonstrated using only logic and definitions
[Frege, by Miller,A]
|
|
3307
|
Frege put forward an ontological argument for the existence of numbers
[Frege, by Benardete,JA]
|
|
13455
|
Frege did not think of himself as working with sets
[Frege, by Hart,WD]
|
|
16895
|
The null set is indefensible, because it collects nothing
[Frege, by Burge]
|
|
3328
|
Frege proposed a realist concept of a set, as the extension of a predicate or concept or function
[Frege, by Benardete,JA]
|
|
8689
|
Eventually Frege tried to found arithmetic in geometry instead of in logic
[Frege, by Friend]
|
|
22317
|
Truth does not admit of more and less
[Frege]
|
|
9179
|
Frege frequently expressed a contempt for language
[Frege, by Dummett]
|