A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises.
This volume is a result of the international symposium "e;The Tradition of the Lvov-Warsaw School in European Culture,"e; which took place in Warsaw, Poland, September 2015.
Arguing that our attachment to Aristotelian modes of discourse makes a revision of their conceptual foundations long overdue, the author proposes the consideration of unacknowledged factors that play a central role in argument itself.
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
Since the late 1950s the study of argumentation has developed from a marginal part of logic and rhetoric into a genuine interdisciplinary academic discipline.
Our finances, politics, media, opportunities, information, shopping and knowledge production are mediated through algorithms and their statistical approaches to knowledge; increasingly, these methods form the organizational backbone of contemporary capitalism.
This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyas.
This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic.
Edited by three leading figures in the field, this exciting volume presents cutting-edge work in decision theory by a distinguished international roster of contributors.
Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field.
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists.
Reference to Abstract Objects in Discourse presents a novel framework and analysis of the ways we refer to abstract objects in natural language discourse.
The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century.
Paradoxes are arguments that lead from apparently true premises, via apparently uncontroversial reasoning, to a false or even contradictory conclusion.
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.
Lacan and the Formulae of Sexuation provides the first critical reading of Lacan's formulae of sexuation, examining both their logical consistency and clinical consequences.
In this book, Bryan Wesley Hall breaks new ground in Kant scholarship, exploring the gap in Kant's Critical philosophy in relation to his post-Critical work by turning to Kant's final, unpublished work, the so-called Opus Postumum.
This volume aims to provide the elements for a systematic exploration of certain fundamental notions of Peirce and Husserl in respect with foundations of science by means of drawing a parallelism between their works.