Bolzano's Logical System


Book Description

This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work. Casari presents this within a formal system and adopts the approach of the predicate calculus with identity and choice operator by using Hilbert's epsilon calculus (the logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics).




Essays on Husserl's Logic and Philosophy of Mathematics


Book Description

Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl’s by considering their reception and elaboration by some of his disciples and followers, such as Oskar Becker and Jacob Klein, as well as their influence on some of the most significant logicians and mathematicians of the past century, such as Luitzen E. J. Brouwer, Rudolf Carnap, Kurt Gödel and Hermann Weyl. Most of the papers consider Husserl and another scholar – e.g. Leibniz, Kant, Bolzano, Brentano, Cantor, Frege – and trace out and contextualize lines of influence, points of contact, and points of disagreement. Each essay is written by an expert of the field, and the volume includes contributions both from the analytical tradition and from the phenomenological one.




Bolzano's Philosophy of Grounding


Book Description

One of the liveliest debates in contemporary philosophy concerns the notions of grounding and metaphysical explanation. Many consider these notions to be of prime importance for metaphysics and the philosophy of explanation, or even for philosophy in general, and lament that they had been neglected for far too long. Although the current debate about grounding is of recent origin, its central ideas have a long and rich history in Western philosophy, going back at least to the works of Plato and Aristotle. Bernard Bolzano's theory of grounding, developed in the first half of the nineteenth century, is a peak in the history of these ideas. On Bolzano's account, grounding lies at the heart of a broad conception of explanation encompassing both causal and non-causal cases. Not only does his theory exceed most earlier theories in scope, depth, and rigour, it also anticipates a range of ideas that take a prominent place in the contemporary debate. But despite the richness and modernity of his theory, it is known only by a comparatively small circle of philosophers predominantly consisting of Bolzano scholars. Bolzano's Philosophy of Grounding is meant to make Bolzano's ideas on grounding accessible to a broader audience. The book gathers translations of Bolzano's most important writings on these issues, including material that has hitherto not been available in English. Additionally, it contains a survey article on Bolzano's conception and nine research papers critically assessing elements of the theory and/or exploring its broad range of applications in Bolzano's philosophy and beyond.




Aristotle's Syllogism and the Creation of Modern Logic


Book Description

Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle's syllogism between the 1820s and 1930s. For over two millennia, deductive logic was the syllogism and syllogism was the yardstick of sound human reasoning. During the 19th century, this hegemony fell apart and logicians, including Boole, Frege and Peirce, took deductive logic far beyond its Aristotelian borders. However, contrary to common wisdom, reflections on syllogism were also instrumental to the creation of new logical developments, such as first-order logic and early set theory. This volume presents the period under discussion as one of both tradition and innovation, both continuity and discontinuity. Modern logic broke away from the syllogistic tradition, but without Aristotle's syllogism, modern logic would not have been born. A vital follow up to The Aftermath of Syllogism, this book traces the longue durée history of syllogism from Richard Whately's revival of formal logic in the 1820s through the work of David Hilbert and the Göttingen school up to the 1930s. Bringing together a group of major international experts, it sheds crucial new light on the emergence of modern logic and the roots of analytic philosophy in the 19th and early 20th centuries.




The Routledge Handbook of Propositions


Book Description

Propositions are routinely invoked by philosophers, linguists, logicians, and other theorists engaged in the study of meaning, communication, and the mind. To investigate the nature of propositions is to investigate the very nature of our connection to each other, and to the world around us. As one of the only volumes of its kind, The Routledge Handbook of Propositions provides a comprehensive overview of the philosophy of propositions, from both historical and contemporary perspectives. Comprising 33 original chapters by an international team of scholars, the volume addresses both traditional and emerging questions concerning the nature of propositions, and our capacity to engage with them in thought and in communication. The chapters are clearly organized into the following three sections: I. Foundational Issues in the Theory of Propositions II. Historical Theories of Propositions III. Contemporary Theories of Propositions Essential reading for philosophers of language and mind, and for those working in neighboring areas, The Routledge Handbook of Propositions is suitable for upper-level undergraduate study, as well as graduate and professional research.




The Realism-Antirealism Debate in the Age of Alternative Logics


Book Description

The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference. The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.




The Routledge Handbook of Metaphysical Grounding


Book Description

Some of philosophy’s biggest questions, both historically and today, are in-virtue-of questions: In virtue of what is an action right or wrong? In virtue of what am I the same person my mother bore? In virtue of what is an artwork beautiful? Philosophers attempt to answer many of these types of in-virtue-of questions, but philosophers are also increasingly focusing on what an in-virtue-of question is in the first place. Many assume, at least as a working hypothesis, that in-virtue-of questions involve a distinctively metaphysical kind of determinative explanation called “ground.” This Handbook surveys the state of the art on ground as well as its connections and applications to other topics. The central issues of ground are discussed in 37 chapters, all written exclusively for this volume by a wide range of leading experts. The chapters are organized into the following sections: I. History II. Explanation and Determination III. Logic and Structure IV. Connections V. Applications Introductions at the start of each section provide an overview of the section’s contents, and a list of Related Topics at the end of each chapter points readers to other germane areas throughout the volume. The resulting volume is accessible enough for advanced students and informative enough for researchers. It is essential reading for anyone hoping to get clearer on what the biggest questions of philosophy are really asking.




Husserl's Logical Investigations Reconsidered


Book Description

The twelve original studies collected in this volume examine different aspects of Edmund Husserl's Logical Investigations. They are authored by scholars and specialists internationally recognized for their expertise in the fields of logic, phenomenology, history of philosophy and philosophy of mind. They approach Husserl's groundwork from different angles and perspectives and shed new light on a number of issues such as meaning, intentionality, ontology, logic, etc.




Residuated Structures in Algebra and Logic


Book Description

This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic semantics for substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures. The book is designed to serve the purposes of novices and experts alike. The first three chapters provide a gentle introduction to the subject, while subsequent chapters provide a state-of-the-art account of recent developments in the field.




A - M


Book Description

No detailed description available for "A - M".