Tuomioiden logiikka.

tuomio on eräänlaista ajattelun, vakuuttavat tai kieltää mitään olemassaolon esineitä, niiden väliset yhteydet ja niiden ominaisuudet, sekä suhde esineitä.

Esimerkkejä tuomio: "Volga virtaa Kaspianmeren", "A.Pushkin kirjoitti runon "Vaskiratsastajasta", "Siperian tiikeri on lueteltu Red Book" jne

rakenne tuomioiden

tuomio sisältää seuraavat elementit: aihe, predikaatti, ja joukko quantifiers.

  1. aihe (lat. Subjektum - "taustalla») - että, kuten tuomiossa hänen aihe («S»).
  2. predikaatti (lat. Praedicatum - "sanoi") - heijastusominaiskäyrää aihe, mitä sanotaan aiheesta tuomion ("P").
  3. Bundle - suhde aihe ("S") ja predikaatti ("P").Se määrittää läsnäolo / puuttuminen kohteena omaisuuden ilmaiseman predikaatti.Ehkä se merkitsee, ja on merkitty "viiva" tai sanat "" ("ei"), "on", "on", "ydin" ym.
  4. kvantisointi (kvantisointi sanaa) määrittelee käsitteen ulottuvuus, jokaSe on aiheena tuomion.Se seisoo edessä aihe, mutta se voi myös olla poissa tuomiossa.Asiamiehet sanoja kuten "kaikki", "monet", "jotkut", "ei", "ei" ja muut.

Tosi ja epätosi tuomiot

tuomio pätee silloin, kun on viitteitä, ominaisuuksia jaliittyviä asioita hyväksytty / evätty tuomiossa, totta.Esimerkiksi: "Kaikki nielee - linnut", "9 yli 2" ja niin edelleen. D.

Mikäli lausunto sisältyy tuomiossa, ei vastaa todellisuutta, olemme tekemisissä väärä tuomio: "Aurinko kiertää maapallon""kilon rautaa raskaampia kuin kilogramma villaa" ym. oikea tuomiot ovat perusteella oikean päättelyn.

Sen lisäksi kahden arvostettu logiikka, jossa tuomio voi olla joko tosi tai epätosi, on myös moniulotteinen logiikkaa.Sen ehdot, tuomio voi vielä epävarmaa.Erityisesti se koskee tulevaisuutta yksittäisten tuomioiden, "Huomenna on / ei tapahdu Sea Battle" (Aristoteles, "ennakkoratkaisun").Olettaen, että tämä on totta ehdotus, meri taistelu huomenna ei voi tapahtua.Näin ollen on tarpeen, jotta se tapahtuisi.Tai päinvastoin: vaatien tuomion nykyhetkessä on väärä, me näin tehdä tarvittavat mahdotonta tulevaisuudessa meren taistelu.

tuomio tyypistä lausuntoja

Kuten tiedetään, tyyppi lausunnot ovat kolmenlaisia ​​lauseita: declarative, kysyvä ja motiivi.Esimerkiksi lause "Muistan ihana hetki" viittaa tyypin kerronnan.On suositeltavaa viittaavat siihen, että tällaisen tuomion olisi myös kerronta.Se sisältää tietyt tiedot, mukaan tiettyyn tapahtumaan.

puolestaan ​​kysyvä lause sisältää kysymyksen, saada vastauksen: "Mitä tulevaisuus tuo tullessaan minulle?" Tässä tapauksessa, se ei sano mitään ja ei kiellä.Näin ollen väite, että tällainen tuomio on kysymys väärin.Kysyvä lauseita periaatteessa, ei sisällä mitään lausuntoja, koska kysymys ei voida erottaa perusteella totuuden / valhe.

Incentive tyyppi virke muodostuu tapauksissa, joissa on jokin kannustava toimintaan, tai hylätä: "Nouse, profeetta, ja vid, ja hoitaa."Mitä tuomioissa, että mukaan jotkut tutkijat, ne eivät sisälly ehdotuksia tätä tyyppiä.Toiset uskovat, että se on eri liikennemuotojen tuomiot.

laatu tuomioiden

Laadun, tuomio voi olla sekä vakuuttava (S on P), ja negatiivinen (S ei P).Kun kyseessä myöntävästi tuomion, jonka predikaatti kohteelle annetaan tietty ominaisuus (-wa).Esimerkiksi: "Leonardo da Vinci - italialainen taidemaalari, arkkitehti, kuvanveistäjä, tiedemies, luonnontieteilijä ja keksijä ja kirjailija, suurin edustaja renessanssin."

Vuonna negatiivinen tuomiossa, toisaalta, omaisuus otetaan pois aihe: "teoria 25. kehyksen James Vicary ei ole kokeellista vahvistusta."

kvantitatiivinen ominaisuus

ehdotus logiikka voi olla luonteeltaan yleisiä (liittyvät kaikkien aineiden tässä luokassa), yksityinen (jotkut niistä) ja yksittäiset (puhuttaessa aiheesta, on vain yksi).Esimerkiksi, voidaan väittää, että tällainen esitys kuin "Yöllä kaikki kissat ovat harmaita" viittaa yhteistä näkemystä, koska se vaikuttaa kaikkien jäsenten kissa (aihe tuomion).Lausuma "Jotkut käärmeet eivät ole myrkyllisiä" - esimerkki yksityisen tuomion.Puolestaan ​​ehdotus "Wonderful Dnepr tyynellä säällä," eristetty, koska puhumme tietyn joki, olemassa yhdessä muodossa.

Yksinkertainen ja monimutkainen tuomioiden

rakenteesta riippuen, tuomio voi olla yksinkertainen tai monimutkainen.Rakenne yksinkertainen ehdotus sisältää kaksi liittyviä käsitteitä (SP): «Kirja - tietolähde."On myös tuomiot yksi käsite - kun toinen vain tarkoitti: "Se oli tulossa pimeä» (P).

monimutkainen muoto muodostetaan yhdistämällä muutamia yksinkertaisia ​​ehdotuksia.

luokittelu yksinkertainen tuomioiden

yksinkertainen ehdotus logiikka voi olla seuraavista: attribuutiotulkinnat, tuomio suhteisiin, eksistentiaalinen, modaali.

Taito (tuomio-ominaisuudet) lähetetään hyväksyttäväksi / olemassaolon kieltäminen tiettyjen ominaisuuksia esine (määritteitä) toimintaa.Nämä tuomiot ovat kategorinen muodossa ja ei kyseenalaisteta "nisäkkään hermosto koostuu aivot, selkäytimen ja lähtevän hermoratoja."

tuomiot osalta tiettyjen suhteita esineitä.Niillä voi olla aika-avaruuden yhteydessä syy, ja toiset. Esimerkiksi: "vanha ystävä on parempi kuin kaksi uutta", "Vety on kevyempää hiilidioksidi 22 kertaa."

eksistentiaalista ehdotus - selvitys olemassaolon / olemattomuuden aihe (sekä aineellisen ja ihanteellinen), "Ei profeetta omalla maallaan", "Kuu on satelliitti Maan."

liikennemuotojen ehdotus - muoto hyväksynnän, joista muodostuu tietyn liikennemuotojen operaattori (tarpeen, hyviä / huonoja, osoittautui tunnettujen / tuntematon, se on kiellettyä, uskon, ym.).Esimerkiksi:

  • «Venäjä tarvitsee tehdä koulutuksen uudistamisen" (alethic modaliteetti - mahdollisuus, että tarvitaan jotain).
  • «Jokaisella on oikeus henkilökohtaiseen turvallisuuteen" (deontic modaliteetti - moraalisia normeja sosiaalisen käyttäytymisen).
  • «Huolimaton suhtautuminen julkisen omaisuuden johtaa sen menetykseen" (axiological modaliteetti - aineistoon liittyvät ja henkisiä arvoja).
  • «Me uskomme syyttömyytensä" (episteemisen modaliteetti - luotettavuus tiedon).

monimutkainen tuomioiden ja tyypit looginen konnektiivien

Kuten jo todettiin, kompleksi tuomiot koostuvat muutamia yksinkertaisia.Koska loogiset yhteydet niiden välillä ovat sellaiset tekniikat kuten:

  • Konjunktio (ja ʌ b - yhdistää tuomion).Tuomiot-conjuncts on nippu "ja", "täytäntöönpano oikeuksien ja vapauksien ihmisen ja kansalaisen ei riko oikeuksia ja vapauksia."
  • disjunktio (AVB - jakamalla tuomio).Kuten osatekijät tuomion-lausekkeita käytetään sideaineena - yhdessä "tai".Esimerkiksi: "Kantaja on oikeus lisätä tai vähentää koko vaateen."
  • vaikutusta (→ b - tuomio-vaikutus).Jos rakenne monimutkainen tuomion seisoo ja lähettää tuloksen, voidaan väittää, että tämä tuomio koskee implicative.Kuten nivelside muodossa, jota liittoutumien kuin "jos ... niin".Esimerkiksi: "Jos läpi johtimen kaipaamaan sähkövirta, lanka kuumenee," "Haluatko olla onnellinen - onnellinen."
  • vastaavuus (≡ b - sama tuomiot).Se tapahtuu, kun arvo ja b ovat samoja (joko molemmat tosi tai molemmat false): "Ihminen on luotu onnea, kuin lintu lentää."
  • Denial (¬A, a - tuomio-inversio).Jokainen lähde liittyy väitteen yhdisteen julkilausuman kieltämistä alkuperäinen.Käyttämällä nivelsiteet "ei".Näin ollen, jos alkuperäinen lausunto on seuraava: "sonni reagoi punainen valo," () - kieltäminen kuulostaa: "sonni reagoi punainen valo» (¬A).