more on this theme
|
more from this thinker
Single Idea 3319
[filed under theme 5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
]
Full Idea
The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board.
Gist of Idea
Frege gives a functional account of predication so that we can dispense with predicates
Source
report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9
Book Ref
Benardete,José A.: 'Metaphysics: The Logical Approach' [OUP 1989], p.59
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]
|