•  326
    Some Neglected Problems of Omniscience
    American Philosophical Quarterly 20 (3): 265-277. 1983.
    One set of neglected problems consists of paradoxes of omniscience clearly recognizable as forms of the Liar, and these I have never seen raised at all. Other neglected problems are difficulties for omniscience posed by recent work on belief de se and essential indexicals. These have not yet been given the attention they deserve.
  •  450
    Impossibility Arguments
    In Michael Martin (ed.), The Cambridge Companion to Atheism, Cambridge University Press. pp. 199--214. 2007.
    Among the most telling atheistic arguments are those to the effect that the existence of any being that meets standard divine specifications is impossible – that there not only is not but could not be any such being.
  •  415
    What is a Contradiction?
    In Graham Priest, Jc Beall & Bradley P. Armour-Garb (eds.), The Law of Non-Contradiction : New Philosophical Essays, Oxford University Press. pp. 49--72. 2004.
    The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?
  •  316
    Evolution of communication in perfect and imperfect worlds
    World Futures 56 (2): 179-197. 2000.
    We extend previous work on cooperation to some related questions regarding the evolution of simple forms of communication. The evolution of cooperation within the iterated Prisoner's Dilemma has been shown to follow different patterns, with significantly different outcomes, depending on whether the features of the model are classically perfect or stochastically imperfect (Axelrod 1980a, 1980b, 1984, 1985; Axelrod and Hamilton, 1981; Nowak and Sigmund, 1990, 1992; Sigmund 1993). Our results here …Read more
  •  355
    Truth, omniscience, and the knower
    Philosophical Studies 54 (1). 1988.
    Let us sum up. The paradox of the Knower poses a direct and formal challenge to the coherence of common notions of knowledge and truth. We've considered a number of ways one might try to meet that challenge: propositional views of truth and knowledge, redundancy or operator views, and appeal to hierarchy of various sorts. Mere appeal to propositions or operators, however, seems to be inadequate to the task of the Knower, at least if unsupplemented by an auxiliary recourse to hierarchy. But the c…Read more
  •  660
    Fractal images of formal systems
    with Paul St Denis
    Journal of Philosophical Logic 26 (2): 181-222. 1997.
    Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing at least simple formal …Read more
  •  5
    Philosophy of Science and Occult, 1st Ed (edited book)
    State University of New York Press. 1982.
    Philosophy of Science and the Occult has two aims: to introduce the philosophy of science through an examination of the occult, and to examine the occult rigorously enough to raise central issues in philosophy of science. Patrick Grim has compiled selections by authors with divergent views on astrology, parapsychology, and UFO’s to emphasize topics standard to the philosophy of science. He discusses issues such as confirmation and selection for testing, possibility and a priori probabilities, ca…Read more
  •  1012
    Truth, Omniscience, and Cantorian Arguments: An Exchange
    Philosophical Studies 71 (3): 267-306. 1993.
    An exchange between Patrick Grim and Alvin Plantinga regarding Cantorian arguments against the possibility of an omniscient being.
  •  420
    Is this a swizzle stick which I see before me?
    Analysis 43 (4): 164-166. 1983.
    On swizzle sticks, sorites paradoxes, and precise replacements.
  •  149
    Gremlins Revenged
    with Robert Brecher
    Philosophical Studies (Dublin) 30 165-176. 1984.
  •  17
    Beyond the Limits of Thought (review)
    Philosophy and Phenomenological Research 58 (3): 719-723. 1998.
  •  353
    Contrary to the great bulk of philosophical work on vagueness, the core of vagueness is not to be found in vague monadic predicates such as ‘bald’, ‘tall’, or ‘old’. The true source of vagueness – at least vagueness of the type that typically appears in the sorites – lies beneath these, in a mechanism using a buried quantifier operative over the comparatives ‘balder’, ‘taller’ and ‘older’.
  •  13
    Philosophy for Computers: Some Explorations in Philosophical Modeling
    Metaphilosophy 33 (1‐2): 181-209. 2003.
    Philosophical modeling has a long and distinguished history, but the computer offers new and powerful prospects for the creation and manipulation of models. It seems inevitable that the computer will become a major tool in future philosophical research. Here I offer an overview of explorations in philosophical computer modeling that we in the Group for Logic and Formal Semantics at SUNY Stony Brook have undertaken: explorations regarding (1) the potential emergence of cooperation in a society of…Read more
  •  9
    Mind and Consciousness: 5 Questions (edited book)
    Automatic Press. 2009.
    Debates concerning the nature of mind and consciousness are active and ongoing, with implications for philosophy, psychology, artificial intelligence and the neurosciences. This book collects interviews with some of the foremost philosophers of mind, focusing on open questions, promising projects, and their own intellectual histories. The result is a rich glimpse of the contemporary debate through some of the people who make it what it is. Interviews with Lynne Rudder Baker, David Chalmers, Dani…Read more
  •  365
    Information and meaning: Use-based models in arrays of neural nets (review)
    with P. St Denis and T. Kokalis
    Minds and Machines 14 (1): 43-66. 2004.
    The goal of philosophy of information is to understand what information is, how it operates, and how to put it to work. But unlike ‘information’ in the technical sense of information theory, what we are interested in is meaningful information. To understand the nature and dynamics of information in this sense we have to understand meaning. What we offer here are simple computational models that show emergence of meaning and information transfer in randomized arrays of neural nets. These we t…Read more
  •  1
    Wright on Functions
    Analysis 35 (2): 62-64. 1974.
  •  3
    We extend previous work by modeling evolution of communication using a spatialized genetic algorithm which recombines strategies purely locally. Here cellular automata are used as a spatialized environment in which individuals gain points by capturing drifting food items and are 'harmed' if they fail to hide from migrating predators. Our individuals are capable of making one of two arbitrary sounds, heard only locally by their immediate neighbors. They can respond to sounds from their neighbors …Read more
  •  120
    ``Truth, Omniscience and Cantorian Arguments: An Exchange" (review)
    Philosophical Studies 71 (3): 267-306. 1993.
  •  5
    Philosophy of Science and the Occult: Second Edition (edited book)
    State University of New York Press. 1990.
    This book both introduces the philosophy of science through examination of the occult and examines the occult rigorously enough to raise central issues in the philosophy of science. Placed in the context of the occult, philosophy of science issues become immediately understandable and forcefully compelling. Divergent views on astrology, parapsychology, and quantum mechanics mysticism emphasize topics standard to the philosophy of science. Such issues as confirmation and selection for testing, ca…Read more
  •  215
    Plenum theory
    Noûs 42 (3): 422-439. 2008.
    Plena are large-scale macro-totalities appropriate to the realms of all facts, all truths, and all things. Our attempt here is to take some first technical steps toward an adequate conception of plena.
  •  755
    Logic and limits of knowledge and truth
    Noûs 22 (3): 341-367. 1988.
    Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?
  •  212
    Modeling and simulation clearly have an upside. My discussion here will deal with the inevitable downside of modeling — the sort of things that can go wrong. It will set out a taxonomy for the pathology of models — a catalogue of the various ways in which model contrivance can go awry. In the course of that discussion, I also call on some of my past experience with models and their vulnerabilities
  •  14
    A version of this paper was presented at the IEEE International Conference on Computational Intelligence, combined meeting of ICNN, FUZZ-IEEE, and ICEC, Orlando, June-July, 1994, and an earlier form of the result is to appear as "The Undecidability of the Spatialized Prisoner's Dilemma" in Theory and Decision . An interactive form of the paper, in which figures are called up as evolving arrays of cellular automata, is available on DOS disk as Research Report #94-04i . An expanded version appears…Read more
  •  19
    Criticism and Commitment (review)
    Review of Metaphysics 41 (2): 384-385. 1987.
    'Post-critical,' as Echeverria rightly notes, "is one of those catchy, yet slippery phrases which seem to crop up in so many places that they take on a power of their own." But for the purposes of this study, at least, he manages to circumscribe the topic with remarkable clarity: "... the traditional meaning of a critique of knowledge excluded reflection on one's own historical context as an essential trait of philosophical theories, and relegated that context to psychology. 'Post-critical' phil…Read more