more on this theme
|
more from this thinker
Single Idea 22270
[filed under theme 1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
]
Full Idea
Frege's 1879 logic transformed philosophy because it greatly expanded logic's reach - what thought can achieve unaided - and hence compelled a re-examination of everything previously said about the grounds of thought when logic gives out.
Gist of Idea
Frege changed philosophy by extending logic's ability to check the grounds of thinking
Source
comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 Intro
Book Ref
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.1
A Reaction
I loved the gloss on logic as 'what thought can achieve unaided'. I largely see logic in terms of what is mechanically computable.
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]
|