more on this theme
|
more from this thinker
Single Idea 16882
[filed under theme 14. Science / B. Scientific Theories / 1. Scientific Theory
]
Full Idea
The ultimate building blocks of a discipline contain, as it were in a nutshell, its whole contents.
Gist of Idea
The building blocks contain the whole contents of a discipline
Source
Gottlob Frege (works [1890]), quoted by Tyler Burge - Frege on Knowing the Foundations 1
Book Ref
Burge,Tyler: 'Truth, Thought, Reason (on Frege)' [OUP 2001], p.320
A Reaction
[Burge gives a reference] I would describe this nutshell as the 'essence' of the subject, and it fits Aristotle's concept of an essence perfectly. Does it fit biology or sociology, in the way it might fit maths or logic? Think of DNA or cells in biology.
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]
|
|
16882
|
The building blocks contain the whole contents of a discipline
[Frege]
|
|
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]
|
|
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]
|