Open Access
Summer 1995 Worlds of Homogeneous Artifacts
Athanassios Tzouvaras
Notre Dame J. Formal Logic 36(3): 454-474 (Summer 1995). DOI: 10.1305/ndjfl/1040149360


We present a formal first-order theory of artificial objects, i.e., objects made out of a finite number of parts and subject to assembling and dismantling processes. These processes are absolutely reversible. The theory is an extension of the theory of finite sets with urelements. The notions of transformation and identity are defined and studied on the assumption that the objects are homogeneous, that is to say, all their atomic parts are of equal ontological importance. Particular emphasis is given to the behavior of classes of artifacts in time. We call such classes satisfying certain preservation conditions worlds. Various results concerning the existence, extension, and completeness of worlds are proved.


Download Citation

Athanassios Tzouvaras. "Worlds of Homogeneous Artifacts." Notre Dame J. Formal Logic 36 (3) 454 - 474, Summer 1995.


Published: Summer 1995
First available in Project Euclid: 17 December 2002

zbMATH: 0834.03020
MathSciNet: MR1351417
Digital Object Identifier: 10.1305/ndjfl/1040149360

Primary: 03B60

Rights: Copyright © 1995 University of Notre Dame

Vol.36 • No. 3 • Summer 1995
Back to Top