LOGIKI WIELOWARTOŚCIOWE

Opis produktu:

Wydanie drugie tej książki to jeszcze bardziej przystępny wykład działu logiki, który skupia się na badaniu kryterium prawdziwości zdań oraz formalnych związkach wynikania. Jednak istotą tego wydania jest podejście do logiki wielowartościowej, które odbiega od klasycznej logiki dwuwartościowej (gdzie mamy tylko prawdę i fałsz) poprzez wprowadzenie wartości pośrednich, takich jak możliwość i niezdeterminowanie.

Kluczową informacją jest to, że podstawy logik wielowartościowych zostały stworzone przez polskich uczonych skupionych w szkole lwowsko-warszawskiej, takich jak Łukasiewicz, Tarski i Ajdukiewicz. To właśnie ich wkład jest omawiany w książce, co pozwala czytelnikowi zrozumieć główne założenia i rozwinięcia tej dziedziny.

Logiki wielowartościowe są obecnie ważnym elementem nauczania na kursach logiki, zarówno dla filozofów, matematyków, jak i informatyków. Mają one ogromne zastosowanie w technikach komputerowych, co czyni tę książkę cennym źródłem wiedzy dla tych, którzy chcą zrozumieć i wykorzystać logiki wielowartościowe w swojej pracy.

Wydanie drugie, rozbudowane o dwa nowe rozdziały i uzupełnienia w pozostałych rozdziałach, stanowi jeszcze bardziej kompleksowe źródło informacji na ten temat. To nieocenione narzędzie zarówno dla studentów, jak i praktyków, którzy chcą zgłębić tę fascynującą dziedzinę logiki.