Text

Inquisitive Logic; Consequence and Inference in the Realm of Questions

---

Buku akses terbuka ini membuat kasus untuk memperluas logika di luar batas-batas tradisionalnya, untuk mencakup tidak hanya pernyataan tetapi juga pertanyaan. Motivasi perluasan ini ditelaah secara rinci. Ditunjukkan bahwa gagasan-gagasan penting, termasuk jawaban logis dan ketergantungan, muncul sebagai aspek-aspek dari gagasan fundamental tentang entailment ketika logika diperluas menjadi pertanyaan-pertanyaan, dan oleh karena itu dapat diperlakukan dengan perangkat ahli logika, termasuk konstruksi-konstruksi model-teoretis dan sistem-sistem pembuktian. Setelah memotivasi usaha, buku ini menjelaskan bagaimana logika proposisional dan predikat klasik dapat dibuat ingin tahu-yaitu, diperluas secara konservatif dengan pertanyaan-dan seperti apa logika yang dihasilkan dalam hal sifat-sifat meta-teori dan sistem pembuktian. Terakhir, buku ini membahas hubungan erat antara logika inkuiri dan logika ketergantungan.

---

Availability

No copy data

Detail Information

Series Title

Tren dalam Logika (TREN)

Call Number

160.42 CIA i

Publisher

Heidelberg, Jerman : Springer International Publishing., 2022

Collation

online resource ( XX, 272 Pages)

Language

English

ISBN/ISSN

978-3-031-09706-5

Classification

160.42

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Logika inferensial
Inferensi logis

Specific Detail Info

-

Statement of Responsibility

Ivano Ciardelli

Other Information

Cataloger

Erwin Hendarto

Source

https://link.springer.com/10.1007/978-3-031-09706-5

Validator

Erwin

Digital Object Identifier (DOI)

10.1007/978-3-031-09706-5

Journal Volume

60

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment