Wszystkie pola: sylogizmy ukośne - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Skocz do pozycji: 2.

Tytuł:: Sylogizmy ukośne
Oblique Syllogisms
Autorzy:: Wojciechowski, Eugeniusz
Powiązania:: https://bibliotekanauki.pl/articles/2106909.pdf
Data publikacji:: 1990
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:: The aim of this paper is the analysis of so-called oblique syllogisms. Its consequence is the proposal of such an extention of the syllogistic with negative terms, including inferences with syllogism of this type. It considers following the two such extentions, where the first is inferentially contained in the second one. The second of those calculi with the axiom system: xanny, ∼(xanx), nxany → yax, xay ⋅ yaz → xaz, xay → fxafy and the definitions: xey ↔ xany, xiy ↔ ∼(xany), xoy ↔ ∼(xay), besides the inferential rules common with syllogistic and the rule of substitution for functors (without nominal negation), has the specific extended rule of substitution: for the simple nominal variables of the type „x” it may substitute besides the other simple nominal variables, also those composed with negation of the kind „ny”, as well as the composed variables of the type „fy”, with „f” different from „n”. The interpretation of those calculi in protothetic is given.
Źródło:: Roczniki Filozoficzne; 1990, 37-38, 1; 337-343
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja