Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent (...) discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories. (shrink)

Our model of time is the classical continuum of real numbers, and our model of other measurable quantities that change over time is that of functions defined on real numbers with real numbers as values. This model is not derived from reality or from our experience of it, but imposed on reality; and the fit is very imperfect. In classical mathematics, the value of a function for any real number as argument is independent of its value for any other argument: (...) the analogue is Hume's doctrine that events are loose and separate. This makes continuity in the change of any quantity a contingent law of physica, rather than a conceptual necessity. The article explores alternatives to this classical model. (shrink)

Körner has made an important distinction between dependent and independent particulars, noting that any adequate theory of categories will divide particulars into those that are independent and those that are not. In the present paper, the concept of a spatial boundary is used to illustrate the concept of a dependent particular. It is suggested that, if we follow Brentano and think of such boundaries as ontologically dependent upon the things of which they may be said to be boundaries, then we (...) will be able to throw light upon a number of philosophical questions about the spatial continuum. These questions pertain to such topics as: the distinction between parts and boundaries; the definition of dimensionality; and the nature of contact and physical continuity. (shrink)

This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).

'Mass terms', words like water, rice and traffic, have proved very difficult to accommodate in any theory of meaning since, unlike count nouns such as house or dog, they cannot be viewed as part of a logical set and differ in their grammatical properties. In this study, motivated by the need to design a computer program for understanding natural language utterances incorporating mass terms, Harry Bunt provides a thorough analysis of the problem and offers an original and detailed solution. An (...) extension of classical set theory, Ensemble Theory, is defined, and this provides the conceptual basis of a framework for the analysis of natural language meaning which Dr Bunt calls Two-level model-theoretic semantics. The validity of the framework is convincingly demonstrated by the formal analysis of a fragment of English including sentences with quantified and modified mass terms. Separate chapters of the book are devoted to an axiomatic definition of Ensemble Theory and a detailed discussion of its status as a mathematical formalism. (shrink)

Franz Brentano is recognised as one of the most important philosophers of the late nineteenth and early twentieth centuries. This work, first published in English in 1988, besides being an important contribution to metaphysics in its own right, has considerable historical importance through its influence on Husserl’s views on internal time consciousness. The work is preceded by a long introduction by Stephan Körner in collaboration with Brentano’s literary executor Roderick Chisholm. It is translated by Barry Smith.

In his ‘On t and u and what they can do’, Greg Restall presents an apparent problem for a handful of well-known non-classical solutions to paradoxes like the liar. In this article, we argue that there is a problem only if classical logic – or classical-enough logic – is presupposed. 1. Background Many have thought that invoking non-classical logic – in particular, a paracomplete or paraconsistent logic – is the correct response to the liar and related paradoxes. At the most (...) basic level, the target non-classical idea is that some expressions, like ‘all and only the true propositions’, do not behave as we would expect from classical logic. Non-classical theorists argue that the class of all and only the truths is either incomplete or inconsistent: when you truly speak of all and only truths , you're either leaving some truths out, or you're letting some untruths in. Truth, in a slogan, is either gappy or glutty. Non-classicality is not a glib or easy-way-out response to the paradoxes. Innocuous-seeming notions can turn out to be philosophically substantial. Moreover, apparently correct forms of reasoning can turn out to be incorrect. To take a example, a glut theorist must hold that the following argument form is not in general valid. Either p is true or q is true. But p is untrue. So q is true. This argument form may strike our ears as acceptable. But if p is a truth value glut, then the inference fails to preserve truth. According to glut theorists, the inference breaks down in inconsistent contexts: if the subject matter involves gluts, then the inference is to be rejected. And the liar paradox, according to such theorists, shows that truth is exactly the kind of subject matter that yields inconsistency. In the …. (shrink)

This paper argues that, contrary to P. Eldridge-Smith, the so-called Pinocchio paradox affords no argument against ‘simply semantic dialetheism’.

Let us say that an extended object is “composed wholly of simples” just in case it is an aggregate of absolutely unextended parts spread throughout an extended region—that is, just in case there is a set S such that: every member is a point-sized part of the object, and for every x, x is part of the object if and only if it has a part in common with some member of S. Could a truly extended substance be composed entirely (...) of unextended parts? Reflection upon the fact that it must be at least possible for extended objects to touch one another suggests that the answer to this question is: No. (shrink)

Charles Sanders Peirce has been characterized as the greatest American philosophic genius. He is the creator of pragmatism and one of the founders of modern logic. James, Royce, Schroder, and Dewey have acknowledged their great indebtedness to him. A laboratory scientist, he made notable contributions to geodesy, astronomy, psychology, induction, probability, and scientific method. He introduced into modern philosophy the doctrine of scholastic realism, developed the concepts of chance, continuity, and objective law, and showed the philosophical significance of the theory (...) of signs and mathematical logic. The present series is the first published edition of his systematic works. (shrink)

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

Space, Time, and Stuff is an attempt to show that physics is geometry: that the fundamental structure of the physical world is purely geometrical structure. Along the way, he examines some non-standard views about the structure of spacetime and its inhabitants, including the idea that space and time are pointless, the idea that quantum mechanics is a completely local theory, the idea that antiparticles are just particles travelling back in time, and the idea that time has no structure whatsoever. The (...) main thrust of the book, however, is that there are good reasons to believe that spaces other than spacetime exist, and that it is the existence of these additional spaces that allows one to reduce all of physics to geometry. Philosophy, and metaphysics in particular, plays an important role here: the assumption that the fundamental laws of physics are simple in terms of the fundamental physical properties and relations is pivotal."--P. [4] of cover. (shrink)

This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.

Hud Hudson offers a fascinating examination of philosophical reasons to believe in hyperspace. He explores non-theistic reasons in the first chapter and theistic ones towards the end; in the intervening sections he inquires into a variety of puzzles in the metaphysics of material objects that are either generated by the hypothesis of hyperspace or else informed by it, with discussions of receptacles, boundaries, contact, occupation, and superluminal motion. Anyone engaged with contemporary metaphysics, and many philosophers of religion, will find much (...) to stimulate them here. (shrink)

Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...) mereology (the study of part/whole relations), topology (the study of spatial continuity and compactness), and the theory of spatial location proper. This leads to a unified framework for spatial representation understood quite broadly as a theory of the representation of spatial entities. The framework is then tested against some classical metaphysical questions such as: Are parts essential to their wholes? Is spatial colocation a sufficient criterion of identity? What (if anything) distinguishes material objects from events and other spatial entities? The concluding chapters deal with applications to topics as diverse as the logical analysis of movement and the semantics of maps. (shrink)

Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues, a new type of weak relevant logic may prove to be better equipped to present new solutions to persistent paradoxes. _Universal Logic _begins with an overview of classical and relevant logic and discusses the limitations of both in analyzing certain paradoxes. It is the first text to demonstrate how the main set-theoretic and semantic paradoxes can be solved in (...) a systematic way and as such will be of great interest to both scholars and students of logic. (shrink)

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.

Let us say that an extended object is “composed wholly of simples” just in case it is an aggregate of absolutely unextended parts spread throughout an extended region—that is, just in case there is a set S such that: every member is a point-sized part of the object, and for every x, x is part of the object if and only if it has a part in common with some member of S. Could a truly extended substance be composed entirely (...) of unextended parts? Reflection upon the fact that it must be at least possible for extended objects to touch one another suggests that the answer to this question is: No. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

A topological description of space is given, based on the relation of connection among regions and the property of being limited. A minimal set of 10 constraints is shown to permit definitions of points and of open and closed sets of points and to be characteristic of locally compact T2 spaces. The effect of adding further constraints is investigated, especially those that characterise continua. Finally, the properties of mappings in region-based topology are studied. Not all such mappings correspond to point (...) functions and those that do correspond to continuous functions. (shrink)

_Paradoxes of the Infinite_ presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19 th century: Dr Bernard Bolzano’s _Paradoxien_. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction to the masterpiece, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

We all learn about the mistake of treating ‘nothing’ as if it were a term standing for something; but is it a mistake to treat it as an empty term, denoting nothing? We argue not, and we introduce ‘zilch’, defined as ‘the non-self-identical thing’, as a term which is empty as a matter of logical necessity. We contrast its behaviour with that of the quantifier ‘nothing’, and illustrate its uses. We use the same idea to vindicate Locke’s, Descartes’ and Hume’s (...) handling of ‘nothing’, and we show how Heidegger’s ‘das Nichts nichtet’ comes out as logically true. (shrink)

The objects we encounter in ordinary life and scientific practice - cars, trees, people, houses, molecules, galaxies, and the like - have long been a fruitful source of perplexity for metaphysicians. The Structure of Objects gives an original analysis of those material objects to which we take ourselves to be committed in our ordinary, scientifically informed discourse. Koslicki focuses on material objects in particular, or, as metaphysicians like to call them "concrete particulars", i.e., objects which occupy a single region of (...) space-time at each time at which they exist and which have a certain range of properties that go along with space-occupancy, such as weight, shape, color, texture, and temperature. The Structure of Objects focuses in particular on the question of how the parts of such objects, assuming that they have parts, are related to the wholes which they compose. (shrink)

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

In the process of arguing against all theories of extended material objects made up of simples, Dean Zimmerman has recently argued against the compossibility of continuous closed and continuous open material objects. But it is surely undeniable that point-like material objects are possible; plausible principles of recombination and the principle of unrestricted composition then lead to the possibility Zimmerman rejects. Fortunately, Zimmerman’s arguments can be resisted: what appear to be implausible modal consequences of the compossibility of open and closed continuous (...) material objects turn out to be merely the results of a decision to use ‘material object’ in a certain way. (shrink)

The point of this paper is to bring together three topics: non-existent objects, mereology, and nothing. There are important inter-connections, which it is my aim to spell out, in the service of an account of the last of these.

Alfred North Whitehead was a prominent English mathematician and philosopher who co-authored the highly influential Principia Mathematica with Bertrand Russell. Originally published in 1919, and first republished in 1925 as this Second Edition, An Enquiry Concerning the Principles of Natural Knowledge ranks among Whitehead's most important works; forming a perspective on scientific observation that incorporated a complex view of experience, rather than prioritising the position of 'pure' sense data. Alongside companion volumes The Concept of Nature and The Principle of Relativity, (...) it created a framework for Whitehead's later metaphysical speculations. This is an important book that will be of value to anyone with an interest in the relationship between science and philosophy. (shrink)

These are just some of the fundamental questions addressed in Time and Space. Writing for a primary readership of advanced undergraduate and graduate philosophy students, Barry Dainton introduces the central ideas and arguments that make space and time such philosophically challenging topics. Although recognising that many issues in the philosophy of time and space involve technical features of physics, Dainton has been careful to keep the conceptual issues accessible to students with little scientific or mathematical training. Surveying historical debates and (...) ideas at the forefront of contemporary thinking, the book is unrivaled in its coverage. Topics include McTaggart's argument for the unreality of change; static, tensed, and dynamic time; time travel and causal arrows; space as void, motion, and curved spac; as well as a non-technical introduction to the special theory of relativity and the key features of general relativity, spacetime, and strings. Dainton also addresses the relationship between the philosophy of time and broader human concerns involving actions, ethics, fatalism, and death. (shrink)

Part One of this paper is a case against classical mereology and for Heyting mereology. This case proceeds by first undermining the appeal of classical mereology and then showing how it fails to cohere with our intuitions about a measure of quantity. Part Two shows how Heyting mereology provides an account of sets and classes without resort to any nonmereological primitive.

Surveying both historical debates and modern physics, Barry Dainton evaluates the central arguments in a clear and unintimidating way that keeps conceptual issues comprehensible to students with little scientific or mathematical training and makes the philosophy of space and time accessible to anyone trying to come to grips with the complexities of this challenging subject. With over 100 original line illustrations and a full glossary of terms, Time and Space keeps the requirements of students firmly in sight and will continue (...) to serve as the ideal textbook for philosophy of time and space courses. (shrink)