Temat: Leśniewski’s systems - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Elementy logiki w polskiej szkole matematycznej. Wkład Stanisława Leśniewskiego
Elements of Logic in the Polish School of Mathematics. The contribution of Stanisław Leśniewski
Autorzy:: Obojska, Lidia
Powiązania:: https://bibliotekanauki.pl/articles/690996.pdf
Data publikacji:: 2013
Wydawca:: Copernicus Center Press
Tematy:: symbolic language
functors
antinomy
Leśniewski’s systems
Opis:: In the presented paper we would like to focus on the scientific activity of the one of the members of the Warsaw School of Logic. It is supposed that the world famous formalisms of Polish logicians were mainly stimulated by Stanisław Leśniewski. If this is true, Leśniewski can be considered as the main ideologist of Warsaw School. The first part of this paper is dedicated to a very brief presentation of the history of Polish logic in the period 1910-1939. Next, we present the main ideas of the Warsaw School of Logic and in particular the contribution of Stanisław Leśniewski: his original system of three theories: protothetics, ontology and mereology and their novelty in comparison with classical thought. Finally, we try to show the influence of Leśniewski’s innovative ideas on other members of the school.
Źródło:: Zagadnienia Filozoficzne w Nauce; 2013, 53; 165-197
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

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: 3.

Tytuł:: Rachunek nazw z listami
The Calculus of Names with Lists
Autorzy:: Wojciechowski, Eugeniusz
Powiązania:: https://bibliotekanauki.pl/articles/2012863.pdf
Data publikacji:: 2011
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: bezkwantyfikatorowy rachunek nazw
lista
Operator listowy
ontologia elementarna
systemy Leśniewskiego
quantifier-less calculus of names
list
list Operator
elementary ontology
Leśniewski’s Systems
Opis:: In its suppositional phrasing the quantifier-less calculus of names has rules of introduction and Omission of the all (π) and some (σ) functors of the n/n category. The functors are the equivalents of quantifiers. A certain extension of its language by individual variables and a list Operator ([…]) is proposed here. In so extended language the quantifier-less calculus of names with lists is constructed, where axiom AI (a Substitute of the axiom of the theory of identity) and the rules characterising the list Operator are adopted.
Źródło:: Roczniki Filozoficzne; 2011, 59, 1; 35-50
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
A quantifier-less calculus of names with the rule of extensionality
Autorzy:: Wojciechowski, Eugeniusz
Powiązania:: https://bibliotekanauki.pl/articles/2013180.pdf
Data publikacji:: 2008
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: bezkwantyfikatorowy rachunek nazw
reguła ekstensjonalności dla funktora inkluzji jednostkowej
ontologia elementarna
systemy Leśniewskiego
quantifier-less calculus of names
extensionality rule for the functor of singular inclusion
elementary ontology
Leśniewski’s systems
Opis:: Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary rules. The interpretation of the last system in elementary ontology is included.
Źródło:: Roczniki Filozoficzne; 2008, 56, 1; 417-429
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja