Несомненно, математическая логика показала свои преимущества в машинизации рассуждений. Только в сфере естественных рассуждений она оказалась бесплодной, как и схоластика средневековья. Ни прокурор, ни его оппонент адвокат, в судебном заседании не апеллируют к формулам и таблицам истинности математической логики. Сами специалисты в области формальной логики отмечают два крупных недостатка современной логики:
1. Формально-логический аппарат "оказывается слишком бедным для воссоздания естественных процессов аргументации". Математическая логика отвлекается от неистинностных форм мысли - 'вопросов', 'оценок' и 'императивов'.
2. Использование более богатых средств неклассических логик приводит к тому, что "получившаяся модель оказывается слишком усложненной и громоздкой и теряет всякое сходство с оригиналом".
Комментариев нет:
Отправить комментарий