Souzení v logice. Co je úsudek, druhy úsudků

Obsah:

Souzení v logice. Co je úsudek, druhy úsudků
Souzení v logice. Co je úsudek, druhy úsudků
Anonim

Úsudek je forma myšlení, která potvrzuje nebo popírá něco o existenci objektů, o souvislostech mezi nimi a jejich vlastnostmi, stejně jako o vztazích mezi objekty.

Příklady rozsudků: „Volha se vlévá do Kaspického moře“, „A. S. Puškin napsal báseň „Bronzový jezdec“, „Tygr ussurijský je uveden v Červené knize“atd.

Struktura úsudku

Úsudek obsahuje následující prvky: předmět, predikát, spojovací výraz a kvantifikátor.

co je soud
co je soud
  1. Předmět (lat. subjektm - "podklad") - co je řečeno v tomto rozsudku, jeho předmět ("S").
  2. Predikát (lat. praedicatum - "řekl") - odraz atributu subjektu, co se říká o subjektu soudu ("P").
  3. Odkaz je vztah mezi předmětem ("S") a predikátem ("P"). Určuje přítomnost / nepřítomnost předmětu jakékoli vlastnosti vyjádřené v predikátu. Může být naznačeno i označeno pomlčkou nebo slovy „je“(„není“), „má“, „je“, „esence“atd.
  4. Kvantifikátor (slovo kvantifikátoru) určuje rozsah pojmu, ke kterému náleží předmět posuzování. Stojí před objektem, ale může také chybětrozsudek. Označeno slovy jako "všechny", "mnoho", "některé", "žádné", "žádné" atd.

Pravdivé a nepravdivé soudy

Úsudek je pravdivý, když přítomnost znaků, vlastností a vztahů předmětů, potvrzená / popřená v rozsudku, odpovídá skutečnosti. Například: „Všechny vlaštovky jsou ptáci“, „9 je více než 2“atd.

soudy v logice
soudy v logice

Pokud výrok obsažený v rozsudku není pravdivý, máme co do činění s nepravdivým úsudkem: „Slunce se točí kolem Země“, „Kilogram železa je těžší než kilogram vaty“atd. Správné úsudky tvoří základ správných závěrů.

Avšak kromě dvouhodnotové logiky, ve které může být úsudek buď pravdivý, nebo nepravdivý, existuje také multidimenzionální logika. Podle jeho podmínek může být rozsudek i neurčitý. To platí zejména pro budoucí jednotlivé soudy: „Zítra bude / nebude se konat námořní bitva“(Aristoteles, „O výkladu“). Pokud předpokládáme, že se jedná o pravdivý rozsudek, nemůže se zítra odehrát námořní bitva. Proto se to musí stát. Nebo naopak: tvrzením, že tento úsudek je v současnosti nepravdivý, si tím znemožníme zítřejší námořní bitvu.

soud je
soud je

Rozsudky podle typu prohlášení

Jak víte, podle typu výroku existují tři typy vět: vyprávěcí, pobídkové a tázací. Například věta „Pamatuji si nádherný okamžik“odkazujek narativnímu typu. Je rozumné tvrdit, že takový rozsudek by byl také narativní. Obsahuje určité informace, hlásí určitou událost.

Na oplátku tázací věta obsahuje otázku, která implikuje odpověď: „Co pro mě připravuje nadcházející den? Nic netvrdí ani nepopírá. Tvrzení, že takový rozsudek je tázací, je tedy mylné. Tázací věta v zásadě neobsahuje rozsudek, protože otázku nelze rozlišovat podle principu pravdy/nepravdy.

příklady rozsudků
příklady rozsudků

Pobídkový typ vět se tvoří, když existuje určitý impuls k akci, žádost nebo zákaz: "Vstaň, prorokuj a viz a poslouchej." Pokud jde o úsudky, podle některých badatelů nejsou ve větách tohoto typu obsaženy. Jiní se domnívají, že mluvíme o jakémsi modálním úsudku.

pravdivý soud
pravdivý soud

Kvalita úsudku

Z hlediska kvality mohou být soudy buď kladné (S je P) nebo záporné (S není P). V případě afirmativní věty je určitá vlastnost (vlastnosti) připojena k předmětu pomocí predikátu. Například: „Leonardo da Vinci je italský malíř, architekt, sochař, vědec, přírodovědec a také vynálezce a spisovatel, největší představitel renesančního umění.“

V negativním návrhu je naopak vlastnost odečtena od předmětu:experimentální potvrzení.“

Kvantitativní charakteristiky

Úsudky v logice mohou být obecné (odkazující na všechny objekty dané třídy), soukromé (pro některé z nich) a singulární (pokud jde o objekt, který existuje v jediné kopii). Lze například tvrdit, že rozsudek jako „Všechny kočky jsou v noci šedé“by byl obecný, protože se týká všech kočkovitých šelem (předmět rozsudku). Výrok „Někteří hadi nejsou jedovatí“je příkladem soukromého úsudku. Na druhé straně je rozsudek „Dněpr je úžasný v klidném počasí“jediný, protože mluvíme o jedné konkrétní řece, která existuje v jediné podobě.

Jednoduché a složité soudy

V závislosti na struktuře může být rozsudek jednoduchého nebo složitého typu. Struktura jednoduché propozice zahrnuje dva související pojmy (S-P): "Kniha je zdrojem poznání." Existují také soudy s jedním konceptem - když druhý je pouze implikován: "Tma" (P).

Kombinací několika jednoduchých výroků vzniká složitá forma.

Klasifikace jednoduchých úsudků

Jednoduché soudy v logice mohou být následujících typů: atributivní, soudy se vztahy, existenciální, modální.

Atributivní (souzení vlastností) jsou zaměřeny na potvrzení/popírání toho, že objekt má určité vlastnosti (atributy), aktivity. Tyto soudy mají kategorickou formu a nejsou zpochybňovány: „Nervový systém savců se skládá z mozku, páteřemozek a odchozí nervové dráhy.“

Relační soudy berou v úvahu určité vztahy mezi objekty. Mohou mít časoprostorový kontext, kauzální atd. Například: „Starý přítel je lepší než dva noví“, „Vodík je 22krát lehčí než oxid uhličitý.“

správný úsudek
správný úsudek

Existenciální soud je prohlášení o existenci/neexistenci předmětu (hmotného i ideálního): „V jeho vlastní zemi není žádný prorok“, „Měsíc je satelit Země.“

Modální propozice je forma tvrzení, která obsahuje určitý modální operátor (nezbytný, dobrý/špatný; osvědčený, známý/neznámý, zakázaný, věřit atd.). Například:

  • "V Rusku je nutné provést vzdělávací reformu" (aletická modalita - možnost, potřeba něčeho).
  • "Každý má právo na osobní integritu" (deontická modalita - morální normy společenského chování).
  • "Neopatrný přístup k majetku státu vede k jeho ztrátě" (axiologická modalita - postoj k materiálním a duchovním hodnotám).
  • "Věříme ve vaši nevinu" (epistemická modalita - stupeň spolehlivosti znalostí).

Složité úsudky a typy logických spojovacích prostředků

Jak již bylo uvedeno, složité rozsudky se skládají z několika jednoduchých. Logickým spojením mezi nimi jsou takové triky jako:

  • Spojka (a ʌb jsou spojovací věty). Sdružené rozsudky mají spoustu „a“:"Uplatňování lidských a občanských práv a svobod nesmí porušovat práva a svobody druhých."
  • Disjunkce (a v b – disjunktivní soudy). Disjunktní soudy se používají jako základní prvky a spojení „nebo“se používá jako odkaz. Například: "Žalobce má právo zvýšit nebo snížit velikost nároků."
  • Implikace (a → b – úsudek-důsledek). Pokud se ve struktuře komplexního úsudku rozlišuje premisa a důsledek, pak lze tvrdit, že takový úsudek patří k implikativním. Jako odkaz v této podobě se používají svazky jako "pokud … pak". Například: „Pokud vodičem prochází elektrický proud, vodič se zahřeje“, „Pokud chcete být šťastní, budiž.“
  • Ekvivalent (a ≡ b – shodné rozsudky). Vyskytuje se, když a a b jsou stejná (buď jsou obě pravdivé, nebo obě nepravdivé): "Člověk je stvořen k tomu, aby byl šťastný, jako pták k letu."
  • kvalita úsudku
    kvalita úsudku
  • Negace (¬a, ā – úsudek-převrácení). Každý původní příkaz je spojen se složeným příkazem, který popírá původní. Provádí se pomocí hromady „ne“. Pokud tedy původní prohlášení vypadá takto: "Býk reaguje na červené světlo" (a) - pak odmítnutí bude znít jako: "Býk NEreaguje na červené světlo" (¬a).

Doporučuje: