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.
Since the revolution in philosophic method that began about a century ago, the focus of philosophic attention has been on language as used both in daily conversation and in specialized institutional activities such as science, law, and the arts.
This book aims to develop a philosophical theory of extrinsic properties - of properties whose instantiation by an object does not only depend on what the object itself is like, but also on features of its environment.
The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students.
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.