Philosophy: logic

This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics.

Over a million students have learned to be more discerning at constructing and evaluating arguments with the help of Hurley's A CONCISE INTRODUCTION TO LOGIC.

Too often we're guided by what we last heard, by our friends' approval, by impulse-our desires, our fears.

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

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 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 bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

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

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

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

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy.

This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics.

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change.

This monograph proposes a new way of implementing interaction in logic.

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

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

The twentieth century witnessed the birth of analytic philosophy.

This book examines the nature, sources, and implications of fallacies in philosophical reasoning.

This book features mathematical and formal philosophers' efforts to understand philosophical questions using mathematical techniques.

This volume contains 21 new and original contributions to the study of formal semantics, written by distinguished experts in response to landmark papers in the field.

This book is dedicated to the work of Alasdair Urquhart.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022.

This volume examines the entire logical and philosophical production of Nicolai A.

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

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

This book develops a novel generalization of possible world semantics, called 'world line semantics', which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics.

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

This book provides an overview of the confluence of ideas in Turing's era and work and examines the impact of his work on mathematical logic and theoretical computer science.

Using both Father Kevin Wall's eidetic matrix of "e;the relational unity of being"e; and Edith Stein's remarkable synoptic view of intentionality in both Aquinas and Husserl, this book uncovers purely logical ground for a subalternate eidetic science called "e;convergent phenomenology,"e; itself located at the inmost depths of Husserlian phenomenology.

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

This book presents reflections on the relationship between narratives and argumentative 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.

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

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

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.

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 presents Godel's incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics.

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.

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.

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

This wide-ranging book introduces information as a key concept not only in physics, from quantum mechanics to thermodynamics, but also in the neighboring sciences and in the humanities.

This first volume has as its main focus the philosophical foundations of Michalos' work and describes it in the broad context of the study of logic, the philosophy of social sciences, and a general theory of value.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021.

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

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics.

This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017.

This book contains more than 15 essays that explore issues in truth, existence, and explanation.

The twentieth century witnessed the birth of analytic philosophy.

This book offers a comprehensive critical survey of issues of historical interpretation and evaluation in Bertrand Russell's 1918 logical atomism lectures and logical atomism itself.

This edited volume brings together 18 state-of-the art essays on pluralism about truth and logic.