On the eliminability of ideal linguistic entities (Q916641)

By means of mathematical logic two axiomatic theories are constructed with reference to two ontologically opposed approaches to language syntax: nominalistic and platonic. Both theories of language syntax are formalized, bi-aspectual and in S. Leśniewski--K. Ajdukiewicz--H. Curry spirit of the theory of syntactic categories. The first one is based on postulating the existence of concretes of language and defines their abstractive constructs of language as classes of equiform concretes, while the other is founded on postulating the existence of abstractive constructs of language and defines concretes of language as their representatives. The paper proves that both approaches are equivalent, which seems to point to the advantage of the nominalistic one.