|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 4 gevonden artikelen
| Titel: |
Quantification Theory in *9 of Principia Mathematica |
| Auteur: |
Landini, Gregory |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 21 (2000) nr. 1 pagina's 57-77 |
| Jaar: |
2000-01-01 |
| Inhoud: |
This paper examines the quantification theory of *9 of Principia Mathematica. The focus of the discussion is not the philosophical role that section *9 plays in Principia's full ramified type-theory. Rather, the paper assesses the system of *9 as a quantificational theory for the ordinary predicate calculus. The quantifier-free part of the system of *9 is examined and some misunderstandings of it are corrected. A flaw in the system of *9 is discovered, but it is shown that with a minor repair the system is semantically complete. Finally, the system is contrasted with the system of *8 of Principia's second edition. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 4 gevonden artikelen
| << vorige |