The creators of equilibrium and irreversible thermodynamics developed a conception of processes which bears on metaphysical discussions of change, occurrents, and continuants and merits the attention of contemporary analytic metaphysicians. It concerns the macroscopic domain, from which metaphysicians normally take their examples, and is unjustly ignored on the grounds that it is not ‘fundamental science’. Why this often-voiced view should disqualify just thermodynamics, and not the broad range of considerations normally raised, is a moot point. But even if there were (...) an adequate reductive argument, that wouldn’t eliminate the ontological claims. It is argued that processes cannot be defined as changes in the state of enduring objects, but should be considered autonomous entities. The relational character of processes involving several continuants is developed, alongside their mereological features and their relation to space and time. Some aspects of the historical development of the notions of reversible and irreversible processes in thermodynamics are taken up in the course of the discussion, but the paper is not concerned with the mathematical foundations of equilibrium and irreversible thermodynamics. 1 Introduction2 Change3 Distinguishing Processes from States4 Causings5 The Relational Character and Mereological Structure of Processes6 Concluding Comments. (shrink)

Aristotelian ideas are presented in a favorable light in Duhem's historical works surveying the history of the notion of chemical combination (1902) and the development of mechanics (1903). The importance Duhem was later to ascribe to Aristotelian ideas as reflected in the weight he attached to medieval science is well known. But the Aristotelian influence on his own mature philosophical perspective, and more particularly on his concern for logical coherence and the development of his ontological views, is not generally acknowledged. (...) There are, however, clear pointers in this direction in these two earlier books on the history of science, which are unashamedly written in such a way as to project the author's own view of what is important in the relevant areas. Thermodynamics was the pinnacle of Duhemian science, and its interpretation requires the reinstatement, in Duhem's view, of Aristotelian conceptions which have been unfashionable since the rise of certain ideas with the scientific revolution of the seventeenth century. The present paper is not primarily an exposition of these Aristotelian views of Duhem's, but an attempt to pursue the interpretation of a macroscopic, thermodynamical perspective on chemical substances from an elementary viewpoint in the spirit of Duhem (1902), sometimes being more definite than Duhem seems to be, and occasionally taking issue with him on certain points. Some of his leading ideas will determine the general approach, but views and problems will also be taken from modern textbooks in an attempt to lay down the general lines along which an explicit ontology--in Quine's sense--of macroscopic theory might be developed. (shrink)

Bodies as conceived in macroscopic theories are loosely spoken of as participating in processes. But are there any systematic reasons for regarding processes as part of the ontology of macroscopic theory? The present paper suggests that suitable motivation can be found within a project of describing a phenomenological, macroscopic ontology for equilibrium thermodynamics, and outlines some aspects of the interrelation between continuant bodies and processes.

Chemistry deals with substances and their transformations. School chemistry provides a picture of this in terms of small balls called atoms and ball-and-stick structures called molecules which, despite its crudity, has been taken to justifiably reflect a reductionist conception of macroscopic concepts like the chemical substances and chemical reactions. But with the recent interest in chemistry within the philosophy of science, an extensive and determined criticism has developed of the idea that the macroscopic world has been, or is likely to (...) be, reduced to microscopic theory. From this perspective, it is of interest to see macroscopic ontology treated autonomously. I try to take a first few steps towards spelling this out. It involves recognising entities falling into two broad categories: continuants-things which can have different properties at different times — and processes — things whose temporal parts may have different features, but which themselves stand in contrast to continuants in this respect. The character of each and their interrelations depends on their mereological structure of parts, the exploration of which is one of the prime purposes of the paper. (shrink)

Mereotopology is the discipline obtained from combining topology with the formal study of parts and their relation to wholes, or mereology. This article develops a mereotopological theory of time, illustrating how different temporal topologies can be effectively discriminated on this basis. Specifically, we demonstrate how the three principal types of temporal models—namely, the linear ones, the forking ones, and the circular ones—can be characterized by differently combining two sole mereotopological constraints: one to denote the absence of closed loops, and the (...) other one to denote the absence of branches. (shrink)

The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...) from several particular theories, first from biology and then from psychology. Mereological considerations were explicitly developed within the school of Brentano, by Brentano himself- starting from the problem of the unity of consciousness - and by his students, particularly Stumpl, Twardowski and the Gestaltists. The most complete result of this tradition is undoubtedly the third of Husserl's Logical Investigations, called "the single most important contribution to realist (Aristotelian) ontology in the modern period". (shrink)

A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core (...) meaning, the way in which they are formally introduced here represents the only right way to do this, given that we restrict ourselves to one real world and make no use of the many real worlds assumption. But then the result is that the very truth conditions for sentences about indeterministic events imply the existence of tensed truths, in spite of the fact that these conditions are formulated (in the indeterministic axiom) in terms of tenseless language. The tenseless theory of time implies determinism, while indeterminism requires the flow of time assumption. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.