Rozsudky v logice. Co je to úsudek, druhy rozsudků

Rozsudek je forma myšlení, potvrdit nebo popřít nic o existenci objektů, vazby mezi nimi a jejich vlastnosti, stejně jako vztah mezi objekty.

Příklady výroků: „Volha vlévá do Kaspického moře“, „AS Puškin napsal báseň „bronzu Jezdec“, „Tygr ussurijský je uveden v Červené knize“, atd

Struktura rozsudku

Rozsudek obsahuje následující prvky: podmět, přísudek a vazů kvantifikátor.

1. Předmět (lat subjektum -. «Podkladové») - to, jak je uvedeno v rozsudku, její předmět ( «S»).
2. Predikát (latinsky praedicatum -. «Said") - odraz tagu object, co se říká na toto téma rozsudku ( ‚P‘).
3. Bundle - poměr mezi objektem ( «S») a predikátu ( "P"). Určuje přítomnost / nepřítomnost předmětu vlastnosti vyjádřené jako predikát. Možná to znamená, a je indikován „pomlčka“ nebo slova „a“ ( „není“), „má“, „má“, „látky“, a jiní.
4. Quantifier (Kvantifikátor slovo) definuje rozsah koncepce, na které je předmětem rozhodnutí. To stojí v přední části objektu, ale může to být také přítomen v úsudku. Označováno výrazy jako „všechny“, „mnoho“, „nějaký“, „ne“, „ne“, a jiní.

Pravdivé a nepravdivé výroky

Rozsudek je pravda v případě, kdy se vyskytne jakýkoli náznak, vlastnosti a vztahy předmětů schválených / zamítnutých v rozhodnutí, pravdivý. Například: „Všechny Vlaštovky - ptáci“, „9 více než 2“ a tak dále ..

V případě, že tvrzení je obsaženo v rozsudku není pravda, máme co do činění s falešným tvrzením ‚Slunce obíhá kolem Země‚‘kilo železa těžší než kilogramu bavlny„a druhou pravou úsudku jsou základem pro správné uvažování ..

Nicméně, kromě dvou oceňují logiky, ve kterém může být rozsudek buď pravdivý nebo nepravdivý, tam je také multi-dimenzionální logické. Podle jeho vyjádření by rozhodnutí mohlo být stále nejistý. Zejména se jedná o budoucnost jednotlivých soudů, „Zítra se stane / nestane námořní bitvu“ (Aristoteles „K výkladu“). Budeme-li předpokládat, že to je pravda tvrzení, může zítra námořní bitva nestalo. Z tohoto důvodu je nutné, aby se to stalo. Nebo naopak: tvrdí, že rozsudek v přítomném okamžiku je nepravdivé, budeme tedy dělat potřebné nemožnost zítřejší námořní bitvě.

Úsudky o typu výpisu

Jak je známo, typ prohlášení jsou tři druhy vět: deklarativní, agitace a dotazování. Například věta „Vzpomínám si nádherný okamžik“ se odkazuje na typ příběhu. Je vhodné, aby naznačují, že takové rozhodnutí by také vyprávění. Obsahuje konkrétní informace, podle konkrétní události.

Na druhé straně, tázací věta obsahuje otázku, dostat odpověď: „Co přinese budoucnost pro mě,“ Zároveň to nic neříká a nepopírá. V důsledku toho tvrzení, že takové rozhodnutí je otázka nesprávně. Tázací věta v zásadě neobsahuje žádné rozhodnutí, protože tato otázka nemůže být rozlišena na základě pravdy / falše.

Typ pobídka věty se tvoří v případě, že tam je nějaký podnět k akci, požádat o zákazu: „povstaň, ó proroku, a vid, a starat se o“ S ohledem na rozsudek, podle názoru některých vědců, které nejsou obsaženy v návrzích tohoto typu. Jiní věří, že to je celá řada modálních rozsudků.

kvalitní úsudek

Co se týče kvality, rozhodnutí může být buď kladná (S P) a negativní (S není P). V případě kladné rozhodnutí, přes výhradou predikát připojené na určité vlastnosti (-WA). Například: „Leonardo da Vinci - italský malíř, architekt, sochař, vědec, přírodovědec a vynálezce a spisovatele, největší představitel renesančního umění“

V negativním rozhodnutí, na druhou stranu, je vlastnost je odnášen od objektu: „Teorie 25. snímku Jamese Vicary nemá experimentální potvrzení“

kvantitativní charakterizace

Rozsudky logiky mohou být časté (týkající se všech objektů této třídy), soukromá (některé z nich) a jednotka (když mluví o tomto tématu, je tam jen jeden). Například, to může být argumentoval, že taková tvrzení jako „V noci všechny kočky jsou šedé“ bude odkazovat na celkový vzhled, protože to má vliv na všechny členy kočky (předmět rozsudku). Schválení „Někteří hadi nejsou jedovaté“ - příklad soukromého úsudku. Na druhé straně, rozsudek „Wonderful Dněpr v bezvětří“ je jednotka, protože hovoříme o jedné konkrétní řeky, existující v jednom formuláři.

Jednoduché a složité úsudky

V závislosti na struktuře, rozhodnutí může být takového typu jednoduché nebo složité. Struktura jednoduché rozhodnutí zahrnuje dvě propojené koncepty (SP): «kniha - zdroj poznání“. Existují také rozsudky s jedním pojmem - je-li na druhém místě znamenalo: „To se stmívalo» (P).

Složitý tvar je tvořen spojením několika jednoduché rozhodnutí.

Klasifikace jednoduchých rozsudků

Jednoduché rozsudky logiky mohou být z těchto forem: přívlastkových, rozsudek se vztahy, existenciální, modal.

Atribut (vlastnost, rozsudek) poslal ke schválení / odmítnutí subjektu v určitých vlastností (atributů) činnosti. Tato rozhodnutí jsou kategorické formě a ne zpochybňována, „savčí nervový systém se skládá z mozku mozku, míchy a odchozích nervových drah.“

V rozhodnutí s ohledem na zvláštní vztahy mezi objekty. Mohou mít časoprostorových kontext, kauzální, atd Například :. „starý přítel lepší než dva nové“, „Hydrogen lehčí oxidu uhličitého o 22 krát.“

Existenciální úsudek - toto tvrzení o existenci / neexistenci subjektu (jak materiální a ideální): „Není ve své vlasti prorokem“, „Měsíc je satelitem Země.“

Modální proposition - forma souhlasu, který zahrnoval přítomnost určitého operátora modální (potřebovat dobrý / špatný, dokázal známý / neznámý, je zakázáno, domnívám se, aj.). Například:

• „Rusko potřebuje provést reformy v oblasti vzdělávání“ (alethic modality - možnost, nutnost něčeho).
• „Každý má právo na osobní bezpečnost“ (deontické modality - morální normy společenského chování).
• „Zanedbávání státního majetku vede k jeho ztrátě“ (axiologic modality - vztahující se k materiálu a morálních hodnot).
• „Věříme, že ve své nevinnosti“ (epistemic modality - spolehlivost znalostí).

Komplexní úsudky a typy logických spojek

Jak již bylo uvedeno, komplex soudy se skládají z několika jednoduchých. Jako logické spojení mezi nimi jsou takové metody, jako jsou:

• Spojka (a ʌ b - spojovací rozhodnutí). Rozsudky-conjuncts mají spoustu „a“, „Implementace k právům a svobodám člověka a občana nesmí porušovat práva a svobody druhých.“
• Disjunkce (AVB - dělení úsudek). Jako prvky tvořící soudnou ustanovení se používají jako pojiva - spojení „nebo“. Například: „Žalobce má právo na zvýšení nebo snížení velikosti nároku.“
• Implikace (a → b - úsudek-efekt). Je-li vysílání alokovány v rozsudku konstrukce složité a v důsledku toho by se dalo tvrdit, že takové rozhodnutí se týká implicative. Jako pojivo použité ve formě sdružení, jako je „jestliže ... pak“. Například: „Pokud přes dirigenta chybět elektrický proud, drát ohřívá,“ „Chcete být šťastní - být šťastný“.
• Ekvivalence (a ≡ b - shodné úsudek). Odehrává se v případě, kdy jsou hodnoty a a b stejné (buď oba pravdivé nebo oba false): „Člověk je vytvořen pro štěstí, jako pták k letu.“
• Negace (¬A, a - úsudek-inverze). Každý zdroj je spojen s tvrzením, složeného příkazu, který popírá původní. Pomocí „ne“ parta. V důsledku toho v případě, že původní prohlášení takto: „Býk reaguje na červenou,“ (a) - odpírání bude znít takto: „Býk nereaguje na červené světlo“ (¬A).