Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

комбинаторная логика

Комбинаторная логика (лат. combinare - соединять, сочетать) - одно из направлений в математической логике, занимающееся анализом понятий, к-рые в рамках классической математической логики принимаются без дальнейшего изучения. К их числу принадлежат понятия переменной, функции, правила подстановки и т. п. В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило modus роnеns. Оно формулируется так: если выведены предложения «Если А, то «В» и «Л»», то выводится предложение «В». Это правило доступно для одноактного автоматического выполнения. Др. (напр., правило подстановки) формулируются очень сложно и предполагают ряд ограничений и оговорок (без них они не могут использоваться чисто формально). Одной из задач К. л. является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.



ПОИСК:




© FILOSOF.HISTORIC.RU 2001–2023
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'