- 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ł