Судження як форма мислення

Простим називається судження. виражає зв'язок двох понять. Простим називається судження, в якому один суб'єкт і один предикат.

Складним називається судження е, що складається з декількох простих суджень, в яких кілька суб'єктів і предикатів.

Розрізняють такі види простих суджень:

1) атрибутивні судження,

2) судження з відносинами,

3) судження існування (екзистенційні).

1. атрибутивні називається судження про ознаку предмета.В ньому відбивається зв'язок між предметом і його ознакою, цей зв'язок стверджується або заперечується.

Наприклад. «Терміни оренди визначаються договором», «Ніхто

із суддів не має права утриматися від голосування ».

2. Судженням з відношенням називається судження про ставлення між

предметами. Це можуть бути відносини рівності, просторові,

тимчасові, причинно-наслідкові та інші відносини.

Наприклад: «А одно В», «С більше D», «Семен - батько Сергія»,

«Казань на схід від Москви», «Мораль виникла раніше права»,

«Пияцтво - причина багатьох злочинів».

Судження з відносинами має структуру, що відрізняється від

структури атрибутивних суджень. Тим не менш, вони можуть бути

перетворені в атрибутивні. Наприклад, судження «Семен - батько

Сергія »може бути розглянуто як атрибутивное,

3. У судженнях існування (екзистенціальних судженнях; від

латинського existentia - «існування») виражається сам факт існування або неіснування предмета судження.

«Існують статистичні закони»; «На Землі вже немає багатьох видів

тварин »; «Судження без пропозиції не існує». предикатами

цих суджень є поняття про існування чи неіснування

предмета; зв'язка в мові не виражається. шляхом перетворення

граматичної форми судження судження існування може

бути перетворено в атрибутивное судження.

Наприклад: «Статистичні закони (S) є (зв'язка) те, що існує (Р)».

Складні судження та їх види

Складними називаються судження, що складаються з декількох простих, з'єднаних логічними зв'язками. Відрізняються такі види складних суджень:

  1. Сполучні, або кон'юнктівние, - судження, що складаються з декількох простих, з'єднаних логічною зв'язкою «і». Наприклад, судження «Крадіжка і шахрайство відносяться до умисним злочинам» є з'єднувальним судженням. ^-Символ кон'юнкції. У природній мові Кон'юнктивна зв'язка може бути представлена ​​такими спілками: «а», «але», «а так само», «як і», «хоча», «проте», «незважаючи на» і ін.
  2. Розділові, або диз'юнктивні, - судження, що складаються з декількох простих, з'єднаних логічною зв'язкою «або». Наприклад, «Договір купівлі-продажу» може бути укладений в письмовій або усній формі », - розділову судження. V-символ диз'юнкції. Слід розрізняти два типи розділових суджень:

а) Нестрогая диз'юнкція - судження, в якому зв'язка «або» вживається в сполучно-розділової значенні (символ v). Наприклад: «Холодна зброя може бути колючим або ріжучим».

б) Сувора диз'юнкція - судження, в якому зв'язка «або» вживається в ісключающе-розподільчому значенні (символ) Наприклад: «Діяння може бути навмисним або необережним». Члени суворої диз'юнкції, звані альтернативними, не можуть бути одночасно істинними.

Так само слід розрізняти повну (в судженні перераховані всі ознаки або види певного роду) і неповну (в судження перераховані не всі ознаки або в повному обсязі види певного роду) диз'юнкцію.

  1. Умовні, або імплікатівние, - судження, що складаються з двох простих, з'єднаних логічною зв'язкою «якщо ..., то ...». Наприклад: «Якщо запобіжник плавиться, то електролампа гасне». à - символ імплікації. У природній мові для вираження умовних суджень використовується не тільки союз «якщо ..., то ...», а й інші союзи: «там ..., де ...», «тоді ..., коли ...», «остільки ..., оскільки ...» і т. п.
  2. Еквівалентні - судження, що включають в якості складових два судження, пов'язаних подвійний (прямий і зворотній) умовної залежністю, яка виражається логічною зв'язкою «якщо, і тільки якщо ..., то ...». Наприклад: «Якщо, і тільки якщо, людина нагороджений орденами і медалями, то він має право на носіння відповідних орденських планок». У природному мови для вираження еквівалентності суджень використовують союзи: «лише за умови, що ..., то ...», «в тому, і тільки в тому випадку, коли ..., тоді ...», «тільки тоді, коли ..., то ...» і інші.

Умовиводи із складних суджень

Умовивід це форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження

  • Умовивід складається з посилок, ув'язнення і виведення
  • Посилками умовиводи називають вихідні судження, з яких виводиться нове судження
  • Висновком називається нове судження, отримане логічним шляхом з посилок
  • Логічний перехід від посилочку висновку називається висновком

Логічні оператори (знаки)