Лог. следование. Демонстративное, правдоподобное и релевантное лог. след. Проблема информального следования

Лог. след. представляет собой некое рассуждение, организованное по правилам вывода (пр/вывод), главн цель – получение ист/приемлемых заключений. В свою очередь, ист заключения обуславл. ист-ю посылок и верностью правила вывода. Само рассуждение – это такая, внутренне связанная совокупность высказываний, где из одного/неск предшествующих высказываний логически следуют др высказывания. Выделяют 2 формы рассужд:

- умозаключения – используются, когда мы хотим на основании имеющихся высказываний получ новое знание (посылки + пр/вывод = закл).

- обоснование – когда хотим проверить имеющееся н6овое знание, следует ли оно из имеющихся (тезис + форма обоснования = аргументы).

Логика занимается истинностью пр/вывод, истинность посылок же должна быть установлена заранее. Пр/вывод счит верным, если по нему из ист-ых посылок вывод ист-ые заключения. Здесь формальная логика абстрагируется от содержания суждения, упор на логическую форму: если a, b –производные высказывания, то A, B – логические формы этих высказываний, тогда из a след b (a|=b), ЕТЕ такое же отношение имеет место между формами этих высказываний.

Здесь надо различать выводимость и доказуемость, последнее складывается из выводимости A из B (A|-B), и достоверно установленной истинности A; в то время как A в первом случае может быть ист/лож. Если высказывание явл следствием мн-ва высказываний, тогда пишут Г|=b (гамма- конъюнкция ^ конечного числа простых высказываний). Наличие/отсутств лог след здесь зависит от лог форм этих высказываний, количество членов в конъюнкции мож быть различно, знач следование заключения из одного высказывания (вырожденная конъюнкция) явл частным случаем следования заключения из некоторого мн-ва высказываний.

Г|=b это дедуктивное (достоверное, демонстративное) следование. В символической логике: из a |=b, ете |= a->b, здесь если импликация явл общезначимой. В целом, дедуктивное следование им место во всех общезначимых выражениях логики высказываний и логики предикатов, содержащих:

- импликацию – когда осн-ие дедуцирует следствие.

- репликацию – наоборот.

- эквиваленцию – когда оба члена эквиваленции дедуцируют др др.

В класс лог счит, что дедукт след явл ед случаем лог следования вообще, в др случаях лог следование якобы отсутствует вообще.

Неклассич лог оспорила это – дедукт рассужд редко встреч. в гум/н и сферах практич деят (журн, юриспруд…). Даже в точных н. – дедукция явл преобл, но не единств способом рассуждения. В совр лог выдел правдоподобное следование леж в осн правдоп-го закл («индуктивное следование») Но! Спорно, обычно интерпретируется ч/з лог вероятность. Это такое отношение м/д a и b, где b не явл дедуктивным следствием a, но при этом его вероятность сост не менее 50%. P(b/a)≥R(b/a), P -вероятность ист, R -вероятность лож. Индукт след так же явл частным случаем следования заключения из некоторого мн-ва высказываний Г|=b. Следует сказать, что если из a дедуктивно след b, то и на оборот (a|=b)|=(b||=a) НО! Обратное не верно.

Инд. след часто соотносят с отношением позитивной релевантности, однако последнее можно представить как условие инд след., как повышение правдоподобности высказывания (тезиса), где вероятность ис b при условии ис a посылок станов больше, чем вероятность ис b самого по себе. Но! Это отношение не всегда дел рассужд-е правдоподобным, т.к. это формальная релевантность.

Т.о., инд след м/д a и b, основанное на отношениях позитивной релевантности, логически противостоит трем случаям:

- когда a дедуцирует b

- когда a противоречит b

- когда a наход к b в отношениях негативной релевантности, те. вероятность понижается.

Классич Лог часто подвергалась критике по вопросу соотношения формы и содержания в рассуждениях (парадоксы Кл лог). Напр: п-кс материальной импликации(осн–ис, закл-лож, то лож, иначе – ис), противоречия (из противор след все что угодно), з-на лог(з-н лог след из чего угодно). Здесь не учитывалось содержание. В 50-е ХХв созд релевантная лог, где ввод понятие релевантной импликации и релевантного логич следования, учитывающих содержательную связь м/д высказываниями и обозначающими её опред. логич. переменной – это отношения содержательной релевантности.

В совр лог счит необходимым содерж-ю релевантность дополнять условиями: либо ис a гарантирует ис b, либо при ис a возрастает вероятность ис b.

В совр лог актуально уч об информальных выводах, претендующих на то, чтобы учитывать не только формальную, но и содержательную связь м/д высказываниями в процессе рассуждения. Цель – изуч информальной структуры процедуры обоснования. При этом создатель данного подхода рассм его как более широкий по сравн с формально-лог подходом, последнее – лишь частный случай. Тулмин строил свою концепцию, анализируя рассужд и выводы, сделанные в судебной практики. Он создал ряд усложняющихся моделей арг, простейшая из кот включ:

- данные (доводы арг) – исходные положения, подтверждающие заключения. Факты, теоремы, прескрептивные выск (оценки, цели…).

- заключение (=тезис) – выск, подлеж обоснованию и должно вытекать из исходных данных.

- основание – предложение, разрешающее переход от данных к заключению. Это формально-лог правила вывода (дед, инд…) + юрид, мор нормы; пр-пы и з-ны науки; технологические правила; общепрянятые оценки и цели; нормы…

Т.о, информ структура мож рассм как боле общая по сравн с формально-лог, сложность в том, что до наст.вр. не удается формализовать информ рассуждения и найти критерий, позволяющий разграничить Верн/неверн схемы аргументации, соотв нет строгого определения информ следования.