The subject matter of this thesis is analytic ontology. Chapters II and III deal with two versions of trope theory, or moderate nominalism; these are defined as ontologies which recognise properties and relations but no (real) universals. The key notion of both theories, trope, is characterised as an abstract particular. What the abstractness amounts to differs between the two. Yet another difference is that simplicity is an essential trait of a trope according to one theory, but not according to the (...) other. Though exact similarity is said to play an important role in both theories, as it turns out, this does not seem to be the case. The ontology dealt with in chapter IV is a mixture of moderate nominalism concerning qualities and realism concerning relations. In it, quality instances (moments) and universal relations are the ultimate constituents of the universe. While relations and moments are considered to be constituents of states of affairs, which are characterised as objects of higher orders, complexes that are objects of the first order are made up of moments on their own. Among these complexes one finds the ordinary objects. Paradoxically, although relations are necessary for the existence of complex first order objects, relations are not thought to be among the contents of these objects. The main subject of chapter V is a particular version of moderate realism; it is an ontology which is realistic in its recognition of universals and moderate in its recognition of instances of these universals. Instances combine to form complex networks. A theoretically motivated claim is that although each instance has a predicational aspect as well as a universal one, it is simple in the sense of lacking internal predicative structure; though, this claim can be called into question. Keywords: analytic ontology, moderate nominalism, moderate realism, particular, universal, abstract, concrete, abstract particular, abstract universal, concrete particular, concrete universal, trope, moment, complex unity, collection, instance, unit attribute, intensional aspect, predicational aspect, continuous composite, articulated composite. (shrink)

Universalism (the thesis that distinct objects always compose a further object) has come under much scrutiny in recent years. What has been largely ignored is its role in the metaphysics of classes. Not only does universalism provide ways to deal with classes in a metaphysically pleasing fashion, its success on these grounds has been offered as a motivation for believing it. This paper argues that such treatments of classes can be achieved without universalism, examining theories from Goodman and Quine, Armstrong (...) and Lewis. In the case of each theory, universalism is drafted in to ensure that there are enough material objects to play a particular role. I argue that, for each theory, there's a better theory that ditches universalism and instead uses an alternative principle of composition demanding that the unrestricted composition of entities other than material objects (respectively: regions, states of affairs and singletons) play that role instead. I conclude that (1) non-universalists can consider accepting such theories of classes and (2) we should ignore any alleged motivation for universalism on the basis of dealing with classes. (shrink)

How best to think about quantum systems under permutation invariance is a question that has received a great deal of attention in the literature. But very little attention has been paid to taking seriously the proposal that permutation invariance reflects a representational redundancy in the formalism. Under such a proposal, it is far from obvious how a constituent quantum system is represented. Consequently, it is also far from obvious how quantum systems compose to form assemblies, i.e. what is the formal (...) structure of their relations of parthood, overlap and fusion. In this paper, I explore one proposal for the case of fermions and their assemblies. According to this proposal, fermionic assemblies which are not entangled—in some heterodox, but natural sense of ‘entangled’—provide a prima facie counterexample to classical mereology. This result is puzzling; but, I argue, no more intolerable than any other available interpretative option. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

Haecceities are non-qualitative properties for individuation but the current theories about haecceities are still to be much more explored. This paper aims to develop a “haecceity mereology” – that is, an ontological system that understands substances as mereological combinations of haecceities and qualitative properties. In this way, the view developed is an alternative to Paul’s : 578–96; 2006. “Coincidence as Overlap.” Noûs 40 : 623–59) mereological approach. Three rules are proposed: If S is a substance, then there is one and (...) only one haecceity which is S’s qualitative part; For all the fusions with the same haecceity, at most only one of those fusions is a substance; When all the relevant elements are abundant, every element must overlap at least one substance. This is the first ontology of haecceities in the recent literature and would be a model for systematic metaphysics. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

The paper discusses the concept of the cognitive niche and distinguishes the latter from the metabolic niche. By using these posits I unpack certain ideas that are crucial for the enactivist movement, especially for its original formulation proposed by Varela, Thompson and Rosh. Drawing on the ontology of location, boundaries, and parthood, I argue that enacting the world can be seen as the process of cognitive niche construction. Moreover, it turns out that enactivism—as seen through the lens of the conceptual (...) framework proposed in the paper—considers cognition as a kind of connection between the subject and the world. This post is pointed to as the key idea laid down in enactivism. (shrink)

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

Some philosophers assume that our ordinary parts-whole concepts are intuitive and univocal. Moreover, some assume that mereology—the formal theory of parts-whole relations—adequately captures these intuitive and univocal notions. Lewis, for example, maintains that mereology is “perfectly understood, unproblematic, and certain.” Following his lead, many assume that expressions such as ‘is part of’ are univocal, topic-neutral, and that compositional monism is true. This paper explores the rejection of –. I argue that our ordinary parts-whole expressions are polysemous; they have multiple distinct, (...) but related, interpretations or meanings. I canvass several criteria by which to test for polysemy, and apply these criteria to some of our parts-whole terminology. I also examine some philosophical examples involving abstracta and abstract parts, which give us additional reasons to think that our parts-whole expressions are polysemous and topic-specific. Yet if so, then compositional pluralism is true. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (In part 2, I show how a CI theorist can maintain that the remaining arguments, while valid, are unsound). (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly this composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I discuss several versions of the most common objection against CI, and show how the CI theorist can maintain that these arguments – contrary their initial intuitive appeal – are nonetheless unsound. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity is the view that the (...) composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

Paul Hovda’s excellent paper ‘What Is Classical Mereology?' has fruitfully reshaped the debate concerning the axiomatic foundations of classical mereology. Precisely because of the importance of Hovda’s work and its usefulness as a reference tool, we note here that one of the five axiom systems presented therein, corresponding the ‘Third Way’ to classical mereology, is defective and must be amended. In addition, we note that two other axiom systems, corresponding to the ‘First Way’ and to the ‘Fifth Way’, involve redundancies.

We tend to talk about (refer to, quantify over) parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in the inventory over and above its constituent parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled (...) the Minimalist View: An element in the field of a part-whole relation is to be included in an inventory of the world if and only if it does not overlap any distinct element that is itself included in the inventory. (shrink)

We tend to talk about parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in an inventory over and above its own parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled the Minimalist View: an (...) element in the field of a part‐whole relation is to be included in an inventory of the world if, and only if, it does not overlap any other element that is itself included in the inventory. As it turns out, a clarification of this view involves both a defense of mereological extensionality and an account of the topological distinction between detached and undetached parts. (shrink)

This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. (...) This permits us to give new proximity-type models of local connection algebras, to obtain a representation theorem for such algebras and to give a new shorter proof of the main theorem of Roeper's paper [ROE 97]. Finally, the notion of MVD-algebra is introduced. It is similar to Mormann's notion of enriched Boolean algebra [MOR 98], based on a single mereological relation of interior parthood. It is shown that MVD-algebras are equivalent to local connection algebras. This means that the connection relation and boundedness can be incorporated into one, mereological in nature relation. In this way a formalization of the Whiteheadian theory of space based on a single mereological relation is obtained. (shrink)

Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to (...) abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves. (shrink)

Sobocinski in his paper on Leśniewski's solution to Russell's paradox (1949b) argued that Leśniewski has succeeded in explaining it away. The general strategy of this alleged explanation is presented. The key element of this attempt is the distinction between the collective (mereological) and the distributive (set-theoretic) understanding of the set. The mereological part of the solution, although correct, is likely to fall short of providing foundations of mathematics. I argue that the remaining part of the solution which suggests a specific (...) reading of the distributive interpretation is unacceptable. It follows from it that every individual is an element of every individual. Finally, another Leśniewskian-style approach which uses so-called higher-order epsilon connectives is used and its weakness is indicated. (shrink)

It is customary practice to define ‘x is composed of the ys’ as ‘x is a sum of the ys and the ys are pairwise disjoint ’. This predicate has played a central role in the debate on the special composition question and on related metaphysical issues concerning the mereological structure of objects. In this note we show that the customary characterization is nonetheless inadequate. We do so by constructing a mereological model where everything qualifies as composed of atoms even (...) though some elements in the domain are gunky, i.e., can be divided indefinitely into smaller and smaller proper parts. (shrink)

A well-rehearsed move among teleological realists in the philosophy of biology is to base the idea of genuinely teleological forms of organic self-reproduction on a type of causality derived from Kant. Teleological realists have long argued for the causal possibility of this form of causality—in which a whole is considered the cause of its parts—as well as formulated a set of teleological criteria of adequacy for it. What is missing, to date, is an account of the mereological principles that govern (...) the envisioned whole-to-part causality. When the latter principles are taken into account, we find that there is no version of whole-to-part causality that is mereologically, causally and teleologically possible all at once, as teleological realism requires. (shrink)

This study is in two parts. In the first part, various important principles of classical extensional mereology are derived on the basis of a nice axiomatization involving ‘part of’ and fusion. All results are proved here with full Fregean rigor. They are chosen because they are needed for the second part. In the second part, this natural-deduction framework is used in order to regiment David Lewis’s justification of his Division Thesis, which features prominently in his combination of mereology with class (...) theory. The Division Thesis plays a crucial role in Lewis’s informal argument for his Second Thesis in his book Parts of Classes. In order to present Lewis’s argument in rigorous detail, an elegant new principle is offered for the theory that combines class theory and mereology. The new principle is called the Canonical Decomposition Thesis. It secures Lewis’s Division Thesis on the strong construal required in order for his argument to go through. The exercise illustrates how careful one has to be when setting up the details of an adequate foundational theory of parts and classes. The main aim behind this investigation is to determine whether an anti-realist, inferentialist theorist of meaning has the resources to exhibit Lewis’s argument for his Second Thesis—which is central to his marriage of class theory with mereology—as a purely conceptual one. The formal analysis shows that Lewis’s argument, despite its striking appearance to the contrary, can be given in the constructive, relevant logic IR. This is the logic that the author has argued, elsewhere, to be the correct logic from an anti-realist point of view. The anti-realist is therefore in a position to regard Lewis’s argument as purely conceptual. (shrink)

I propose that constitution is a case of composition in which, for example, the lump of clay composes the statue. In other words, we can reduce constitution to composition. Composition does all of the work that we want from an account of constitution, and we do not need two separate relations. Along the way, I offer reasons to reject weak supplementation. Acknowledgments (which by my mistake were not included in the journal publication): Many people have given me feedback over the (...) years on this paper or an ancestor of it, and I apologize for oversights in my acknowledgments here. Special thanks to Trenton Merricks for comments on several drafts of this paper. Thanks also for helpful comments and discussions to Eugene Mills, Donald Smith, Peter Sutton, David Liebesman, Charlie Tanksley, Amanda Hicks, Kristl Laux, and to an audience at the University at Buffalo conference in honor of E. J. Lowe, an audience at Amherst College, and an audience at the 2017 APA Eastern Division Meeting. Thank you also to multiple anonymous referees along the way. (shrink)

This paper takes the first steps in the construction of a theory of event identity as that theory applies to historical sentences. The theory is extensional throughout. Following statements of criteria of adequacy for the construction, Davidson's method of regimenting sentences is adopted in order to allow for variables ranging over events. Events in this theory are only partially construed, that is, to the extent of treating them as concrete individuals rather than as classes or repeatable universals. The paper concludes (...) with a statement of several theorems and definitions and an example of how the theory works. (shrink)

Some philosophers say that a whole is “nothing over and above” its parts. Most also take general extensilonal mereology to be treating wholes as “nothing over and above” their parts. It is not always clear, however, what exactly is meant by the phrase “nothing over and above.” Nor is it obvious why the phrase is associated with mereology, and what purpose it serves there. In the words of Peter Van Inwagen : “This slippery phrase has had a lot of employment (...) in philosophy, but what it means is never explained by its employers.” This paper sheds light on the various senses in which one might hold that a whole is “nothing over and above” its parts, and on how these senses are related both to each other and to mereology. (shrink)

What follows is an investigation of the ontology of Franz Brentano with special reference to Brentano's later and superficially somewhat peculiar doctrine to the effect that the substances of the material world are three dimensional places. Taken as a whole, Brentano's philosophy is marked by three, not obviously compatible, trait. In the first place, his work is rooted in the metaphysics of Aristotle, above all in Aristotle's substance/accident ontology and in the Aristotelian theory of categories. In the second place, Brentano (...) embraced a Cartesian epistemology. He saw the source of all knowledge as residing in our direct awareness of our own mental phenomena and in our capacity to grasp evident incompatibilities in the realm of concepts.) Thirdly, he regarded the existence of an external world as at most probable, and denied outright the existence of a world similar to the world that is given in experience. Finally, and in some sense linking together these opposing strands, he propagated an idea of what he called "descriptive psychology", a discipline which would on the one hand yield exact knowledge of the structures and categories of mental life, and on the other hand provide an epistemologically sure foundation for other branches of philosophy. As we shall see, it is this psychological aspect of Brentano's philosophy which leads him to his conception of the substantiality of place. Surprisingly, however, the psychological considerations which underlie Brentano's thinking will be shown to raise a series of questions strictly ontological in nature, questions which are not without a systematic interest of their own. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

One of the more persistent debates in mereology is whether distinct wholes can have the same parts. Extensional mereologists hold that if there is no part that makes the difference, then there is nothing to distinguish the wholes, so sameness of parts implies identity. Non-extensionalists, however, do think there are cases where distinct wholes share all their parts. This paper argues that the kind of argument non-extensionalists employ can also be levelled against a widely accepted extensionality principle of plural logic. (...) Non-extensionalists thus face a dilemma: either give up the argument for non-extensional mereology, or deny both the extensionality principle of mereology and the analogous principle for plural logic. (shrink)

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

I thank my commentators for their kind words, and for their close reading and challenging criticisms of my book. I have chosen selective and substantive replies. Those criticisms I ignore, I ignore because I have little more to say, not because they are unworthy of discussion.

Taking ontological realism about social groups as the thesis that groups are composite material objects constituted by their members, this paper considers a challenge to the very possibility that groups be regarded as material entities. Ordinarily we believe that two groups can have synchronic co-extensive memberships—for example, the choir and the rugby team—while preserving their distinctive identity conditions. We also doubt that two objects of the same kind can be in the same place at the same time, which would appear (...) to be the case when groups have identical memberships. I explain that the principle denying the synchronic co-location of objects of the same kind need not apply universally to material objects and that it is a mistake to take resistance to penetrability as a necessary feature of materiality. Therefore, initial appearances notwithstanding, groups can be in the same place at the same time. Key Words: identity • materiality • location • social group. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

Mereological nihilism is the view that all concrete objects are simple. Existence monism is the view that the only concrete object is one big simple: the world. I will argue that nihilism culminates in monism. The nihilist demands the simplest sufficient ontology, and the monist delivers it.

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

I present a formal ontological theory where the basic building blocks of the world can be either things or events. In any case, the result is a Parmenidean worldview where change is not a global property. What we understand by change manifests as asymmetries in the pattern of the world-lines that constitute 4-dimensional existents. I maintain that such a view is in accord with current scientific knowledge.

I offer a formal ontological theory where the basic building blocks of the world are timeless events. The composition of events results in processes. Spacetime emerges as the system of all events. Things are construed as bundles of processes. I maintain that such a view is in accord with General Relativity and offers interesting prospects for the foundations of classical and quantum gravity.

In this paper† we will treat mereology as a theory of some structures that are not axiomatizable in an elementary langauge and we will use a variable rangingover the power set of the universe of the structure). A mereological structure is an ordered pair M = hM,⊑i, where M is a non-empty set and ⊑is a binary relation in M, i.e., ⊑ is a subset of M × M. The relation ⊑ isa relation of being a mereological part . We (...) formulate an axiomatization of mereological structures, different from Tarski’s axiomatization aspresented in [10] . We prove that these axiomatizations are equivalent . Of course, these axiomatizations are definitionally equivalent to thevery first axiomatization of mereology from [5], where the relation of being aproper part ⊏ is a primitive one.Moreover, we will show that Simons’ “Classical Extensional Mereology”from [9] is essentially weaker than Leśniewski’s mereology. (shrink)

We will present an elementary theory in which we can speak of mereological sets composed of distributive classes. Besides the concept of a distributive class and the membership relation , it will possess the notion of a mereological set and the relation of being a mereological part. In this theory we will interpret Morse’s elementary set theory (cf. Morse [11]). We will show that our theory has a model, if only Morse’s theory has one.