•  13
    Critical notices
    with Gregory McCulloch
    International Journal of Philosophical Studies 4 (2). 1996.
  •  25
    Bolzano sur les nombres
    Philosophiques 30 (1): 127-135. 2003.
    Dans cet article, l’auteur présente la théorie bolzanienne du nombre. Il établit, sur la base d’une comparaison avec Frege, que la conception bolzanienne rencontre toutes les exigences d’une telle théorie tout en présentant plusieurs traits originaux, comme par exemple le fait qu’elle s’articule sur la base d’une théorie des « collections » , qui lui confèrent un intérêt philosophique certain. Tout en indiquant au passage un problème inhérent à la notion bolzanienne de Reihe, l’auteur présente l…Read more
  • Logic in the Brentano School
    In Liliana Albertazzi, Massimo Libardi & Roberto Poli (eds.), The School of Franz Brentano, Kluwer Academic Publishers. 1996.
  •  1
    Part/whole II: Mereology since 1900
    In Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology, Philosophia Verlag. pp. 672--675. 1991.
  • Bernard Bolzanos kosmologischer Gottesbeweis
    with Heinrich Ganthaler
    Philosophia Naturalis 24 (4): 469-475. 1987.
  •  80
    Who's Afraid of Higher-Order Logic?
    Grazer Philosophische Studien 44 (1): 253-264. 1993.
    Suppose you hold the following opinions in the philosophy of logic. First-order predicate logic is expressively inadequate to regiment concepts of mathematic and natural language; logicism is plausible and attractive; set theory as an adjunct to logic is unnatural and ontologically extravagant; humanly usable languages are finite in lexicon and syntax; it is worth striving for a Tarskian semantics for mathematics; there are no Platonic abstract objects. Then you are probably already in cognitive…Read more
  •  132
    How to Exist at a Time When You Have No Temporal Parts
    The Monist 83 (3): 419-436. 2000.
    Occurrents are entities that exist in time and, with few or no exceptions, extend over time as well, that is, they have parts corresponding to the different times at which they exist. This makes it very easy to say what makes it true that they exist at the times at which they do. Singular existential propositions, being contingent, positive and arguably atomic, stand in need of truth-makers, entities in virtue of whose existence they are true. The obvious candidate for what makes it true that To…Read more
  •  47
    Truth-maker optimalism
    Logique Et Analyse 43 (169-170): 17-41. 2000.
  •  13
    Existential Propositions
    Grazer Philosophische Studien 42 (1): 229-259. 1992.
    By considering a wide and expressly classified range of examples from natural and logical languages, the attempt is made to isolate from other concomitants the features of existential sentences which make them existential. One such concomitant is the imputation of singularity. There are many ways to say something exists, and their relationships are charted. It is denied that there is anything in reality called existence, or any special existential facts.
  •  130
    Modes of Extension: Comments on Kit Fine's ‘In Defence of Three-Dimensionalism’
    Royal Institute of Philosophy Supplement 62 17-21. 2008.
    The debate between 3- and 4-dimensionalists is one of the most lively and pervasive in current metaphysics. At stake is a glittering prize: the correct metaphysical analysis of material things and other objects commonly thought to persist in time by enduring. Since we count ourselves among such objects the outcome of the debate is of more than merely academic interest to us. Obviously the ramifications of the debate, even of the points raised by Kit Fine, go far beyond what I can discuss here, s…Read more
  •  135
    The Four Phases of Philosophy
    The Monist 83 (1): 68-88. 2000.
    From the beginning of the nineteenth century to the present day, philosophy in Austria has progressed through four phases. Theparticularities of the first three of these phases have prompted a number of commentators rightly to distinguish a characteristic Austrian, as distinct from German, way of doing philosophy. The main figure of the second phase was Franz Brentano, and his distinctive theory of the four-phase cycle of philosophical development is outlined, and critically compared to other vi…Read more
  •  21
    Das System der Leibnizschen Logik (review)
    Grazer Philosophische Studien 43 (1): 249-250. 1992.
  •  201
    Brentano’s Mereology
    with Wilhelm Baumgartner
    Axiomathes 5 (1): 55-76. 1994.
  •  305
    Real wholes, real parts: Mereology without algebra
    Journal of Philosophy 103 (12): 597-613. 2006.
  •  51
    Continuants and Occurrents
    with Joseph Melia
    Aristotelian Society Supplementary Volume 74 59-92. 2000.
    Commonsense ontology contains both continuants and occurrents, but are continuants necessary? I argue that they are neither occurrents nor easily replaceable by them. The worst problem for continuants is the question in virtue of what a given continuant exists at a given time. For such truthmakers we must have recourse to occurrents, those vital to the continuant at that time. Continuants are, like abstract objects, invariants under equivalences over occurrents. But they are not abstract, and th…Read more
  •  19
    Processing Whitehead
    Metascience 15 (1): 67-72. 2006.
  • Book Reviews (review)
    Mind 101 (403): 581-582. 1992.
  •  37
    Leśniewski and Generalized Quantifiers
    European Journal of Philosophy 2 (1): 65-84. 1994.
  •  6
    Parts : a Study in Ontology
    Revue de Métaphysique et de Morale 2 277-279. 1987.
  •  40
    A Semantics for Ontology
    Dialectica 39 (3): 193-215. 1985.
    SummaryLeśniewski presented his logical systems in a way which conformed to his nominalism, so the question arises whether Leśniewski's logic can be given a natural formal semantics which, unlike current versions, avoids commitment to abstract entities. Building on hints in Wittgenstein's Tractatus, I develop the idea of a way of meaning which is the basis for what I call combinatorial semantics. I then consider whether this commits us to abstract objects or an intensional metalogic