W tej monografii, w rozdziale pierwszym, będzie się poszukiwało odpowiedzi na następujące pytania: Co stwierdzają prawa logiki? Czego teorią jest logika formalna? W przeprowadzanych analizach brany będzie pod uwagę głównie klasyczny rachunek logiczny (przede wszystkim klasyczny rachunek zdań) oraz logika tradycyjna. Będą analizowane wypowiedzi niektórych autorów poświęcone przedmiotowi logiki formalnej. Jako wynik tych analiz ukazana zostanie, preferowana przez autora tej pracy, odpowiedź na powyżej postawione pytania. [...]
Treść rozdziałów drugiego i trzeciego dotyczyć będzie możliwości stosowania współczesnej logiki formalnej w filozofii i w naukach przyrodniczych. W szczególności podejmuje się próbę odpowiedzi na następujące pytania: Co daje system logiki formalnej jakiejś teorii filozoficznej lub należącej do nauk przyrodniczych? Co jest warunkiem stosowalności różnych, nawet możliwych, niesprzecznych systemów logiki formalnej w naukach realnych?
- Autor: Stanisław Kiczuk
- Kategoria: informatyka, matematyka
- Język: polski
- ISBN: 8322808984
- Data wydania: 2001-01-01
- Liczba stron: 206
- Ocena: 0,0
- Wydawnictwo: Wydawnictwo Katolickiego Uniwersytetu Lubelskiego
