Provability, Computability and Reflection (eBook)
112 Seiten
Elsevier Science (Verlag)
978-0-08-095731-9 (ISBN)
Provability, Computability and Reflection
Front Cover 1
Truth and Consequence in Mediaeval Logic 4
Copyright Page 5
Contents 7
Preface 6
Conspectus of Symbolic Notations 8
Chapter I. Introduction 10
1. Survey of the Development of Mediaeval Logic 10
2. Aim and Scope of the Present Study 19
Chapter II. Logic and language 22
3. The Mediaeval Conception of Logic 22
4. The Formal and Material Constituents of Discourse 25
5. Signification and Supposition 27
6. Personal (Formal) and Material Supposition 32
7. Object Language, Metalanguage, and the Transcendental Terms 35
Chapter III. The theory of truth conditions 39
8. The Formal Classification of Propositions 39
9. The Logical Import of the Elementary Copula 41
10. The Sentential Operators 47
11. Quantification 52
12. Time Range and Modality 62
Chapter IV. The theory of consequence 73
13. The Meaning of ‘Consequence’ in Mediaeval Logic 73
14. Formal and Material Consequences 79
15. The Mediaeval Logic of Propositions 89
Chapter V. Truth and consequence 110
16. The Aristotelian Definition of Truth 110
17. The Paradox of the Liar 112
Abbreviations for Works Cited, and Bibliography 120
| Erscheint lt. Verlag | 1.4.2000 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-10 | 0-08-095731-5 / 0080957315 |
| ISBN-13 | 978-0-08-095731-9 / 9780080957319 |
| Haben Sie eine Frage zum Produkt? |
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
