In the fall of 1985 Carnegie Mellon University established a Department of Philosophy. The focus of the department is logic broadly conceived, philos- ophy of science, in particular of the social sciences, and linguistics. To mark the inauguration of the department, a daylong celebration was held on April 5, 1986. This celebration consisted of two keynote addresses by Patrick Sup- pes and Thomas Schwartz, seminars directed by members of the department, and a panel discussion on the computational model of mind moderated by Dana S. Scott. The various contributions, in modified and expanded form, are the core of this collection of essays, and they are, I believe, of more than parochial interest: they turn attention to substantive and reflective interdis- ciplinary work. The collection is divided into three parts. The first part gives perspec- tives (i) on general features of the interdisciplinary enterprise in philosophy (by Patrick Suppes, Thomas Schwartz, Herbert A. Simon, and Clark Gly- mour) , and (ii) on a particular topic that invites such interaction, namely computational models of the mind (with contributions by Gilbert Harman, John Haugeland, Jay McClelland, and Allen Newell). The second part con- tains (mostly informal) reports on concrete research done within that enter- prise; the research topics range from decision theory and the philosophy of economics through foundational problems in mathematics to issues in aes- thetics and computational linguistics. The third part is a postscriptum by Isaac Levi, analyzing directions of (computational) work from his perspective.

Does game theory ? the mathematical theory of strategic interaction ? provide genuine explanations of human behaviour? Can game theory be used in economic consultancy or other normative contexts? Explaining Games: The Epistemic Programme in Game Theory ? the first monograph on the philosophy of game theory ? is a bold attempt to combine insights from epistemic logic and the philosophy of science to investigate the applicability of game theory in such fields as economics, philosophy and strategic consultancy. De Bruin proves new mathematical theorems about the beliefs, desires and rationality principles of individual human beings, and he explores in detail the logical form of game theory as it is used in explanatory and normative contexts. He argues that game theory reduces to rational choice theory if used as an explanatory device, and that game theory is nonsensical if used as a normative device. A provocative account of the history of game theory reveals that this is not bad news for all of game theory, though. Two central research programmes in game theory tried to find the ultimate characterisation of strategic interaction between rational agents. Yet, while the Nash Equilibrium Refinement Programme has done badly thanks to such research habits as overmathematisation, model-tinkering and introversion, the Epistemic Programme, De Bruin argues, has been rather successful in achieving this aim.

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

"Euthydemus is Plato's defense of Socratic dialogue as a means to pursue truth. In Euthydemus, Plato has Socrates engage in a conversation with the title character and his brother Dionysodorus, both famous Sophists. They are representative of a type of argument, which Plato calls 'eristic', that emphasizes verbal trickery in order to humiliate your opponent and win your debate. This is contrasted with Socrates' dialectic, where words are a means of discerning reality, not gaining victory. In the process, Plato makes a case for the Socratic method as a means of educating youth, something he was attempting to do in his own newly-opened Academy. Presented in Plato's usual dramatic style, Euthydemus is simultaneously an engaging read and a passionate pedagogical manifesto.

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna's logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.

This volume comprises a selection of contributions to the theorizing about argumentation that have been presented at the 9th conference of the International Society for the Study of Argumentation (ISSA), held in Amsterdam in July 2018. The chapters included provide a general theoretical perspective on central topics in argumentation theory, such as argument schemes and the fallacies. Some contributions concentrate on the treatment of the concept of conductive argument. Other contributions are dedicated to specific issues such as the justification of questions, the occurrence of mining relations, the role of exclamatives, argumentative abduction, eudaimonistic argumentation and a typology of logical ways to counter an argument. In a number of cases the theoretical problems addressed are related to a specific type of context, such as the burden of proof in philosophical argumentation, the charge of committing a genetic fallacy in strategic manoeuvring in philosophy, the necessity of community argument, and connection adequacy for arguments with institutional warrants. The volume offers a great deal of diversity in its breadth of coverage of argumentation theory and wide geographic representation from North and South America to Europe and China.

This monograph is a defence of the Fregean take on logic. The author argues that Freges projects, in logic and philosophy of language, are essentially connected and that the formalist shift produced by the work of Peano, Boole and Schroeder and continued by Hilbert and Tarski is completely alien to Frege's approach in the Begriffsschrift. A central thesis of the book is that judgeable contents, i.e. propositions, are the primary bearers of logical properties, which makes logic embedded in our conceptual system. This approach allows coherent and correct definitions of logical constants, logical consequence, and truth and connects their use to the practices of rational agents in science and everyday life.

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.

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.

Gareth Matthews suggests that we can better understand the nature of philosophical inquiry if we recognize the central role played by perplexity. The seminal representation of philosophical perplexity is in Plato's dialogues; Matthews invites us to view this as a response to something inherently problematic in the basic notions that philosophy deals with. He examines the intriguing shifts in Plato's attitude to perplexity and suggests that this development may be seen as an archetypal pattern that philosophers follow even today. So it is that one may be won over to philosophy in the first place by the example of a Socratic teacher who displays an uncanny gift at getting one perplexed about something one thought one understood perfectly well. Later, however, wanting like Plato to move beyond perplexity to produce philosophical 'results', one may be chagrined to discover that one's very best attempt to develop a philosophical theory induces its own perplexity. Then, like late Plato and like Aristotle, the philosopher may seek to 'normalize' perplexity in a way that both allows for progress and yet respects the peculiarly baffling character of philosophical questions.

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics, and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a clear general idea of what the methods of argumentation are and how they work as tools that can be used to analyze arguments. Each subsequent chapter then applies these methods to a leading problem of argumentation. Today the field of computing has embraced argumentation as a paradigm for research in artificial intelligence and multi-agent systems. Another purpose of this book is to present and refine tools and techniques from computing as components of the methods that can be handily used by scholars in other fields.

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.

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

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.