•  123
    Computer, Proof, and Testimony
    Studies in Logic 5 (1): 50-67. 2012.
    It has been claimed that computer-assisted proof utilizes empirical evidence in a manner unheard of in traditional mathematics and therefore its employment forces us to modify our conception of proof. This paper provides a critical survey of some arguments for this claim. It starts by revisiting a well known paper by Thomas Tymoczko on the computer proof of the Four-Color Theorem. Drawing on some ideas from the works of Tyler Burge and others, it then considers a way to see the philosophical sig…Read more
  •  94
    In 1996, the 9th Circuit Court of Appeal of United States ruled that a Washington law banning physician-assisted suicide was unconstitutional. In the same year, the 2nd Circuit found a similar law in New York unconstitutional. One year later, the U.S. Supreme Court reversed both rulings, saying that there was no constitutional right to assisted suicide. However, the Court also made plain that they did not reject such a right in principle and that “citizens are free to press for permissive reform…Read more
  •  88
    Two-dimensionalism and Kripkean A Posteriori necessity
    In Manuel Garcia-Carpintero & Josep Macià (eds.), Two-Dimensional Semantics, Oxford University Press. 2006.
    The essence of the associated-proposition strategy is to distinguish the necessary proposition _expressed by_ a sentence
  •  47
    Singular Propositions and the A Priori
    Journal of Philosophical Research 21 107-116. 1996.
    In Frege’s Puzzle, Nathan Salmon argues that his theory of singular propositions enables him to refute Saul Kripke’s claim that some identity statements are necessary and yet a posteriori. In this paper, through a critical examination of Salmon’s rejoinders to my earlier objections to his argument, I show what implications the theory of singular propositions has for the notion of apriority. I argue that Salmon’s handling of the ‘trivialization problem,’ which presents serious difficulties for hi…Read more
  •  28
    Testimony and Computer Proof
    Proceedings of the Xxii World Congress of Philosophy 53 317-323. 2008.
    This article aims to evaluate the purported empirical character of computer-assisted proof, as suggested by Thomas Tymoczko and others. Tymoczko famously argued that the proof of the Four-Color Theorem introduced a new, empirical method of proof, forcing us to modify the traditional conception of mathematical argument as a priori reasoning. Detlefsen and Luker contended that Tymoczko’s suggestion entailed that typically mathematical proofs were empirical. My chief interest is to raise some objec…Read more
  •  7
    I understand (MR) as meaning that there is a way the world is that is independent of our minds or representations. One may also state (MR) in terms of ‘A description/language independent world/reality’ or ‘a conceptual scheme independent world/reality’. For our purposes, we need not distinguish these variants of formulation.
  •  2
    On Jackson’s Descriptivism
    Studies in Logic 8 (2): 52-69. 2015.
    Through a series of writings, Frank Jackson has developed a new kind of descriptivism that he argues can resist all of the three major objections raised by the theorists of direct reference. In this article I articulate some doubts about Jackson’s replies to two of these objections, i.e., the modal argument and the semantic argument.
  •  1
    Applied Ethics: A Multicultural Approach (edited book)
    with Larry May and Shari Collins-Chobanian
    Prentice-Hall. 2001.