Asioissa logiikka. Mikä on tuomio, millaisia tuomioita

Tuomio on muoto ajattelua, vakuuttavat tai kieltävät mitään olemassaolon esineitä, niiden väliset yhteydet ja niiden ominaisuudet sekä suhde esineitä.

Esimerkkejä lausuntoja: "Volga virtaa Kaspianmeren", "AS Pushkin kirjoitti runon "Vaskiratsastajasta", "Siperian tiikeri on lueteltu Red Book" jne

Rakenne tuomion

Tuomio sisältää seuraavat elementit: aihe, predikaatti, ja nivelside kvantisointi.

1. Aihe (lat subjektum -. «Kohde-etuuden») - se, kuten tuomioon, sen kohteena ( «S»).
2. Predikaatti (Latin praedicatum -. «Said") - kuvastaa objektin tunnisteen, mitä sanotaan aiheesta tuomion ( 'P').
3. Bundle - suhde kohde ( «S») ja predikaatti ( "P"). Määrittelee läsnäolon / puuttumisen aiheena omaisuuden ilmaistuna predikaatti. Ehkä se merkitsee, ja ilmaistaan "viiva" tai sanat "" ( "ei"), "on", "on", "aine", ja muut.
4. Kvantisointi (kvantisointi sana) määrittelee käsitteen ulottuvuus, johon kohteena tuomion. Se seisoo edessä aihe, mutta se voi myös olla poissa tuomiossa. Merkitään sanoja kuten "kaikki", "monta", "jotkut", "ei", "ei", ja muut.

Tosi ja vääriä

Tuomio on totta siinä tapauksessa on viitteitä, joiden ominaisuudet ja suhteet hyväksytyt asiat / evätty tuomiossa, totta. Esimerkiksi: "Kaikki pääskyset - linnut", "9 enemmän kuin 2" ja niin edelleen ..

Mikäli lausunto sisältyy tuomioon ei ole totta, olemme tekemisissä väärä ehdotus 'aurinko pyörii maapallon '' Kilosta rautaa raskaampia kuin kilo puuvillaa "ja muut oikeassa tuomio on perusteella oikean päättelyn ..

Kuitenkin, lisäksi kahden arvostettu logiikka, jossa asiassa voi olla joko tosi tai epätosi, on myös moniulotteinen logiikka. Sen ehtojen mukaisesti, tuomio voi olla vielä epävarmaa. Erityisesti se koskee tulevaisuutta yksittäisten tuomioiden "Huomenna tapahtuu / ei tapahdu merivoimien taistelu" (Aristoteles "tulkinnasta"). Jos oletamme, että tämä on todellinen ehdotus, meri taistelu huomenna ei voi tapahtua. Siksi on tarpeen, jotta se tapahtuisi. Tai päinvastoin: vaatien tuomion nykyhetkessä on väärä, me siis tee tarvittavat mahdottomuus huomisen meren taistelu.

Tuomiot tyypistä lausuman

Kuten tiedetään, tyyppi lausunnot ovat kolmenlaisia lauseita: julistava, levottomuus ja kyseenalaistamista. Esimerkiksi lause "Muistan ihana hetki" viittaa tyypin kerronnan. On suositeltavaa mukaan tällaisen tuomion myös kerronta. Se sisältää erityisiä tietoja, mukaan tiettyyn tapahtumaan.

Puolestaan kysymyslause lause sisältää kysymyksen, saada vastauksen: "Mitä tulevaisuus tuo tullessaan minulle," Samaan aikaan se ei sano mitään ja ei kiellä. Näin ollen väite, että tällainen tuomio on kysymykseen väärin. Kysyvä lause, periaatteessa ei sisällä tuomiota koska kysymys ei voida erottaa perusteella totuuden / valhe.

Incentive tyyppinen virke muodostetaan koteloon, jossa on jokin kannustava toimintaan, pyytää kielto: "Nouse, profeetta, ja Vid, ja hoitaa." Mitä tulee tuomion mielestä jotkut tutkijat, ne eivät sisälly ehdotuksiin tätä tyyppiä. Toiset uskovat, että se on eri liikennemuodon tuomiot.

Laatuarvostelu

Laadun, arviointi voi olla joko myönteinen (S on P) ja negatiivinen (S ei P). Kun kyseessä on positiiviseen päätökseen kautta jollei predikaatti kiinnitetty tiettyyn ominaisuuteen (-WA). Esimerkiksi: "Leonardo da Vinci - italialainen taidemaalari, arkkitehti, kuvanveistäjä, tiedemies, luonnontieteilijä ja keksijä ja kirjailija, suurin edustaja renessanssin."

Kieltävä tuomiossa toisaalta, omaisuus otetaan pois aiheesta: "teoria 25. rungon James Vicary ole kokeellista vahvistusta."

kvantitatiivinen luonnehdinta

Tuomiot logiikka voi olla yhteinen (liittyvät kaikki esineet tämän luokan), yksityiset (jotkut niistä) ja laite (kun puhutaan aiheesta, on vain yksi). Esimerkiksi voidaan väittää, että tällainen esitys kuin "Yöllä kaikki kissat ovat harmaita" viittaa ulkonäköön, koska se vaikuttaa kaikkien jäsenten kissan (aihe tuomion). Hyväksyminen "Jotkut käärmeet eivät ole myrkyllisiä" - esimerkki yksityisen tuomion. Puolestaan tuomiossa "Wonderful Dnieper tyynellä säällä" on yksikkö, koska puhumme tietyn joki, olemassa yhdessä muodossa.

Yksinkertaisia ja monimutkaisia tuomiot

Rakenteesta riippuen, tuomio voi olla eräänlainen yksinkertaisia tai monimutkaisia. Rakenne yksinkertainen tuomio sisältää kaksi toisiinsa käsitteet (SP): «Book - tietolähteenä". Myös tuomiot yhdellä käsite - kun toinen vain tarkoitti: "Se oli tulossa pimeä» (P).

Monimutkainen muoto muodostetaan liittämällä useita yksinkertaisia tuomion.

Luokittelu yksinkertainen asioissa

Yksinkertainen tuomioiden logiikan voi olla seuraavissa muodoissa: attribuutiotulkinnat, tuomio suhteisiin, eksistentiaalinen, modaalinen.

Ominaisuus (omaisuus-tuomio) lähetetään hyväksyttäväksi / kieltäminen asiaa tiettyihin ominaisuuksiin (määritteitä) toimintaa. Nämä tuomiot ovat kategorinen muodossa eikä kyseenalaiseksi, "nisäkkäiden hermostossa koostuu aivojen aivojen, selkäytimen ja lähtevän hermoradoissa."

Tuomioissa osalta erityisten suhteiden esineitä. Ne voivat olla ajallisesti ja kontekstissa, syy jne Esimerkiksi :. "vanha ystävä parempi kuin kaksi uutta", "Hydrogen kevyempiä hiilidioksidin 22 kertaa."

Eksistentiaalinen tuomion - tämän väitteen olemassaolosta / ei-olemassaolon aiheen (sekä materiaali- ja ihanteellinen): "Ei ole profeetta omalla maallaan", "Kuu on satelliitti Maan."

Modal ehdotus - eräänlaista hyväksynnän, johon kuului hyvin eräiden liikennemuodon operaattorin (tarvitsevat hyviä / huonoja, osoittautui tunnettujen / tuntematon, se on kiellettyä, uskon, ym.). Esimerkiksi:

• "Venäjä tarvitsee tehdä koulutusuudistus" (alethic liikennemuodon - mahdollisuus, välttämättömyys jotain).
• "Jokaisella on oikeus henkilökohtaiseen turvallisuuteen" (deontic liikennemuodon - moraalinen normeja sosiaalisen käyttäytymisen).
• "Laiminlyönti valtion omaisuuden johtaa sen menetykseen" (axiologic liikennemuodon - aineistoon liittyvät ja moraalisia arvoja).
• "Uskomme syyttömyytensä" (episteemiset liikennemuodon - luotettavuutta tiedon).

Monimutkainen sekä edellä loogisten konnektiivien

Kuten jo mainittiin, monimutkaiset tuomiot koostuvat muutamia yksinkertaisia. Loogisena niiden väliset yhteydet ovat sellaiset menetelmät kuten:

• Yhdessä (a ʌ b - yhdistävät tuomiot). Tuomiot-conjuncts on nippu "ja", "täytäntöönpano oikeuksia ja vapauksia ihminen ja kansalainen saa rikkoa oikeuksia ja vapauksia."
• Ulkopuolelle (AVB - jakamalla arvioista). Kuten osatekijät asiassa-lausekkeita käytetään sideaineena - yhdessä "tai". Esimerkiksi: "Kantaja on oikeus lisätä tai pienentää vaatimuksen."
• Johtopäätös (a → b - tuomio-vaikutus). Jos lähettämistä kohdistetaan rakenteeseen monimutkainen tuomiota ja näin ollen voitaisiin väittää, että tällainen tuomio koskee implicative. Sideaineena käytetään muodossa yhdistysten kuten "jos ... sitten". Esimerkiksi: "Jos johtimen läpi kaipaamaan sähkövirta, lanka kuumenee," "Haluatko olla onnellinen - onnellinen."
• Vastaavuuden (a ≡ b - identtiset tuomion). Se tapahtuu silloin, kun arvot a ja b ovat samat (joko molemmat tosi tai molemmat epätosi): "Ihminen on luotu onnea, kuin lintu lentää."
• Negaatio (¬A, a - tuomio-inversio). Kukin lähde liittyy lausuma yhdistelmälause joka kieltää alkuperäistä. Käyttämällä "ei" nippu. Näin ollen jos alkuperäinen lausekkeella seuraavasti: "Sonni reagoi punainen valo" (a) - epäämisen kuulostaisi: "Sonni ei vastaa punaista valoa" (¬A).