Image of Harmony and Paradox; Intensional Aspects of Proof-Theoretic Semantics
Bookmark Share

Text

Harmony and Paradox; Intensional Aspects of Proof-Theoretic Semantics

Buku akses terbuka ini menyelidiki peran yang dimainkan oleh identitas bukti dalam semantik teori-bukti. Buku ini mengembangkan sebuah konsepsi tentang semantik teori-pembuktian yang terutama berkaitan dengan hubungan antara bukti (dipahami sebagai entitas abstrak) dan turunan (representasi linguistik dari bukti). Buku ini menunjukkan bahwa identitas bukti adalah kunci untuk memperjelas beberapa -yang masih belum sepenuhnya dipahami- gagasan-gagasan yang menjadi inti dari semantik teori-bukti, seperti harmoni; dan untuk memperluas cakupan fenomena yang dapat dianalisa dengan menggunakan perangkat-perangkat dari paradigma semantik ini, sehingga dapat mencakup, sebagai contoh, paradoks-paradoks. Buku ini mencakup topik-topik seperti signifikansi filosofis dari berbagai kriteria identitas bukti yang berbeda, dan kondisi kecukupan untuk penjelasan intensional dari gagasan harmoni. Penulis juga meneliti analisis Prawitz-Tennant tentang paradoks dengan menyelidiki di satu sisi prospek untuk mengubahnya menjadi teori makna untuk bahasa paradoks, dan di sisi lain dua jenis fenomena yang berbeda, yang pertama kali diamati oleh Crabbe dan Ekman, yang menunjukkan bahwa kriteria Tennant-Prawitz untuk paradoksalitas berlebihan. Buku ini sangat menarik bagi para ahli logika formal dan filosofis.

Availability

No copy data

Detail Information
Series Title
Tren dalam Logika (TREN)
Call Number
160.3 TRA h
Publisher
Heidelberg, Jerman : Springer International Publishing.,
Collation
online resource ( XV, 184 Pages)
Language
English
ISBN/ISSN
978-3-031-46921-3
Classification
160.3
Content Type
text
Media Type
computer
Carrier Type
online resource
Edition
-
Subject(s)
Semantik
Semantik dalam logika filosofis
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
Erwin Hendarto
Source
https://link.springer.com/10.1007/978-3-031-46921-3
Validator
Erwin
Digital Object Identifier (DOI)
10.1007/978-3-031-46921-3
Journal Volume
62
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment