Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Provability, Computability and Reflection -  Lev D. Beklemishev

Provability, Computability and Reflection (eBook)

eBook Download: PDF
2000 | 1. Auflage
106 Seiten
Elsevier Science (Verlag)
978-0-08-095744-9 (ISBN)
Systemvoraussetzungen
217,69 inkl. MwSt
(CHF 209,95)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Provability, Computability and Reflection
Provability, Computability and Reflection

Front Cover 1
Toward a Systematic Pragmatics 4
Copyright Page 5
Contents 10
Introduction 12
CHAPTER I. THE NATURE OF PRAGMATICS 18
A. Carnap’s Conception of Pragmatics 18
B. Extensionality 22
C. Pragmatics and Pragmatism 23
D. Different Levels of Pragmatics 25
E. Some Fundamental Relations 27
CHAPTER II. TYPE-THEORETICAL SYSTEMS AND SEMANTICAL SUBSTRUCTURE 31
A. Primitive Framework 31
B. Abstracts 34
C. Rules 35
D. Relations and Ordered Couples 37
E. Syntax 39
F. Designation 46
G. Truth 48
CHAPTER III. A PRAGMATICAL META-LANGUAGE 50
A. Acceptance 50
B. Rules 52
C. Classification of Users of T 56
D. Quasi-Intensions 61
E. Co-Intensiveness 67
F. Quasi-Propositions 70
G. Total Acceptance Classes 74
CHAPTER IV. SOME FURTHER NOTIONS OF PRAGMATICS 78
A. On Understanding 78
B. Some Philosophical Users of T 80
C. Other Object-Languages 81
D. Inscriptional Pragmatics 82
E. Non-Translational Pragmatics 83
F. Pragmatics Based only on Syntax 85
G. Utterance and Assertion 86
H. Performance 88
CHAPTER V. ANALYTIC TRUTH AND ABSOLUTE INTENSIONS 93
A. Analytic Truth 93
B. L-Equivalence and Allied Notions 96
C. Absolute Quasi-Intensions 100
D. Pragmatical and Absolute Quasi-Intensions 103
E. Some Alternative Definitions 105
F. Some Concluding Comments 106
APPENDIX: On Goodman’s Theory of Projectible Predicates 112
INDEX 121
SPECIAL SYMBOLS 123

Erscheint lt. Verlag 1.4.2000
Sprache englisch
Themenwelt Informatik Software Entwicklung User Interfaces (HCI)
Informatik Theorie / Studium Algorithmen
Mathematik / Informatik Mathematik Logik / Mengenlehre
Naturwissenschaften
Technik
ISBN-10 0-08-095744-7 / 0080957447
ISBN-13 978-0-08-095744-9 / 9780080957449
Haben Sie eine Frage zum Produkt?
PDFPDF (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 Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
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 Adobe-ID sowie eine kostenlose App.
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.

Mehr entdecken
aus dem Bereich
Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL …

von Edwin Schicker

eBook Download (2017)
Springer Vieweg (Verlag)
CHF 34,15
Unlock the power of deep learning for swift and enhanced results

von Giuseppe Ciaburro

eBook Download (2024)
Packt Publishing (Verlag)
CHF 35,15