What Is a Logical System?
by Gabbay, D. M.Format: Hardcover
Pub. Date: 1995-01-26
Publisher(s): Clarendon Press
Other versions by this Author
-
This Item Qualifies for Free Shipping!*
*Excludes marketplace orders.
List Price: $240.80
Buy New
Arriving Soon. Will ship when available.
$229.33
Rent Textbook
Select for Price
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics.
Table of Contents
| List of contributors | |
| What is Logic? | p. 1 |
| Logic without Model Theory | p. 35 |
| Diagrams and the Concept of Logical System | p. 73 |
| General Dynamic Logic | p. 107 |
| What is a Deductive System? | p. 141 |
| The Transmission of Truth and the Transitivity of Deduction | p. 161 |
| What is a Logical System? | p. 179 |
| What is a Logical System? | p. 217 |
| Structure, Consequence Relation and Logic | p. 239 |
| Schematic Consequence | p. 261 |
| Logical Constants as Punctuation Marks | p. 273 |
| Finitary Inductively Presented Logics | p. 297 |
| A Theory and its Metatheory in FSO | p. 329 |
| General Logics and Logical Frameworks | p. 355 |
| General Algebraic Logic: A Perspective on 'What is Logic' | p. 393 |
| Index | p. 444 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.