РЕФЕРАТ

по дисциплине «Логика»

на тему: «Дизъюнктивные высказывания» 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

СОДЕРЖАНИЕ:

Введение

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

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

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

  В языковой практике возможны различные  способы использования суждений, равно как в мыслительной —  различные устремления на сопряженность  с тем или иным из указанных  состояний. Наиболее частым является так  называемое употребление суждений в  утвердительном смысле, т.е. употребление суждения в целях утверждения истинности выраженного в нем содержания. Такой способ выражения суждений наиболее соответствует сути коммуникации: выражая какие-либо мысли, человек обычно сам убежден в их истинности и стремится убедить в этом другого (исключение, по-видимому, составят лишь случаи, связанные с сознательной ложью). Этого же ждет от него и собеседник. Как отмечает Дж. Л. Остин, в актах «речевой коммуникации (так же как и в других видах общения) основополагающим принципом является доверие людям, исключая те случаи, когда есть конкретные причины им не верить... Мы будем разговаривать с людьми только тогда, когда убеждены в том, что они действительно говорят нам правду» [32. С. 56],

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

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

  Всякое  суждение в языке выражается предложением, в то же время не всякое предложение  выражает суждение. Как правило, суждение оформляется повествовательным  предложением. Побудительные же и  вопросительные предложения обычно суждений не выражают. Например, предложения «Какой сегодня день недели?», «Верните книгу!» суждений не выражают, ибо не содержат утверждений или отрицаний, не являются истинными или ложными, не включают личностного отношения индивида к передаваемой информации.

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

  Признавая неразрывную связь суждения и  предложения, их в то же время не следует отождествлять. Различие между  ними заключается, во-первых, в том, что логический строй суждения может не совпадать с грамматическим строем предложения. Во-вторых, одно и то же суждение может быть выражено различными предложениями (синтаксическая синонимия), равно как и одно и то же предложение в различных контекстах может выражать различные суждения. Так, мысль, выраженная в суждении «Некоторые млекопитающие не живут на суше», может быть выражена предложением: «Не все млекопитающие живут на суше». С другой стороны, предложение «Казнить нельзя помиловать» в зависимости от интонации (и соответственно пунктуации) может быть истолковано двумя взаимоисключающими способами. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Понятие сложного высказывания

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

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

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

   Для того чтобы определить истинностное значение сложного высказывания, можно использовать табличный метод. Прежде чем строить таблицу истинности для сложного высказывания, его необходимо формализовать, т.е. выразить на специальном логическом языке с помощью выделенных выше семантических категорий. Для этого нужно:                      1) выделить простые высказывания, входящие в состав сложного, и обозначить их с помощью знаков пропозициональных переменных (в качестве таковых мы будем использовать малые буквы конца латинского алфавита — р, q, r, ...);                                             2) выделить логические союзы и обозначить их с помощью знаков пропозициональных функторов («^» — конъюнкция, «v» — слабая дизъюнкция «v» — сильная дизъюнкция,     «->» —импликация, «<—>» — эквиваленция, « » — отрицание);                                                 3) при необходимости расставить технические знаки, позволяющие задать однозначность чтения выражений (к ним относятся левая и правая скобки).                                                            

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

  1) входные столбцы значений для каждой из переменных и их отрицаний;

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

  3) столбец выходных значений всей формулы в целом.

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

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Дизъюнктивные высказывания

  Дизъюнктивные суждения  (лат. disjunctio - разобщение) –  сложные суждения из объединения  двух высказываний с помощью союза "или". Например, суждения типа: А  есть или В, или С. Дизъюнктивное  умозаключение имеет следующую  форму: А есть или В, или С; А  есть В (или А не есть В); следовательно, А не есть С (или: следовательно, А  есть С). Такое суждении средневековые  логики называли модусом Толендо  Попенс. В современно логике  эту  схему рассуждения именуют  дизъюнктивны силлогизмом.

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

  Каждое  из суждений, входящее в данное разделительное суждение (S есть А, S есть В, S есть С), называется альтернативой. В данном разделительном суждении содержатся три альтернативы. Существуют чисто разделительные и  разделительно-категорические умозаключения. В чисто-разделительном умозаключении  обе (или все) посылки являются разделительными  суждениями [1, с.140].

  В традиционной логике принята следующая  его структура: S есть А, или В, или  С. А есть или А1, или А2. S есть или  А1, или А2, или В, или С. Здесь  из суждения «S есть А» образуются еще  две альтернативы, которые составляют два члена новой дизъюнкции. В  разделительно-категорическом умозаключении  одна посылка –разделительное суждение, другая – простое категорическое суждение. Это вид силлогизма имеет  два модуса: 1. S есть А, или В, или  С; S не есть ни А, ни В . Следовательно, S есть С.

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