Zwischen Syllogistik und den Systemen von Leśniewski : eine Rekonstruktion der Idee der Quantifizierung der Prädikate
AbstractThe work begins with a hisinrical outline of this problem. Two standpoints realizing the above idea are here presented: the earlier intensional attitude (Leibniz, Lambert, Castillon) and the extensional one (Bentham, Hamilton, De Morgan, and Boole). The paper presents a logical axiomatic reconstruction of some realizations of this idea in its extentional expression, presented in XIX century by the above - mentioned English logicians. It is shown that those systems played an important role in the later development of logic, Apart from the syntactical side of these theories, semantical ideas connected with them arc also discussed. It is further shown that these systems as calculi of names are situated between syllogistic and Legniewskian ontology. An intermediate construction, with the functor some in the weak and distributive meaning, between one of De Morgan's calculi and Boole's system is proposed. Similarly an extension of Boolean calculus with that functor has subsequently been proposed. The last of the above logical systems is interpreted in Legniewski's systems: in the protothetics (what can be regarded as well as a proof of its consistency); in the ontology (distributive interpretation) and in the mereology (collective interpretation).
|Other language title versions||Między sylogistyką a systemami Leśniewskiego : rekonstrukcja idei kwantyfikacji orzecznikówBetween syllogistic and Leniewski's systems. A reconstruction of the idea of quantification of predicates|
|Publisher||Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, MNiSW |
|Publishing place (Publisher address)||Kraków|
|Book series /Journal (in case of Journal special issue)||Zeszyty Naukowe Akademii Rolniczej im. H. Kołłątaja w Krakowie. Rozprawy, ISSN 1233-4189, (0 pkt)|
|Publication size in sheets||5.7|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.