1. 1. The Principle of Universalizability-an informal explication This work is concerned with the so-called Principle of Universalizability. As we shall understand it, this principle represents a claim that moral properties of things (persons, actions, state of affairs, situations) are essentially independent of their purely 'individual' or-as one often says -'numerical' aspects. l Thus, if a thing, x, is better than another thing, y, then this fact is not dependent on x's being x nor on y's being y. If a certain person, a, has a duty to help another person, b, then this duty does not arise as a consequence of their being a and b, respectively. And if in a certain situation, W, it ought to be the case that certain goods are transferred from one person to another, then this moral obligation does not depend on the individual identities of the persons involved. The Universalizability Principle may also be expressed in terms of similarities. Instead of saying that the moral properties of x are essentially independent of the individual aspects of x, we may say that any object which is exactly similar to x, which is precisely like x in all non-individual, 'qualitative' respects, must exhibit exactly similar moral properties. Thus, if two persons are exactly similar to each other, (if they are placed in exactly similar circumstances, have exactly similar information, preferences, character, etc. ), then they will have exactly similar rights and duties.

This book argues that languages are composed of sets of 'signs', rather than 'strings'. This notion, first posited by de Saussure in the early 20th century, has for decades been neglected by linguists, particularly following Chomsky's heavy critiques of the 1950s. Yet since the emergence of formal semantics in the 1970s, the issue of compositionality has gained traction in the theoretical debate, becoming a selling point for linguistic theories.

Yet the concept of 'compositionality' itself remains ill-defined, an issue this book addresses. Positioning compositionality as a cornerstone in linguistic theory, it argues that, contrary to widely held beliefs, there exist non-compositional languages, which shows that the concept of compositionality has empirical content. The author asserts that the existence of syntactic structure can flow from the fact that a compositional grammar cannot be delivered without prior agreement on the syntactic structure of the constituents.

This wide-ranging book introduces information as a key concept not only in physics, from quantum mechanics to thermodynamics, but also in the neighboring sciences and in the humanities. The central part analyzes dynamical processes as manifestations of information flows between microscopic and macroscopic scales and between systems and their environment. Quantum mechanics is interpreted as a reconstruction of mechanics based on fundamental limitations of information processing on the smallest scales. These become particularly manifest in quantum chaos and in quantum computing. Covering subjects such as causality, prediction, undecidability, chaos, and quantum randomness, the book also provides an information-theoretical view of predictability. More than 180 illustrations visualize the concepts and arguments. The book takes inspiration from the author's graduate-level topical lecture but is also well suited for undergraduate studies and is a valuable resource for researchers and professionals.

Stanislaw Lesniewski (1886-1939) was one of the leading Polish logicians and founders of the Warsaw School of Logic whose membership included, beside himself, Jan Lukasiewicz, Tadeusz Kotarbinski, Alfred Tarski, and many others. In his lifetime LeSniewski published only a few hundred pages. He produced many important results in many areas of mathematics; these stood in various relations to each other, and to materials produced by others, and, in time, created more and more editorial problems. Very many were left unpublished at the time of his death. Then in 1944 in the fire of Warsaw the whole of this material was burned and lost -a considerable loss since a great deal of what is important could have been reconstructed from these notes. The present publication aims at presenting unique Lesniewski's materials from alternative sources comprising lecture notes taken during some of Lesniewski's lectures and seminars delivered at the University of Warsaw be tween the two world wars. The editors are aware of the limitations of student notes which cannot compensate for the loss of the original materials. However, they are unique in reflecting Lesniewski's ideas as he himself presented them. Already at the time of his death it was realized that these notes would provide a unique access to Lesniewski's own thought as well as a valuable record of some of the activities of the Warsaw School of Logic."

Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert's program, constructivity, Wittgenstein, Godel); mathematics and phenomenology (Weyl, Becker, Mahnke); nominalism (Quine, Tarski); semantics (Tarski, Carnap, Neurath). Mancosu exploits extensive untapped archival sources to make available a wealth of new material that deepens in significant ways our understanding of these fascinating areas of modern intellectual history. At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of mathematics, the nature of finitist intuition, the viability of alternative definitions of logical consequence, and the extent to which phenomenology can hope to account for the exact sciences.

This book focuses on the problem of responsibility voids: these are cases where responsibility for a morally undesirable outcome cannot be attributed to any of the involved agents. Responsibility voids are thought to occur in collective decision-making and in the context of artificial intelligent systems. In these cases, philosophers worry that there is a shortfall of moral responsibility. In particular, such voids are often assumed to justify a notion of collective responsibility that cannot be reduced to individual responsibility. One of the aims of the book is to study how collective responsibility and joint action relate to individual responsibility and individual actions. The book offers a unifying framework for modelling moral responsibility by drawing from modal logic and game theory. The book investigates the possibility and scope of the problem of responsibility voids. One of its characteristics is its pluralistic perspective on moral responsibility: in contrast to giving a unique and all-encompassing definition of it, the book makes progress by spelling out and modelling several conceptions of moral responsibility. One of the appealing features of the book is that a relatively small range of models is used to investigate a variety of conceptions of moral responsibility. The unifying framework can thus be used to characterize the conditions under which responsibility voids are ruled out.

Jaakko Hintikka is one of the most creative figures in contemporary philosophy. He has made significant contributions to virtually all areas of the discipline, from epistemology and the philosophy of logic to the history of philosophy and the philosophy of science. Part of the fruitfulness of Hintikka 's work is due to its opening important new lines of investigation and new approaches to traditional philosophical problems. This volume gathers together essays from some of Hintikka 's colleagues and former students exploring his influence on their work and pursuing some of the insights that we have found in his work. This book includes a comprehensive overview of Hintikka 's philosophy by Dan Kolak and John Symons and an annotated bibliography of Hintikka 's work.

This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle's ancient logic to very recent formal argumentation in AI.

This book is dedicated to V.A. Yankov's seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov's results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics. The book also contains an exposition of Yankov's revolutionary approach to constructive proof theory. The editors also include Yankov's contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice (a lattice of truth values with two ordering relations) constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi.

Vagueness is a familiar but deeply puzzling aspect of the relation between language and the world. It is highly controversial what the nature of vagueness is -- a feature of the way we represent reality in language, or rather a feature of reality itself? May even relations like identity or parthood be affected by vagueness? Sorites arguments suggest that vague terms are either inconsistent or have a sharp boundary. The account we give of such paradoxes plays a pivotal role for our understanding of natural languages. If our reasoning involves any vague concepts, is it safe from contradiction? Do vague concepts really lack any sharp boundary? If not, why are we reluctant to accept the existence of any sharp boundary for them? And what rules of inference can we validly apply, if we reason in vague terms? Cuts and Clouds presents the latest work towards a clearer understanding of these old puzzles about the nature and logic of vagueness. The collection offers a stimulating series of original essays on these and related issues by some of the world's leading experts.

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions. Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths. Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis 'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume . . Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo tivated by similar considerations: work in modal logic (includ ing tense, deontic, and epistemic logic), intensional logics, non declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation."

Possibility offers a new analysis of the metaphysical concepts of possibility and necessity, one that does not rely on any sort of 'possible worlds'. The analysis proceeds from an account of the notion of a physical object and from the positing of properties and relations. It is motivated by considerations about how we actually speak of and think of objects. Michael Jubien discusses several closely related topics, including different purported varieties of possible worlds, the doctrine of 'essentialism', natural kind terms, and alleged examples of necessity a posteriori. The book also offers a new theory of the functioning of proper names, both actual and fictional, and the discussion of natural kind terms and necessity a posteriori depends in part on this theory.

The book contains a collection of chapters written by experts from the fields of philosophy, law, logic, computer science and artificial intelligence who pay tribute to Professor Risto Hilpinen's impressive work on the logic of induction, on deontic logic and epistemology, and on philosophy of science. In addition to an introduction by the editors, a section on Professor Hilpinen's positions, professional services and honors, as well as a complete bibliography of his writings, the editors, McNamara, Jones and Brown, have compiled a multidisciplinary global cross-section of academic contemporaries that provides insights and perspectives on Hilpinen's influence and legacy. The essays reflect central aspects of Risto Hilpinen's research interests, and offer further contributions to some of the philosophical fields for which he is best known: applied modal logic, including deontic logic (from the ancient Greek deon, pertaining to the concepts of duty and obligation), the semantics of normative language, the logic of action, and the theory of practical reasoning; the analysis of the concept of artifact; and the theory of semiotics in the tradition of Charles Peirce. The presence in the collection of several papers relating to deontic logic underlines Hilpinen's importance in that area, in which his publications have long been recognized as standard works. The book is an essential collection of ideas for all those who feel at home in a variety of formal disciplines, from propositional logic to the logic of artificial intelligence.

In the great libraries of Europe and the United States, hidden in fading manuscripts on forgotten shelves, lie the works of medieval Hebrew logic. From the end of the twelfth century through the Renaissance, Jews wrote and translated commentaries and original compositions in Aristotelian logic. One can say without exaggeration that wherever Jews studied philosophy - Spain, France, Northern Africa, Germany, Palestine - they began their studies with logic. Yet with few exceptions, the manuscripts that were catalogued in the last century have failed to arouse the interest of modem scholars. While the history of logic is now an established sub-discipline of the history of philosophy, the history of Hebrew logic is only in its infancy. The present work contains a translation and commentary of what is arguably the greatest work of Hebrew logic, the Sefer ha-Heqqesh ha-Yashar (The Book of the Correct Syllogism) of Levi ben Gershom (Gersonides; 1288-1344). Gersonides is well known today as a philosopher, astronomer, mathematician, and biblical exegete. But in the Middle Ages he was also famous for his prowess as a logician. The Correct Syllogism is his attempt to construct a theory of the syllogism that is free of what he considers to be the 'mistakes' of Aristotle, as interpreted by the Moslem commentator A verroes. It is an absorbing, challenging work, first written by Gersonides when he was merely thirty-one years old, then significantly revised by him. The translation presented here is of the revised version.

This book offers the first-ever English translation of Oskar Becker's Zur Logik der Modalitaten. This essay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker's text is complemented by an extended commentary that explains, analyzes and highlights Becker's accomplishments and the philosophical background of his investigations. The commentary provides an in-depth analysis of all of Becker's important contributions, both from a philosophical and logical perspective, making it a very useful book for scholars in both philosophy and logic.

This book argues that the primary function of human thinking in language is to make judgments, which are logical-normative connections of concepts. Robert Abele points out that this presupposes cognitive conditions that cannot be accounted for by empirical-linguistic analyses of language content or social conditions alone. Judgments rather assume both reason and a unified subject, and this requires recognition of a Kantian-type of transcendental dimension to them. Judgments are related to perception in that both are syntheses, defined as the unity of representations according to a rule/form. Perceptual syntheses are simultaneously pre-linguistic and proto-rational, and the understanding (Kant's Verstand) makes these syntheses conceptually and thus self-consciously explicit. Abele concludes with a transcendental critique of postmodernism and what its deflationary view of ontological categories-such as the unified and reasoning subject-has done to political thinking. He presents an alternative that calls for a return to normativity and a recognition of reason, objectivity, and the universality of principles.

New Essays on Tarski and Philosophy aims to show the way to a proper understanding of the philosophical legacy of the great logician, mathematician, and philosopher Alfred Tarski (1902-1983). The contributors are an international group of scholars, some expert in the historical background and context of Tarski's work, others specializing in aspects of his philosophical development, others more interested in understanding Tarski in the light of contemporary thought.
The essays can be seen as addressing Tarski's seminal treatment of four basic questions about logical consequence. (1) How are we to understand truth, one of the notions in terms of which logical consequence is explained? What is it that is preserved in valid inference, or that such inference allows us to discover new claims to have on the basis of old? (2) Among what kinds of things does the relation of logical consequence hold? (3) Given answers to the first two questions, what is involved in the consequence relationship itself? What is the preservation at work in "truth preservation?" (4) Finally, what do truth and consequence so construed have to do with meaning?

This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their properties, non-deterministic semantics, algebraic structures for many-valued logics, and representations of the mechanization of mathematics. Avron's foundational and pioneering contributions have been widely acknowledged and adopted by the scientific community. His research interests are very broad, spanning over proof theory, automated reasoning, non-classical logics, foundations of mathematics, and applications of logic in computer science and artificial intelligence. This is clearly reflected by the diversity of topics discussed in the chapters included in this book, all of which directly relate to Avron's past and present works. This book is of interest to computer scientists and scholars of formal logic.

Saving Truth from Paradox is an ambitious investigation into paradoxes of truth and related issues, with occasional forays into notions such as vagueness, the nature of validity, and the Godel incompleteness theorems. Hartry Field presents a new approach to the paradoxes and provides a systematic and detailed account of the main competing approaches.
Part One examines Tarski's, Kripke's, and Lukasiewicz's theories of truth, and discusses validity and soundness, and vagueness. Part Two considers a wide range of attempts to resolve the paradoxes within classical logic. In Part Three Field turns to non-classical theories of truth that that restrict excluded middle. He shows that there are theories of this sort in which the conditionals obey many of the classical laws, and that all the semantic paradoxes (not just the simplest ones) can be handled consistently with the naive theory of truth. In Part Four, these theories are extended to the property-theoretic paradoxes and to various other paradoxes, and some issues about the understanding of the notion of validity are addressed. Extended paradoxes, involving the notion of determinate truth, are treated very thoroughly, and a number of different arguments that the theories lead to "revenge problems" are addressed. Finally, Part Five deals with dialetheic approaches to the paradoxes: approaches which, instead of restricting excluded middle, accept certain contradictions but alter classical logic so as to keep them confined to a relatively remote part of the language. Advocates of dialetheic theories have argued them to be better than theories that restrict excluded middle, for instance over issues related to the incompleteness theoremsand in avoiding revenge problems. Field argues that dialetheists' claims on behalf of their theories are quite unfounded, and indeed that on some of these issues all current versions of dialetheism do substantially worse than the best theories that restrict excluded middle.

What do philosophy and computer science have in common? It turns out, quite a lot! In providing an introduction to computer science (using Python), Daniel Lim presents in this book key philosophical issues, ranging from external world skepticism to the existence of God to the problem of induction. These issues, and others, are introduced through the use of critical computational concepts, ranging from image manipulation to recursive programming to elementary machine learning techniques. In illuminating some of the overlapping conceptual spaces of computer science and philosophy, Lim teaches the reader fundamental programming skills and also allows her to develop the critical thinking skills essential for examining some of the enduring questions of philosophy. Key Features Teaches readers actual computer programming, not merely ideas about computers Includes fun programming projects (like digital image manipulation and Game of Life simulation), allowing the reader to develop the ability to write larger computer programs that require decomposition, abstraction, and algorithmic thinking Uses computational concepts to introduce, clarify, and develop a variety of philosophical issues Covers various aspects of machine learning and relates them to philosophical issues involving science and induction as well as to ethical issues Provides a framework to critically analyze arguments in classic and contemporary philosophical debates

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it says (only) that it is false.
How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another.
JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics.

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it says (only) that it is false.
How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another.
JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics.

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness.