- •1) Что такое логика?
- •2) Основные логические законы
- •1. Закон тождества
- •2. Закон противоречия
- •3. Закон исключенного третьего
- •4. Закон достаточного основания
- •3) Язык логики
- •4) Понятие как форма мышления
- •5) Содержание и объем понятия
- •6) Виды понятий
- •7) Отношения между понятиями
- •8) Обобщение и ограничение понятий
- •9) Определение понятий. Виды и правила определения.
- •10) Деление понятий. Виды и правила деления.
- •11) Суждение как форма мышления.
- •12) Виды и состав простых суждений
- •13) Распределенность терминов в суждении.
- •14) Сложные суждения. Виды сложных суждений.
- •15) Логический квадрат
- •16) Понятие и виды модальности
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •17) Умозаключение как форма мышления
- •18) Непосредственные умозаключения
- •19) Простой категорический силлогизм
- •20) Общие правила категорического силлогизма
- •21) Фигуры и модусы категорического силлогизма
- •22) Дедуктивное умозаключение
- •23) Чисто условное умозаключение
- •24) Условно-категорическое умозаключение
- •25) Разделительно-категорическое умозаключение
- •26)Условно-разделительное умозаключение
- •27) Сокращенный силлогизм
- •28) Индуктивные умозаключения
- •29) Полная и не полная индукция
- •30) Научная индукция
- •31) Умозаключение по аналогии
- •32) Виды аналогии
- •33) Логические основы аргументации
- •34) Аргументация и доказательство
- •35) Софизмы и логические парадоксы
- •36) Неклассическая логика
- •37) Логическая структура гипотезы
- •39) Виды гипотез
- •40) Версия
11) Суждение как форма мышления.
Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике.
12) Виды и состав простых суждений
Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.
Состав простого суждения
Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.
13) Распределенность терминов в суждении.
Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема. Говорят, что термин распределен, если он мыслится во всем объеме. Во всех остальных случаях термин наз. нераспределенным. Напр., в суждении "все квадраты – прямоугольники" термин "квадрат" – распределен, поскольку в данном суждении речь идет о всем объеме понятия "квадрат", т.е. о всех квадратах. Приняты след. правила Р. т. в с.: субъект суждения распределен во всех общих суждениях и не распределен в частных суждениях, предикат суждения распределен во всех отрицат. суждениях и не распределен в утвердит. суждениях.
14) Сложные суждения. Виды сложных суждений.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Состав сложного суждения
Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.
Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:
нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как ;
строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .
Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.
Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .
Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).
Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).