Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Elements in Philosophy and Logic Ser.: Proofs and Models in Philosophical Logic by Greg Restall (2022, Trade Paperback)
Rarewaves (622636)
97.7% positive feedback
Price:
US $31.51
ApproximatelyRM 135.99
+ $3.99 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCambridge University Press
ISBN-101009045385
ISBN-139781009045384
eBay Product ID (ePID)3057257868
Product Key Features
Number of Pages75 Pages
LanguageEnglish
Publication NameProofs and Models in Philosophical Logic
SubjectLogic
Publication Year2022
FeaturesNew Edition
TypeTextbook
AuthorGreg Restall
Subject AreaPhilosophy
SeriesElements in Philosophy and Logic Ser.
FormatTrade Paperback
Dimensions
Item Height0.2 in
Item Length9 in
Item Width6 in
Additional Product Features
Intended AudienceCollege Audience
Dewey Edition23
IllustratedYes
Dewey Decimal160
Edition DescriptionNew Edition
SynopsisThis 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.
LC Classification NumberBC135
Be the first to write a review
