Kulturka

Logiki wielowartościowe - Malinowski Grzegorz

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).