Rozsudek

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 26. května 2020; kontroly vyžadují 8 úprav .

Úsudek  je myšlenka , která potvrzuje přítomnost nebo nepřítomnost jakéhokoli stavu věcí [1] .

Typy soudů a vztah mezi nimi jsou studovány ve filozofické logice . V matematické logice výroky odpovídají výrokům .

Jednoduché a složité

Jednoduché soudy  jsou soudy, jejichž součástí jsou pojmy . Jednoduchý návrh lze rozložit pouze na pojmy. Jednoduchá věta je taková věta, která neobsahuje více než dva pojmy.

Složené výroky  jsou výroky, jejichž součástí jsou jednoduché výroky nebo jejich kombinace. Komplexní soud lze považovat za útvar z několika prvotních soudů spojených v rámci daného komplexního soudu logickými svazky (vazy). Logický rys komplexního úsudku závisí na spojení, s nímž jsou jednoduché úsudky spojeny.

Složení jednoduchého výroku

Jednoduchý (atributivní) úsudek je úsudek o přítomnosti nebo nepřítomnosti jakýchkoli vlastností ( atributů ) objektů. V jednoduchém (atributivním) úsudku lze rozlišit následující pojmy úsudku - předmět, predikát, spojka, kvantifikátor [2] :

Příklad: "Všechny kosti jsou orgány živého organismu."

Předmět - "kost";

Predikát je „orgány živého organismu“;

Logické spojovací - "jsou";

Kvantifikátor je „všechno“.

Složení komplexního návrhu

Složité soudy se skládají z řady jednoduchých („Člověk neusiluje o to, v co nevěří, a jakékoli nadšení, nepodložené skutečnými úspěchy, postupně vyprchá“), z nichž každý se v matematické logice označuje latinkou písmena (A, B, C, D … a, b, c, d…). Podle způsobu tvoření se rozlišují soudy konjunktivní, disjunktivní, implikativní, ekvivalentní a negativní .

Disjunktivní (též disjunktivní ) soudy se tvoří pomocí disjunktivních ( disjunktivních ) logických spojek (podobně jako sjednocení "nebo"). Stejně jako jednoduché disjunktivní soudy jsou:

Implicitní soudy se tvoří pomocí implikace , (ekvivalent spojení „jestliže..., pak“). Psáno jako nebo . V přirozeném jazyce je spojení „jestliže... pak“ někdy synonymem spojení „a“ („Počasí se změnilo a pokud včera bylo zataženo, tak dnes není ani jeden mrak“) a v tomto případě , znamená spojku.

Konjunktivní soudy se tvoří pomocí logických spojek nebo spojek (ekvivalent čárky nebo spojení „a“, „a“, „ale“, „ano“, „ačkoli“, „který“, „ale“ a další). Zaznamenáno jako .

Ekvivalentní rozsudky označují vzájemnou identitu částí rozsudku (nakreslete mezi nimi rovnítko). Kromě definic vysvětlujících pojem mohou být reprezentovány úsudky spojenými spojkami „ když a jen tehdy “, „nezbytné a dostatečné“ (například: „Aby bylo číslo dělitelné 3, je nutné a postačující, aby součet číslic, které jej tvoří, je dělitelný 3“). Píše se jako (různí matematici mají různé způsoby, i když matematickým znakem identity je stále ).

Negativní soudy jsou vytvářeny pomocí negativních odkazů „ne“. Jsou psány buď jako ~ b, nebo jako ab (s vnitřní negací, jako je „auto není luxus“), stejně jako pomocí čáry přes celý soud s vnější negací (vyvrácením): „je není pravda, že...“ (ab).

Klasifikace jednoduchých úsudků

Kvalita

Podle objemu

Relativní k

Ve vztahu mezi podmětem a přísudkem

Subjekt a predikát rozsudku mohou být distribuované (index "+" ) nebo nedistribuované (index "-" ).

Soudy A (obecné kladné soudy) Distribuuje svůj předmět (S), ale nedistribuuje svůj predikát (P)

Objem předmětu (S) je menší než objem predikátu (P)

Objemy podmětu a přísudku jsou stejné

E úsudky (obecné negativní úsudky) Distribuuje podmět (S) i predikát (P)

V tomto rozsudku popíráme jakoukoli shodu mezi podmětem a predikátem.

Výroky I (částečné přísudky) Předmět (S) ani přísudek (P) nejsou rozděleny

Část předmětové třídy je zařazena do predikátové třídy.

O soudy (částečné-negativní soudy) Distribuuje svůj predikát (P), ale nedistribuuje jeho předmět (S) V těchto soudech věnujeme pozornost tomu, co je mezi nimi nekonzistentní (stínovaná oblast)

tabulka rozdělení předmětu a predikátu

Předmět (S) predikát (P)
OU ALE distribuováno nepřidělené
OH oh E distribuováno distribuováno
w-u já nepřidělené nepřidělené
w-o Ó nepřidělené distribuováno

Obecná klasifikace:

Ostatní

  1. S je buď A nebo B nebo C
  2. nebo A, nebo B, nebo C je P - když je v úsudku prostor pro nejistotu
  1. pokud A je B, pak C je D nebo E je F
  2. pokud je A, pak je B, nebo C, nebo D
    příklad: "kdo chce získat vyšší vzdělání, musí studovat buď na univerzitě, nebo na ústavu, nebo na akademii"

Způsob rozsudků

Modální pojmy neboli modality  - pojmy, které vyjadřují kontextový rámec rozsudku: čas soudu, místo rozsudku, znalost rozsudku, postoj mluvčího k rozsudku.

V závislosti na modalitě se rozlišují následující hlavní typy rozsudků:

Viz také

Poznámky

  1. ↑ Rozsudek . Internetová verze publikace: Nová filozofická encyklopedie: ve 4 svazcích . Filosofický ústav RAS; National Public Science Foundation. Datum přístupu: 1. února 2017. Archivováno z originálu 15. března 2017.
  2. ↑ BDT, 2016 .
  3. ↑ 1 2 Morris Raphael Cohen a Ernest Nagel. Úvod do logiky a vědecké metody / per. z angličtiny. P.S. Kusliya. - Perm: "Společnost" , 2010. - S. 70. - ISBN 5-978-91603-029-7.
  4. ↑ Morris Raphael Cohen a Ernest Nagel. Úvod do logiky a vědecké metody / per. z angličtiny. P.S. Kusliya. - Perm: "Společnost" , 2010. - S. 71. - ISBN 5-978-91603-029-7.

Literatura