Zarys logiki niefregowskiej

Opis książki:

Niefregowski rachunek zdań jest pewnym uogólnieniem
klasycznego rachunku zdaniowego. Powstaje on przez
dodanie do języka klasycznego implikacyjno-negacyjnego
rachunku zdań nieprawdziwościowego spójnika, zwanego
spójnikiem identyczności. Jeżeli do twierdzeń rachunku
niefregowskiego dodamy pewne założenie, to spójnik iden-
tyczności będzie prawdziwościowym spójnikiem równo-
ważności. Klasyczny rachunek zdań jest więc aksjomatycz-
nym wzmocnieniem rachunku niefregowskiego.

Niefregowski rachunek zdań stanowi podstawową część
logiki niefregowskiej. Twórcą tej logiki był Roman Susz-
ko. Inspiracje do jej stworzenia czerpał on bezpośrednio z Traktatu logiczno-filozoficznego * L. Wittgensteina.

W swych badaniach nawiązał Suszko do zainicjowanych
przez Jana Łukasiewicza filozoficznych interpretacji ra-
chunków zdaniowych, a także do badań z zakresu matryc
logicznych oraz formalizacji wyrażeń intensjonalnych,
prowadzonych przez Jerzego Łosia w latach czterdzies-
tych. Semantyka formalna dla logiki niefregowskiej jest
wspólnym dziełem R. Suszki i matematyka amerykań-
skiego S.L.Blooma. Semantyka ta wskazuje w szczegól-
ności na to, że rachunki zdaniowe oraz ich semantyki
matrycowe oprócz swych ściśle logicznych zastosowań
znajdują również zastosowania w ontologii sytuacji
Pisząc tę książkę stawiałem sobie za cel, aby niewątpli-
wie głębokie idee filozoficzne Suszki, leżące u podstaw
ogiki niefregowskiej, nie ulegty zapomnieniu i aby stały
się zrozumiałe nie tylko dla waskiego grona logików
Dlatego W rozdziale 1 przedstawiam wiadomości
gebry ogólnej i z metodologii rachunków zdaniowych
potrzebne do zrozumienia formalnych i filozoficznych
podstaw logiki Suszki.

W rozdziale II próbuję pokazać, w jaki sposób logika
Suszki nawiązuje do pogladów semantycznych i
filozofcznych Fregego i Wittgensteina oraz przedstawiam pewne
zasady semantyczne. Zasady te, w moim przekonaniu
znajdują się zarówno u podstaw rachunku logicznego,
jakim jest logika niefregowska, jej formalnej semantyki
jak i filozoficznej interpretacji tej logiki.

Rozdział III poświęcony jest niefregowskiemu rachun-
kowi zdań, zaś rozdział IV - nadbudowanemu nad nim
rachunkowi kwantyfiikatorów.

Uwagi o filozoficznej interpretacji logiki niefregowskiej
znajdują się w rozdziale II, w Ill (1.3, 1.4, 2.5) oraz w
rozdziale IV (3.4).

Niniejsza książka zawiera, wedlug wiedzy jej autora.

pełną (w momencie oddawania książki do druku) biblio-
grafię prac z zakresu logiki niefregowskiej

Warszawa, grudzień 1983 roku
Mieczyslaw Omyla

Książka "Zarys logiki niefregowskiej" - Mieczysław Omyła - oprawa miękka - Wydawnictwo Naukowe PWN. Książka posiada 170 stron i została wydana w 1986 r.