Tytuł: | Logiki wielowartościowe | | Autor: | Grzegorz Malinowski | | ISBN: | 83-01-14879-9 | | Ilość stron: | 126 | | Data wydania: | 2006 (wydanie 2, rozszerzone) | | Wydawnictwo: | PWN | |
| Cena: | 39.00zł | |
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
|