<<
>>

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


:
она анализирует определенные проце-дуры, связанные с переменными, как, напр., подстановку. Ее цель — упрощение основ математической логики и устранение парадоксов. Ее арифметика содержит числовые функции, которые частично рекурсивны и замени-мы. Ее можно использовать в исследованиях логических исчислений более высокого порядка, в информатике и лингвистике.
<< | >>
Источник: Кунцман П., Буркард Ф.-П., Видман Ф.. Философия: dtv-Atlas. 2002 {original}

Еще по теме ком-бинаторная логика:

  1. Модальная логика
  2. ЛОГИКА
  3. МАТЕМАТИЧЕСКАЯ ЛОГИКА
  4. Современная логика
  5. ЛОГИКА
  6. Логика
  7. КИТАЙСКАЯ ЛОГИКА
  8. СОДЕРЖАТЕЛЬНО-ГЕНЕТИЧЕСКАЯ ЛОГИКА
  9. Преступление логики
  10. ЛОГИКА АРИСТОТЕЛЯ И ЕГО УЧЕНИЕ О МЕТОДЕ
  11. Две логики мышления
  12. СОДЕРЖАТЕЛЬНО-ГЕНЕТИЧЕСКАЯ ЛОГИКА
  13. ЛОГИКА . Теория познания