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”.