|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 5 gevonden artikelen
| Titel: |
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic |
| Auteur: |
Awodey, Steve Reck, Erich H. |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 23 (2002) nr. 1 pagina's 1-30 |
| Jaar: |
2002-03-01 |
| Inhoud: |
This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics so as to shed new light on the relevant strengths and limits of higher-order logic. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 5 gevonden artikelen
| << vorige | volgende >> |