more on this theme
|
more from this thinker
Single Idea 10536
[filed under theme 5. Theory of Logic / G. Quantification / 2. Domain of Quantification
]
Full Idea
For Frege there is no need to specify the domain of the individual variables, which is taken as the totality of all objects. This contrasts with the standard notion of an interpretation, which demands that we first fix the domain.
Gist of Idea
Frege's domain for variables is all objects, but modern interpretations first fix the domain
Source
comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14
Book Ref
Dummett,Michael: 'Frege Philosophy of Language' [Duckworth 1981], p.475
A Reaction
What intrigues me is how domains of quantification shift according to context in ordinary usage, even in mid-sentence. I ought to go through every idea in this database, specifying its domain of quantification. Any volunteers?
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]
|