Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

This volume documents the 17th Munster Lectures in Philosophy with Susan Haack, the prominent contemporary philosopher. It contains an original, programmatic article by Haack on her overall philosophical approach, entitled 'The Fragmentation of Philosophy, the Road to Reintegration'. In addition, the volume includes seven papers on various aspects of Haack's philosophical work as well as her replies to the papers. Susan Haack has deeply influenced many of the debates in contemporary philosophy. In her vivid and accessible way, she has made ground-breaking contributions covering a wide range of topics, from logic, metaphysics and epistemology, to pragmatism and the philosophy of science and law. In her work, Haack has always been very sensitive in detecting subtle differences. The distinctions she has introduced reveal what lies at the core of philosophical controversies, and show the problems that exist with established views. In order to resolve these problems, Haack has developed some 'middle-course approaches'. One example of this is her famous 'Foundherentism', a theory of justification that includes elements from both the rival theories of Foundationalism and Coherentism. Haack herself has offered the best description of her work calling herself a 'passionate moderate'.

In 1945 Alonzo Church issued a pair of referee reports in which he anonymously conveyed to Frederic Fitch a surprising proof showing that wherever there is (empirical) ignorance there is also logically unknowable truth. Fitch published this and a generalization of the result in 1963. Ever since, philosophers have been attempting to understand the significance and address the counter-intuitiveness of this, the so-called paradox of knowability.
This collection assembles Church's referee reports, Fitch's 1963 paper, and nineteen new papers on the knowability paradox. The contributors include logicians and philosophers from three continents, many of whom have already made important contributions to the discussion of the problem. The volume contains a general introduction to the paradox and the background literature, and is divided into seven sections that roughly mark the central points of debate. The sections include the history of the paradox, Michael Dummett's constructivism, issues of paraconsistency, developments of modal and temporal logics, Cartesian restricted theories of truth, modal and mathematical fictionalism, and reconsiderations about how, and whether, we ought to construe an anti-realist theory of truth.

For centuries debates about reason and its Other have animated and informed philosophy, art, science and politics throughout Western civilization - but nowhere, arguably as deeply and turbulently as in Germany. Reason, the legacy of the Enlightenment, has been claimed, rejected and redefined by influential German thinkers from Kant to Nietzsche to Habermas. In our own time - more than 200 years after Kant's Critique of Pure Reason - the status of reason and the irrational, what is and what should be excluded from reason, what qualifies as a critique of reason, are all still central philosophical issues in Germany as well as throughout the West.

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfill two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.

Logic is of course a general resource for reasoning at large. But in the first half of the twentieth century, it developed particularity with a view to mathematical applications, and the field of mathematical logic came into being and flourished. In the second half of the century, much the same happened with regard to philosophical applications. Hence philosophical logic. The deliberations of this book cover a varied but interrelated array of key issues in the field. They address the representation of information in linguistic formulation, and modes of cogent demonstration in logic, mathematics, and empirical investigation, as well as the role of logic in philosophical deliberations. Overall, the book seeks to demonstrate and illustrate the utility of logic as a productive resource for rational inquiry at large.

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Le niewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author's nuanced survey eschews secondary commentary, analyzing Le niewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic.

One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth century, Le niewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski was his PhD student). His primary achievement was a system of foundational mathematical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strands-'protothetic', 'ontology', and 'mereology', are detailed in discrete sections of this volume, alongside a wealth other chapters grouped to provide the fullest possible coverage of Le niewski's academic output.

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy's great pioneers. "

The first and most thoroughly developed audience-oriented argumentation text has been updated to its 8th edition: Argumentation and Critical Decision Making presents argumentation as a cooperative, communicative process. This text examines the general principles of argument in a rigorous yet readable manner and then applies those principles to different spheres of life -- law, science, religion, business, government, and politics -- to explore how conventions of argument change when applied to these real-world arenas. Focusing on the dynamics of decision making and using real-life examples to illustrate principles, Argumentation and Critical Decision Making aims to help readers develop practical argumentation skills within the world of their daily lives.

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

The content of the volume is divided as follows: after presenting two rival approaches to substantiality and causality: a traditional (ontological) view vs. a transcendental one (Rosiak) there follow two sections: the first presents studies of substance as showing some causal aspects (Buchheim, Keinanen, Kovac, Piwowarczyk), whereas the other contains investigations of causality showing in a way its reference to the category of substance (Kobiela, Meixner, Mitscherling, Wronski). The last, short section contains two studies of extension (Leszczynski and Skowron) which can be regarded as a conceptual background of both substantiality and causality. The book gives a very colourful picture of the discussions connected with substantiality and causality which may be of potential interest for the readers.

This collection of papers, published in honour of Hector J. Levesque on the occasion of his 60th birthday, addresses a number of core areas in the field of knowledge representation and reasoning. In a broad sense, the book is about knowledge and belief, tractable reasoning, and reasoning about action and change. More specifically, the book contains contributions to Description Logics, the expressiveness of knowledge representation languages, limited forms of inference, satisfiablity (SAT), the logical foundations of BDI architectures, only-knowing, belief revision, planning, causation, the situation calculus, the action language Golog, and cognitive robotics.

The volume is published on the occasion of the birth centennial of Eugenio Coseriu (1921-2002). It is the first collective volume to appear in English in which various scholars present a variety of perspectives on Coseriu's scholarly work and discuss its continuing relevance for the language sciences. Coseriu's international reputation has suffered from his commitment to publish in languages such as Spanish, German, French, Italian, Romanian and Portuguese, to the detriment of English. As a consequence, his work is less well-known outside Romance and German linguistics. The volume aims to raise the general awareness of Coseriu's work among linguists around the world, in accordance with Coseriu's own adage that it takes a constructive mindset (acknowledging "accomplishments and limitations") to do justice to all scholarly work in the humanities. The articles are organized into three major thematic clusters: 1) philosophy of language, 2) history of the language sciences and 3) theory and practice of "Integral Linguistics". The volume is essential reading for anyone working in these fields and for those seeking to gain deeper understanding of Coseriu's goal to develop a unitary approach to language which takes as its point of departure the "activity of speaking".

Kurt Gödel (1906-1978) was the most outstanding logician of the twentieth century. This second volume of a comprehensive edition of Gödel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in historical context. The aim is to make the full body of Gödel's work as accessible and useful to as wide an audience as possible, without in any way sacrificing the requirements of historical and scientific accuracy.

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce's important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895-1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce's writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.

This book offers a clear, analytic, and innovative interpretation of Heidegger's late work. This period of Heidegger's philosophy remains largely unexplored by analytic philosophers, who consider it filled with inconsistencies and paradoxical ideas, particularly concerning the notions of Being and nothingness. This book takes seriously the claim that the late Heidegger endorses dialetheism - namely the position according to which some contradictions are true - and shows that the idea that Being is both an entity and not an entity is neither incoherent nor logically trivial. The author achieves this by presenting and defending the idea that reality has an inconsistent structure. In doing so, he takes one of the most discussed topics in current analytic metaphysics, grounding theory, into a completely unexplored area. Additionally, in order to make sense of Heidegger's concept of nothingness, the author introduces an original axiomatic mereological system that, having a paraconsistent logic as a base logic, can tolerate inconsistencies without falling into logical triviality. This is the first book to set forth a complete and detailed discussion of the late Heidegger in the framework of analytic metaphysics. It will be of interest to Heidegger scholars and analytic philosophers working on theories of grounding, mereology, dialetheism, and paraconsistent logic.

This book presents a constitutive approach to controversy based on a discourse analysis of news texts, focusing on the role of journalists as participants who shape public controversy for readers. Drawing data from the Reuters Corpus, the project identifies formulas that journalists use in reporting controversy and draws conclusions about how these serve professional and textual functions and how they shape public controversy as a natural, historical, and pragmatic event. While the traditions of dialectic and rhetoric have focused on the prescriptive aim of training participants to resolve controversies in philosophical dialogue or public debate settings, this orientation has tended to preempt questions about where controversy is located and how it is shaped. This project contributes to descriptive, ethnographic research about controversy, using discourse analysis to address a problem in argumentation.

In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect to the diverse work of Vaananen, whose ecumenical approach to logic reflects the unity of the discipline."

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together.

This book offers a novel perspective on abduction. It starts by discussing the major theories of abduction, focusing on the hybrid nature of abduction as both inference and intuition. It reports on the Peircean theory of abduction and discusses the more recent Magnani concept of animal abduction, connecting them to the work of medieval philosophers. Building on Magnani's manipulative abduction, the accompanying classification of abduction, and the hybrid concept of abduction as both inference and intuition, the book examines the problem of visual perception together with the related concepts of misrepresentation and semantic information. It presents the author's views on caricature and the caricature model of science, and then extends the scope of discussion by introducing some standard issues in the philosophy of science. By discussing the concept of ad hoc hypothesis generation as enthymeme resolution, it demonstrates how ubiquitous the problem of abduction is in all the different individual scientific disciplines. This comprehensive text provides philosophers, logicians and cognitive scientists with a historical, unified and authoritative perspective on abduction.

Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context.

Changing preferencesis a phenomenonoften invoked but rarely properlyaccounted for. Throughout the history of the social sciences, researchers have come against the possibility that their subjects' preferenceswere affected by the phenomenato be explainedor by otherfactorsnot taken into accountin the explanation.Sporadically, attempts have been made to systematically investigate these in uences, but none of these seems to have had a lasting impact. Today we are still not much further with respect to preference change than we were at the middle of the last century. This anthology hopes to provide a new impulse for research into this important subject. In particular, we have chosen two routes to amplify this impulse. First, we stress the use of modellingtechniquesfamiliar from economicsand decision theory. Instead of constructing complex, all-encompassing theories of preference change, the authors of this volume start with very simple, formal accounts of some possible and hopefully plausible mechanism of preference change. Eventually, these models may nd their way into larger, empirically adequate theories, but at this stage, we think that the most importantwork lies in building structure.Secondly, we stress the importance of interdisciplinary exchange. Only by drawing together experts from different elds can the complex empirical and theoretical issues in the modelling of preference change be adequately investigated.