Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Proofs and Models in Philosophical Logic
Engelsk
Bogcover for Proofs and Models in Philosophical Logic af Greg Restall, 9781009045384
Specifikationer
Sprog:
Engelsk
Sider:
75
ISBN-13:
9781009045384
Indbinding:
Paperback
ISBN-10:
1009045385
Kategori:
Udg. Dato:
21 apr 2022
Størrelse i cm:
15,2 x 22,8 x 0,9
Oplagsdato:
21 apr 2022
Forfatter(e):

Proofs and Models in Philosophical Logic

Engelsk
Paperback 2022
Format:

Bog beskrivelse
This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces and motivates different proof systems and different kinds of models for a range of logics, including classical logic, intuitionistic logic, a range of three-valued and four-valued logics, and substructural logics. It also compares and contrasts the different approaches to substructural treatments of the paradox, showing how the structural rules of contraction, cut and identity feature in paradoxical derivations. It then introduces model theoretic treatments of the paradoxes, including a simple fixed-point model construction which generates three-valued models for theories of truth, which can provide models for a range of different non-classical logics. The Element closes with a discussion of the relationship between proofs and models, arguing that both have their place in the philosophers'' and logicians'' toolkits.
... Vis mere

Hos Booktok
210 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
75
ISBN-13:
9781009045384
Indbinding:
Paperback
ISBN-10:
1009045385
Kategori:
Udg. Dato:
21 apr 2022
Størrelse i cm:
15,2 x 22,8 x 0,9
Oplagsdato:
21 apr 2022
Forfatter(e):
Finder produkter...
Kategori sammenhænge