Hitoshi Omori - Böcker
Visar alla böcker från författaren Hitoshi Omori. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
IfColog Journal of Logics and their Applications. Volume 3, number 3
Connexive Logics
Häftad, Engelska, 2016
184 kr
Skickas inom 5-8 vardagar
1 170 kr
Skickas inom 10-15 vardagar
This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn.Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions tocomputer science, such as knowledge representation and information processing.This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.
1 170 kr
Skickas inom 10-15 vardagar
This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE).
1 381 kr
Skickas inom 7-10 vardagar
While at the turn of the 21st century connexive logic was a virtually dead research programme, the situation has changed significantly after the inclusion of an entry on connexive logic in the Stanford Encyclopedia of Philosophy in 2006 and the beginning of a series of annual workshops on connexive logic in 2015.