1. Разделите объемы избранных  вами пяти понятий  по одному из оснований.

     Сделки, доход, право, ходатайство, форма правления.

     Сделка  — (по количеству участвующих в сделке сторон) односторонние сделки: завещание, дарение, доверенность, акцепт и т.д. и многосторонние (двусторонние) сделки, оформляемые договором, контрактом.

     Доход — (применительно к его обладателю) к государству в целом (национальный доход), к предприятию, фирме (валовой  доход, чистый доход предприятия), к  отдельным лицам (денежные доходы населения, реальные доходы граждан, личный доход.

     Право — (по правовым семьям) романо-германское (континентальную), англо-американское, мусульманское, традиционное и социалистическое

     Ходатайство — (как форма обращения граждан  к гос.органам) ходатайство о приеме в гражданство РФ или выходе из гражданства РФ, ходатайство о регистрации инициативной группы по проведению референдума, ходатайство о признании лица беженцем или вынужденным переселенцем.

     Форма правления — (с т.зр. организации  гос.власти) республика, монархия. 
 
 
 
 
 
 
 

2. Подберите примеры суждений А,Е,О и выполните  операцию их преобразования путем противопоставления предикату. Правильность вывода проверьте  при помощи превращения  и обращения.

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

     Таким образом, можно выделить следующие  виды непосредственных суждений:

1. Превращение
2. Обращение
3. Противопоставление предикату
4. Умозаключения по логическому квадрату.

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

     1. Превращение.

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

     ù ù p º p.

     Поддаются превращению:

     Общеутвердительные  суждения. Как явствует из названия, это суждения с общим объемом  субъекта и утвердительной связкой: Все S есть Р, например: «Все школьники  являются учащимися». Эти суждения обозначаются в логике латинской буквой А.

     Частноутвердительные  суждения. Название данного вида свидетельствует  о том, что он представляет собой  суждения с частным объемом субъекта и утвердительной связкой: Некоторые S есть Р, например: «Некоторые животные являются хищниками». Эти суждения обозначаются латинской буквой I.

     Общеотрицательные суждения — это суждения с общим  объемом субъекта и отрицательной  связкой: Все S не есть Р (или Ни одно S не есть Р), например: «Все планеты  не являются звездами» (или «Ни одна планета не является звездой»). Такие суждения обозначаются латинской буквой Е.

     Частноотрицательные суждения — это суждения с частным  объемом субъекта и отрицательной  связкой: Некоторые S не есть Р, например: «Некоторые грибы не являются съедобными». Эти суждения обозначаются латинской буквой О.

     Превращение общеутвердительного  суждения (A) в общеотрицательное (E) происходит по следующей схеме:

      Все S суть P

     Ни  одно S не есть не-P

     Пример:

     Книга новая, следовательно, книга не старая.

     Общеотрицательное суждение (Е) превращается в общеутвердительное (А) по схеме:

      Ни одно S не есть P

     Все S суть не-P

     2. Обращение.

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

     Существуют  чистое обращение и обращение с ограничением. В первом случае не происходит изменение количества суждения. Обращение же с ограничением используется, если предикат исходного суждения не распределён. Тогда он не будет распределён и в заключении, где он становится субъектом.

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

     Обращение общеотрицательного суждения (E) в общеотрицательное (E) (без ограничения):

      Ни одно S не есть P

     Ни  одно P не есть S

     Частноотрицательное суждение (O) не обращается, обращение суждения не ведёт к изменению его качества.

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

     3. Противопоставление  предикату

     Противопоставление  предикату – это такое преобразование суждения, в котором субъектом  вывода является понятие, противоречащее предикату посылки, а предикатом является субъект посылки. Заключение зависит от количества и качества исходного суждения.

     Рассмотрим  способы противопоставления предикату.

     Общеутвердительное  суждение (A) преобразуется в общеотрицательное (E):

      Все S суть P

     Ни  одно не-P не есть S

     Пример:

     В коробке находятся шоколадные конфеты, следовательно, не шоколадные конфеты (карамель) не лежат в коробке. 

3. Приведите пример простого категорического  силлогизма и сделайте его полный разбор.

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

     В простом категорическом силлогизме символом "S", как и обычно, обозначается субъект вывода и соответствующее ему понятие в посылке. Это - меньший термин. Символом "Р" обозначается предикат вывода и соответствующее понятие в посылке. Это — больший термин. А то понятие, которое является общим для обеих посылок, т.е. имеется в обоих исходных суждениях, но отсутствует в самом заключении, обозначим символом "М". Это — средний термин категорического силлогизма. Используя эту символику, простой категорический силлогизм, например:

     Все студенты - учащиеся

     Некоторые спортсмены - студенты

     Некоторые спортсмены - учащиеся

     в формульном виде будет выглядеть  так:

     М --- Р

     S --- М

     S --- P

     Общим в этом примере для посылок  является понятие о студентах, это - средний термин. Он занимает место  субъекта в первой посылке и место  предиката во второй. Субъектом вывода является понятие о некотором  конкретном (этом) человеке, предикатом вывода — понятие об учащихся.

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

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

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

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

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

     Правила терминов: в простом категорическом силлогизме должно быть три и только три термина: меньший, средний, больший; средний термин должен быть распределен (взят в полном своем объеме, или в полном объеме должен исключаться из рассмотрения), хотя бы в одной из посылок; термин, не распределенный в посылке, не может быть распределен в заключении. 
 
 
 
 
 
 
 
 
 
 
 
 
 

4. Подберите четыре тезиса, докажите их, используя каждый из видов двух способов доказательства.

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

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

     Основу  доказательства составляют следующие  положения: 1.Тезис -- это суждение, истинность которого надо доказать. 2.Аргументы -- это те истинные суждения, которыми пользуются при доказательстве тезиса. 3. Формой доказательства, или демонстрацией, называется способ логической связи между тезисом и аргументами.

     Доказательства  по форме делятся на прямые и непрямые (косвенные).

     Прямое  доказательство идет от рассмотрения аргументов к доказательству тезиса, то есть истинность доказательства непосредственно  обосновывается аргументами. Схема  этого доказательства такова: из данных аргументов (a,b,c...) необходимо следуют истинные суждения (k,m,l...), а из последних следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике, в сочинениях школьников, при изложении материала учителем. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях. 

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

     Пример.

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

     Непрямое (Косвенное) доказательство - это доказательство, в котором истинность выдвинутого  тезиса обосновывается путём доказательства ложности антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:1)если тезис обозначить буквой а, то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением; 2) антитезисом для тезиса а в суждении а...в...с служат суждения в и с.

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

     Как с иронией замечает американский математик Д. Пойа, «косвенное доказательство имеет некоторое сходство с надувательским приемом политикана, поддерживающего своего кандидата тем, что опорочивает репутацию кандидата другой партии».

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

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

     Пример.

     2-й. Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: «Квадрат не является окружностью». Выдвигается антитезис: «Квадрат есть окружность». Необходимо показать ложность этого утверждения. С этой целью выводим из него следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно. Неверным является, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.

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

     Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен. 

     Докажем тезис о том, что сумма углов четырехугольника равна 360°.

     Отмечаем, что диагональ делит четырехугольник  на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из таких положений выводим, что сумма углов четырехугольника равна 360°.

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

     Косвенное доказательство (следствия, противоречащие фактам).

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

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

     Это — косвенное доказательство. Следствие  антитезиса, а значит, и он сам, опровергается ссылкой на очевидное обстоятельство: в конце зимы наводнений обычно нет, снег тает постепенно.

     Косвенное доказательство (внутренне  противоречивые следствия).

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

     Докажем тезис, что ряд простых чисел бесконечен.

     Простые — это натуральные числа больше единицы, делящиеся только на себя и на единицу. Простые числа - это как бы «первичные элементы», на которые все целые числа (больше 1) могут быть разложены. Естественно предположить, что ряд простых чисел:

     2, 3, 5, 7, 11,13,... — бесконечен. Для доказательства  данного тезиса допустим, что это не так, и посмотрим, к чему ведет такое допущение. Если ряд простых чисел конечен, существует последнее простое число ряда — А. Образуем далее другое число: В = (2 • 3 • 5 •... • А) + 1. Число В больше А, поэтому В не может быть простым числом. Значит, В должно делиться на простое число. Но если В разделить на любое из чисел 2, 3, 5, .... А, то в остатке получится 1. Следовательно, В не делится ни на одно из указанных простых чисел и является, таким образом, простым. В итоге, исходя из предположения, что существует последнее простое число, мы пришли к противоречию: существует число одновременно и простое, и не являющееся простым. Это означает, что сделанное предположение ложно и правильно противоположное утверждение: ряд простых чисел бесконечен.

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

     Косвенное доказательство (разделительное доказательство).

     Во  всех рассмотренных выше косвенных доказательствах выдвигаются две альтернативы: тезис и антитезис. Затем показывается ложность последнего, в итоге остается только тезис.

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

     Докажем тезис о том, что из всех планет в Солнечной системе жизнь есть только на Земле. В качестве возможных альтернатив выдвинем утверждения, что жизнь есть на Меркурии, Венере, Земле и т.д., перечисляя все планеты Солнечной системы. Опровергая затем все альтернативы, кроме одной — говорящей о наличии жизни на Земле, получим доказательство исходного тезиса. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

     Лекция  к Тезисам

     ЛЕКЦИЯ 7. АРГУМЕНТАЦИЯ. ДОКАЗАТЕЛЬСТВО И ОПРОВЕРЖЕНИЕ 

     ПЛАН:

     Аргументация  и доказательство.

     Опровержение  и его виды.

     Виды  доказательств. Правила и ошибки доказательства и опровержения

     1. Аргументация и доказательство. 

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

            Таким образом, Аргументация - это  приведение доводов, с целью  изменения убеждения другой стороны.

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

            Различают два способа установления  истинности суждения: непосредственный и опосредованный.

            Непосредственный способ (эмпирическое  доказательство) основан на эмпирических  процедурах (наблюдение, эксперимент,  измерение и т.д.)

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

            В структуру доказательства входят  следующие основные элементы:

            1)тезис - доказываемое положение, 

            2)аргументы(основания) - утверждения, при помощи которых обосновывается истинность тезиса ,

            3)демонстрация (форма) - логическая  связь тезиса с аргументами.  

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

            Поскольку аргументы суть истинные  утверждения, с помощью которых  определяют истинность тезиса, в  обыденном языке их называют "доказательствами". В формальных доказательствах  употребляются термины "посылки", или "основания".

     2. Опровержение и его виды. 

            Опровержение - это логическая операция  по установлению ложности тезиса.

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

     Опровержение  составляют следующие элементы:

            1)тезис - положение, которое необходимо  опровергнуть;

            2)аргументы (основания) - положения  (истинные суждения), при помощи  которых опровергается тезис;