Definitions and Theses of Leśniewski’s Ontology

Abstract

It so happened that as the result of semantic analysis to which I subjected various categories of propositions, and in connection with my considerations on the possibility of’reducing’... some of the types of propositions into others ..., ‘singular’ propositions of the type ‘Aεb’, and the mutual relations between such propositions, temporarily became the central point of my interest in 1920. Being already well experienced in the consistent usage of ‘singular’ propositions in research practice and having obtained considerable number of theoretical syntheses ... I desired to carry this a step further. I wanted to base all my reasonings carried out with the help of ‘singular’ propositions of the type ‘Aεb’ on some clearly formulated axiomatic framework which would reflect my research practice in this area. I assumed that no constants other than ‘ε’, in propositions of the type ‘Aεb’, and other than the constant symbols of the ‘theory of deduction’ will occur in this type of axiom-system.