Az ítélet egy olyan gondolkodási forma, amely megerősít vagy tagad valamit a tárgyak létezéséről, a köztük lévő kapcsolatokról és tulajdonságaikról, valamint a tárgyak közötti kapcsolatokról.
Példák az ítéletekre: „A Volga a Kaszpi-tengerbe ömlik”, „A.S. Puskin írta a „Bronzlovas”, „Az Ussuri Tigris szerepel a Vörös Könyvben” című verset stb.
Ítéletszerkezet
Az ítélet a következő elemeket tartalmazza: alany, állítmány, összekötő és kvantor.
- A szubjektum (latinul subjektum - „mögöttes”) az, ami ebben az ítéletben elhangzik, alanya („S”).
- Az állítmány (lat. praedicatum - „mondta”) az alany attribútuma, az ítélet alanyáról elmondottak ("P") visszatükröződése.
- A link kapcsolat egy alany ("S") ésállítmány ("R"). Meghatározza az alany jelenlétét / hiányát az állítmányban kifejezett bármely tulajdonsággal. Ez egyaránt utalható és jelezhető a „kötőjel” jellel vagy a „is” („nem”), „van”, „van”, „essence” stb. szavakkal.
- A kvantor (kvantorszó) határozza meg a hangerőtfogalom, amelyre az ítélet alanya vonatkozik. A tárgy előtt jelenik meg, de az is lehet, hogy hiányzik az ítéletből. Olyan szavakkal jelölik, mint "minden", "sok", "néhány", "nincs", "senki" stb.
Igaz és hamis ítéletek
Egy ítélet akkor igaz, amikoraz ítéletben megerősített/tagadt jelek, tárgyak tulajdonságainak és kapcsolatainak jelenléte megfelel a valóságnak. Például: „Minden fecske madár”, „9 több mint 2” stb.
Ha az ítéletben foglalt nyilatkozat nemmegfelel a valóságnak, hamis ítélettel van dolgunk: „A nap kering a Föld körül”, „Egy kilogramm vas nehezebb, mint egy kilogramm vatta” stb. A helyes ítéletek a helyes következtetések alapját képezik.
A kétértékű logika mellett azonban, amelybenegy ítélet lehet igaz vagy hamis, létezik többdimenziós logika is. Feltételei szerint az ítélet határozatlan idejű is lehet. Ez különösen igaz a jövőbeni egyedi ítéletekre: „Holnap tengeri csata lesz / nem lesz” (Arisztotelész, „Az értelmezésről”). Ha feltételezzük, hogy ez igaz ítélet, akkor holnap nem kerülhet sor egy tengeri ütközetre. Ezért ennek meg kell történnie. Vagy fordítva: ha azt állítjuk, hogy ez az ítélet jelenleg hamis, ezzel szükségessé tesszük a holnapi tengeri ütközet ellehetetlenülését.
Ítéletek a nyilatkozat típusa szerint
Mint tudják, a nyilatkozat típusa szerint három vanmondattípusok: narratív, ösztönző és kérdő. Például az „Emlékszem egy csodálatos pillanatra” mondat narratív jellegű. Ésszerű azt feltételezni, hogy egy ilyen ítélet narratív is lenne. Bizonyos információkat tartalmaz, egy bizonyos eseményről tájékoztat.
Másrészt a kérdő mondategy kérdést tartalmaz, amely a választ is magában foglalja: „Mit készít fel számomra a következő nap?” Nem állít és nem tagad semmit. Ennek megfelelően téves az az állítás, hogy egy ilyen ítélet kérdőív. A kérdő mondat elvileg nem tartalmaz ítéletet, mivel a kérdés nem különböztethető meg az igazság / hamisság elve szerint.
A mondatok ösztönző típusa abban alakul kiabban az esetben, ha bizonyos cselekvési késztetés, kérés vagy tilalom van: "Kelj fel, próféta, és lásd, és hallgass." Ami az ítéleteket illeti, egyes kutatók szerint ezek nem szerepelnek az ilyen típusú mondatokban. Mások úgy vélik, hogy egyfajta modális ítéletről beszélünk.
Az ítélet minősége
A minőség szempontjából az ítéletek lehetnek olyanokigenlő (S jelentése P) és negatív (S nem P). Igenlő állítás esetén az alanyhoz egy állítmány segítségével bizonyos tulajdonság(ok) kapcsolódnak. Például: "Leonardo da Vinci olasz festő, építész, szobrász, tudós, természettudós, valamint feltaláló és író, a reneszánsz művészet legnagyobb képviselője."
Negatív ítélet esetén éppen ellenkezőleg, a tulajdonságot levonják a tárgyból: "James Vickery 25. képkockájának elméletének nincs kísérleti megerősítése."
Mennyiségi jellemző
A logikai érvelés lehet általános(egy adott osztály összes objektumára vonatkozik), privát (néhányra) és szinguláris (ha egyetlen példányban létező objektumról van szó). Például vitatható, hogy az olyan ítélet, mint „Minden macska szürke éjszaka”, általános lenne, mert minden macskafélét érint (az ítélet tárgya). A „Néhány kígyó nem mérgező” kijelentés a magánítélet példája. A „A Dnyeper nyugodt időben csodálatos” ítélet viszont egyetlen, mivel egy konkrét folyóról beszélünk, amely egyetlen formában létezik.
Egyszerű és összetett ítéletek
A szerkezettől függően az ítélet lehetlegyen egyszerű vagy összetett. Egy egyszerű propozíció szerkezete két kapcsolódó fogalmat (S-P) tartalmaz: "A könyv a tudás forrása." Vannak olyan ítéletek is, amelyek egy fogalommal rendelkeznek - amikor a második csak hallgatólagos: "Sötétség" (P).
Egy összetett nézet több egyszerű propozíció kombinálásával jön létre.
Az egyszerű ítéletek osztályozása
A logikai egyszerű ítéletek a következő típusúak lehetnek: attribúciós, relációkkal rendelkező ítéletek, egzisztenciális, modális.
Az attribútum (tulajdonsági ítéletek) arra irányulnakbizonyos tulajdonságok (attribútumok), tevékenységtípusok jelenlétének megerősítése / tagadása az alanyban. Ezek az ítéletek kategorikus formájúak, és nem kérdőjelezik meg őket: "Az emlősök idegrendszere az agyból, a gerincvelőből és a kivezető idegpályákból áll."
A kapcsolatokkal kapcsolatos ítéletekbenbizonyos kapcsolatok a dolgok között. Lehetnek térbeli-időbeli összefüggéseik, ok-okozati összefüggéseik stb. Például: „Jobb egy régi barát, mint két új”, „A hidrogén 22-szer könnyebb, mint a szén-dioxid”.
Az egzisztenciális ítélet egy tárgy (anyagi és eszményi) létezésének / nemlétének megállapítása: „Nincs próféta a saját hazájában”, „A Hold a Föld műholdja”.
A modális ítélet egy olyan kijelentésforma, amely egy bizonyos modális operátort tartalmaz (szükséges, jó/rossz; bizonyított, ismert/ismeretlen, tilos, hinni stb.). Például:
- „Oroszországban oktatási reformot kell végrehajtani” (aletikus modalitás - valaminek lehetősége, szükségessége).
- „Mindenkinek joga van a személyes sérthetetlenséghez” (deontikus modalitás – a társadalmi viselkedés erkölcsi normái).
- „Az állami tulajdonhoz való hanyag hozzáállás annak elvesztéséhez vezet” (axiológiai modalitás – az anyagi és szellemi értékekhez való hozzáállás).
- "Hiszünk az ártatlanságodban" (ismeretelméleti modalitás – a tudás megbízhatóságának foka).
Összetett ítéletek és logikai összefüggések típusai
Mint már említettük, az összetett ítéletek több egyszerű ítéletből állnak. A köztük lévő logikai kapcsolatok olyan technikák, mint:
- Kötőszó (és ʌ b - összekötő ítéletek). Az ítéletekben-kötőszavakban van egy csomó "és": "Egy személy és állampolgár jogainak és szabadságainak gyakorlása nem sértheti más személyek jogait és szabadságait."
- Disjunkció (a v b - diszjunktív ítéletek).A diszjunkt ítéleteket alkotóelemként, a „vagy” uniót pedig hivatkozásként használják. Például: "A felperesnek joga van növelni vagy csökkenteni a követelések összegét."
- Implikáció (a → b - ítélet-következmény).Ha egy összetett ítélet struktúrájában megkülönböztetünk egy premisszát és egy következményt, akkor vitatható, hogy az ilyen ítélet az implicitívek közé tartozik. Ebben az űrlapban hivatkozásként olyan szakszervezeteket használunk, mint például a „ha ... akkor”. Például: "Ha elektromos áram folyik át a vezetőn, a vezető felmelegszik", "Ha boldog akarsz lenni, legyen az."
- Egyenértékűség (a ≡ b – azonos ítéletek). Akkor fordul elő, ha a és b értéke megegyezik (vagy mindkettő igaz, vagy mindkettő hamis): "Az ember boldogságra van teremtve, mint a madár a repülésre."
- Tagadás (¬a, ā - ítélet-inverzió).Minden eredeti állításhoz egy összetett állítás kapcsolódik, amely tagadja az eredetit. Egy csomó „nem” segítségével hajtják végre. Ennek megfelelően, ha az eredeti állítás így néz ki: "A bika reagál a piros fényre" (a) - akkor a tagadás így hangzik: "A bika NEM reagál a vörös fényre" (¬a).
