Open AccessSome non-standard interpretations of the axiomatic basis of Leśniewski’s Ontology
Author(s) -
Rafał Urbaniak
Publication year - 2006
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v4i0.1778
Subject(s) - axiom , ontology , meaning (existential) , functor , statement (logic) , basis (linear algebra) , mathematics , semantics (computer science) , constant (computer programming) , axiomatic system , natural language processing , epistemology , computer science , discrete mathematics , philosophy , programming language , geometry
We propose an intuitive understanding of the statement: ‘an axiom (or: an axiomatic basis) determines the meaning of the only specific constant occurring in it.’ We introduce some basic semantics for functors of the category s/n,n of Lesniewski’s Ontology. Using these results we prove that the popular claim that the axioms of Ontology determine the meaning of the primitive constants is false.