- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
The signature of the formal language of mereology contains only one binary predicate which stands for the relation “being a part of” and it has been strongly suggested that such a predicate must at least define a partial ordering. Mereological theories owe their origin to Leśniewski. However, some more recent authors, such as Simons as well as Casati and Varzi, have reformulated mereology in a way most logicians today are familiar with. It turns out that any theory which can be (...) |
|
|
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 (...) |
|
|
We show how mereotopological notions can be expressed by extending intuitionistic propositional logic with propositional quantification and a strong modal operator. We first prove completeness for the logics wrt Kripke models; then we trace the correspondence between Kripke models and topological spaces that have been enhanced with an explicit notion of expressible region. We show how some qualitative spatial notions can be expressed in topological terms. We use the semantical and topological results in order to show how in some extensions (...) |
|
|
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 (...) |
|
|
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 (...) |
|
|
The literature on collective action largely ignores the constraints that moral principle places on action-prompting intentions. Here I suggest that neither individualism nor holism can account for the generality of intentional contents demanded by universalizability principles, respect for persons, or proactive altruism. Utilitarian and communitarian ethics are criticized for nominalism with respect to social intentions. The failure of individualism and holism as grounds for moral theory is confirmed by comparing Tuomela's reductivist analysis of we-intentions with Gilbert's analysis of social facts. (...) |
|
|
|
|
|
The aggregate EIRP of an N-element antenna array is proportional to N 2. This observation illustrates an effective approach for providing deep space networks with very powerful uplinks. The increased aggregate EIRP can be employed in a number of ways, including improved emergency communications, reaching farther into deep space, increased uplink data rates, and the flexibility of simultaneously providing more than one uplink beam with the array. Furthermore, potential for cost savings also exists since the array can be formed using (...) |
|
|
In this paper I discuss some consequences and manifestations of a mereology of structured wholes in chemistry, with particular reference to the concept of atoms in molecules. |
|
|
Priority monism is the view that the cosmos is the only independent concrete object. The paper argues that, pace its proponents, Priority monism is in conflict with the dependence of any whole on any of its parts: if the cosmos does not depend on its parts, neither does any smaller composite. |
|
|
The paper considers and opposes the view that processes are best thought of as continuants, to be differentiated from events mainly by way of the fact that the latter, but not the former, are entities with temporal parts. The motivation for the investigation, though, is not so much the defeat of what is, in any case, a rather implausible claim, as the vindication of some of the ideas and intuitions that the claim is made in order to defend — and (...) |
|
|
In this paper, I explore the question what a continuant is, in the context of a very interesting suggestion recently made by Rowland Stout, as part of his attempt to develop a coherent ontology of processes. Stout claims that a continuant is best thought of as something that primarily has its properties at times, rather than atemporally—and that on this construal, processes should count as continuants. While accepting that Stout is onto something here, I reject his suggestion that we should (...) |
|
|
The paper argues that actions should be thought of as processes and not events. A number of reasons are offered for thinking that the things that it is most plausible to suppose we are trying to cotton on to with the generic talk of ‘actions’ in which philosophy indulges cannot be events. A framework for thinking about the event-process distinction which can help us understand how we ought to think about the ontology of processes we need instead is then developed, (...) |
|
|
We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) |
|
|
Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) |
|
|
The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) |
|
|
The project of a 'naive physics' has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common-sense reasoning, perceptual representation and robotics. The idea of a theory of the common-sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as K hler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists can profit from (...) |
|
|
Philosophers in the field of analytic metaphysics have begun gradually to come to terms with the fact that there are entities in a range of categories not dreamt of in the set-theory and predicate-logic-based ontologies of their forefathers. Examples of such “entia minora” would include: boundaries, places, events, states holes, shadows, individual colour- and tone-instances (tropes), together with combinations of these and associated simple and complex universal species or essences, states of affairs, judgment-contents, and myriad abstract structures of the sorts (...) |
|
|
According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) |
|
|
The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) |
|
|
There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) |
|
|
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. (...) |
|
|
Many philosophers have claimed that there is a tension between the impenetrability of matter and the possibility of contact between continuous bodies. This tension has led some to claim that impenetrable continuous bodies could not ever be in contact, and it has led others to posit certain structural features to continuous bodies that they believe would resolve the tension. Unfortunately, such philosophical discussions rarely borrow much from the investigation of actual matter. This is probably largely because actual matter is not (...) |
|
|
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 (...) |
|
|
It is often said by philosophers that the term ‘the universe’ is illegitimate, whether because the notion of ‘all things’ is incoherent, or inconsistent, or cannot even be meaningfully expressed. The reasons may be drawn from metaphysics, or logic, or the philosophy of language, or the philosophy of mathematics. In this essay I argue that the term is legitimate, withstanding all criticisms, and that there is a single best meaning for it, which is that it is a semantically plural term (...) |
|
|
This paper brings together two theories that I have propounded separately elsewhere. The first is the view that concrete individuals are constituted completely by tropes, that they are trope bundles. The second and more recently developed theory is that of the two major categories of concrete individuals, continuants and occurrents, the latter are ontologically more basic than the former and that continuants are to be viewed as invariants among occurrents under equivalence relations. The latter theory embodies on its own an (...) |
|
|
|
|
|
The special composition question asks, roughly, under what conditions composition occurs. The common sense view is that composition only occurs among some things and that all and only ‘ordinary objects’ exist. Peter van Inwagen has marshaled a devastating argument against this view. The common sense view appears to commit one to giving what van Inwagen calls a ‘series-style answer’ to the special composition question, but van Inwagen argues that series-style answers are impossible because they are inconsistent with the transitivity of (...) |
|
|
I am now typing on a computer I bought two years ago. The computer I bought is identical to the computer on which I type. My computer persists over time. Let us divide our subject matter in two. There is first the question of criteria of identity, the conditions governing when an object of a certain kind, a computer for instance, persists until some later time. There are secondly very general questions about the nature of persistence itself. Here I include (...) |
|
|
There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of.. |
|
|
Some philosophers believe that everyday objects are 4-dimensional spacetime worms, that a person (for example) persists through time by having temporal parts, or stages, at each moment of her existence. None of these stages is identical to the person herself; rather, she is the aggregate of all her temporal parts.1 Others accept “three dimensionalism”, rejecting stages in favor of the notion that persons “endure”, or are “wholly present” throughout their lives.2 I aim to defend an apparently radical third view: not (...) |
|
|
The standard definition of atomicity—the thesis that everything is ultimately composed of entities that lack proper parts—is satisfied by a model that is not atomistic. The standard definition is therefore an incorrect characterization of atomicity. I show that the model satisfies the axioms of all but the strongest mereology and therefore that the standard definition of atomicity is only adequate given some controversial metaphysical assumptions. I end by proposing a new definition of atomicity that does not require extensionality or unrestricted (...) |
|
|
General Process Theory (GPT) is a new (non-Whiteheadian) process ontology. According to GPT the domains of scientific inquiry and everyday practice consist of configurations of ‘goings-on’ or ‘dynamics’ that can be technically defined as concrete, dynamic, non-particular individuals called general processes. The paper offers a brief introduction to GPT in order to provide ontological foundations for research programs such as interactivism that centrally rely on the notions of ‘process,’ ‘interaction,’ and ‘emergence.’ I begin with an analysis of our common sense (...) |
|
|
The paper presents some essential heuristic and constructional elements of Free Process Theory (FPT), a non-Whiteheadian, monocategoreal framework. I begin with an analysis of our common sense concept of activities, which plays a crucial heuristic role in the development of the notion of a free process. I argue that an activity is not a type but a mode of occurrence, defined in terms of a network of inferences. The inferential space characterizing our concept of an activity entails that anything which (...) |
|
|
Several philosophers have recently defended Causal Essentialism—the view that every property confers causal powers, and whatever powers it confers, it confers essentially. I argue that on the face of it, Causal Essentialism implies a form of Monism, and in particular, the thesis I call ‘Mereological Monism’: that there is some concretum that is a part of every concretum. However, there are three escape routes, three views which are such that if one of them is true, Causal Essentialism does not imply (...) |
|
|
It is shown that the standard definitions of truth-functionality, though useful for their purposes, ignore some aspects of the usual informal characterisations of truth-functionality. An alternative definition is given that results in a stronger notion which pays attention to those aspects. |
|
|
What does it mean that some proposition follows from others? The standard way of spelling out the notion proceeds in modal terms: x follows from y iff necessarily, if y is true, so is x. But although this yields a useful and manageable account of consequence, it fails to capture certain aspects of our pre-theoretical understanding of consequence. In this paper, an alternative notion of logical consequence, based on the idea of grounding, is developed. |
|
|
Adherents of Ockham’s fundamental razor contend that considerations of ontological parsimony pertain primarily to fundamental objects. Derivative objects, on the other hand, are thought to be quite unobjectionable. One way to understand the fundamental vs. derivative distinction is in terms of the Aristotelian distinction between ontologically independent and dependent objects. In this paper I will defend the thesis that every natural number greater than 0 is an ontologically dependent object thereby exempting the natural numbers from Ockham’s fundamental razor. |
|
|
Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts? |
|
|
‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher). |
|
|
The article is a critical examination of Joshua Hoffman’s and Gary Rosenkrantz’ approach to the traditional category of individual substance. On several places they offered an analysis of the concept of a substance in terms of some highly sophisticated notion of generic independence. Though ingenious, and even though it might be extensionally adequate, their account cannot provide an informative analysis of the concept in question, because it exhibits a peculiar kind of circularity. It is shown that one cannot establish, on (...) |
|
|
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. |
|
|
Many friends of the category of particularised qualities subscribe to the view that particularised qualities have a unique bearer in which they inhere; no such quality then can inhere in two different entities. But it seems that this idea is flawed, for there are apparent counterexamples. An apple's redness is identical with the redness of its skin, though the apple is distinct from its skin. So it seems that a principle of bearer‐uniqueness has to be modified, maybe by excluding certain (...) |
|
|
In spite of its significance for everyday and philosophical discourse, the explanatory connective has not received much treatment in the philosophy of logic. The present paper develops a logic for based on systematic connections between and the truth-functional connectives. |
|
|
The main contribution of this paper is a novel account of ontological dependence. While dependence is often explained in terms of modality and existence, there are relations of dependence that slip through the mesh of such an account. Starting from an idea proposed by Jonathan Lowe, the article develops an account of ontological dependence based on a notion of explanation; on its basis, certain relations of dependence can be established that cannot be accounted by the modal-existential account. Dependence is only (...) |
|
|
|
|
|
A Norwegian translation is here offered of Eugenie Ginsberg’s paper «Zur Husserlschen Lehre von den Ganzen und den Teilen» (in Archiv für systematische Philosophie und Soziologie 32, 1929, 108–120). The paper discusses Husserl’s six theorems from Logical Investigations III, §14. Ginsberg provides new proofs for theorems 1 and 3, and also endorses theorem 5. In contrast, a counter example is given to theorems 2, 4, and 6: However, proofs are supplied for a modified version of these theorems. Furthermore, an additional (...) |
|
|
I review Sandra Lapointe (ed.) "Themes from Ontology, Mind, and Logic: Present and Past – Essays in Honour of Peter Simons". |
|
|
This paper proposes an integrated-structure notion of interlevel emergence, from a dynamic relational ontological perspective. First, I will argue that only the individualist essentialism of atomistic metaphysics can block the possibility of interlevel emergence. Then I will show that we can make sense of emergence by recognizing the formation of structures of transformative and interdependent causal relations in the generation and development of a particular class of mereological complexes called integrated systems. Finally, I shall argue that even though the emergent (...) |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-9pr2t uwo