The paper deals with properties of structured procedures from a mereological point of view, i.e. with respect to their constitutive elements. As a result, it is argued that procedures amount to structured complexes (wholes) made of uniquely determined parts and that the part-whole relation is of the partial-ordering type. However, such a mereology is not a standard one: the principle of extensionality and the idempotence law do not hold there. and Marie Duží
The paper deals with a type of whole and part that can be found in Aquinas’ work and to which no attention has been paid so far. This type of whole and part can be called metaphysical whole and metaphysical part, respectively. In the paper, metaphysical whole and part are put forth on the problem of the logical and metaphysical structure of a common nature., Příspěvek pojednává o typu celku a jeho části, které lze nalézt v díle Akvinského a na které dosud nebyla věnována pozornost. Tento typ celku a části lze nazvat metafyzickou celou a metafyzickou částí. V příspěvku jsou metafyzický celek a jeho část uvedeny na téma logické a metafyzické struktury běžné povahy., and David Svoboda