Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities (necessity and possibility) held by leading philosophers from Aristotle in ancient Greece to Rudolf Carnap in the twentieth century. The story begins with an illuminating discussion of Aristotle's views on the connection between logic and metaphysics, continues through the Stoic and mediaeval (including Arabic) traditions, and then moves to the early modern period with particular attention to Locke and Leibniz. The views of Kant, Peirce, C. I. Lewis and Carnap complete the volume. Many of the essays illuminate the connection between the historical figures studied, and recent or current work in the philosophy of modality. The result is a rich and wide-ranging picture of the history of the logical modalities.

The Process of Argument: An Introduction is a necessary companion for anyone seeking to engage in successful persuasion: To organize, construct, and communicate arguments. It is both comprehensive and accessible: An authoritative guide to logical thinking and effective communication. The book begins with techniques to improve reading comprehension, including guides on navigating through fake news and internet trolls. Then, readers are taught how to reconstruct deductive, inductive, and abductive presentations so that the logical structure is explicit. And finally, there is a step-by-step guide for responding to these texts via the argumentative essay. Along the way are current examples from social media and elsewhere on the internet along with guides for assessing truth claims in an ever-complicated community worldview. Throughout, are carefully selected reading questions and exercises that will pace readers in order to ensure that the text is securely grasped and successfully applied. Key Features Offers guidance on how to read a text through self-analysis and social criticism Provides a step-by-step procedure for allowing the student to move from reading to reconstruction to being prepared to write an effective argumentative essay Presents truth theory and shows readers how they can helpfully acquaint themselves with a version of realistic, foundational epistemology Offers guidelines and helpful tools on how best to structure an argumentative, pro or con, essay Includes expansive coverage of inductive logic through the use and assessment of statistics Covers abductive logic as it applies to the analysis of narrative in argumentative writing Has up-to-date examples from the media, including from blogs, social media, and television Includes a helpful glossary of all important terms in the book

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.

Fur das Verstandnis der Philosophie Kants eroeffnen sich neue Einsichten, wenn man neben den Druckschriften auch Kants Vorlesungen beizieht. Im vorliegenden Band werden unter dieser Massgabe zentrale Aspekte der Kantischen Philosophie - Metaphysik, Logik, Anthropologie sowie Moral-, Rechts- und Religionsphilosophie - beleuchtet und neu gedeutet. Im Mittelpunkt steht dabei die Frage nach den Grenzen des Wissens, wie Kant sie in seiner Transzendentalphilosophie beschrieben hat, und dem durch diese Grenzbestimmung eroeffneten Freiraum des Glaubens. Diese Einhegung der theoretischen Philosophie hat weitreichende Folgen fur die Anthropologie. Der Mensch ist frei, die obersten Maximen seines Handelns - seine Gesinnung - zu bestimmen. Dafur tragt er Verantwortung. Welche Wirkung eine Entscheidung zeitigt, bleibt ihm verborgen. Kants Beharren auf der Unerkennbarkeit der Dinge an sich gewinnt hier seinen vollen anthropologischen Ernst.

This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise? If all our choices are already written, is our freedom simply an illusion? This book provides a precise analysis of this dilemma using the tools of modern metaphysics and logic of time. With a focus on three intertwined concepts - God's nature, the formal structure of time, and the metaphysics time, including the relationship between temporal entities and a timeless God - the chapters analyse various solutions to the problem of foreknowledge and freedom, revealing the advantages and drawbacks of each. Building on this analysis, the authors advance constructive solutions, showing under what conditions an entity can be omniscient in the presence of free agents, and whether an eternal entity can know the tensed futures of the world. The metaphysics of time, its topology and the semantics of future tensed sentences are shown to be invaluable topics in dealing with this issue. Combining investigations into the metaphysics of time with the discipline of temporal logic this monograph brings about important advancements in the philosophical understanding of an ancient and fascinating problem. The answer, if any, is hidden in the folds of time, in the elusive nature of this feature of reality and in the infinite branching of our lives.

While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied - perhaps because they seem disparate, complicated, and computationally intractable. This programmatic book argues that several approaches to probabilistic logic fit into a simple unifying framework in which logically complex evidence is used to associate probability intervals or probabilities with sentences. Specifically, Part I shows that there is a natural way to present a question posed in probabilistic logic, and that various inferential procedures provide semantics for that question, while Part II shows that there is the potential to develop computationally feasible methods to mesh with this framework. The book is intended for researchers in philosophy, logic, computer science and statistics. A familiarity with mathematical concepts and notation is presumed, but no advanced knowledge of logic or probability theory is required.

Most of the major schools of contemporary philosophy, from Marxism to Existentialism, are reactions to Hegelianism and all, if they are to be understood, require some understanding of Hegel's "Logic". From its first appearance in 1812, this work has been recognised by both admirers and detractors alike as being the absolute foundation of Hegel's system.

This book is unique in presenting an interdisciplinary conversation between jurists and logicians. It brings together scholars from both law and philosophy, and looks at the application of 'the new logics' to law and legal ordering, in a number of legal systems. The first Part explores the ways in which the new logics shed light on the functioning of legal orders, including the structure of legal argumentation and the rules of evidence. The second addresses how non-classical logics can help us to understand the interactions between multiple legal orders, in a range of contexts including domestic and international law. The final Part examines particular issues in the applicability of non-classical logics to legal reasoning. This book will be of interest to jurisprudence and logic scholars and students who want to deepen their understanding of relationships between law and legal reasoning, and learn about recent developments in formal logic.

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.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics. Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimova's career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field.

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.

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem. It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.

This edited volume presents new lines of research dealing with the language of thought and its philosophical implications in the time of Ockham. It features more than 20 essays that also serve as a tribute to the ground-breaking work of a leading expert in late medieval philosophy: Claude Panaccio. Coverage addresses topics in the philosophy of mind and cognition (externalism, mental causation, resemblance, habits, sensory awareness, the psychology, illusion, representationalism), concepts (universal, transcendental, identity, syncategorematic), logic and language (definitions, syllogisms, modality, supposition, obligationes, etc.), action theory (belief, will, action), and more. A distinctive feature of this work is that it brings together contributions in both French and English, the two major research languages today on the main theme in question. It unites the most renowned specialists in the field as well as many of Claude Panaccio's former students who have engaged with his work over the years. In furthering this dialogue, the essays render key topics in fourteenth-century thought accessible to the contemporary philosophical community without being anachronistic or insensitive to the particularities of the medieval context. As a result, this book will appeal to a general population of philosophers and historians of philosophy with an interest in logic, philosophy of language, philosophy of mind, and metaphysics.

Conditionals are sentences of the form 'If A, then B', and they play a central role in scientific, logical, and everyday reasoning. They have been in the philosophical limelight for centuries, and more recently, they have been receiving attention from psychologists, linguists, and computer scientists. In spite of this, many key questions concerning conditionals remain unanswered. While most of the work on conditionals has addressed semantical questions - questions about the truth conditions of conditionals - this book focuses on the main epistemological questions that conditionals give rise to, such as: what are the probabilities of conditionals? When is a conditional acceptable or assertable? What do we learn when we receive new conditional information? In answering these questions, this book combines the formal tools of logic and probability theory with the experimental approach of cognitive psychology. It will be of interest to students and researchers in logic, epistemology, and psychology of reasoning.

Recent work in argumentation theory has emphasized the nature of arguers and arguments along with various theoretical perspectives. Less attention has been given to the third feature of any argumentative situation - the audience. This book fills that gap by studying audience reception to argumentation and the problems that come to light as a result of this shift in focus. Christopher W. Tindale advances the tacit theories of several earlier thinkers by addressing the central problems connected with audience considerations in argumentation, problems that earlier philosophical theories overlook or inadequately accommodate. The main tools employed in exploring the central issues are drawn from contemporary philosophical research on meaning, testimony, emotion and agency. These are then combined with some of the major insights of recent rhetorical work in argumentation to advance our understanding of audiences and suggest avenues for further research.

This book studies the Talmudic approach to Delegation. We develop logical models for the basic Talmudic views of delegation. The Talmudic approaches to the relationships between the Principal and his Agent/Delegate are fundamentally very logical, and deal with questions like chains of delegations, transfer of power, cancellations, death, irresponsible behaviour, change of the terms of delegation, and much more. We highlight the differences between the Talmudic approach and the view of delegation in modern legal systems.

Ludwig Wittgenstein (1889-1951) is one of the most important and influential philosophers in modern times, but he is also one of the least accessible. In this volume, leading experts chart the development of his work and clarify the connections between its different stages. The essays, which are both expository and original, address central themes in Wittgenstein's writing on a wide range of topics, particularly his thinking about the mind, language, logic, and mathematics. The contributors illuminate the character of the whole body of work by focusing on key topics: the style of the philosophy, the conception of grammar contained in it, rule-following, convention, logical necessity, the self, and what Wittgenstein called, in a famous phrase, 'forms of life'. This revised edition includes a new introduction, five new essays - on Tractarian ethics, Wittgenstein's development, aspects, the mind, and time and history - and a fully updated comprehensive bibliography.

This book is the first to provide a critical history of analytic philosophy from its inception in the late nineteenth century to the present day. Quentin Smith focuses on the connections between the four leading movements in analytic philosophy -- logical realism, logical positivism, ordinary language analysis, and linguistic essentialism -- and corresponding twentieth-century theories of ethics and of religion. Through a critical evaluation of each school's theoretical positions, Smith counters the widespread view of analytic philosophy as indifferent to important questions about fight and wrong and human meaning. He argues that analytic philosophy throughout its history has revolved around the central issues of existence, and he offers a new ethics and philosophy of religion.

The author develops a positive ethical theory based on a method of ethics first formulated by Robert Adams. Smith's theory belongs to the tradition of perfectionism or self-realization ethics and builds on Thomas Hurka's recent theory of perfectionism. In his consideration of philosophy of religion, Smith concludes that there is a sound "logical argument from evil" that takes into account Alvin Plantinga's free-will defense and undermines monotheism, paving the way to a naturalistic pantheism.

"Smith's book is original not only in intent but frequently in the detailed argument involved in evaluating the merits of the philosophies of language and their implications for ethics and philosophy of religion". -- John F. Post, Vanderbilt University

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability. The book also examines the work of such historical figures as Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace, and Alan Turing.

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.

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons (games involving Why-questions), they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How.

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.

This book contains more than 15 essays that explore issues in truth, existence, and explanation. It features cutting-edge research in the philosophy of mathematics and logic. Renowned philosophers, mathematicians, and younger scholars provide an insightful contribution to the lively debate in this interdisciplinary field of inquiry. The essays look at realism vs. anti-realism as well as inflationary vs. deflationary theories of truth. The contributors also consider mathematical fictionalism, structuralism, the nature and role of axioms, constructive existence, and generality. In addition, coverage also looks at the explanatory role of mathematics and the philosophical relevance of mathematical explanation. The book will appeal to a broad mathematical and philosophical audience. It contains work from FilMat, the Italian Network for the Philosophy of Mathematics. These papers collected here were also presented at their second international conference, held at the University of Chieti-Pescara, May 2016.

This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege's logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his associates and followers with the aim of understanding the revolutionary change in the axiomatic method. Moreover, it offers useful tools to understand Tarski's and Goedel's work, explaining why the problems they discussed are still unsolved. Finally, the book reports on some of the most influential positions in contemporary philosophy of mathematics, i.e., Maddy's mathematical naturalism and Shapiro's mathematical structuralism. Last but not least, the book introduces Biancani's Aristotelian philosophy of mathematics as this is considered important to understand current philosophical issue in the applications of mathematics. One of the main purposes of the book is to stimulate readers to reconsider the Aristotelian position, which disappeared almost completely from the scene in logic and mathematics in the early twentieth century.