•  280
    Aristotle's Many-sorted Logic
    Bulletin of Symbolic Logic 14 (1): 155-156. 2008.
    As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved us…Read more
  •  7610
    An Essay on Knowledge and Belief
    International Journal of Decision Ethics (2): 125-144. 2006.
    This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7
  •  314
    Contrary to dictionaries, a non sequitur isn’t “any statement that doesn’t follow logically from previous statements”. Otherwise, every opening statement would be a non sequitur: a non sequitur is a statement claimed to follow from previous statements but that doesn’t follow. If the sentence making a given statement doesn’t contain ‘thus’, ‘so’, ‘hence’, ‘therefore’, or something else indicating an implication claim, the statement isn’t a non sequitur in this sense. But this is only one of sever…Read more
  •  85
    The switches "paradox" and the limits of propositional logic
    with Susan B. Wood
    Philosophy and Phenomenological Research 34 (1): 102-108. 1973.