Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.

Простые суждения, из которых состоит разделительное (ди­зъюнктивное) суждение, называютсячленами дизъюнкции. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суж­дений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим со­юзом «или».

Утверждая один член дизъюнкции, мы с необходимостью долж­ны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категори­ческого умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.

1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое сужде­ние — отрицает другой ее член. Например;

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)

Данная облигация не является именной (не-q)

Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило:большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.

2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)

Данная облигация именная (q)

Утвердительный вывод получен посредством отрицания: отри­цая один дизъюнкт, мы утверждаем другой.

Заключение по этому модусу всегда достоверно, если соблюдает­ся правило: в большей посылке должны быть перечислены все воз­можные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказывани­ем.

Условно-разделительное умозаключение

Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.

Разделительное суждение может содержать две, три и большее число альтернатив2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.

Рассмотрим на примере дилеммы структуру и виды условно-раз­делительного умозаключения. Различают два вида дилемм: кон­структивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.

В простой конструктивной дилемме условная посылка содер­жит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, за­ключение утверждает следствие. Рассуждение направлено от ут­верждения истинности оснований к утверждению истинности след­ствия.

В сложной конструктивной дилемме условная посылка содер­жит два основания и два следствия. Разделительная посылка утверж­дает оба возможных основания. Рассуждение направлено от утверж­дения истинности оснований к утверждению истинности следствий.

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

В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истин­ности оснований.

36.  Доказательство и его структура. Виды доказательства.

Структура доказательства

Типы аргументов

Способы доказательства

• Прямое -- тезис обосновывается аргументами. Например:
1. Тезис: данное растение -- кактус.
2. Факт: все кактусы -- зеленые растения.
3. Следовательно, и данное растение содержит хлорофилл.
• Косвенное:

o метод "от противного" -- чтобы доказать тезис, следует опровергнуть антитезис. Например:

1. Тезис: слово "борьба" по происхождению старославянское.

2. Антитезис: слово "борьба" не является общеславянским.

3. Опровержение антитезиса: если бы слово не было общеславянским, оно бы не употреблялось во всех славянских языках. Но слово "борьба" зафиксировано в украинском, белорусском, болгарском и других славянских языках. Следовательно, правилен тезис.

o метод исключения -- истинность тезиса доказывается с помощью выявления ложности всех возможных альтернатив, кроме одной -- тезиса. Например:

1. Преступление совершили либо А, либо В, либо С.

2. Доказано, что ни А, ни В на совершали его, так как у них есть алиби.

3. Следовательно, преступление совершил С (у которого нет алиби).

o приведение к абсурду -- если допустить, что верен антитезис, получается абсурд. Например, диалог из романа И.С.Тургенева "Рудин": -- Стало быть, по-вашему, убеждений нет?
-- Нет, и не существует.
-- Это ваше убеждение?
-- Да.
-- Как же вы говорите, что их нет? Вот вам одно на первый случай.

37. Опровержение, способы опровержения.

Опровержение – это рассуждение, направленное против выдвинутого положения и имеющее своей целью установление его ошибочности или недоказанности.

Наиболее распространенный прием опровержения – выведение из опровергаемого утверждения следствий, противоречащих истине. Если одно логическое следствие некоторого положения неверно, ошибочным будет и само это положение.

Опровержение имеет три вида:1)критика тезиса – это логическая операция, целью которой является показать ложность выставленного тезиса. Тезис признается ложным, если оппонент отстаивает свое утверждение, но заведомо знает о том, что оно не соответствует действительности. Тезис является ошибочным, если оппонент заблуждается относительно действительности утверждаемого им тезиса.

Опровержение тезиса в свою очередь может быть прямым или косвенным. Опровержение является прямым, если аргументация протекает следующим образом: в первую очередь допускают истинность выдвинутого положения, при этом выводят из него логические следствия. Если при сопоставлении данных следствий с фактами выяснится, что они противоречат истинным данным, то их признают несостоятельными.

При косвенном опровержении тезиса внимание сосредоточивается на доказательстве своего тезиса, которое в свою очередь будет противоречить тезису оппонента.

Если положение выдвигается с каким-либо обоснованием, операция опровержения может быть направлена против обоснования. В этом случае нужно показать, что приводимые аргументы ошибочны: вывести

из них следствия, которые окажутся в итоге несостоятельными, или доказать утверждения, противоречащие аргументам.

Следует иметь в виду, что опровержение доводов, приводимых в поддержку какого-либо положения, не означает неправильность самого этого положения. Утверждение, являющееся по сути дела верным, может отстаиваться с помощью ошибочных или слабых доводов. Выявив это, демонстрируется надежность предлагаемого обоснования, а не ложность утверждения;

2) критика аргументов. Данная логическая операция направлена на обоснование ложности аргумента. Она может выражаться в том, что оппонент может указывать на неточное изложение фактов, выражать в них сомнение.

Если ложность аргументов будет доказана, то тезис будет необоснованным и будет нуждаться в дополнительной аргументации;

3) критика демонстраций. Данная логическая операция указывает на отсутствие логической связи между тезисом и аргументами.

Особое значение при опровержении имеют факты. Ссылка на верные и неоспоримые факты, противоречащие ложным или сомнительным утверждениям оппонента, – самый надежный и успешный способ опровержения. Реальное явление или событие, не согласующиеся со следствиями какого-либо универсального положения, опровергает не только эти следствия, но и само положение.

Опровержение может быть направлено на саму связь аргументов и доказываемого положения. В этом случае нужно показать, что тезис не вытекает из доводов, приведенных в его обоснование. Если между аргументами и тезисом нет логической связи, то нет и доказательства тезиса с помощью указанных аргументов.

38. Правила и ошибки в доказательстве

Логические ошибки в доказательстве можно разделить на относящиеся к тезису, к аргументам и к их связи.

Формальная ошибка имеет место тогда, когда умозаключение не опирается на логический закон и заключение не вытекает из принятых посылок. Например: «Если я навещу дядю, он подарит мне фотоаппарат, я продам его и куплю велосипед: значит, если я навещу дядю, я продам его и куплю велосипед». Данное умозаключение не опирается на закон логики и неправильно. Ошибка заключается в том, что местоимение «его» может указывать на разные предметы. В данном случае оно должно указывать на фотоаппарат, но выходит так, что на самом деле оно относится к дяде.

Характерной ошибкой в отношении тезиса является подмена тезиса, неосознанное или умышленное замещение его в ходе доказательства каким-то другим утверждением. Подмена тезиса ведет к тому, что доказывается не то, что требовалось доказать. В данном случае тезис может сужаться и он остается недоказанным.

Довольно распространенной ошибкой является круг в доказательстве: справедливость доказываемого положения обосновывается посредством этого же положения, высказанного, возможно, в несколько иной форме. Если за основание доказательства принимается то, что еще нужно доказать, обосновываемая мысль выводится из самой себя и получается не доказательство, а пустое хождение по кругу.

Правила, относящиеся к аргументам:

1) аргументы не должны противоречить друг другу;2) аргументы должны подтверждать тезис;

3) аргументы должны быть суждениями.

При нарушении вышеперечисленных правил возникают следующие ошибки в основаниях доказательства:

1) ложность оснований;

2) предвосхищение оснований. В качестве аргументов приводится такое положение, которое само нуждается в доказательстве;

3) правила, относящиеся к демонстрации. Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство – это идеальное и неоспоримое доказательство.

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

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

39. Правила и ошибки в опровержении.

40. Аргументация как логико-коммуникативная процедура.

41. Полемика как особый вид аргументации.

42. Виды полемики. Основные требования к аргументации.

43. Стратегия и тактика полемики.

44. Текст как объект логического анализа.

45. Типы текста.

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

Понятие «тип текста» в настоящее время принято как рабочий термин в современных исследованиях по теории текста, в частности в лингвистике текста. Обозначает он эмпирически существующие формы манифестации текстов. Расхождения в толковании понятия «тип текста» еще достаточно велики. Оно трактуется то слишком узко, то слишком широко (например, кулинарный рецепт как тип текста и перевод как тип текста).

Не вдаваясь во все сложности дискуссий по этому поводу и противоречивость мнений, можно все-таки на основании накопленных наукой данных постараться наметить основные критерии для разграничения различных манифестаций текстов.

Ясно, что эти критерии должны слагаться из ряда показателей и охватывать по крайней мере главные признаки текста: информационные, функциональные, структурно-семиотические, коммуникативные.

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

При ориентации на разные критерии можно в первичной дифференциации остановиться на делении «научные и ненаучные тексты»; «художественные и нехудожественные тексты»; «монологический и диалогический тексты»; «моноадресатный и полиадресатный тексты» и др. Каждое из этих делений реально существует, но с точки зрения общей и единой типологии они некорректны: например, художественный текст, с одной стороны, попадет в группу ненаучных, а с другой – одновременно в группы монологических и диалогических.

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

Подавляющее большинство авторов, занимающихся проблемами текста, при учете факторов реальной коммуникации соответственно сферам общения и характеру отражения действительности первоначально делят все тексты на нехудожественные и художественные. Нехудожественные тексты характеризуются установкой на однозначность восприятия; художественные – на неоднозначность. И то и другое принципиально важно.

Кроме того, тексты по форме представления могут быть устными (в основном в разговорно-бытовой сфере общения) и письменными (в сферах официального, специального и эстетического общения).

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

46. Смысловые уровни текста.

47. Роль вопроса в познании.

Библиографический список

Основной

1. Ивлев Ю.В. Логика: учебник для вузов. – 2-е изд., перераб. и доп. – М.: Логос, 2008.

2. Ивлев Ю.В. Логика для юристов. – 4-е изд. – М.: Дело, 2008.

Дополнительный

3. Иванов Е.А. Логика: учебник для студентов юридических вузов. – 3-е изд. – М.: БЕК, 2009.

4. Ивин А.А. Логика: учебник. – М.: Гардарики, 2009.