Слайд 2
Суждения и высказывания
рассуждение – это последовательность суждений, которые
в идеале должны быть связаны между собой согласно правилам
логики
Слайд 3
Суждение – это мысль об утверждении или отрицании
наличия некоторой ситуации в мире.
В естественном языке суждения передаются
с помощью повествовательных предложений, или высказываний.
Слайд 4
«Небо голубое»«The sky is blue» – разные высказывания,
но суждение они выражают одно и то же, так
как они передают одну и ту же мысль. Точно также высказывания «Никто не покидал дома» и «Все оставались дома» разные, но они передают одно суждение.
Слайд 5
Поскольку высказывания посредством суждений фиксируют какое-то положение дел
в мире, в отличие от понятий и определений, мы
можем оценивать их с точки зрения их истинности и ложности. Так высказывание «Бил Гейтс основал компанию “Microsoft”» – истинное, а высказывание «Апельсины фиолетовые» – ложное.
Слайд 6
Категорические высказывания противопоставляются гипотетическим. Гипотетические высказывания говорят
о возможности наличия или отсутствия какой-то ситуации в мире:
«Возможно, пойдёт дождь».
Слайд 7
Примеры категорических атрибутивных высказываний: «Моя машина синего цвета»,
«Парк около нашего дома большой», «Никто не любит рыбий
жир», «Некоторые люди считают, что они самые умные».
Слайд 8
Категорические атрибутивные высказывания состоят из терминов, связок и
кванторов.
Термины делятся на субъект и предикат.
Слайд 9
•Субъект – это термин, обозначающий предмет или группу
предметов, о которых нечто утверждается или отрицается. Обычно субъект
изображается с помощью буквы S.
Слайд 10
•Предикат – это термин, обозначающий собственно то, что
утверждается или отрицается о субъекте, некоторое свойство, признак, наличие
или отсутствие которого приписывается субъекту. Предикат изображается с помощью буквы P.
Слайд 11
Предицирующие связки это связки «есть» и «не есть».
Кванторы – это слова, указывающие на количественные характеристики субъекта.
Существует два вида кванторов: квантор общности («все», «каждый», «любой», «ни один», «никто») и квантор существования («некоторые», «не все», «какой-либо», «многие»).
Слайд 12
«Кошки мурлычут, когда им приятно». «Кошки» –
это субъект, «существа, мурлычущие, когда им приятно» – это
предикат. Также здесь присутствует невидимая связка «есть», которая соединяет субъект с предикатом, и невидимый квантор общности «все». Правильная форма
Слайд 13
В зависимости от характера субъекта категорические атрибутивные высказывания
делятся на единичные и множественные
Слайд 14
Множественные высказывания в свою очередь делятся на частные
и общие в зависимости от того квантора, который стоит
перед ним. Если используется квантор существования, то высказывание будет частным («Некоторые девушки красивы»), если квантор общности – то общим («Все люди стремятся к счастью»).
Слайд 15
В зависимости от предицирующей связки высказывания делятся на
утвердительные и отрицательные. Если утверждается наличие какого-то свойства у
субъекта, то высказывание утвердительное («Петя – настоящий друг»), если отрицается – то отрицательное («Ни один студент не пришёл на первую пару!»).
Слайд 16
•Единичноутвердительные: S есть P. Александр Пушкин – это
русский писатель.
•Единичноотрицательные:
S не есть P. Сервантес не был
художником.
Слайд 17
•Общеутвердительные: Все S есть P. Все квартиры в
этом доме имеют высокие потолки.
•Общеотрицательные: Ни один S не
есть P. Ни один студент из нашей группы не сдал экзамен на пятёрку.
Слайд 18
Пример: "Все дороги ведут в Рим" (средневековая поговорка
из басни Лафонтена)
Пример: "Никто не обнимет необъятного" {Козьма Прутков);
Слайд 19
•Частноутвердительные: Некоторые S есть P. Некоторые машины из
нашего автопарка нуждаются в срочном ремонте.
•Частноотрицательные: Некоторые S не
есть P. Некоторые тексты песен не имеют смысла.
Слайд 20
Пример: "Некоторые лекарства опаснее самих болезней" (Сенека);
Пример: "Некоторые
виды лжи не заслуживают порицания".
Слайд 21
Общеутвердительные высказывания формы «Все S есть P»
Слайд 22
Общеутвердительные высказывания формы «Все S есть P»
Слайд 23
Общеотрицательные высказывания, имеющие форму «Ни один S не
есть P»
Слайд 24
Частноутвердительные высказывания формы «Некоторые S есть P»
Слайд 25
Частноутвердительные высказывания формы «Некоторые S есть P»
Слайд 26
•Все музыканты имеют хороший слух.
•Некоторые музыканты имеют хороший
слух.
•Все люди, имеющие хороший слух, – музыканты.
•Некоторые люди, имеющие
хороший слух, – музыканты.
Слайд 27
•Некоторые вампиры опоздали на работу.
•Волколаки – это разновидность
оборотней.
•Все круглые квадраты не имеют углов.
•Никто не любит, когда
у него болят зубы.
•Ни один попугайчик не пьёт виски.
•Некоторым не нравится их работа.
Слайд 28
•Иван Иванович поссорился с Иваном Никифоровичем.
•Фильмы Тарковского считаются
классикой русского кино.
•Достоевский никогда не играл в карты.
•Некоторые куздры
совсем не глокие.
•Каждый сотрудник мечтает о повышении.
•Некоторые псы умеют читать.
Слайд 29
Суждения могут быть простыми и сложными. Простыми называются
суждения, которые содержат в себе один субъект и один
предикат. Если же суждение содержит более одного субъекта или предиката и его можно разложить на несколько простых, то такое суждение называется сложным.
Слайд 30
Взять хотя бы сложное суждение: "Внешняя чистота и
изящество должны быть выражением внутренней чистоты и красоты" (В.Г.Белинский).
Оно имеет два субъекта и два предиката и содержит в себе следующие простые суждения.
Слайд 31
Внешняя чистота должна быть выражением внутренней чистоты.
Внешняя чистота
должна быть выражением красоты.
Изящество должно быть выражением внутренней чистоты.
Изящество
должно быть выражением красоты
Слайд 32
Мы часто используем сложные суждения, возникающие
результате сочетания с
помощью различных логических союзов двух и более простых суждений.
Сложное суждении
образованное из простых суждений посредством логического союза "и", называется соединительным (конъюнктивным)
К такому суждению относится мысль, высказанная американским поэтом Р.Лоуэллом: "Только глупцы и покойники никогда не меняют своих мнений".
Слайд 33
Сложное суждение, образованное из простых суждений с помощью
логического союза "или" ("либо"), называется дизъюнктивным.
Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разде-тельное значение, т.е. не придает исключающего смысла родящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения".
Слайд 34
". Сильная дизъюнкция, как правило, возни-кает, когда употребляется
логический союз "либо", имеющий исключающе-разделяющий смысл. Скажем, в выражении
о плебействе «Либо в ноги бух!, либо по морде хрясть!» - соединяются несовместимые друг с другом суждения, характеризующие готовность легко перейти от унижения до грубой расправы.
Слайд 35
Сложные суждения, образованные из
двух простых посредством логического союза "если, то",
называются импликативными. В качестве примера можно использовать мысль, высказанную таджикским поэтом XI в. Кабусом: "Если хочешь иметь друзей, то не будь мстительным ".
Слайд 36
Законы логики выражают существенные, устойчивые, необходимые, повторяющиеся связи
между мыслями. Находясь между собой в тесном взаимодействии, они
являются обязательной нормой любого правильного мышления и лежат в основе всех логических операций
Слайд 37
Закон тождества утверждает, что всякая мысль в npoцессе
рассуждения должна быть тождественна самой себе. Рассуждая о каком-либо
предмете или какой-либо стороне его, мы должны сохранять устойчивость содержания мысли,не подменять одно содержание другим, одно понятие другим,
пока рассуждение о данном предмете (стороне его) не
доведем до логического завершения.
Слайд 38
Смысл закона тождества выражается формулой
А есть А,
где под
А понимается любая мысль.
Объективной основой закона тождества является качественная
определенность предметов действительности, т.е. , что делает вещь в данную минуту тем, что она есть на самом деле и чем отличается от всех других вещей.
Слайд 39
Тождественные мысли принимать за различные. Суждения; "Не бойся
незнания, бойся ложного знания" (Л.Н.Толстой) и
"Неправильное знание хуже,
чем незнание" (Л.Дистервег) сформулированы различными словами, но выраженные в них мысли тождественны, так как отражают одно и то же понимание.
Слайд 40
Различные мысли отождествлять. Рассмотрим следующую ситуацию:
капитан
- адъютанту:
Как вы знаете, завтра произойдет солнечное затмение, а
это бывает не каждый день. Соберите личный состав завтра в 5 часов на плацу в походной одежде. Они смогут наблюдать это явление, а я дам им необходимые объяснения. Если будет идти дождь, то наблюдать будет
нечего, так что в таком случае оставьте людей в казарме
Слайд 41
адъютант - дежурному сержанту:
По приказу капитана завтра утром
в 5 часов произойдет солнечное затмение в походной одежде.
Капитан на плацу даст необходимые объяснения, а это бывает не каждый день. Если будет дождь идти, наблюдать будет нечего, но тогда это явление состоится в казарме
Слайд 42
дежурный сержант - капралу:
По приказу капитана завтра утром
в 5 часов затмение на плацу людей в походной
одежде. Капитан даст необходимые объяснения в казарме насчет этого редкого явления, если будет дождливо, а это бывает не каждый день;
Слайд 43
дежурный капрал - солдатам:
Завтра в 5 часов капитан
произведет солнечное затмение в походной одежде на плацу. Если
будет дождливо, то это редкое явление состоится в казарме, а это бывает не каждый день
Слайд 44
один солдат другому:
Завтра, в самую рань, в 5
часов, солнце на плацу произведет затмение капитана в казарме.
Если будет дождливо, то это редкое явление состоится в походной одежде, а это бывает не каждый день.
Слайд 45
Закон противоречия указывает на то, что два не
совместимых друг с другом суждения об одном и том
же предмете, взятом в одном и том же отношении и в одно и то же время,
,не могут быть одновременно истинными: по крайней мере
одно из них должно быть ложно.
Слайд 46
Следует обратить внимание на то, что второе суждение,
как видно из определения закона, неопределенно и может быть
как истинным, так и ложным. Например, одновременно
ложными будут суждения: "Любое насилие является злом" и
"Ни одно насилие не является злом".
Слайд 47
Закон противоречия имеет объективную основу, которая заключается в
том, что в процессе развития объекта происходит развитие или
утрата тех или иных его свойств, но в одно и то же время и в одном и том же отношении эти свойства не могут одновременно и принадлежать, и не . принадлежать данному объекту.
Слайд 48
Закон исключения третьего дополняет закон противоречия. Мы уже
знаем, что закон противоречия указывает на ложность одного из
противоречивых суждений, но можно ли более точно определить, каким является второе противоречивое суждение? Ответ на этот вопрос дает закон исключения третьего.
Слайд 49
Закон исключения третьего формулируется следующим образом: из двух
противоречивых суждений в одно и то же время и
в одном и том же отношении одно будет обязательно истинным, а другое обязательно ложным, и третьего не дано.
Слайд 50
Формула закона: А есть В либо не В.
Следует
иметь в виду, что закон противоречия распространяется как на
контрарные (противоположные) суждения "он храбр - он труслив", так и на контрадикторные (противоречащие) суждения: "он храбр" - "он не храбр", а закон исключения третьего распространяется только на конрадикторные суждения.
Слайд 51
Ни закон исключения третьего, ни закон противоречия не
указывают, какое суждение истинно, а какое ложно. Это определяется
на основе анализа содержания высказываемых мыслей, сопоставления их содержания с реальным миром. Но если истинность суждения установлена, то другое, противоречащее ему суждение всегда будет ложным.
Слайд 52
Закон достаточного основания формулируется следующим образом: всякая истинная
мысль должна быть обоснованной. Иными словами, закон запрещает принимать
истинность мыслей на веру. Достаточным основанием может быть признана любая другая мысль, истинность которой ранее уже была доказана и из которой с необходимостью вытекает истинность данной мысли.