The Primacy of the Universal Quantifier in Frege's Concept-Script
Bibliographic Data
| ID | 21311439 |
|---|---|
| Authors | Joongol Kim (corresponding author) |
| Year | 2020 |
| Volume | 74 |
| Issue | 2 |
| Pages | 279-298 |
| Publication date | 2020-01-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | dialectica (JOURNAL) |
| Journal identifiers | ISSN: 0012-2017 • E-ISSN: 1746-8361 |
| Publisher | Verein philosophie.ch (PUBLISHER) |
| DOI | 10.48106/dial.v74.i2.04 |
| OpenAlex | W4309703768 |
| Language | EN |
| Citations received | 1 |
| References cited | 2 |
This paper presents three explanations of why Frege took the universal, rather than the existential, quantifier as primitive in his formalization of logic. The first two explanations provide technical reasons related to how Frege formalizes the logic of truth-functions and the logic of quantification. The third, philosophical explanation locates the reason in Frege's logicist goal of analyzing arithmetical concepts---especially the concepts of 0 and 1---in purely logical terms
Arithmetic function · Description logic · Discrete mathematics · Epistemology · Existentialism · Intermediate logic · Linguistics · Predicative expression · Principle of compositionality · Programming language · Propositional variable · Quantifier (linguistics) · Syllogism · Tautology (logic) · Classical Philosophy and Thought · Computer Science · Mathematics · Philosophy · Philosophy and Theoretical Science
| Citations per year | 0.17 |
|---|---|
| Citation span | 2020 - 2020 (1) |
| Highly cited | No |