Слайд 2
Характеристика суждения
Суждение – форма мышления, в которой что-либо
утверждается или отрицается о предмете, его свойствах или отношениях
между предметами. Как правило, суждения выражаются повествовательными предложениями или высказываниями и могут носить как истинный, так и ложный характер.
Слайд 3
Предложение – это форма выражения законченной мысли.
Высказывание
– это грамматически правильное предложение, взятое вместе с выражаемым
им смыслом
Слайд 4
Примеры суждений: «Солнце – это звезда», «Москва –
столица России», «Кит-млекопитающее».
Примеры отрицания суждений:
Вася – студент(суждение), а Вася
– не студент(отрицание суждения).
Слайд 6
Простое - суждение, где ни одна из его
логических частей не может являться суждением.
Атрибутивные
Реляционные Экзистенциальные
(суждения о св-х) (суждения об (суждения о
отношениях ) существовании)
Теория, изучающая логическую структуру простых атрибутивных высказываний, отношения между ними и выводы, построенные с учетом этой структуры называется силлогистика.
Слайд 7
Атрибутивное суждение
Атрибутивные суждения – это суждения, в которых
утверждается наличие или отсутствие какого-либо свойства у объекта.
Например:
«Некоторые школьники учатся на отлично».
Слайд 8
Основные элементы логической структуры атрибутивного суждения :
СУБЪЕКТ
ПРЕДИКАТ
СВЯЗКА КВАНТОР
Слайд 9
Субъект обозначается S (от лат. слова «subjectum» -
лежащий внизу, подлежащее) – термин, обозначающий те предметы,
о которых в высказывании нечто утверждается или отрицается.
Слайд 10
Предикат обозначается - P (от лат. слова «predicatum»
- сказанное) (логическое сказуемое) – термин, обозначающий свойство, наличие
которого утверждается или отрицается у этих предметов.
Слайд 11
Квантор (от лат. слова «guantum» - сколько) обозначается
символами: ∃ (exist-некоторые) и ∀(all-все)(количественное) - термин указывает, о
каком количестве предметов идет речь. Слова «все», «каждый», «ни один» выражают всеобщность приписываемого свойства относительно данного класса предметов. Слова «некоторые», «по крайне мере один», «существует» выражают существование в данном классе предметов с указанным свойством.
Слайд 12
Связка – слово, которое утверждает или отрицает наличие
некоторого свойства у субъекта. Связки делятся на утвердительные («есть,
«является», «суть») и отрицательные («не есть», «не является», «не суть»).
Слайд 13
Виды атрибутивных суждений
Делятся по:
Характеристике качества и Характеристике
количества
Слайд 14
Характеристика качества позволяет делить суждения на утвердительные и
отрицательные
Слайд 15
В утвердительных суждениях утверждается принадлежность предметам некоторых свойств
или принадлежность некоторого класса предметов либо его части другому
классу предметов.
В отрицательных суждениях утверждается отсутствие у предметов некоторых свойств или невключение класса предметов либо его части в некоторый класс предметов.
Слайд 16
Например, «Шимпанзе является приматом» - утвердительное, а суждение
«Шимпанзе не является человеком» - отрицательное.
Слайд 17
В соответствии с характеристикой количества суждения делятся на
единичные, общие и частные. В единичных суждениях утверждается, принадлежит
и нет предмет к какому-либо классу предметов. Например, «Красноярский край – субъект Российской Федерации». В общих суждениях утверждается включение или не включение класса предметов в некоторый класс. Например, «Все огурцы и помидоры являются овощами».
Слайд 18
В единичных суждениях утверждается, принадлежит и нет предмет
к какому-либо классу предметов. Например, «Москва – главный город
России». В общих суждениях утверждается включение или не включение класса предметов в некоторый класс. Например, «Все яблоки и апельсины являются фруктами».
Слайд 19
В частных суждениях выражается частичная принадлежность или ее
отсутствие некоторого класса предметов в другой класс предметов. Например,
«Некоторые студенты являются преподавателями
Слайд 20
В логике часто используют такую классификацию как объединенное
деление атрибутивных суждений по количеству и качеству на общеутвердительные,
общеотрицательные, частноутвердительные и частноотрицательные.
Слайд 21
Общеутвердительные суждения – это суждения, которые одновременно являются
общими и утвердительными. Оно имеет вид: «Все S есть
P». Например, «Все волки умеют охотиться». Общеутвердительное суждение обозначается латинской буквой A и записывается в виде SAP.
Слайд 22
Общеотрицательные суждения – это суждения, которые являются одновременно
и общими, и отрицательными. Они обозначаются латинской буквой E
и записываются «Ни одно S не есть P» или вкратце SEP. Например, «Ни одна собака не умеет летать».
Слайд 23
Частноутвердительные суждения – это суждения, которые одновременно являются
и частными, и утвердительными. Они имеют вид: «Некоторые S
суть P». Они обозначаются латинской буквой I и записываются в виде SIP. Например, «Некоторые школьники являются отличниками в школе».
Слайд 24
Частноотрицательные суждения – это суждения, которые являются одновременно
частными и отрицательными. Они имеют вид: «Некоторые S не
есть P». Обозначаются они латинской буквой O и записываются в виде SOP.Например, «Некоторые школьники не ходят на дополнительные занятия».
Слайд 25
Сложные суждения и их виды
Суждения называются сложными, если
в них можно выделить правильные части, которые в свою
очередь являются суждениями. Сложные суждения образуются как из простых, так и из других сложных суждений при помощи логических связок «если…то…», «или», «и».
Сложные суждения делятся на виды: соединительные, разделительные, условные суждения, суждения эквивалентности, суждения с внешним отрицанием.
Слайд 26
Соединительные суждения – это такие суждения, в которых
утверждается о наличии одновременно двух ситуаций. Например, «Ученики повторяют
материал и учитель начинает раздавать варианты».
Слайд 27
Разделительные – это такие суждения, в которых утверждается
наличие одной из возможных ситуаций. Например, «Аня написала контрольную,
и теперь она может получить или 5 или 4».
Слайд 28
Условные - это суждения, в которых утверждается, что
наличие одной ситуации детерминирует наличие другой. Обозначается выражением «если…то».
Например, «Если стало тепло, то листья скоро распустятся».
Слайд 29
Суждения эквивалентности – это суждения, которые утверждают одновременное
наличие или отсутствие двух ситуаций. Обозначается выражением « если,
и только если…, то…». Пример, «Если, и только если, Вася получит 5, то ему подарят велосипед и разрешат кататься».
Слайд 30
Суждения с внешним отрицанием – это суждения, в
которых содержится информация об отсутствии какой-либо ситуации. Такие суждения
представлены выражением «неверно, что…». Например, «Неверно, что он написал работу правильно».
Слайд 31
Отрицание суждения
Отрицание суждения – это логическая операция, при
которой истинное суждение меняется на ложное, и наоборот. При
этом, при отрицании атрибутивного суждения одновременно меняются как его качество, так и количество.
Слайд 32
Так, при отрицании общего суждения получается частное и
наоборот; при отрицании утвердительного суждения получается отрицательное и наоборот;
при отрицании общеутвердительного суждения получается частноотрицательное и наоборот; при отрицании частноутвердительного суждения получается общеотрицательное и наоборот.
Слайд 33
Например, результатом отрицания общеутвердительного суждения «Все ученики нашего
класса ходят на танцы» будет частноотрицательное суждение «Некоторые ученики
нашего класса не ходят на танцы». Результатом отрицания общеотрицательного суждения «Ни один ученик нашего класса не ходит на дополнительные» будет частноутвердительное суждение «Некоторые ученики нашего класса ходят на дополнительные».
Слайд 34
Правила при отрицании сложных суждений
1. При отрицании конъюнктивного
суждения образуется дизъюнктивное суждение, в котором простые суждения, составляющие
его, являются в свою очередь отрицаниями суждений, которые составляют отрицаемое конъюнктивное суждение. Например, «Все девочки изучают лите и все студенты-юристы изучают логику». Результатом его отрицания является суждение «Некоторые студенты-экономисты не изучают логику или некоторые студенты-юристы не изучают логику».
Слайд 35
2. В случае отрицания дизъюнктивного суждения образуется конъюнктивное
суждение, в котором составляющие его суждения, являются в свою
очередь отрицаниями суждений, которые составляют отрицаемое дизъюнктивное суждение. Например, в результате отрицания суждения «Наступило тепло или распустились листья» образуется суждение «Листья не распустились и тепло не наступило».
Слайд 36
3. При отрицании импликативного суждения образуется конъюнктивное суждение,
в котором одним из составляющих его простых суждений является
антецедент исходного импликативного суждения. Вторым простым суждением выступает отрицание консеквента исходного импликативного суждения. Например, в результате отрицания суждения «Если наступит тепло, мы пойдём гулять» образуется суждение «Тепло наступит, и мы не пойдём гулять».
Слайд 37
Отношения между суждениями
Делятся на:
Сравнимые и
Несравнимые
(имеют общий субъект и (не имеют общего субъекта и предикат) предиката)
Слайд 38
Они делятся на: совместимые и несовместимые.
Несовместимыми называются суждения, у которых из истинности одного
из них необходимо следует ложность другого, то есть эти суждения не могут оказаться одновременно истинными. Например, числа 1,2,3,4,… являются несовместимыми.
Совместимые суждения выражают одно и то же высказывание полностью или частично, поэтому могут быть одновременно истинными. К ним относятся отношения: эквивалентности, подчинения, контрадикторности и субконтрарности (частичного совпадения).
Слайд 39
Эквивалентность означает, что суждения совместимы по истинности, совместимы
по ложности и из первого следует второе и наоборот.
Подчинение означает, что суждения совместимы по истинности, совместимы по ложности, из первого следует второе, но не наоборот.
Субконтрарность означает,что суждения совместимы по истинности, но не совместимы по ложности и логического следования нет.
Отношения контрадикторности имеют место между суждениями A и O, а также E и I. Они не совместимы по истинности и по ложности. Например, общеутвердительное суждение «Все люди умеют читать» и частноотрицательное суждение «Некоторые люди не умеют читать». Эти суждения не могут быть одновременно истинными и ложными
Слайд 40
Логический квадрат
Между логическими суждениями, высказываниями (с одинаковыми терминами)
можно установить четыре типа отношений. В период Средневековья логики
наглядно изображали их с помощью так называемого «логического квадрата»:
Слайд 42
В отношении подчинения находятся суждения форм A и
I, а также суждения E и O. Например,
общеутвердительное суждение «Все студенты первого курса изучают историю» является подчиняющим, а частноутвердительное суждение «Некоторые студенты первого курса изучают историю» является подчиненным.
Слайд 43
Отношения субконтрарности (частичное совпадение)) имеет место между суждениями
форм I и O, если они имеют одинаковые субъекты
и одинаковые предикаты. Они являются совместимыми по истинности, но несовместимыми по ложности. Например, частноутвердительное суждение «Некоторые студенты-первокурсники занимаются в научных кружках» и частноотрицательное суждение «Некоторые студенты-первокурсники не занимаются в научных кружках». Оба суждения могут быть одновременно истинными, но ложными одновременно не могут быть.