Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
A quantifier-less calculus of names with the rule of extensionality
Author(s): Eugeniusz WojciechowskiSubject(s): Philosophy
Published by: Towarzystwo Naukowe KUL & Katolicki Uniwersytet Lubelski Jana Pawła II
Keywords: quantifier-less calculus of names; extensionality rule for the functor of singular inclusion; elementary ontology; Leśniewski’s systems; bezkwantyfikatorowy rachunek nazw; reguła ekstensjonalności dla funktora inkluzji jednostkowej; ontologia elementarna
Summary/Abstract: 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.
Journal: Roczniki Filozoficzne
- Issue Year: 56/2008
- Issue No: 1
- Page Range: 417-429
- Page Count: 13
- Language: Polish