В чём отличие формальных логических методов от неформальных?

Некоторые отличия формальных и неформальных логических методов:

• Философские предпосылки. irbis.gnpbu.ru Формальная логика базируется на представлениях классической фундаменталистской гносеологии, сформировавшейся на базе идей Декарта о возможности существования единого универсального метода познания. irbis.gnpbu.ru www.dissercat.com Неформальная логика основана на неклассическом идеале рациональности, в частности, на концепции «человеческого понимания» С. Тулмина. irbis.gnpbu.ru www.dissercat.com
• Отношение к естественному языку. irbis.gnpbu.ru www.dissercat.com Формальная логика стремится максимально освободиться от естественного языка, в котором выражены посылки и заключения. irbis.gnpbu.ru www.dissercat.com Для неформальной логики характерно внимание к рассуждениям, выраженным в естественном языке, с присущими им естественной многозначностью, неопределённостью, незавершённостью. irbis.gnpbu.ru www.dissercat.com
• Трактовка логических процедур. irbis.gnpbu.ru www.dissercat.com Формальная логика рассматривает рассуждения с точки зрения их индивидуальной природы. irbis.gnpbu.ru В основе неформальной логики лежит взгляд на знание как на свойство сообщества, а не только индивида. irbis.gnpbu.ru www.dissercat.com
• Универсальность моделей. mirea.drhx.ru Формальные модели основаны на строгой математической теории и обладают универсальностью. mirea.drhx.ru Каждая неформальная модель годится только для конкретной предметной области и поэтому не обладает той универсальностью, которая присуща моделям формальным. mirea.drhx.ru
• Корректность логического вывода. mirea.drhx.ru В формальных системах логический вывод строг и корректен, поскольку подчинён жёстким аксиоматическим правилам. mirea.drhx.ru Вывод в неформальных системах во многом определяется самим исследователем, который и отвечает за его корректность. mirea.drhx.ru