Infona service will be unavailable from 2016-10-25 22:00 to 2016-10-25 22:20 due to maintenance works planned for this time.
The main aim of the paper is to revive Augustynek's attempts to define the relation of genidentity. The text embraces the following issues: (i) a presentation of three axiomatic definitions of genidentity; (ii) a reconstruction of the definitions in question in the language of the predicate calculus; (iii) a supplementing the above reconstruction by appropriate proofs; (iv) an analysis of the selected methodological and ontological assumptions of the discussed systems; (v) a comparison of Augustynek's systems with Eugeniusz Zabski's proposal; (vi) an outline of the definition of a thing as an abstractum (equivalence class, invariant) over the set of all punctual events under a relation of genidentity.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.