Philosophy: logic

This book revisits the definition of polemical discourse and deals with its functions in the democratic sphere.

This book argues that the primary function of human thinking in language is to make judgments, which are logical-normative connections of concepts.

This book collects a renowned scholar's essays from the past five decades and reflects two main concerns: an approach to logic that stresses argumentation, reasoning, and critical thinking and that is informal, empirical, naturalistic, practical, applied, concrete, and historical; and an interest in Galileo's life and thought-his scientific achievements, Inquisition trial, and methodological lessons in light of his iconic status as "e;father of modern science.

Apart from its foray into technical issues of risk assessment and management,  this book has one principal aim.

This volume is dedicated to Hiroakira Ono life's work on substructural logics.

This book applies the formal discipline of logic to everyday discourse.

This book develops a new Wittgenstein interpretation called Wittgenstein's Metametaphysics.

This book is dedicated to the work of Alasdair Urquhart.

This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic.

This book provides a collection of essays representing the state of the art in the research into argumentation in classical antiquity.

This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning.

This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic.

Of all philosophers of the 20th century, few built more bridges between academic disciplines than Karl Popper.

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922-2014).

This book repairs and revives the Theory of Knowledge research program of Russell's Principia era.

This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti.

This book presents a new structural approach to the psychology of the person, inspired by Kenneth Colby's computer-generated simulation, PARRY.

This contributed volume explores the ways logical skills have been perceived over the course of history.

This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers.

This volume is a collection of essays in honour of Professor Mohammad Ardeshir.

This volume clusters together issues centered upon the variety of types of intensional semantics.

Bringing together scholars from a broad range of theoretical perspectives, The Language of Argumentation offers a unique overview of research at the crossroads of linguistics and theories of argumentation.

This volume presents the state of the art in the algebraic investigation into substructural logics.

The life and soul of any science are its problems.

This book reports on cutting-edge concepts related to Bourbaki's notion of structures meres.

This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject.

The book offers a reflection on the nature, scope, and limits of knowledge that have been at the focus of the author's work over decades.

This book provides a fresh reading of Aquinas' metaphysics in the light of insights from the works of Frege.

This book offers insights relevant to modern history and epistemology of physics,mathematics and, indeed, to all the sciences and engineering disciplines emergingof 19th century.

The issue of a logic foundation for African thought connects well with the question of method.

This book reports on cutting-edge research concerning social practices.

This is the first book to systematically study the weak systems of mereology.

This book aims to lay bare the logical foundations of tractable reasoning.

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

The purpose of this book is to present unpublished papers at the cutting edge of research on dialetheism and to reflect recent work on the applications of the theory.

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE).

This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise?

This volume comprises a selection of contributions to the theorizing about argumentation that have been presented at the 9th conference of the International Society for the Study of Argumentation (ISSA), held in Amsterdam in July 2018.

This book is a companion to logical thought and logical thinking in China with a comparative and interdisciplinary perspective.

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.

This second volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

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.

This book presents the heritage of the Lvov-Warsaw School from both the historical and the philosophical perspective.

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest.

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s.

This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyas.

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics.