more on this theme
|
more from this thinker
Single Idea 10607
[filed under theme 6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
]
Full Idea
Frege's general logical system involves a type hierarchy, distinguishing objects from properties from properties-of-properties etc., with every item belonging to a determinate level.
Gist of Idea
Frege's logic has a hierarchy of object, property, property-of-property etc.
Source
report of Gottlob Frege (Begriffsschrift [1879]) by Peter Smith - Intro to Gödel's Theorems 14.1
Book Ref
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.118
A Reaction
The Theory of Types went on to apply this hierarchy to classes, where Frege's disastrous Basic Law V flattens the hierarchy of classes, putting them on the same level (Smith p.119)
The
20 ideas
from 'Begriffsschrift'
|
17855
|
It may be possible to define induction in terms of the ancestral relation
[Frege, by Wright,C]
|
|
10607
|
Frege's logic has a hierarchy of object, property, property-of-property etc.
[Frege, by Smith,P]
|
|
11008
|
Existence is not a first-order property, but the instantiation of a property
[Frege, by Read]
|
|
22280
|
Frege's account was top-down and decompositional, not bottom-up and compositional
[Frege, by Potter]
|
|
7741
|
The predicate 'exists' is actually a natural language expression for a quantifier
[Frege, by Weiner]
|
|
22270
|
Frege changed philosophy by extending logic's ability to check the grounds of thinking
[Potter on Frege]
|
|
8939
|
We should not describe human laws of thought, but how to correctly track truth
[Frege, by Fisher]
|
|
7622
|
In 1879 Frege developed second order logic
[Frege, by Putnam]
|
|
7729
|
Frege replaced Aristotle's subject/predicate form with function/argument form
[Frege, by Weiner]
|
|
9950
|
A quantifier is a second-level predicate (which explains how it contributes to truth-conditions)
[Frege, by George/Velleman]
|
|
9991
|
For Frege the variable ranges over all objects
[Frege, by Tait]
|
|
10536
|
Frege's domain for variables is all objects, but modern interpretations first fix the domain
[Dummett on Frege]
|
|
7730
|
Frege introduced quantifiers for generality
[Frege, by Weiner]
|
|
7742
|
Frege reduced most quantifiers to 'everything' combined with 'not'
[Frege, by McCullogh]
|
|
13824
|
Proof theory began with Frege's definition of derivability
[Frege, by Prawitz]
|
|
13609
|
Frege produced axioms for logic, though that does not now seem the natural basis for logic
[Frege, by Kaplan]
|
|
17745
|
For Frege, 'All A's are B's' means that the concept A implies the concept B
[Frege, by Walicki]
|
|
7728
|
Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing)
[Frege, by Weiner]
|
|
4971
|
I don't use 'subject' and 'predicate' in my way of representing a judgement
[Frege]
|
|
16881
|
The laws of logic are boundless, so we want the few whose power contains the others
[Frege]
|