more on this theme
|
more from this thinker
Single Idea 4971
[filed under theme 4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
]
Full Idea
A distinction of subject and predicate finds no place in my way of representing a judgement.
Gist of Idea
I don't use 'subject' and 'predicate' in my way of representing a judgement
Source
Gottlob Frege (Begriffsschrift [1879], §03)
Book Ref
'From Frege to Gödel 1879-1931', ed/tr. Heijenoort,Jean van [Harvard 1967], p.12
A Reaction
Perhaps this sentence could be taken as the beginning of modern analytical philosophy. The old view doesn't seem to me entirely redundant - merely replaced by a much more detailed analysis of what makes a 'subject' and what makes a 'predicate'.
The
20 ideas
from 'Begriffsschrift'
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]
|
7730
|
Frege introduced quantifiers for generality
[Frege, by Weiner]
|
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]
|
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]
|
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]
|
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]
|