Roy T. Cook

The Embracing Revenge account of semantic paradox avoids the expressive limitations of previous approaches based on the Kripkean fixed point construction by replacing a single language with an indefinitely extensible sequence of languages, each of which contains the resources to fully characterize the semantics of the previous languages. In this paper we extend the account developed in Cook, Cook, Schlenker, and Tourville and Cook via the addition of intensional operators such as ``is paradoxical''. In this extended framework we are able to characterize the difference between sentences, such as the Liar and the Truth-teller, that receive the same semantic value in minimal fixed points yet seem to involve distinct semantic phenomena.

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.

Es bestehen tiefgreifende Zusammenhänge zwischen Leibniz' Mathematik und seiner Metaphysik. Dieser Aufsatz hat das Ziel, das Verständnis für diese beiden Bereiche zu erweitern, indem er Leibniz' Mereologie (die Theorie der Teile und des Ganzen) näher untersucht. Zunachst wird Leibniz' Mereologie primär anhand seiner Schrift “Initia rerum mathematicarum metaphysica" rekonstruiert. Dieses ehrgeizige Programm beginnt mit dem einfachen Begriff der Kompräsenz, geht dann iiber zu komplexeren Begriffen wie Gleichheit, Ähnlichkeit und Homogenität und kulminiert letztlich in der Leibnizschen Definition der Begriffe Teil, Ganzes und Komposition. Im Verlauf des Aufsatzes werden auch weitere Erkenntnisse in anderen Bereichen gewonnen, so z. B. in bezug auf die Identität des Ununterscheidbaren. Schließlich werde ich im Rahmen der vorgelegten Theorie versuchen, ein Mißverständnis bezüglich Leibniz' Analogie zwischen Monaden und mathematischen Punkten, welche sich auf die Räumlichkeit der Monaden bezieht, auszuräumen

Paradoxes are arguments that lead from apparently true premises, via apparently uncontroversial reasoning, to a false or even contradictory conclusion. Paradoxes threaten our basic understanding of central concepts such as space, time, motion, infinity, truth, knowledge, and belief. In this volume Roy T Cook provides a sophisticated, yet accessible and entertaining, introduction to the study of paradoxes, one that includes a detailed examination of a wide variety of paradoxes. The book is organized around four important types of paradox: the semantic paradoxes involving truth, the set-theoretic paradoxes involving arbitrary collections of objects, the Soritical paradoxes involving vague concepts, and the epistemic paradoxes involving knowledge and belief. In each of these cases, Cook frames the discussion in terms of four different approaches one might take towards solving such paradoxes. Each chapter concludes with a number of exercises that illustrate the philosophical arguments and logical concepts involved in the paradoxes. _Paradoxes_ is the ideal introduction to the topic and will be a valuable resource for scholars and students in a wide variety of disciplines who wish to understand the important role that paradoxes have played, and continue to play, in contemporary philosophy.

This dictionary introduces undergraduate and post-graduate students in philosophy, mathematics, and computer science to the main problems and positions in philosophical logic. Coverage includes not only key figures, positions, terminology, and debates within philosophical logic itself, but issues in related, overlapping disciplines such as set theory and the philosophy of mathematics as well. Entries are extensively cross-referenced, so that each entry can be easily located within the context of wider debates, thereby providing a valuable reference both for tracking the connections between concepts within logic and for examining the manner in which these concepts are applied in other philosophical disciplines. Roy T. Cook is Assistant Professor in the Department of Philosophy at the University of Minnesota and an Associate Fellow at Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology at the University of St Andrews. He works primarily in the philosophy of logic, language, and mathematics, and has also published papers on seventeenth century philosophy.

I propose a novel way of viewing the connection between mathematical discourse and the mathematical logician's formalizations of it. We should abandon the idea that formalizations are accurate descriptions of mathematical activity. Instead, logicians are in the business of supplying models in much the same way that a mathematical physicist formulates models of physical phenomena or the hobbyist constructs models of ships. ;I first examine problems with the traditional view, and I survey some prior work in the spirit of the logic-as-model, including that of Gerhard Gentzen, Georg Kreisel, and Imre Lakatos. The utility of the present framework is then demonstrated in three case studies. ;First, this approach solves a purported problem with precise semantics for vagueness. Precise semantics supposedly err by replacing the defining characteristic of vagueness with precise cut-offs, but on the logic-as-model approach this precision can be seen as an artifact serving to simplify the model but corresponding to nothing actually found in vague languages. ;Second, on the logic-as-model view the advantages claimed for branching quantifiers, i.e. providing the expressiveness of second-order languages while avoiding their semantic intractability, are illusory. On the one hand, second-order formulations of mathematical concepts are usually far more natural than branching quantifier formulations; on the other hand, branching quantifiers are no more tractable than second-order languages. ;Finally, I examine the claim that Gottfried Leibniz's infinitesimal calculus is nothing other than Abraham Robinson's non-standard analysis. Although non-standard analysis is a useful model, there are other formalizations of Leibniz's mathematics as fruitful as, yet incompatible with, the non-standard approach, a fact hard to reconcile with the idea that logic provides accurate descriptions. ;After the case studies, I examine the objectivity of logic from the logic-as-model framework. This issue is difficult enough on traditional accounts of logic, and would seem to become even more difficult from the present point of view. Nevertheless, a rich picture of the objectivity of logic is worked out with interesting new sorts of indeterminacy arising from the idea that logic provides models and not descriptions