Tuomiot logiikassa. Mikä on tuomio, tuomiotyypit

Sisällysluettelo:

Tuomiot logiikassa. Mikä on tuomio, tuomiotyypit
Tuomiot logiikassa. Mikä on tuomio, tuomiotyypit
Anonim

Tuomio on ajattelun muoto, joka vahvistaa tai kieltää jotain esineiden olemassaolosta, niiden välisistä yhteyksistä ja niiden ominaisuuksista sekä esineiden välisistä suhteista.

Esimerkkejä tuomioista: "Volga virtaa Kaspianmereen", "A. S. Pushkin kirjoitti runon "Pronssiratsumies", "Ussuri-tiikeri on lueteltu punaisessa kirjassa" jne.

Tuomion rakenne

Tuomio sisältää seuraavat elementit: subjekti, predikaatti, konnektiivi ja kvantori.

mikä on tuomio
mikä on tuomio
  1. Aihe (lat. subjektum - "perustainen") - mitä tässä tuomiossa sanotaan, sen aihe ("S").
  2. Predikaatti (lat. praedicatum - "sanoi") - heijastus subjektin attribuutista, mitä sanotaan tuomion aiheesta ("P").
  3. Linkki on subjektin ("S") ja predikaatin ("P") välinen suhde. Määrittää minkä tahansa predikaatissa ilmaistun ominaisuuden olemassaolon / poissaolon subjektin. Se voidaan sekä vihjata että ilmaista viivamerkillä tai sanoilla "on" ("ei ole"), "on", "on", "olennainen" jne.
  4. Kvantifier (kvantitorisana) määrittää käsitteen laajuuden, johon tuomion kohde kuuluu. Seisoi kohteen edessä, mutta voi myös olla poissatuomio. Ilmaistaan sanoilla, kuten "kaikki", "monet", "jotkut", "ei mitään", "ei mitään" jne.

Oikeat ja väärät tuomiot

Tuomio on tosi, kun tuomiossa vahvistettujen/kiellettyjen merkkien, ominaisuuksien ja esineiden suhteiden läsnäolo vastaa todellisuutta. Esimerkiksi: "Kaikki pääskyset ovat lintuja", "9 on enemmän kuin 2" jne.

logiikan tuomioita
logiikan tuomioita

Jos tuomiossa oleva väite ei pidä paikkaansa, kyseessä on väärä tuomio: "Aurinko kiertää maata", "Kilo rautaa on raskaampaa kuin kilo puuvillaa" jne. Oikeat tuomiot muodostavat perustan oikeille johtopäätöksille.

Kaksiarvoisen logiikan lisäksi, jossa tuomio voi olla joko tosi tai epätosi, on olemassa myös moniulotteinen logiikka. Tuomio voi ehtojensa mukaan olla myös toistaiseksi voimassa oleva. Tämä pätee erityisesti tuleviin yksittäisiin tuomioihin: "Huomenna on / ei tapahdu meritaistelua" (Aristoteles, "Tulkinnasta"). Jos oletamme, että tämä on oikea tuomio, meritaistelu ei voi olla huomenna. Siksi sen on tapahduttava. Tai päinvastoin: väittämällä, että tämä tuomio on tällä hetkellä väärä, teemme siten välttämättömäksi huomisen meritaistelun mahdottomaksi.

tuomio on
tuomio on

Arviot lausuntotyypin mukaan

Kuten tiedätte, lausunnon tyypin mukaan on olemassa kolmenlaisia lauseita: kertova, kannustava ja kysely. Esimerkiksi lause "muistan ihanan hetken" viittaanarratiiviseen tyyppiin. On järkevää olettaa, että tällainen tuomio olisi myös kerronnallinen. Se sisältää tiettyjä tietoja, raportoi tietyn tapahtuman.

Kyselylause puolestaan sisältää kysymyksen, joka sisältää vastauksen: "Mitä tuleva päivä valmistaa minulle?" Se ei väitä eikä kiellä mitään. Näin ollen väite, jonka mukaan tällainen tuomio on kyseenalainen, on virheellinen. Kysymyslause ei periaatteessa sisällä tuomiota, koska kysymystä ei voida erottaa totuus/valhetta -periaatteen mukaan.

esimerkkejä tuomioista
esimerkkejä tuomioista

Kannustintyyppiset lauseet muodostuvat, kun on olemassa tietty impulssi toimia, pyyntö tai kielto: "Nouse, profeetta, katso ja kuuntele." Mitä tulee tuomioihin, joidenkin tutkijoiden mukaan ne eivät sisälly tämäntyyppisiin lauseisiin. Toiset uskovat, että puhumme eräänlaisesta modaalista tuomiosta.

oikea tuomio
oikea tuomio

Tuomion laatu

Laadun näkökulmasta arviot voivat olla joko myöntäviä (S on P) tai kielteisiä (S ei ole P). Myönteisen väitteen tapauksessa subjektiin liitetään tietty ominaisuus tai ominaisuudet predikaatin avulla. Esimerkiksi: "Leonardo da Vinci on italialainen taidemaalari, arkkitehti, kuvanveistäjä, tiedemies, luonnontieteilijä sekä keksijä ja kirjailija, suurin renessanssitaiteen edustaja."

Päinvastoin, negatiivisessa ehdotuksessa ominaisuus vähennetään aiheesta:kokeellinen vahvistus.”

Kvantitatiiviset ominaisuudet

Logiikassa arviot voivat olla yleisiä (jotka viittaavat kaikkiin tietyn luokan objekteihin), yksityisiä (joihinkin niistä) ja yksittäisiä (kun kyse on objektista, joka on olemassa yhdessä kopiossa). Voidaan esimerkiksi väittää, että tuomio, kuten "Kaikki kissat ovat harmaita öisin", olisi yleinen, koska se koskee kaikkia kissaeläimiä (tuomion aihe). Lause "Jotkut käärmeet eivät ole myrkyllisiä" on esimerkki yksityisestä tuomiosta. Tuomio "Dnepri on ihana tyynellä säällä" puolestaan on yksittäinen, koska puhumme yhdestä tietystä joesta, joka on olemassa yhdessä muodossa.

Yksinkertaiset ja monimutkaiset tuomiot

Rakenteesta riippuen tuomio voi olla yksinkertainen tai monimutkainen. Yksinkertaisen ehdotuksen rakenne sisältää kaksi toisiinsa liittyvää käsitettä (S-P): "Kirja on tiedon lähde." On myös tuomioita yhdellä käsitteellä - kun toinen on vain implisiittinen: "Pimeys" (P).

Monimutkainen muoto muodostuu yhdistämällä useita yksinkertaisia lauseita.

Yksinkertaisten tuomioiden luokittelu

Yksinkertaiset logiikan arviot voivat olla seuraavan tyyppisiä: attribuutiivinen, suhteita sisältävät tuomiot, eksistentiaaliset, modaaliset.

Attribuutit (ominaisuusarvioinnit) pyrkivät vahvistamaan/kiistämään, että esineellä on tiettyjä ominaisuuksia (attribuutteja), toimintoja. Näillä tuomioilla on kategorinen muoto, eikä niitä kyseenalaista:”Nisäkkäiden hermosto koostuu aivoista, selkäytimestäaivot ja lähtevät hermoreitit."

Relaatioarviot huomioivat tiettyjä objektien välisiä suhteita. Niillä voi olla tila-ajallinen konteksti, kausaali jne. Esimerkiksi: "Vanha ystävä on parempi kuin kaksi uutta", "Vety on 22 kertaa kevyempää kuin hiilidioksidi."

oikea tuomio
oikea tuomio

Eksistentiaalinen tuomio on toteamus esineen olemassaolosta/ei-olemassaolosta (sekä materiaalista että ideaalista): "Omassa maassaan ei ole profeettaa", "Kuu on Maan satelliitti."

Modaaliehdotus on lausunnon muoto, joka sisältää tietyn modaalioperaattorin (tarpeellinen, hyvä/huono; todistettu, tunnettu/tuntematon, kielletty, usko jne.). Esimerkki:

  • "Venäjällä on välttämätöntä toteuttaa koulutusuudistus" (aleettinen modaliteetti - mahdollisuus, tarve johonkin).
  • "Jokaisella on oikeus henkilökohtaiseen koskemattomuuteen" (deonttinen modaalisuus – sosiaalisen käyttäytymisen moraaliset standardit).
  • "Huolimaton suhtautuminen v altion omaisuuteen johtaa sen menettämiseen" (aksiologinen modaalisuus - suhtautuminen aineellisiin ja henkisiin arvoihin).
  • "Uskomme syyttömyytesi" (episteeminen modaalisuus - tiedon luotettavuuden aste).

Monimutkaiset tuomiot ja loogiset liitännät

Kuten jo todettiin, monimutkaiset tuomiot koostuvat useista yksinkertaisista tuomioista. Loogiset linkit niiden välillä ovat sellaisia temppuja kuin:

  • Konjunktio (ja ʌ b ovat yhdistäviä lauseita). Yhdistelmätuomioissa on joukko "ja":"Ihmis- ja kansalaisoikeuksien ja vapauksien käyttäminen ei saa loukata muiden oikeuksia ja vapauksia."
  • Disjunction (a v b – disjunktiiviset tuomiot). Erillisiä tuomioita käytetään osatekijöinä, ja liitosta "tai" käytetään linkkinä. Esimerkiksi: "Kantajalla on oikeus suurentaa tai pienentää vaateiden kokoa."
  • implikaatio (a → b – tuomio-seuraus). Jos monimutkaisen tuomion rakenteessa erotetaan premissi ja seuraus, niin voidaan väittää, että tällainen tuomio kuuluu implikatiivisiin. Linkkinä tässä muodossa käytetään liittoja, kuten "jos … sitten". Esimerkiksi: "Jos sähkövirta kulkee johtimen läpi, johdin lämpenee", "Jos haluat olla onnellinen, olkoon niin."
  • Vastaava (a ≡ b – identtiset tuomiot). Esiintyy, kun a ja b ovat samat (joko molemmat ovat tosia tai molemmat ovat vääriä): "Ihminen on tehty onnelliseksi, kuten lintu on tehty lentämään."
  • tuomion laatu
    tuomion laatu
  • Negaatio (¬a, ā – tuomio-inversio). Jokaiseen alkuperäiseen lauseeseen liittyy yhdistelmälause, joka kieltää alkuperäisen lauseen. Se suoritetaan "ei"-joukon avulla. Vastaavasti, jos alkuperäinen lausunto näyttää tältä: "Härkä reagoi punaiseen valoon" (a) - silloin kieltäminen kuulostaa tältä: "Sonni EI reagoi punaiseen valoon" (¬a).

Suositeltava: