Follow
#Хабр #логика #цитатник
Тут есть одна тонкость: все зависит в какой логике мы работаем. Например в математической логике для, так называемой, импликации Фреге не нужна смысловая зависимость. Чтобы связать импликацией два высказывания нужно просто, чтобы они выражали какое-нибудь свойство, т.е. были бы отношениями. Еще проще нужно, чтобы можно было бы сказать ложны они или истинны. И истиностная таблица импликации позволяет строить совершенно дикие, на обычный взгляд, истинные следствия. Например из предложения "Жириновский дочь Сталина" следует, что "Обама внук Пушкина" - и это истинное следствие. И это обычная, классическая, математическая логика. Но в мире еще множество всяких диковинных логических систем.
