Logika dowodów i uzasadnień

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Logics of Proofs and Justifications

Zawartość książki:

Logiki uzasadnień są blisko spokrewnione z logikami modalnymi i mogą być postrzegane jako udoskonalenie tych ostatnich z maszynerią do manipulacji uzasadnieniami. Uzasadnienia są reprezentowane bezpośrednio w języku za pomocą terminów, które mogą być interpretowane jako formalne dowody w systemie dedukcyjnym, dowody wiedzy, zwycięska strategia w grze itp. Ten bardziej ekspresyjny język okazał się korzystny zarówno w teorii dowodu, jak i epistemologii i pomógł zbadać problemy, począwszy od klasycznej semantyki dowodzenia dla logiki intuicjonistycznej, a skończywszy na problemie logicznej wszechwiedzy.

Logika uzasadniania jest nową i szybko rozwijającą się dziedziną, która oferuje nieoczekiwane nowe podejścia i wgląd w stare problemy. Jej pozycja na styku matematyki, filozofii i informatyki czyni ją interesującą dla szerokiego grona odbiorców.

Niniejsza książka stanowi rygorystyczne wprowadzenie do logiki uzasadniania. Obejmuje ona podstawowe konstrukcje logiki uzasadniania, jak również modele epistemiczne i semantykę dowodzenia. Ponadto zawiera rozdziały poświęcone rozstrzygalności i złożoności logik uzasadniania, a także rozdział poświęcony samoodniesieniu. Zawiera również szczegółowe uwagi historyczne na ten temat.