Proofs and models are key tools for analysing clarifying our concepts. Philosophers should learn how to use both.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
EUR 13,74 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiEUR 2,29 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiDa: Prior Books Ltd, Cheltenham, Regno Unito
Paperback. Condizione: Like New. First Edition. In nearly new condition: firm and square with strong joints, no creases. Just a few hardly noticeable rubs or very mild bumps. Hence a non-text page shows a small 'damaged' stamp. Despite such this book looks and feels unread. Thus the contents are crisp, fresh and tight. And so a very nice book in great condition, now offered for sale at a reasonable price. Codice articolo 203667
Quantità: 1 disponibili
Da: Rarewaves.com UK, London, Regno Unito
Paperback. Condizione: New. 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. Codice articolo LU-9781009045384
Quantità: Più di 20 disponibili
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 160. Codice articolo C9781009045384
Quantità: Più di 20 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 75 pages. 9.00x6.00x0.19 inches. In Stock. This item is printed on demand. Codice articolo __1009045385
Quantità: 1 disponibili
Da: California Books, Miami, FL, U.S.A.
Condizione: New. Codice articolo I-9781009045384
Quantità: Più di 20 disponibili
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Paperback. Condizione: New. 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. Codice articolo LU-9781009045384
Quantità: Più di 20 disponibili
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. Proofs and Models in Philosophical Logic 0.3. Book. Codice articolo BBS-9781009045384
Quantità: 5 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. New edition NO-PA16APR2015-KAP. Codice articolo 26390145868
Quantità: 4 disponibili
Da: moluna, Greven, Germania
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 compar. Codice articolo 544054569
Quantità: Più di 20 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 44204943-n
Quantità: Più di 20 disponibili