Rozsudky v logike. Čo je to súd, typy rozsudkov

tvorenie

Rozsudok je forma myslenia, ktorá tvrdí alebo popiera čokoľvek o existencii objektov, o vzťahoch medzi nimi a ich vlastnosťami, ako aj o vzťahu medzi objektmi.

Príklady rozsudkov: "Volga prúdi do Kaspického mora", "A. Puškin napísal báseň "Bronzový jazdec", "Ussurianský tiger je uvedený v červenej knihe" atď.

Súdna štruktúra

Rozsudok obsahuje nasledujúce prvky: predmet, predikát, balík a kvantifikátor.

Predmet (latinský subjektum - "podkladový") - čo sa v tomto rozsudku hovorí, jeho predmet ("S").
Predikát (lat. Praedicatum - "hovorený") je odrazom predmetu, čo sa hovorí o predmete rozsudku ("P").
Pojem je vzťah medzi subjektom ("S") apredikát ("P"). Určuje prítomnosť / neprítomnosť akejkoľvek vlastnosti v subjekte vyjadrenej v predikáte. Môže to byť buď implikované alebo označené znakom "pomlčka", alebo slová "je" ("nie je"), "je", "je", "esencia" atď.
Kvantifikátor (kvantifikátorové slovo) definuje objemkoncepty, na ktoré sa vzťahuje rozhodnutie. Tvárou v tvár, ale môže byť tiež neprítomný v úsudku. Označuje sa takými slovami ako "všetci", "mnohí", "niektorí", "žiaden", "žiadny" atď.

Pravdivé a falošné rozsudky

Rozsudok je pravdou, keďprítomnosť znakov, vlastností a vzťahov objektov schválených / zamietnutých v rozsudku zodpovedá skutočnosti. Napríklad: "Všetky lastovičky sú vtáky", "9 je väčšie ako 2" atď.

Ak vyhlásenie uvedené v rozsudku nie jeV skutočnosti ide o falošné tvrdenie: "Slnko sa točí okolo Zeme", "kilogram železa je ťažší ako kilogram bavlny" atď. Správne úvahy tvoria základ správneho uvažovania.

Avšak okrem dvojmiestnej logiky, v ktorej sa nachádzaúsudok môže byť pravdivý alebo nepravdivý, existuje aj viacrozmerná logika. Podľa jeho pojmov môže byť rozsudok tiež neistý. To platí najmä o budúcich individuálnych úsudkoch: "Nastane morská bitka / nedôjde zajtra" (Aristotle, "On Interpretation"). Ak budeme predpokladať, že ide o pravé riešenie, zajtra námorná bitka sa už nebude diať. Preto je potrebné, aby sa to stalo. Alebo naopak: tvrdíme, že daný rozsudok je v súčasnosti nepravdivý, a preto sme nevyhnutní nemožnosť zajtrajšej námornej bitky.

Vyjadrenia názorov

Ako viete, typ vyhlásení rozlišuje tridruh viet: rozprávanie, motivácia a tlmočenie. Napríklad veta "Pamätám si nádherný okamih" sa týka naratívneho typu. Odporúča sa navrhnúť, aby takýto rozsudok bol aj príbeh. Obsahuje určité informácie, hlási konkrétnu udalosť.

Na druhej strane, výkladová vetaobsahuje otázku zodpovedajúcu odpoveď: "Čo pre mňa príde budúcnosť?" Avšak to nič neuvádza ani popiera. Preto tvrdenie, že takýto rozsudok je otázny, je nesprávny. Rozsudok v zásade neobsahuje rozsudok, pretože otázka nemožno diferencovať podľa princípu pravdy / falošnosti.

V roku 2005 sa vytvoril typ motivácie vetyV prípade, že existuje určitá motivácia na konanie, zakážte buď: "Vstaň, prorok, uvidíš a počuj." Pokiaľ ide o rozsudky, podľa niektorých vedcov nie sú obsiahnuté vo veciach tohto typu. Iní sa domnievajú, že hovoríme o rôznych modálnych rozsudkoch.

Kvalita posúdenia

Pokiaľ ide o kvalitu, môžu sa stať aj rozsudkykladné (S je P) a negatívne (S nie je P). V prípade kladného posúdenia je určitému majetku pridelený subjekt pomocou predikátu. Napríklad: "Leonardo da Vinci - taliansky maliar, architekt, sochár, vedec, prírodovedec, rovnako ako vynálezca a spisovateľ, najväčší predstaviteľ renesančného umenia."

V zápornom rozsudku je naopak majetok odpočítaný od predmetu: "Teória 25. rámca Jamesa Waikera nemá experimentálne potvrdenie".

Kvantitatívna charakteristika

Rozsudky v logike môžu byť všeobecné(vzťahujúce sa na všetky položky danej triedy), súkromné (na niektoré z nich) a jedinečné (pokiaľ ide o predmet existujúci v jednej kópii). Napríklad možno tvrdiť, že rozsudok ako "V noci všetky mačky sú síra" sa bude vzťahovať na všeobecnú formu, pretože sa týka všetkých predstaviteľov mačiek (predmetom rozsudku). Vyhlásenie "Niektorí hady nie sú jedovaté" je príkladom súkromného úsudku. Na druhej strane rozsudok "Zábavný Dneper za pokojného počasia" je jediný, pretože hovoríme o jednej konkrétnej rieke, ktorá existuje v jedinej forme.

Jednoduché a zložité úsudky

V závislosti od štruktúry môže rozhodnúťsa týkajú typu jednoduchých alebo zložitých. Štruktúra jednoduchého posudku zahŕňa dve prepojené koncepty (SP): "Kniha je zdrojom vedomostí". Existujú aj rozsudky s jedným pojmom - keď druhý je len naznačený: "Stalo sa tma" (P).

Komplexný pohľad je tvorený kombináciou niekoľkých jednoduchých úsudkov.

Klasifikácia jednoduchých rozsudkov

Jednoduché posúdenia v logike môžu byť nasledujúce typy: prívlastok, rozsudky s vzťahmi, existenčný, modálny.

Priradenie (rozsudky-vlastnosti) je zamerané naschvaľovanie / odmietnutie prítomnosti určitých vlastností (atribútov) predmetu činnosti Tieto rozsudky majú kategorickú formu a nie sú spochybnené: "Nervový systém cicavcov pozostáva z mozgu, miechy a odchádzajúcich nervových ciest."

Vzťahy sa posudzujúvzťahy medzi subjektmi. Môžu mať priestorovo-časový kontext, príčinu a následok atď. Napríklad: "Starý priateľ je lepší než dva nové", "Vodík je 22 krát ľahší ako oxid uhličitý."

Existenciálny rozsudok je vyhlásenie o existencii / neexistencii objektu (hmotného i ideálneho): "V jeho krajine nie je prorok", "Mesiac je satelitom Zeme".

Modálny rozsudok je forma potvrdenia, ktoré zahŕňa určitého operátora (potrebný, dobrý / zlý, preukázaný, známy / neznámy, zakázaný, verím atď.). Napríklad:

"V Rusku je potrebná reforma vzdelávania" (aletická modalita je príležitosť, niečo potrebné).
"Každý má právo na osobnú integritu" (deontická modalita - morálne normy sociálneho správania).
"Negatívny prístup k štátnemu majetku vedie k jeho strate" (axiologická modalita je postoj k hmotným a duchovným hodnotám).
"Veríme vo vašu nevinnosť" (epistemická modalita - stupeň spoľahlivosti vedomostí).

Ťažké rozhodnutia a typy logických spojov

Ako už bolo uvedené, zložité úsudky pozostávajú z niekoľkých jednoduchých. Medzi logické spojenia medzi nimi patria také techniky ako:

Spojenie (a ʌ b - spojovacie návrhy). Rozsudky-spojky majú veľa "a": "Výkon práv a slobôd osoby a občana nesmie porušovať práva a slobody iných osôb".
Rozdelenie (a v b - rozdelenie rozsudkov). Rozsudky - klauzuly sa používajú ako základné prvky a spojenie "alebo" sa používa ako balík. Napríklad: "Navrhovateľ má právo zvýšiť alebo znížiť veľkosť nárokov."
Implikácia (a → b je výsledok posudku). Ak v štruktúre komplexného úsudku existuje predpoklad a dôsledok, potom možno tvrdiť, že takýto úsudok je implicitný. Ako zväzok v tejto forme sa používajú také odbory ako "ak ... potom". Napríklad: "Ak prechádza elektrický prúd cez vodič, vodič sa zahreje", "Ak chcete byť šťastní, či už je to."
Rovnocennosť (a ≡ b - rovnaké rozsudky). Vyskytuje sa, keď sa hodnoty a a b zhodujú (buď sú pravdivé, alebo obe sú nepravdivé): "Človek je stvorený pre šťastie, ako vták pre let".
Negácia (¬a, ā - súd-inverzia). Každé počiatočné vyhlásenie sa zhoduje so zloženým vyhlásením, ktoré popiera pôvodný výrok. Vykonáva sa pomocou zväzku "nie" Preto ak prvotné vyhlásenie vyzerá takto: "Býk reaguje na červené svetlo" (a) - potom negácia bude vyzerať takto: "Býk NEČÍTAJE na červené svetlo" (¬a).