Коротко говоря, суть теории типов Рассела заключается в следующем: разные уровни высказываемого требуют разных средств выражения. Если объяснять на пальцах, то, допустим, об отдельных муравьях мы не можем сказать то же, что и о муравьях в целом. Иначе мы неизбежно придем к противоречиям.

( Read more... )

Теперь, зная, что такое значение, нам нетрудно понять, что из себя представляют понятия противоречия, лжи, истины в классической логике да и сама логика в целом. Противоречие - это частный случай грамматической ошибки, ситуация, когда формально правильное выражение не имеет значения. Ложь - более общий случай, любая фраза не имеющая значения, даже ( Read more... )