
62Regionsbased two dimensional continua: The Euclidean caseLogic and Logical Philosophy 24 (4). 2015.

61Vagueness, OpenTexture, and RetrievabilityInquiry: An Interdisciplinary Journal of Philosophy 56 (23): 307326. 2013.Just about every theorist holds that vague terms are contextsensitive to some extent. What counts as ?tall?, ?rich?, and ?bald? depends on the ambient comparison class, paradigm cases, and/or the like. To take a stock example, a given person might be tall with respect to European entrepreneurs and downright short with respect to professional basketball players. It is also generally agreed that vagueness remains even after comparison class, paradigm cases, etc. are fixed, and so this context sen…Read more

60Space, number and structure: A tale of two debatesPhilosophia Mathematica 4 (2): 148173. 1996.Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates ill…Read more

59Frege meets dedekind: A neologicist treatment of real analysisNotre Dame Journal of Formal Logic 41 (4): 335364. 2000.This paper uses neoFregeanstyle abstraction principles to develop the integers from the natural numbers (assuming Hume’s principle), the rational numbers from the integers, and the real numbers from the rationals. The first two are firstorder abstractions that treat pairs of numbers: (DIF) INT(a,b)=INT(c,d) ≡ (a+d)=(b+c). (QUOT) Q(m,n)=Q(p,q) ≡ (n=0 & q=0) ∨ (n≠0 & q≠0 & m⋅q=n⋅p). The development of the real numbers is an adaption of the Dedekind program involving “cuts” of ratio…Read more

56Typically, a logic consists of a formal or informal language together with a deductive system and/or a modeltheoretic semantics. The language is, or corresponds to, a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record which inferences are correct for the given language, and the semantics is to capture, codify, or record the meanings, or truthconditions, or possible truth conditions, for at least part of the language.

53EffectivenessIn Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics, Springer. pp. 3749. 2006.

49Reasoning, logic and computationPhilosophia Mathematica 3 (1): 3151. 1995.The idea that logic and reasoning are somehow related goes back to antiquity. It clearly underlies much of the work in logic, as witnessed by the development of computability, and formal and mechanical deductive systems, for example. On the other hand, a platitude is that logic is the study of correct reasoning; and reasoning is cognitive if anything Is. Thus, the relationship between logic, computation, and correct reasoning makes an interesting and historically central case study for mechanism…Read more

48

46A procedural solution to the unexpected hanging and sorites paradoxesMind 107 (428): 751762. 1998.The paradox of the Unexpected Hanging, related prediction paradoxes, and the Sorites paradoxes all involve reasoning about ordered collections of entities: days ordered by date in the case of the Unexpected Hanging; men ordered by the number of hairs on their heads the case of the bald man version of the Sorites. The reasoning then assigns each entity a value that depends on the previously assigned value of one of the neighboring entities. The final result is paradoxical because it conflicts wit…Read more

45Translating Logical TermsTopoi 38 (2): 291303. 2019.The is an old question over whether there is a substantial disagreement between advocates of different logics, as they simply attach different meanings to the crucial logical terminology. The purpose of this article is to revisit this old question in light a pluralism/relativism that regards the various logics as equally legitimate, in their own contexts. We thereby address the vexed notion of translation, as it occurs between mathematical theories. We articulate and defend a thesis that the not…Read more

45Intentional Mathematics (edited book)Elsevier. 1985.Among the aims of this book are:  The discussion of some important philosophical issues using the precision of mathematics.  The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice.  The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.

43Life on the Ship of Neurath: Mathematics in the Philosophy of MathematicsIn Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Croatian Journal of Philosophy, Springer. pp. 1127. 2012.Some central philosophical issues concern the use of mathematics in putatively nonmathematical endeavors. One such endeavor, of course, is philosophy, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or countersupport to various philosophical programs concerning the foundations of mathematics

42Review of Michael P. Lynch, Truth as One and Many (review)Notre Dame Philosophical Reviews 2009 (9). 2009.

41Remarks on the development of computabilityHistory and Philosophy of Logic 4 (12): 203220. 1983.The purpose of this article is to examine aspects of the development of the concept and theory of computability through the theory of recursive functions. Following a brief introduction, Section 2 is devoted to the presuppositions of computability. It focuses on certain concepts, beliefs and theorems necessary for a general property of computability to be formulated and developed into a mathematical theory. The following two sections concern situations in which the presuppositions were realized …Read more

39Logical consequence, proof theory, and model theoryIn Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press. pp. 651670. 2005.This chapter provides broad coverage of the notion of logical consequence, exploring its modal, semantic, and epistemic aspects. It develops the contrast between prooftheoretic notion of consequence, in terms of deduction, and a modeltheoretic approach, in terms of truthconditions. The main purpose is to relate the formal, technical work in logic to the philosophical concepts that underlie reasoning.

37The status of logicIn Paul Boghossian & Christopher Peacocke (eds.), New Essays on the a Priori, Oxford University Press. pp. 333338. 2000.

37Computing with Numbers and Other Nonsyntactic Things: De re Knowledge of Abstract ObjectsPhilosophia Mathematica 25 (2): 268281. 2017.ABSTRACT Michael Rescorla has argued that it makes sense to compute directly with numbers, and he faulted Turing for not giving an analysis of numbertheoretic computability. However, in line with a later paper of his, it only makes sense to compute directly with syntactic entities, such as strings on a given alphabet. Computing with numbers goes via notation. This raises broader issues involving de re propositional attitudes towards numbers and other nonsyntactic abstract entities.

36Review of T. Franzen, Godel's theorem: An incomplete guide to its use and abuse (review)Philosophia Mathematica 14 (2): 262264. 2006.This short book has two main purposes. The first is to explain Kurt Gödel's first and second incompleteness theorems in informal terms accessible to a layperson, or at least a nonlogician. The author claims that, to follow this part of the book, a reader need only be familiar with the mathematics taught in secondary school. I am not sure if this is sufficient. A grasp of the incompleteness theorems, even at the level of ‘the big picture’, might require some experience with the rigor of mathemat…Read more

36Varieties of LogicOxford University Press. 2014.Logical pluralism is the view that different logics are equally appropriate, or equally correct. Logical relativism is a pluralism according to which validity and logical consequence are relative to something. Stewart Shapiro explores various such views. He argues that the question of meaning shift is itself contextsensitive and interestrelative.

36The Company Kept by Cut Abstraction (and its Relatives)Philosophia Mathematica 19 (2): 107138. 2011.This article concerns the ongoing neologicist program in the philosophy of mathematics. The enterprise began life, in something close to its present form, with Crispin Wright’s seminal [1983]. It was bolstered when Bob Hale [1987] joined the fray on Wright’s behalf and it continues through many extensions, objections, and replies to objections . The overall plan is to develop branches of established mathematics using abstraction principles in the form: Formula where a and b are variables of a g…Read more

33The Classical Continuum without Points – CORRIGENDUMReview of Symbolic Logic 6 (3): 571571. 2013.

31Life on the Ship of NeurathCroatian Journal of Philosophy 9 (2): 149166. 2009.Some central philosophical issues concern the use of mathematics in putatively nonmathematical endeavors. One such endeavor, of course, is philosophy, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or countersupport to various philosophical programs concerning the foundations of mathematics

31On the notion of effectivenessHistory and Philosophy of Logic 1 (12): 209230. 1980.This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the pr…Read more

29Understanding the InfinitePhilosophical Review 105 (2): 256. 1996.Understanding the Infinite is a loosely connected series of essays on the nature of the infinite in mathematics. The chapters contain much detail, most of which is interesting, but the reader is not given many clues concerning what concepts and ideas are relevant for later developments in the book. There are, however, many technical crossreferences, so the reader can expect to spend much time flipping backward and forward.

29Priest, Graham. An Introduction to Nonclassical LogicReview of Metaphysics 56 (3): 670672. 2003.
Columbus, Ohio, United States of America
Areas of Specialization
Philosophy of Language 
Logic and Philosophy of Logic 
Philosophy of Mathematics 
Areas of Interest
Philosophy of Language 
Logic and Philosophy of Logic 
Philosophy of Mathematics 