This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.

This book collects a renowned scholar's essays from the past five decades and reflects two main concerns: an approach to logic that stresses argumentation, reasoning, and critical thinking and that is informal, empirical, naturalistic, practical, applied, concrete, and historical; and an interest in Galileo's life and thought-his scientific achievements, Inquisition trial, and methodological lessons in light of his iconic status as "father of modern science." These republished essays include many hard to find articles, out of print works, and chapters which are not available online. The collection provides an excellent resource of the author's lifelong dedication to the subject. Thus, the book contains critical analyses of some key Galilean arguments about the laws of falling bodies and the Copernican hypothesis of the earth's motion. There is also a group of chapters in which Galileo's argumentation is compared and contrasted with that of other figures such as Socrates, Karl Marx, Giordano Bruno, and his musicologist father Vincenzo Galilei. The chapters on Galileo's trial illustrate an approach to the science-vs-religion issue which Finocchiaro labels "para-clerical" and conceptualizes in terms of a judicious consideration of arguments for and against Galileo and the Church. Other essays examine argumentation about Galileo's life and thought by the major Galilean scholars of recent decades. The book will be of interest to scholars in philosophy, logic, philosophy of science, history of science, history of religion, philosophy of religion, argumentation, rhetoric, and communication studies.

Logic is fundamental to thought and language. But which logical principles are correct? The paradoxes play a crucial role in answering that question. The so-called Liar and Heap paradoxes challenge our basic ideas about logic; at the very least, they teach us that the correct logical principles are not as obvious as common sense would have it. The essays in this volume, written by leading figures in the field, discuss novel thoughts about the paradoxes.

An introductory textbook, Logic for Justice covers, in full detail, the language and semantics of both propositional logic and first-order logic. It motivates the study of those logical systems by drawing on social and political issues. Basically, Logic for Justice frames propositional logic and first-order logic as two theories of the distinction between good arguments and bad arguments. And the book explains why, for the purposes of social justice and political reform, we need theories of that distinction. In addition, Logic for Justice is extremely lucid, thorough, and clear. It explains, and motivates, many different features of the formalism of propositional logic and first-order logic, always connecting those features back to real-world issues. Key Features Connects the study of logic to real-world social and political issues, drawing in students who might not otherwise be attracted to the subject. Offers extremely clear and thorough presentations of technical material, allowing students to learn directly from the book without having to rely on instructor explanations. Carefully explains the value of arguing well throughout one’s life, with several discussions about how to argue and how arguments – when done with care – can be helpful personally. Includes examples that appear throughout the entire book, allowing students to see how the ideas presented in the book build on each other. Provides a large and diverse set of problems for each chapter. Teaches logic by connecting formal languages to natural languages with which students are already familiar, making it much easier for students to learn how logic works.

An introductory textbook, Logic for Justice covers, in full detail, the language and semantics of both propositional logic and first-order logic. It motivates the study of those logical systems by drawing on social and political issues. Basically, Logic for Justice frames propositional logic and first-order logic as two theories of the distinction between good arguments and bad arguments. And the book explains why, for the purposes of social justice and political reform, we need theories of that distinction. In addition, Logic for Justice is extremely lucid, thorough, and clear. It explains, and motivates, many different features of the formalism of propositional logic and first-order logic, always connecting those features back to real-world issues. Key Features Connects the study of logic to real-world social and political issues, drawing in students who might not otherwise be attracted to the subject. Offers extremely clear and thorough presentations of technical material, allowing students to learn directly from the book without having to rely on instructor explanations. Carefully explains the value of arguing well throughout one’s life, with several discussions about how to argue and how arguments – when done with care – can be helpful personally. Includes examples that appear throughout the entire book, allowing students to see how the ideas presented in the book build on each other. Provides a large and diverse set of problems for each chapter. Teaches logic by connecting formal languages to natural languages with which students are already familiar, making it much easier for students to learn how logic works.

This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics who have studied topics closely connected to Putnam's work. It includes 12 papers that analyze, develop, and constructively criticize this notable professor's research in mathematical logic, the philosophy of logic and the philosophy of mathematics. In addition, it features a short essay presenting reminiscences and anecdotes about Putnam from his friends and colleagues, and also includes an extensive bibliography of his work in mathematics and logic. The book offers readers a comprehensive review of outstanding contributions in logic and mathematics as well as an engaging dialogue between prominent scholars and researchers. It provides those interested in mathematical logic, the philosophy of logic, and the philosophy of mathematics unique insights into the work of Hilary Putnam.

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.

Professor de Nicolas presents the reader with actualized posibilities of knowing other cultures as they knew themselves. In his work, philosophy becomes an ongoing synthesis of knowledge and sensation. This new translation of The Bhagavad Gita, with its easy and beautiful reading, is a major philosophical attempt to read a most important text of a culture in it's own context.

Stephen Schiffer presents a groundbreaking account of meaning and belief, and shows how it can illuminate a range of crucial problems regarding language, mind, knowledge, and ontology. He introduces the new doctrine of 'pleonastic propositions' to explain what the things we mean and believe
are. He discusses the relation between semantic and psychological facts, on the one hand, and physical facts, on the other; vagueness and indeterminacy; moral truth; conditionals; and the role of propositional content in information acquisition and explanation. This radical new treatment of meaning
will command the attention of everyone who works on fundamental questions about language, and will attract much interest from other areas of philosophy.

This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the "new logic" only engaged new and more powerful instruments to answer the questions posed by the "old" one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic; classifies the various tools which were adopted to build such languages; gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment; discusses what can actually be achieved by relocating the problems of logic from natural language into them; and reaches certain conclusions with respect to the possibilities and limitations of this "formal turn" of logic. This book is both an important scholarly contribution to the philosophy of logic and a systematic survey of the standard (and not so standard) logical systems that were established during the short history of modern logic.

This collection addresses metaphysical issues at the intersection between philosophy and science. A unique feature is the way in which it is guided both by history of philosophy, by interaction between philosophy and science, and by methodological awareness. In asking how metaphysics is possible in an age of science, the contributors draw on philosophical tools provided by three great thinkers who were fully conversant with and actively engaged with the sciences of their day: Kant, Husserl, and Frege. Part I sets out frameworks for scientifically informed metaphysics in accordance with the meta-metaphysics outlined by these three self-reflective philosophers. Part II explores the domain for co-existent metaphysics and science. Constraints on ambitious critical metaphysics are laid down in close consideration of logic, meta-theory, and specific conditions for science. Part III exemplifies the role of language and science in contemporary metaphysics. Quine's pursuit of truth is analysed; Cantor's absolute infinitude is reconstrued in modal terms; and sense is made of Weyl's take on the relationship between mathematics and empirical aspects of physics. With chapters by leading scholars, Metametaphysics and the Sciences is an in-depth resource for researchers and advanced students working within metaphysics, philosophy of science, and the history of philosophy.

The late Mario Mignucci was one of the most authoritative, original, and influential scholars in the area of ancient philosophy, especially ancient logic. Collected here for the first time are sixteen of his most important essays on Ancient Logic, Language, and Metaphysics. These essays show a perceptive historian and a skillful logician philosophically engaged with issues that are still at the very heart of history and philosophy of logic, such as the nature of predication, identity, and modality. As well as essays found in disparate publications, often not easily available online, the volume includes an article on Plato and the relatives translated into English for the first time and an unpublished paper on De interpretatione 7. Mignucci thinks rigorously and writes clearly. He brings the deep knowledge of a scholar and the precision of a logician to bear on some of the trickiest topics in ancient philosophy. This collection deserves the close attention of anyone concerned with logic, language, and metaphysics, whether in ancient or contemporary philosophy.

Pragmatists have traditionally been enemies of representationalism but friends of naturalism, when naturalism is understood to pertain to human subjects, in the sense of Hume and Nietzsche. In this volume Huw Price presents his distinctive version of this traditional combination, as delivered in his Rene Descartes Lectures at Tilburg University in 2008. Price contrasts his view with other contemporary forms of philosophical naturalism, comparing it with other pragmatist and neo-pragmatist views such as those of Robert Brandom and Simon Blackburn. Linking their different 'expressivist' programmes, Price argues for a radical global expressivism that combines key elements from both. With Paul Horwich and Michael Williams, Brandom and Blackburn respond to Price in new essays. Price replies in the closing essay, emphasising links between his views and those of Wilfrid Sellars. The volume will be of great interest to advanced students of philosophy of language and metaphysics.

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory. Its six sections are devoted to specific themes, including the analysis and evaluation of argumentation, argument schemes and the contextual embedding of argumentation. The section on general perspectives on argumentation discusses the trends of empiricalization, contextualization and formalization, offers descriptions of the analytical and evaluative tools of informal logic, and highlights selected principles that argumentation theorists do and do not agree upon. In turn, the section on linguistic approaches to argumentation focuses on the problem of distinguishing between explanation and argument, while also elaborating on the role of verbal indicators of argument schemes. All essays included in this volume point out notable recent developments in the study of argumentation.

Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity. He clears up some common misunderstandings of Kripke's views on rigid designation, causality and reference, the necessary and the contingent, the a posteriori and the a priori. Through his engagement with Kripke's ideas Hughes makes a significant contribution to ongoing debates on, inter alia, the semantics of natural kind terms, the nature of natural kinds, the essentiality of origin and constitution, the relative merits of 'identitarian' and counterpart-theoretic accounts of modality, and the identity or otherwise of mental types and tokens with physical types and tokens. No specialist knowledge in either the philosophy of language or metaphysics is presupposed; Hughes's book will be valuable for anyone working on the ideas which Kripke made famous in the philosophy world.

Wittgenstein et Spinoza construisent, l'un dans le Tractatus, l'autre dans l'A0/00thique, des systA]mes philosophiques rA(c)unissant le monde, l'homme et Dieu dans lesquels ils s'opposent sur de nombreux points. C'est ainsi par exemple que, suivant Spinoza, l'homme est assurA(c) que rien ne se produit sans cause alors que Wittgenstein rejette la possibilitA(c) de rapports d'ordre causal entre les A(c)vA(c)nements. Le prA(c)sent travail dissA]que dans une premiA]re partie l'A"uvre de Wittgenstein, il analyse dans une deuxiA]me partie la doctrine de Spinoza, et il compare enfin dans la troisiA]me partie les deux systA]mes dont il fait ressortir les points de concordance et de dissemblance dans leurs constructions respectives. Il traite les A"uvres philosophiques que sont le Tractatus et l'A0/00thique comme si elles relevaient de sciences telles que la mA(c)canique, l'astronomie, etc., et utilise des modA]les gA(c)omA(c)triques appropriA(c)s A leur interprA(c)tation. L'A(c)tude comparative du Tractatus et de l'A0/00thique, qui ne cessent d'exercer leur influence sur la pensA(c)e humaine, permet de conclure que le Tractatus, A"uvre du XXe siA]cle, renoue avec le rationalisme du XVIIe siA]cle exprimA(c) par Spinoza.

This book provides a comprehensive overview of the nature of explanations as given in both natural and social sciences. It discusses models of explanation adopted in natural and social sciences. The author also elaborates upon naturalistic and anti-naturalistic views and other types of explanations such as functional, purposive, etc in social science. The volume elaborates upon themes like bridge principle; functional explanation; purposive explanation; teleological explanation; prediction; methodological individualism; methodological collectivism; illocutionary redescription; principle of action; and dispositional explanations, to understand whether the explanations given in the realm of social sciences are the same or different from the explanations that are given in the field of natural sciences. This introductory book is a must read for students and scholars of philosophy of science, logic, science and technology studies, social sciences, and philosophy in general.

Colin Howson offers a solution to one of the central, unsolved problems of Western philosophy, the problem of induction. In the mid-eighteenth century David Hume argued that successful prediction tells us nothing about the truth or probable truth of the predicting theory. Howson claims that Hume's argument is correct, and examines what follows about the relation between science and its empirical base.

This contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from the lenses of philosophy, anthropology, sociology, and history to examine two opposing perceptions of logic: the first as an innate human ability and the second as a skill that can be learned and mastered. Chapters focus on the social and political dynamics of the use of logic throughout history, utilizing case studies and critical analyses. Specific topics covered include: the rise of logical skills problems concerning medieval notions of idiocy and rationality decolonizing natural logic natural logic and the course of time Logical Skills: Social-Historical Perspectives will appeal to undergraduate and graduate students, as well as researchers in the fields of history, sociology, philosophy, and logic. Psychology and colonial studies scholars will also find this volume to be of particular interest.

Representational systems such as language, mind and perhaps even the brain exhibit a structure that is often assumed to be compositional. That is, the semantic value of a complex representation is determined by the semantic value of their parts and the way they are put together. Dating back to the late 19th century, the principle of compositionality has regained wide attention recently. Since the principle has been dealt with very differently across disciplines, the aim of the two volumes is to bring together the diverging approaches. They assemble a collection of original papers that cover the topic of compositionality from virtually all perspectives of interest in the contemporary debate. The well-chosen international list of authors includes psychologists, neuroscientists, computer scientists, linguists, and philosophers.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main "mathematical characters" of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein-Podolsky-Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like "Alice knows that everybody knows that she is pretty", explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.

How do we think? What does a faithful use of logic look like? Without even pausing to think about it, we exercise our capacity for rational thought. But how exactly does logic work? What makes some arguments valid and others not? In this Questions in Christian Philosophy volume, philosopher Forrest Baird offers an introduction to logic. He considers the basic building blocks of human reason, including types of arguments, fallacies, syllogisms, symbols, and proofs, all of which are demonstrated with exercises for students throughout. In addition, he reflects on the relationship between the use of reason and the Christian faith. With this academic but accessible primer, readers will be introduced to the basics of logic-and encouraged to reason better. The Questions in Christian Philosophy Series features introductory textbooks that offer students a Christian perspective on the various branches of philosophy, enabling them as they seek to understand all facets of life including existence, knowledge, ethics, art, and more.

This collection will prove a valuable resource for our understanding of the historic Carnap and the living philosophical issues with which he grappled. It arose out of a symposium on Carnap's work (Vienna, 2001). With essays by Graham H. Bird, Jaakko Hintikka, Ilkka Niiniluoto, Jan Wolenski, this volume will interest graduate students of the philosophy of language and logic, as well as professional philosophers, historians of analytic philosophy, and philosophically inclined logicians.

In 1986, the emergence of a novel brain disease in British cattle presented a unique challenge to scientists. How that challenge was addressed has been the subject of a public inquiry and numerous academic studies conducted to date. However, none of these investigations has sought to examine the reasoning of scientists during this critical period in the public health of the UK. Using concepts and techniques in informal logic, argumentation and fallacy theory, this study reconstructs and evaluates the reasoning of scientists in the ten-year period between 1986 and 1996. Specifically, a form of presumptive reasoning is described in which extensive use is made of arguments traditionally identified as informal fallacies. In the context of the adverse epistemic conditions that confronted scientists during the BSE epidemic, these arguments were anything but fallacious, serving instead to confer a number of epistemic gains upon scientific inquiry. This book argues for a closer integration of philosophy with public health science, an integration that is exemplified by the case of scientific reasoning during the BSE affair. It will therefore be of interest to advanced students, academics, researchers and professionals in the areas of public health science and epidemiology, as well as philosophical disciplines such as informal logic, argumentation and fallacy theory and epistemology.

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.