O terminach dyspozycyjnych

Rudolf Carnap was the first who noticed the difficulties connected with defining disposition terms. An attempt at defining them in the classical way leads to paradoxes. The present paper proposes a way out of this theoretical deadlock. The starting system is an elementary ontology enriched with specific axioms (A1-A4) which characterise the phrase x is subordinated-to y. The language of this system is subsequently extended to include nominal variables (a,b,c) referring to objects which change in time. Successive axioms (B1-B3) determine the phrase x is a subreference of a. What is understood by the subreference of the name a is an object to which the name refers and which is only its temporary carrier. Thanks to the distinction between an object and its subreferences we shall avoid the theoretically problematic quantification with a temporary variable. The functor of disposition (D) is introduced by definition. This makes it possible to define disposition terms in the classical way, free from the above paradoxes.