more on this theme
|
more from this thinker
Single Idea 22280
[filed under theme 19. Language / C. Assigning Meanings / 4. Compositionality
]
Full Idea
Frege's account was top-down, not bottom-up: he aimed to decompose and discern function-argument structure in already existing sentences, not to explain how those sentences acquired their meanings in the first place.
Gist of Idea
Frege's account was top-down and decompositional, not bottom-up and compositional
Source
report of Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 03 'Func'
Book Ref
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.29
A Reaction
This goes with the holistic account of meaning, which leads to Quine's gavagai and Kuhn's obfuscation of science. I recommend compositionality for everthing.
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]
|
|
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]
|
|
9950
|
A quantifier is a second-level predicate (which explains how it contributes to truth-conditions)
[Frege, by George/Velleman]
|
|
13609
|
Frege produced axioms for logic, though that does not now seem the natural basis for logic
[Frege, by Kaplan]
|
|
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]
|
|
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]
|