Intelligent systems for many real life problems can be modeled by systems of complex objects and their parts changing and interacting over time. The objects are usually linked by certain dependencies, can cooperate between themselves and are able to perform complex and flexible actions (operations) in an autonomous manner. Such systems are identified as complex dynamical systems [2,40], autonom...

Motivation: This paper extends Röhl & Jansen's (2011) model of dispositions by introducing a relation of parthood between dispositions to formalize multi-track dispositions. Results: We suggest axioms for parthood relations between dispositions and discuss possible applications to life sciences.

In spite of considerable prior research, a generic framework has not emerged for structuring work on object-oriented (OO) metrics. We propose such a framework (Generic Framework) for object-oriented product metrics. The framework captures the generic structure of the underlying metrics space (Metrics Space) based on a mereological and set theoretic perspective of the building blocks of OO syste...

We study the generic notion of part as used, for example, in commonsense studies and in natural language, and rephrase it in terms of a role theory. The goal is not to redefine the parthood relationship but to reinterpret it within a richer theory via ontological analysis. By embedding parthood into role theory, it becomes possible to highlight the unifying characteristics of the notions of par...

Problem setting. One of the complex and controversial theoretical issues is meteorological division construction taxonomy parts. After all, humanitarian social subjects, due to their own specifics related existence, need other grounds for distribution. Thus, study parts its logical principles in meteorology will help deepen understanding humanities sciences development basis methodology humanit...

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with...

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

It is shown that the numbers ci of chains of length i in the proper part L \ {0, 1} of a distributive lattice L of length l + 2 satisfy the inequalities c0 < . . . < c⌊l/2⌋ and c⌊3l/4⌋ > . . . > cl. This proves 75 % of the inequalities implied by the Neggers unimodality conjecture.

Formal mereology should be of interest to metaphysicians because it allows us, in a rigorous way, to determine the consequence relations between metaphysical theses and theories, many of which are of metaphysical interest. Take, for example, the many and various puzzles of constitution, and the metaphysical theories that have been advanced to solve them. Ideally, it should be possible to analys...