Autor: Grzegorz Malinowski
ISBN: 83-01-14879-9
Ilość stron: 126
Data wydania: 2006 (wydanie 2, rozszerzone)
Przystępny wykład działu logiki, który zajmuje się badaniem kryterium prawdziwości zdań oraz formalnych związków wynikania. Istotą logiki wielowartościowej jest odejście od klasycznej logiki dwuwartościowej (prawda i fałsz) i wprowadzenie wartości pośrednich (możliwości, niezdeterminowania).
Podstawy logik wielowartościowych stworzyli polscy uczeni skupieni w szkole lwowsko-warszawskiej (Łukasiewicz, Tarski, Ajdukiewicz).
Logiki wielowartościowe wykładane są na kursach logiki dla filozofów, matematyków, informatyków (ogromne zastosowanie logik wielowartościowych w technikach komputerowych).
Wydanie 2 rozszerzone otrzymało dwa nowe rozdziały oraz uzupełnienia w pozostałych rozdziałach.
Rozdziały: 1. Logika klasyczna 2. Trzecia wartość logiczna u Łukasiewicza 3. Algebry i matryce logiczne 4. Wielowarto´sciowość 5. Logiki Łukasiewicza 6. Logiki Posta 7. Trójwartościowość Kleenego i Boczwara 8. Standardowe własności 9. Formalizacje w tradycji Gentzena 10. Prawdopodobie´nstwo a wartości logiczne 11. Klasyczna charakterystyka 12. Kwantyfikatory i wielowartościowość 13. Intuicjonizm i logiki modalne 14. Zbiory rozmyte i logiki Zadeha 15. Nowsze badania wielowartościowości 16. Zastosowania i znaczenie problematyki Skorowidz nazwisk Skorowidz terminów
Logiki wielowartościowe --- Pozycja niedostępna.---
|