This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory. This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the entire range of Hintikka's career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters. The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka.

A system of philosophy of the sort presented in this and the following volumes begins with logic. Philosophy properly speaking is characterized by the kind oflogic it employs, for what it employs it assumes, however silently; and what it assumes it presupposes. The logic stands behind the ontology and is, so to speak, metaphysically prior. One word of caution. The philosophical aspects of logic have lagged behind the mathematical aspects in point of view of interest and develop ment. The work of N. Rescher and others have gone a long way to correct this. However, their work on philosophical logic has been more concerned with the logical than with the philosophical aspects. I have in mind another approach, one that would call attention to the ontological (systematic meta physics) or metaphysical (critical ontology) aspects, whichever term you prefer. It is this approach which I have pursued in the following chapters. Since together they stand at the head of a system of philosophy which has been developed in some seventeen books, a system which ranges over all of the topics of philosophy, the chosen approach can be seen as the necessary one. But I have not written any logic, I have merely indicated the sort of logic that has to be written."

The history of interwar Polish logic, including philosophical logic, is still a relatively little known area, especially if compared with the movement's well-documented contemporaries - the Vienna Circle or the Berlin Circle, for instance. The book aims to address this lacuna, by presenting the state of the art of research into this part of the history of analytic philosophy. It comprises thirteen essays, written by outstanding philosophers and exemplifying different approaches to the history of philosophy. One approach focuses on some little known aspects of Polish philosophy (e.g., Lesniewski's arithmetic, Tarski's geometry, philosophy of mathematics in interwar Krakow), analyzing it in great detail, sometimes by using current formal techniques. Another group of papers looks at the inspiration the Poles got from the founding fathers of analytic philosophy (Frege, Husserl, Wittgenstein), and locates Polish philosophy in the larger landscape of European analytic philosophy. Finally, some contributors pick a topic from the Polish school (sometimes only mentioned, but not developed by the Poles), and construct an alternative account which is then compared with the earlier account. Most of the papers were presented at a symposium celebrating the 70th birthday of Jan Wolenski, whose book "Logic and Philosophy of the Lvov-Warsaw School" has played a substantial role in sparking contemporary interest in Polish analytic philosophy.

This book argues that there is a common cognitive mechanism underlying all indexical thoughts, in spite of their seeming diversity. Indexical thoughts are mental representations, such as beliefs and desires. They represent items from a thinker's point of view or her cognitive perspective. We typically express them by means of sentences containing linguistic expressions such as 'this (F)' or 'that (F)', adverbs like 'here', 'now', and 'today', and the personal pronoun 'I'. While generally agreeing that representing the world from a thinker's cognitive perspective is a key feature of indexical thoughts, philosophers disagree as to whether a thinker's cognitive perspective can be captured and rationalized by semantic content and, if so, what kind of content this is. This book surveys competing views and then advances its own positive account. Ultimately, it argues that a thinker's cognitive perspective - or her indexical point of view - is to be explained in terms of the content that is believed and asserted as the only kind of content that there is which thereby serves as the bearer of cognitive significance. The Indexical Point of View will be of interest to philosophers of mind and language, linguists, and cognitive scientists.

The Rational Shakespeare: Peter Ramus, Edward de Vere, and the Question of Authorship examines William Shakespeare's rationality from a Ramist perspective, linking that examination to the leading intellectuals of late humanism, and extending those links to the life of Edward de Vere, Seventeenth Earl of Oxford. The application to Shakespeare's plays and sonnets of a game-theoretic hermeneutic, an interpretive approach that Ramism suggests but ultimately evades, strengthens these connections in further supporting the Oxfordian answer to the question of Shakespearean authorship.

Frege's puzzle concerning belief reports has been in the middle of the discussion on semantics and pragmatics of attitude reports: The intuition behind the opacity does not seem to be consistent with the thesis of semantic innocence according to which the semantic value of proper names is nothing but their referent. Main tasks of this book include providing truth-conditional content of belief reports. Especially, the focus is on semantic values of proper names. The key aim is to extend Crimmins's basic idea of semantic pretense and the introduction of pleonastic entities proposed by Schiffer. They enable us to capture Frege's puzzle in the analysis without giving up semantic innocence. To reach this conclusion, two issues are established. First, based on linguistic evidence, the frame of belief reports functions adverbially rather than relationally. Second, the belief ascriptions, on which each belief report is made, must be analyzed in terms of the measurement-theoretic analogy.

This book defends the Direct Reference (DR) thesis in philosophy of language regarding proper names and indexical pronouns. It uniquely draws out the significant consequences of DR when it is conjoined with the fact that these singular terms sometimes fail to refer. Even though DR is widely endorsed by philosophers of language, many philosophically important and radically controversial consequences of the thesis have gone largely unexplored. This book makes an important contribution to the DR literature by explicitly addressing the consequences that follow from DR regarding failure of reference. Michael McKinsey argues that only a form of neutral free logic can capture a revised concept of logical truth that is consistent with the fact that any sentence of any form that contains a directly referring genuine term can fail to be either true or false on interpretations where that term fails to refer. He also explains how it is possible for there to be true (or false) sentences that contain non-referring names, even though this possibility seems inconsistent with DR. Consequences of Reference Failure will be of interest to philosophers of language and logic and linguists working on Direct Reference.

The book analyses the concept of discoverability, and some current epistemological problems related to it, with a special attention to science. It shows that discoverability is closely related to the sustainability of human creativity in an "eco-cognitive" perspective. Advocating the need of an integral ecology and leveraging the important concept of abduction, it demonstrates that an ecology of human creativity should have priority over other needs, i.e that the first ecological duty is to protect and sustain discoverability. Enhancing discoverability will protect human creativity, and it is exactly human creativity, a form of innovative abductive cognition, that can promote the implementation of the other kinds of ecology. The author guides readers through a comprehensive discussion on the concept of discoverability, eco-cognitive situatedness, and eco-cognitive openness and closure alike. By describing some key real-world examples, he highlights the main challenges that are currently posed to human creativity and epistemic integrity. He also describes future eco-cognitive settings, discussing the problem of overcomputationalism and suggesting a reinterpretation of the role of human knowledge. Overall, this book fills an important gap in the literature on the nexus abduction - creativity - discovery, offering a source of inspiration to philosophers, epistemologists, and cognitive scientists. Yet, it also addresses researchers in other disciplines interested in the problems of scientific discovery and epistemic integrity of research.

This volume collects fifteen original essays on E. J. Lowe's work on metaphysics and ontology. The essays connect Lowe's insights with contemporary issues in metaphysics. E. J. Lowe (1950-2014) was one of the most influential analytical philosophers of the twentieth and early twenty-first century. Drawing inspiration from Aristotle's thought, E. J. Lowe treated metaphysics as an autonomous discipline concerned with the fundamental structure of reality. The chapters in this volume reflect on his path-breaking work. They deal with a wide range of metaphysical issues including four-category ontology, the causal and non-causal aspects of agency, categorial fundamentality and non-fundamentality, the existence of relations, property dualism, powers and abilities, personal identity, predication, and topological ontology. Taken together, the chapters reflect the liveliness of contemporary debates in metaphysics and the enduring impact of Lowe's thought on them. E. J. Lowe and Ontology will be of interest to researchers and advanced students working in metaphysics and philosophy of mind.

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce's own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking.

A Chance for Possibility defends the view that the objective modal realm is tripartite: truths about possible worlds supervene on modal truths, which in turn supervene on truths about objective chances. An understanding of supervenience in terms of grounding is developed which - unlike the standard modal characterization - allows the question of what modal truths supervene on to have a non-trivial answer. Relying on this understanding, a negative result is established: modal truths do not supervene on truths about possible worlds, whether possible worlds are conceived of as Lewisian concreta or as abstract objects of some kind. Instead, a conception of pleonastic possible worlds is developed that reverses the direction of supervenience. On the basis of linguistic considerations concerning our use of natural language 'might' and 'might have' sentences, Steinberg finally argues that truths about objective chances are able to provide a supervenience base for modal truths. A Chance for Possibility is an investigation in analytic metaphysics, drawing on related work in the philosophy of logic and language as well as linguistics. It provides a detailed case study for the fruitful use of a notion of grounding in the clarification and evaluation of longstanding philosophical issues.

A `slippery slope argument' is a kind of argument which warns you that, if you take a first step, you will find yourself caught up in a sequence of consequences from which you will be unable to extricate yourself, and that eventually you will end up speeding ever faster towards some disastrous outcome. Many textbooks on informal logic and critical thinking treat the slippery slope argument as a fallacy. Douglas Walton argues that slippery slope arguments can be used correctly in some cases as a reasonable type of argument to shift a burden of proof in a critical discussion, while in other cases they are used incorrectly. In the four central chapters he identifies and analyses four types of slippery slope argument. In each chapter he presents guidelines that show how each type of slippery slope argument can be used correctly or incorrectly, using over fifty case studies of argumentation on controversial issues. These include abortion, medical research on human embryos, euthanasia, the decriminalization of marijuana, pornography and censorship, and whether or not the burning of the American flag should be banned.

Of all philosophers of the 20th century, few built more bridges between academic disciplines than Karl Popper. He contributed to a wide variety of fields in addition to the epistemology and the theory of scientific method for which he is best known. This book illustrates and evaluates the impact, both substantive and methodological, that Popper has had in the natural and mathematical sciences. The topics selected include quantum mechanics, evolutionary biology, cosmology, mathematical logic, statistics, and cognitive science. The approach is multidisciplinary, opening a dialogue across scientific disciplines and between scientists and philosophers.

We share the capacity for knowledge with animals, but it is the nature and the scope of what we may rationally believe that makes us human. Yet what kind of beliefs do qualify as 'rational'? This challenging and refreshingly innovative book addresses certain fundamental questions concerning rational legitimacy of some widely held beliefs and provides argument-based answers to such questions, while at the same time encouraging the reader to actively engage with the views put forward and form his/her own judgement. The book is typically discursive rather than simply informative, and introduces philosophy by doing it.

This book presents a systematic unifying-pluralist account-a "constructive-engagement" account-of how cross-tradition engagement in philosophy is possible. The goal of this "constructive-engagement" account is, by way of reflective criticism, argumentation, and methodological guiding principles, to inquire into how distinct approaches from different philosophical traditions can talk to and learn from each other for the sake of making joint contributions to the contemporary development of philosophy. In Part I of the book, Bo Mou explores a range of fundamental theoretic and methodological issues in cross-tradition philosophical engagement and philosophical interpretation. In Part II, he analyzes several representative case studies that demonstrate how relevant resources in the Western and Chinese philosophical traditions can constructively engage with each other. These studies cover issues in philosophical methodology, metaphysics, epistemology, philosophy of language and logic, and ethics. The book's theoretical and practical approaches expand the vision, coverage, and agenda of doing philosophy comparatively, and promote worldwide joint efforts of cross-tradition philosophical inquiries. Cross-Tradition Engagement in Philosophy will be of interest to graduate students and scholars interested in comparative philosophy and the intersection of Chinese and Western philosophy. It will also appeal to those who are interested in the ways in which cross-tradition philosophical engagement can enhance contemporary philosophical debates in metaphysics, epistemology, philosophy of language and logic, and ethics.

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 book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

This lucid and original book offers a detailed and critical exposition of German metaphysics and philosophy of logic during the past century. Julian Roberts sets his argument in the context of the current debate between "analytical" and "continental" philosophers. the book centers on the problem of reflection-exploration of the boundaries of rationality, or (in analytical terms) of the "limits of thought"-which Roberts claims lies at the heart of both traditions. Roberts concentrates on the work of Frege, Wittengenstein, Husserl, the Erlangen School, and Habermas. In the course of his examination, however, he also considers philosophers ranging from Russell and Quine to Putnam and Heidegger. Roberts argues that the technical advances of modern logic have not, as is sometimes believed by analytical thinkers, generated uniquely modern problems that can only be dealt with by a correspondingly modernist philosophy, for the problem of reflection was already at the heart of Kant's critical project and of his confrontation with Leibniz. If we recover this earlier debate, says Roberts, we can develop a more adequate understanding not merely of its echoes in the twentieth century, but of the role and contribution of metaphysics and of philosophy in general.

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed development of higher-order logic, including a comprehensive discussion of its semantics. Professor Shapiro demonstrates the prevalence of second-order notions in mathematics is practised, and also the extent to which mathematical concepts can be formulated in second-order languages . He shows how first-order languages are insufficient to codify many concepts in contemporary mathematics, and thus that higher-order logic is needed to fully reflect current mathematics. Throughout, the emphasis is on discussing the philosophical and historical issues associated with this subject, and the implications that they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic as might be gained from a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in this subject.

This book develops a new Wittgenstein interpretation called Wittgenstein's Metametaphysics. The basic idea is that one major strand in Wittgenstein's early and later philosophy can be described as undermining the dichotomy between realism and idealism. The aim of this book is to contribute to a better understanding of the relation between language and reality and to open up avenues of dialogue to overcome deep divides in the research literature. In the course of developing a comprehensive and in-depth interpretation, the author provides fresh and original analyses of the latest issues in Wittgenstein scholarship and gives new answers to both major exegetical and philosophical problems. This makes the book an illuminating study for scholars and advanced students alike.

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Godel argument is fully formalized. Parts of the book are mathematical, parts philosophical. "

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.

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".