Умозаключение — различия между версиями

Материал из ALL
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
== Определение ==
 
== Определение ==
−
'''Умозаключение''' — это форма мышления, в которой из одного или нескольких суждений, называемых посылками (основаниями), выводится новое [[суждение]], называемое заключением или следствием, выводом.  
+
'''Суждение''' — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.  
  
−
== Классификация умозаключений ==
+
== Виды суждений ==
−
* дедуктивные:
+
* простые суждения;
−
** непосредственные умозаключения:
+
* сложные суждения.
−
*** превращения;
+
−
*** обращения;
+
−
*** противопоставления предикату;
+
−
*** противопоставления субъекту;
+
−
*** выводы "по логическому квадрату";
+
−
** [[силлогизм]]ы:
+
−
*** простые:
+
−
**** категорические;
+
−
**** условные;
+
−
**** разделительные;
+
−
**** сокращённые;
+
−
*** сложные:
+
−
**** условно-категорические;
+
−
**** разделительно-категорические;
+
−
**** условно-разделительные;
+
−
**** сокращённые;
+
−
**** комбинированные;
+
−
* индуктивные;
+
−
* умозаключения по аналогии.
+
  
−
== Определения ==
+
'''Простые суждения''' — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия.
−
'''Дедуктивные умозаключения''' – вид умозаключений, в котором из посылок, выражающих знания большей степени общности, необходимо следует заключение, выражающее знание меньшей степени общности. Дедукция в переводе с латинского означает "выведение".
+
−
суждение, в котором есть субъект и предикат.  
+
  
−
'''Непосредственные умозаключения''' – это умозаключения, в которых вывод совершается из одной посылки, являющейся категорическим высказыванием.
+
'''Сложные суждения''' — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
−
Практически непосредственные умозаключения (кроме выводов по «логическому квадрату») представляют собой преобразования (операции) категорических суждений, в результате которых получаются суждения другой формы, но выражающие ту же самую мысль, что и исходные суждения.
+
  
−
'''Превращение''' – это преобразование (операция) категорического суждения: образование нового суждения путём перемены качества исходного суждения на противоположное без изменения его количества, при этом предикат заключения является отрицанием предиката посылки, связка меняется  на противоположную, а предикат – на противоречащее понятие. При этом частноутвердительное суждение превращается в частноотрицательное, и наоборот, а общеутвердительное суждение превращается в общеотрицательное, и наоборот.
+
== Состав простого суждения ==
 +
В простое суждение входят понятия (термины):
 +
* субъект суждения '''(S)''';
 +
* предикат суждения '''(P)''';
 +
* логическая связка;
 +
* квантор.
  
−
'''Обращение''' – это преобразование (операция) категорического суждения: образование нового суждения путём перестановки субъекта и предиката при сохранении качества суждения.
+
'''Субъект суждения''' — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
−
Такое обращение суждения возможно, если оба термина в суждении распределены или оба не распределены. Частноотрицательные суждения не обращаются, поскольку нельзя установить, исходя из распределённости предиката, как относится его объём к объёму нераспределённого субъекта.
+
  
−
'''Противопоставление предикату''' - это преобразование (операция) категорического суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом - субъект исходного суждения и связка меняется на противоположную.
+
'''Предикат суждения''' — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
−
Такой вывод можно сделать, последовательно применяя превращение исходного суждения и далее обращение полученного при этом суждения либо следуя правилам для противопоставления  предикату
+
−
для частноутвердительных суждений нельзя проводить вывод путём противопоставления предикату, так как после превращения исходного суждения получается частноотрицательное суждение, для которого не применяется операция обращения.
+
−
Противопоставление предикату - это результат последовательно выполненных операций превращения и обращения.
+
  
−
'''Противопоставление субъекту''' - это преобразование (операция) категорического суждения, в результате которого субъектом становится предикат исходного суждения, а предикатом - понятие, противоречащее субъекту исходного суждения, и связка меняется на противоположную.
+
'''Логическая связка''' — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
−
Такой вывод можно сделать, последовательно применяя обращение исходного суждения, а затем - превращение полученного результата, либо сразу следуя правилам для противопоставления субъекту:
+
−
для частноотрицательных суждений не используются выводы с применением противопоставления субъекту, так как в процессе этого вывода мы должны были бы сделать обращение частноотрицательного суждения, для которого не применяется вывод посредством обращения.
+
−
Противопоставление субъекту - это результат последовательно выполненных операций обращения и превращения.
+
  
−
'''Контрапозиция''' — это преобразование (операция) сложного суждения по закону классической логики: если из суждения '''A''' следует суждение '''B''', то из отрицания суждения '''B''' следует отрицание суждения '''A'''.
+
'''Квантор''' — указывает, относится ли суждение ко всему объёму понятия.
  
−
== Структурные схемы ==
+
== Классификация простых суждений ==
−
'''Превращение''' (отрицание предиката).
+
* по качеству:
 +
** утвердительное — суждения, которые утверждают что-либо;
 +
** отрицательное — суждения, которые отрицают что-либо;
 +
* по объёму:
 +
** общие  — суждения, которые справедливы относительно всего объёма понятия;
 +
** частные — суждения, которые справедливы относительно части объёма понятия;
 +
* по отношению:
 +
** категорические  — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение;
 +
** условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием.  
  
−
[[файл:УМ11.JPG]]
+
Для '''условных суждений''':  
 +
* '''основание''' — это (предыдущее) суждение, которое содержит условие.
 +
* '''следствие''' — это (последующее) суждение, которое содержит следствие.
  
−
'''Обращение''' (перестановка субъекта и предиката).
+
'''Простое категорическое суждение''' - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру.
  
−
[[файл:УМ12.JPG]]
+
== Виды простых категорических суждений ==
 +
* '''A''' — общеутвердительное;
 +
* '''E''' — общеотрицательное;
 +
* '''I''' — частноутвердительное;
 +
* '''O''' — частноотрицательное.
  
−
'''Противопоставление предикату''' (перестановка и отрицание предиката).
+
== Структурные схемы ==
−
 
+
[[файл:СУЖ01.JPG]]
−
[[файл:УМ13.JPG]]
+
−
 
+
−
'''Противопоставление субъекту''' (перестановка и отрицание субъекта).
+
  
−
[[файл:УМ14.JPG]]
+
* Знак '''"+"''' означает, что термин распределён.
 +
* Знак '''"-"''' означает, что термин не распределён.
  
 
== Другие понятия: ==
 
== Другие понятия: ==
−
*[[Суждение]];
+
*[[Силлогизм]];
−
*[[Силлогизм]].
+
*[[Умозаключение]].
  
 
== Ссылки ==
 
== Ссылки ==

Версия 09:50, 18 ноября 2015

Определение

Суждение — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.

Виды суждений

  • простые суждения;
  • сложные суждения.

Простые суждения — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия.

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

Состав простого суждения

В простое суждение входят понятия (термины):

  • субъект суждения (S);
  • предикат суждения (P);
  • логическая связка;
  • квантор.

Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).

Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).

Квантор — указывает, относится ли суждение ко всему объёму понятия.

Классификация простых суждений

  • по качеству:
    • утвердительное — суждения, которые утверждают что-либо;
    • отрицательное — суждения, которые отрицают что-либо;
  • по объёму:
    • общие — суждения, которые справедливы относительно всего объёма понятия;
    • частные — суждения, которые справедливы относительно части объёма понятия;
  • по отношению:
    • категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение;
    • условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием.

Для условных суждений:

  • основание — это (предыдущее) суждение, которое содержит условие.
  • следствие — это (последующее) суждение, которое содержит следствие.

Простое категорическое суждение - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру.

Виды простых категорических суждений

  • A — общеутвердительное;
  • E — общеотрицательное;
  • I — частноутвердительное;
  • O — частноотрицательное.

Структурные схемы

Файл:СУЖ01.JPG

  • Знак "+" означает, что термин распределён.
  • Знак "-" означает, что термин не распределён.

Другие понятия:

Ссылки

Источник — «https://allll.net/w/index.php?title=Умозаключение&oldid=20502»