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.

Tadeusz Kotarbinski is one of towering figures in contemporary Polish philosophy.

The only book to investigate the parallel between what happens at other times and what happens in other possible worlds.

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

The author has taken an important subject, one which has pervaded the thinking of scientists, philosophers, and historians, and with impeccable scholarship and great clarity has concerned himself with a specific aspect of it: the way in which the determination of how the unity of the sciences is to be conceived presented itself to philosophers as a specifically philosophical or logical problem.

This book presents and discusses the varying and seminal role which colour plays in the development of Wittgenstein's philosophy.

"e;The old logic put thought in fetters, while the new logic gives it wings.

Quine is one of the twentieth century's most important and influential philosophers.

First Published in 1964, Studies in Metaphilosophy presents and develop the hypothesis about the nature of metaphysical theories.

This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition.

Experts in the field explore the connections across physics, quantum logic, and quantum computing.

This volume contains a collection of research papers centered around the concept of quantifier.

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.

This revised edition of the highly recommended book "e;First-Order Modal Logic"e;, originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments.

Mit seinem epochalen Werk »Idee und Grundriß einer nicht-Aristotelischen Logik« (1959) legte Gotthard Günther (1900–1984) den Grundstein für eine radikal neue Form der philosophischen Betrachtung der ontologischen Einheit des Universums, deren Richtigkeit heute (auch unabhängig von Günther und in der Regel auf ungleich niedrigerem Niveau) von den Wissenschaften bestätigt wird (so z.

Originally published in 1980.

"e;The problem of philosophical scepticism is not so much what to say about the view itself (there being a consensus that it should be rejected), but rather what to say about the arguments that purport to yield it.

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.

OndrejMajer,Ahti-VeikkoPietarinen,andTeroTulenheimo 1 Games and logic in philosophy Recent years have witnessed a growing interest in the unifying methodo- gies over what have been perceived as pretty disparate logical 'systems', or else merely an assortment of formal and mathematical 'approaches' to phi- sophical inquiry.

First published in 1999, this volume re-examines Bertrand Russell's views on modal logic and logical relevance, arguing that Russell does in fact accommodate modality and modal logic.

Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.

Our experience of objects (and consequently our theorizing about them) is very rich.

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

Roy T Cook examines the Yablo paradox-a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others later than it in the sequence-with special attention paid to the idea that this paradox provides us with a semantic paradox that involves no circularity.

This book explores the major themes of Carnap''s philosophy and discusses his relationship with the Vienna Circle.

Originally published in 1986.

Zu Ontologie, Logik, Kosmologie, Erkenntnis- und Wissenschaftstheorie.

This book offers a detailed account and discussion of Ludwig Wittgenstein's philosophy of mathematics.

The papers in this volume present some of the most recent results of the work about contradictions in philosophical logic and metaphysics; examine the history of contradiction in crucial phases of philosophical thought; consider the relevance of contradictions for political and philosophical actuality.

Originally published in 1990.

Is logic a good tool for making decisions?

From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction.

For centuries, inconsistencies were seen as a hindrance to good reasoning, and their role in the sciences was ignored.

This book is about philosophy, mathematics and logic, giving a philosophical account of Pluralism which is a family of positions in the philosophy of mathematics.

Offers the first comprehensive textbook covering the interrelations between topics in the philosophy of logic in an accessible, non-technical, and up-to-date way.

In the study of forms of legal reasoning, logic and argumentation theory long followed separate tracks.

It is the linguistic job of singular terms to pick out the objects that we think or talk about.

This book introduces the principles of place and time by discussing the main roles they play in argumentation, unpacking the multifarious meanings of spatiality and temporality.