Proofs and Models in Philosophical Logic (Paperback)
Greg Restall
Venduto da CitiRetail, Stevenage, Regno Unito
Venditore AbeBooks dal 29 giugno 2022
Nuovi - Brossura
Condizione: Nuovo
Quantità: 1 disponibili
Aggiungere al carrelloVenduto da CitiRetail, Stevenage, Regno Unito
Venditore AbeBooks dal 29 giugno 2022
Condizione: Nuovo
Quantità: 1 disponibili
Aggiungere al carrelloPaperback. 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. 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 different proof systems and different kinds of models for a range of logics, as well as compares and contrasts the different approaches to substructural treatments of the paradox. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Codice articolo 9781009045384
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
Orders can be returned within 30 days of receipt.
Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.
Quantità dell?ordine | Da 7 a 60 giorni lavorativi | Da 7 a 14 giorni lavorativi |
---|---|---|
Primo articolo | EUR 34.36 | EUR 42.38 |
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.