Многозначные логики Я. Лукасевича
Многозначные логики представляют собой оригинальное и интересное направление в логике.Следует отметить, что идея многозначных логик имеет давнюю историю.Множество тавтологий представляет собой трехзначную матричную логику Лукасевича.Проблема, которая более всего интересовала Лукасевича - это проблема детерминизма.Так Лукасевич разрушает фаталистический аргумент Аристотеля.Работа Лукасевича состоит из двух частей: исторической и систематической.Таким образом, очевидного повода возвращаться к своей первой книжке у Лукасевича не было.Указанные n - значные логики также строятся матричным методом.Это свое убеждение Лукасевич последовательно выражал на протяжении всего своего научного творчества.Традиционные утверждения о модальностях по мнению Лукасевича можно разделить на три группы.