- Tytuł:
-
ONTOLOGIA ELEMENTARNA I KLASYCZNY RACHUNEK RELACJI
ELEMENTARY ONTOLOGY AND THE CLASSICAL CALCULUS OF RELATIONS - Autorzy:
- Wojciechowski, Eugeniusz
- Powiązania:
- https://bibliotekanauki.pl/articles/488626.pdf
- Data publikacji:
- 2013
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Tematy:
-
ontologia elementarna
systemy Leśniewskiego
sylogizmy ukośne
klasyczna teoria relacji
elementary ontology
Leśniewski’s systems
oblique syllogisms
classical calculus of relations - Opis:
- The notion of relation is one of the most important concepts present in our language. This study propose some extension of elementary ontology (OE) for relational variables and defining in his framework the concepts of the classical calculus of relations. Such enriched elementary ontology (OER) is a better tool for the analysis of natural language. It is shown that syllogistic with the negative terms enriched by so called oblique syllogisms (SNU with the axioms C1–C5) is a fragment of OER system (Theorem 1). The OER system is enriched next with individual variables (a,b,c) and by assuming the individual term referentiality (axiom A2) we obtain OER* system. The Proof that the classical calculus of relations (KRR) is a part of the system OER* (Theorem 2) is given.
- Źródło:
-
Roczniki Filozoficzne; 2013, 61, 2; 27-38
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł