|
| << 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 17 van 56 gevonden artikelen
| Titel: |
Categoricity |
| Auteur: |
Corcoran, John |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 1 (1980) nr. 1-2 pagina's 187-207 |
| Jaar: |
1980 |
| Inhoud: |
After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those involving the distinction between characterizing a system and axiomatizing the truths of a system. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 17 van 56 gevonden artikelen
| << vorige | volgende >> |