Philosophy: logic

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others.

This book celebrates and expands on J.

This work breaks new ground by carefully distinguishing the concepts of belief, confirmation, and evidence and then integrating them into a better understanding of personal and scientific epistemologies.

This book demonstrates how analytical thinking and intuition can be systematically connected and trained.

With this volume of the series Logic, Epistemology, and the Unity of Science edited by S.

The Dialectical Forge identifies dialectical disputation (jadal) as a primary formative dynamic in the evolution of pre-modern Islamic legal systems, promoting dialectic from relative obscurity to a more appropriate position at the forefront of Islamic legal studies.

This volume documents the 17th Munster Lectures in Philosophy with Susan Haack, the prominent contemporary philosopher.

This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures.

This volume discusses some crucial ideas of the founders of the analytic philosophy: Gottlob Frege, Bertrand Russell and Ludwig Wittgenstein, or the 'golden trio'.

In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages?

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.

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory.

This volume presents 50 contributions on the themes of reasonableness and effectiveness and their connections, which are central issues in argumentation theory.

This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution.

This book explores the two major elements of Hintikka's model of inquiry: underlying game theoretical motivations and the central role of questioning.

This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking.

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory.

As a Festschrift, this book celebrates and honours the scholarly achievements of Professor Jaysankar Lal Shaw, one of the most eminent and internationally acclaimed comparative philosophers of our times.

This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs.

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch.

This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science.

This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective.

This second volume of a collection of papers offers new perspectives and challenges in the study of logic.

This volume is dedicated to Prof.

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Beziau.

This book focuses on the problems of rules, rule-following and normativity as discussed within the areas of analytic philosophy, linguistics, logic and legal theory.

How can we advance knowledge?

This collection of essays explores the philosophy of human knowledge from a multitude of perspectives, with a particular emphasis upon the justification component of the classical analysis of knowledge and with an excursion along the way to explore the role of knowledge in Texas Hold 'Em poker.

This book contains 20 essays tracing the work of David Zarefsky, a leading North American scholar of argumentation from a rhetorical perspective.

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics.

This book illustrates the program of Logical-Informational Dynamics.

This book on infinite regress arguments provides (i) an up-to-date overview of the literature on the topic, (ii) ready-to-use insights for all domains of philosophy, and (iii) two case studies to illustrate these insights in some detail.

This volume celebrates the work of Petr Hajek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work.

This book investigates Aristotle's views on abstraction and explores how he uses it.

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws.

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena.

This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology.

This book explains the first published consistency proof of PA.

This book introduces a new form of argumentative analysis: rhetorical heuremes.

This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning.

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw  Lesniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school.

Welche Aussagen konstruktivistischer Theorieangebote eignen sich eigentlich dafür, Lehren und Lernen in Bezug auf das weite Feld der Religion zu beschreiben?

This book employs a new eco-cognitive model of abduction to underline the distributed and embodied nature of scientific cognition.

This book discusses the changing conceptions about the relationship between geometry and arithmetic within the Euclidean tradition that developed in the British context of the sixteenth and seventeenth century.

This book explores new territory at the interface between semantics and pragmatics, reassessing a number of linguistic phenomena in the light of recent advances in pragmatic theory.

This book is dedicated to V.

The book analyses the concept of discoverability, and some current epistemological problems related to it, with a special attention to science.

Mit einigem Recht kann man Freges grundlegenden Aufsatz von 1892 als Gründungsurkunde der neueren Sprachphilosophie verstehen: Als Ausarbeitung seines Aufsatzes »Funktion und Begriff« entwirft er in diesem Paper nicht mehr und nicht weniger als eine völlig neue, allgemeine Bedeutungslehre, die erhebliche Auswirkungen bis heute hat.