Релевантная логика (НФЭ, 2010)
РЕЛЕВАНТНАЯ ЛОГИКА – направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии «релевантная» (термины «релевантный», «релевантность» представляют собой кальку с английского, и их можно перевести как «уместный», «относящийся к делу», «уместность») нашло отражение то обстоятельство, что в ней исключаются свойственные классической логике принципы, которые с точки зрения интуиции и, главное, реальной практики рассуждений трактуются как неуместные, не соответствующие этой практике, парадоксальные. Релевантная логика отличается от классической логики в двух основных пунктах. Во-первых, в объектный язык исчислений вводится интенсионально понимаемая импликация (см. Логические связки), истинностное значение которой в отличие от экстенсиональной материальной импликации не детерминируется истинностными значениями связываемых высказываний...