Rafał Dzierwa

The paper presents an axiomatic theory of properties formulated in infinitary modal logic S5, with New Foundations with Urelements (NFU) as its metatheory. The formal language is designed to preserve the openness of natural language in speaking about being: it permits self-reference and borderline syntactic cases rather than excluding them by stipulation. This makes it possible to resolve Russell’s paradox for properties without imposing an artificial prohibition on self-exemplification. On this basis, the paper develops a theory of individual properties, essences, and relations (including dependent and independent relations), and proves new transcendentals: non-self-sufficiency, individuality, structurality, similarity, relationality, and exemplification. Praca przedstawia aksjomatyczną teorię własności sformułowaną w infinitarnej logice modalnej S5, z New Foundations z urelementami (NFU) jako metateorią. Język formalny został pomyślany tak, by zachować otwartość języka naturalnego w mówieniu o bycie — dopuszcza samoodniesienie i graniczne przypadki składniowe zamiast wykluczać je z góry — co pozwala rozwiązać antynomię Russella dla własności bez sztucznego zakazu samoegzemplifikacji. Na tej podstawie budowana jest teoria własności jednostkowych, istot, relacji (w tym relacji zależnych i niezależnych), a także dowodzone są nowe transcendentalia: niesamoistność, jednostkowość, strukturalność, podobieństwo, relacyjność i egzemplifikacja.

This article proposes a minimalist concept of autonomy that is consistent with determinism, but negates fatalism. Drawing on Nicolai Hartmann’s stratified ontology, it argues that autonomy is achieved not by suspending physical laws, but by introducing new, higher-level determinations unique to individual entities. The tension between general laws and individual autonomy is resolved by emphasizing the unique properties and individual laws that apply to each entity. The article also explains how this minimal autonomy makes sense of setting goals and attempting to achieve them, demonstrating that even within a deterministic framework, individuals can have meaningful influence over their actions and outcomes.