Суждение — различия между версиями
Материал из ALL
м |
|||
| (не показано 5 промежуточных версий этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Суждение''' — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. | '''Суждение''' — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. | ||
== Виды суждений == | == Виды суждений == | ||
| − | * простые суждения; | + | *простые суждения; |
| − | * сложные суждения. | + | *сложные суждения. |
| − | + | == Определения == | |
'''Простые суждения''' — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия. | '''Простые суждения''' — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия. | ||
| Строка 9: | Строка 9: | ||
== Состав простого суждения == | == Состав простого суждения == | ||
В простое суждение входят понятия (термины): | В простое суждение входят понятия (термины): | ||
| − | * субъект суждения '''(S)'''; | + | *субъект суждения '''(S)'''; |
| − | * предикат суждения '''(P)'''; | + | *предикат суждения '''(P)'''; |
| − | * логическая связка; | + | *логическая связка; |
| − | * квантор. | + | *квантор. |
'''Субъект суждения''' — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее). | '''Субъект суждения''' — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее). | ||
| Строка 21: | Строка 21: | ||
'''Квантор''' — указывает, относится ли суждение ко всему объёму понятия. | '''Квантор''' — указывает, относится ли суждение ко всему объёму понятия. | ||
| − | |||
== Классификация простых суждений == | == Классификация простых суждений == | ||
| − | * по качеству: | + | *по качеству: |
| − | ** утвердительное — суждения, которые утверждают что-либо; | + | **утвердительное — суждения, которые утверждают что-либо; |
| − | ** отрицательное — суждения, которые отрицают что-либо; | + | **отрицательное — суждения, которые отрицают что-либо; |
| − | * по объёму: | + | *по объёму: |
| − | ** общие — суждения, которые справедливы относительно всего объёма понятия; | + | **общие — суждения, которые справедливы относительно всего объёма понятия; |
| − | ** частные — суждения, которые справедливы относительно части объёма понятия; | + | **частные — суждения, которые справедливы относительно части объёма понятия; |
| − | * по отношению: | + | *по отношению: |
| − | ** категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение; | + | **категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение; |
| − | ** условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием. | + | **условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием. |
Для '''условных суждений''': | Для '''условных суждений''': | ||
| − | * '''основание''' — это (предыдущее) суждение, которое содержит условие. | + | *'''основание''' — это (предыдущее) суждение, которое содержит условие. |
| − | * '''следствие''' — это (последующее) суждение, которое содержит следствие. | + | *'''следствие''' — это (последующее) суждение, которое содержит следствие. |
'''Простое категорическое суждение''' - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру. | '''Простое категорическое суждение''' - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру. | ||
== Виды простых категорических суждений == | == Виды простых категорических суждений == | ||
| − | * '''A''' — общеутвердительное; | + | *'''A''' — общеутвердительное; |
| − | * '''E''' — общеотрицательное; | + | *'''E''' — общеотрицательное; |
| − | * '''I''' — частноутвердительное; | + | *'''I''' — частноутвердительное; |
| − | * '''O''' — частноотрицательное. | + | *'''O''' — частноотрицательное. |
== Структурные схемы == | == Структурные схемы == | ||
| − | [[файл: | + | [[файл:Суж01.png]] |
| − | * Знак '''"+"''' означает, что термин распределён. | + | *Знак '''"+"''' означает, что термин распределён. |
| − | * Знак '''"-"''' означает, что термин не распределён. | + | *Знак '''"-"''' означает, что термин не распределён. |
| − | == Другие понятия: == | + | == [[Логические понятия|Другие понятия:]] == |
| − | + | {{Список ЛПон}} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
== Ссылки == | == Ссылки == | ||
| − | * Википедия | + | *Википедия |
| − | * [[Участник:Logic-samara]] | + | *[[Участник:Logic-samara]] |
| − | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 10:57, 13 января 2024
Суждение — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.
Содержание
Виды суждений
- простые суждения;
- сложные суждения.
Определения
Простые суждения — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Состав простого суждения
В простое суждение входят понятия (термины):
- субъект суждения (S);
- предикат суждения (P);
- логическая связка;
- квантор.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор — указывает, относится ли суждение ко всему объёму понятия.
Классификация простых суждений
- по качеству:
- утвердительное — суждения, которые утверждают что-либо;
- отрицательное — суждения, которые отрицают что-либо;
- по объёму:
- общие — суждения, которые справедливы относительно всего объёма понятия;
- частные — суждения, которые справедливы относительно части объёма понятия;
- по отношению:
- категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение;
- условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием.
Для условных суждений:
- основание — это (предыдущее) суждение, которое содержит условие.
- следствие — это (последующее) суждение, которое содержит следствие.
Простое категорическое суждение - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру.
Виды простых категорических суждений
- A — общеутвердительное;
- E — общеотрицательное;
- I — частноутвердительное;
- O — частноотрицательное.
Структурные схемы
- Знак "+" означает, что термин распределён.
- Знак "-" означает, что термин не распределён.
Другие понятия:
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;
- Таблица истинности;
- Карта Карно;
- Трёхмерная карта Карно;
- Предикат;
- Секвенции;
- Суждение;
- Умозаключения:
Ссылки
- Википедия
- Участник:Logic-samara
