Image of Advances in Proof-Theoretic Semantics
Bookmark Share

Text

Advances in Proof-Theoretic Semantics

Buku ini adalah koleksi pertama yang dikhususkan untuk bidang semantik teori pembuktian. Kontribusi-kontribusi membahas topik-topik termasuk sistematika aturan-aturan pengenalan dan eliminasi dan bukti-bukti normalisasi, karakterisasi kategorik dari deduksi, hubungan antara pendekatan Heyting dan Gentzen tentang makna, paradoks-paradoks yang dapat diketahui, dasar-dasar teori pembuktian dari teori himpunan, pembenaran hukum-hukum logika oleh Dummett, teori konstruksi oleh Kreisel, penalaran paradoksal, dan pembelaan dari teori model. Bidang semantik teori-pembuktian telah ada selama hampir 50 tahun, tetapi istilah itu sendiri diusulkan oleh Schroeder-Heister pada tahun 1980-an. Semantik teori-pembuktian menjelaskan arti ekspresi linguistik secara umum dan konstanta logika secara khusus dalam kaitannya dengan konsep pembuktian. Buku ini muncul dari presentasi pada Konferensi Internasional Kedua tentang Semantik Teoretis Pembuktian di Tübingen pada tahun 2013, di mana para penulis yang berkontribusi diminta untuk memberikan deskripsi dan analisis mandiri tentang pertanyaan penelitian yang signifikan di bidang ini. Kontribusi-kontribusi ini mewakili bidang ini dan seharusnya menarik bagi para ahli logika, filsuf, dan matematikawan.

Availability

No copy data

Detail Information
Series Title
Tren dalam Logika (TREN)
Call Number
160.3 PIE a
Publisher
Heidelberg, Jerman : Springer International Publishing.,
Collation
online resource ( VI, 283 Pages)
Language
English
ISBN/ISSN
978-3-319-22686-6
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-319-22686-6
Validator
Erwin
Digital Object Identifier (DOI)
10.1007/978-3-319-22686-6
Journal Volume
43
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

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