more on this theme
|
more from this thinker
Single Idea 6076
[filed under theme 5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
]
Full Idea
For Frege, a predicate does not refer to the objects of which it is true, but to the function that maps these objects onto the True and False; ..a predicate is a name for this function.
Gist of Idea
For Frege, predicates are names of functions that map objects onto the True and False
Source
report of Gottlob Frege (works [1890]) by Colin McGinn - Logical Properties Ch.3
Book Ref
McGinn,Colin: 'Logical Properties' [OUP 2003], p.67
A Reaction
McGinn says this is close to the intuitive sense of a property. Perhaps 'predicates are what make objects the things they are?'
The
26 ideas
from 'works'
5657
|
Frege's logic showed that there is no concept of being
[Frege, by Scruton]
|
3307
|
Frege put forward an ontological argument for the existence of numbers
[Frege, by Benardete,JA]
|
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]
|
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]
|
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]
|
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]
|