Oardielen yn logika. Wat is it oardiel, de soarten fonnissen

It oardiel is in foarm fan tinken, befestigje of wegerje wat oer it bestean fan de foarwerpen, de keppelings tusken har en harren eigenskippen, likegoed as de relaasje tusken foarwerpen.

Foarbylden fan útspraken: "De Wolga mûnet út yn de Kaspyske See," "AS Poesjkin skreau in gedicht "De Brûns Horseman", "Sibearyske tiger wurdt neamd yn de Red Book," ensfh

De struktuer fan it oardiel

Oardiel omfiemet de folgjende eleminten: it ûnderwerp, predikaat, en ligament kwantifisearder.

1. Subject (lat subjektum -. «Ûnderlizzende») - dat, sa as bedoeld yn it oardiel, syn ûnderwerp ( «S»).
2. It predikaat (Latynske praedicatum -. «Said") - in ôfspegeling fan 'e foarwerp tag, wat sein op it ûnderwerp fan it oardiel ( "P").
3. Bondel - de ferhâlding tusken it ûnderwerp ( «S») en predikaat ( "P"). Bepaalt de oanwêzigens / ûntbrekken fan it ûnderwerp fan in eigenskip útdrukt as predikaat. Miskien is it al seit, en wurdt oanjûn troch in "dash" of de wurden "a" ( "is net"), "hat", "ha", "stof", en oaren.
4. Lists (Lists wurd) definiearret de wurkingssfear fan it konsept, dêr't it ûnderwerp fan it oardiel. It is steande foar it ûnderwerp, mar it kin ek wêze ôfwêzich yn it rjucht. Oantsjutten mei wurden lykas "alle", "in protte", "wat", "nee", "nee", en oaren.

Wier en falsk útspraken

Oardiel jildt yn it gefal dêr't der gjin yndikaasje, de eigenskippen en de relaasjes fan de items goedkard / wegere yn it rjucht, wier. Bygelyks: "Alle sweltsjes - fûgels", "9 mear as 2" en sa fierder ..

As de útspraak wurdt opnommen yn it oardiel is net wier, wy te krijen mei in falske stelling 'de sinne draait om de ierde, "" In kilo fan izer swierder as in kilogram fan katoen "en oare rjochter oardiel binne de basis fan krekte ferstân ..

Lykwols, neist de twa-wurdearre logika, dêr't oardiel kin wêze itsij wier of net wier, der is ek in multi-dimensionale logika. Neffens syn betingsten, it oardiel kin noch ûnwis. Benammen it om de takomst fan yndividuele oardielen, "Moarn bart / bart net in seeslach" (Aristoteles, "Op de ynterpretaasje"). As wy der fan út dat dit in wiere stelling, de see striid moarn kin net barre. Dêrom is it nedich om it barre. Of oarsom: beweare dat it oardiel yn de hjoeddeiske momint is falsk, wy dêrmei dogge de nedige ûnmooglikheid fan moarn syn see striid.

Oardielen op it type ferklearring

Lykas bekend, it type fan de stellingen binne trije soarten sentences: declarative, agitation en freegjen. Bygelyks, de sin "Ik wit noch in prachtich momint 'ferwiisd nei it type fan ferheljende. It is oan te rieden om te suggerearjen dat sa'n oardiel soe ek ferheljende. It befettet spesifike ynformaasje, neffens in bepaalde soart barren.

Yn beurt, de interrogative sin befettet in fraach, krij in antwurd op: "Wat docht de takomst hold foar my," Tagelyk dat seit neat en net ûntkenne. Accordingly, de eask dat sa'n oardiel is in fraach ferkeard. Freegjend sin, yn begjinsel, befettet gjin oardiel omdat de fraach kin net differinsjearre op basis fan 'e wierheid / falskens.

Stimulearringsregeling type sin is foarme yn it gefal dêr't der wat stimulâns om aksje, freegje in ban: "Jow dy op, o profeet, en de vid, en bywenje oan." Oangeande it oardiel, yn 'e miening fan guon ûndersikers, se binne net oanwêzich is yn' e útstellen fan dit type. Oaren tinke dat it giet om in ferskaat oan modale oardielen.

kwaliteit oardiel

Op it mêd fan kwaliteit, oardiel kin itsij affirmative (S is P), en negatyf (S is gjin P). Yn it gefal fan 'e befêstigjend oardiel, fia ûnderwerp predikaat ferbûn oan in bepaalde eigenskip (-wa). Bygelyks: "Leonardo da Vinci - Italjaansk skilder, arsjitekt, byldhouwer, wittenskipper, natoerûndersiker en útfiner en skriuwer, de grutste fertsjintwurdiger fan Renaissance keunst."

Yn de negative oardiel, oan 'e oare kant, de eigenskip wurdt weinommen út it ûnderwerp: "Theory fan de 25e frame fan Jakobus Vicary hat gjin eksperimintele befêstiging."

kwantitative typearring

Oardielen yn logika kin mienskiplik (dy't ferbân hâlde mei alle objekten fan dizze klasse), privee (guon fan har) en de ienheid (doe't praten oer it ûnderwerp, der is mar ien). Bygelyks, kin wurde oanfierd dat sa'n stelling as "By nacht alle katten binne griis" sil ferwize nei it algemiene uterlik, omdat it beynfloedet alle leden fan de kat (it ûnderwerp fan it oardiel). Goedkarring fan de "Guon slangen binne net giftich" - in foarbyld fan partikuliere oardiel. Yn beurt, it oardiel 'Wonderful Dnjepr yn rêstige waar "is in ienheid, om't wy it oer ien bepaald rivier, besteande út ien foarm.

Ienfâldich en komplekse oardielen

Ofhinklik fan 'e struktuer, oardiel kin fan in soarte fan simpele of kompleks. Structure ienfâldige oardiel omfiemet twa inoar ferbûn begripen (SP): «Boek - in boarne fan kennis". Der binne ek oardielen mei ien konsept - doe't de twadde allinne betsjutte: "It wie getting tsjuster» (P).

Yngewikkelde foarm wurdt foarme troch oansluting ferskate simpel oardiel.

Yndieling fan ienfâldige oardielen

Simple oardielen yn logika kin wêze fan de neikommende foarmen: attributief, oardiel mei relaasjes, eksistinsjele, modale.

Attribút (eigendom-oardiel) ferstjoerd foar goedkarring / ûntkenning fan it ûnderwerp op bepaalde eigenskippen (attributen) aktiviteiten. Dy oardielen binne kategoaryske foarm en net frege, "it mammalian senuwstelsel bestiet út it brein fan it brein, rêgemurch en útgeande zenuw learlinen."

Yn oardielen oan respekt fan de spesifike relaasjes tusken foarwerpen. Se meie hawwe in spatio-tydlike kontekst, kausale, ensfh Bygelyks :. "Alde freon better as twa nije", "Hydrogen lichter koalstofdiokside by 22 kear."

Eksistinsjele oardiel - dy bewearing fan it bestean / nonexistence fan it ûnderwerp (sawol materiaal en ideaal): "Der is gjin profeet yn syn eigen lân", "De moanne is in satellyt fan de Ierde."

Modal stelling - in foarm fan goedkarring, dêr't ek de oanwêzigens fan bepaalde modale operator (nedich goede / bad, bewiisde bekend / ûnbekend, is it ferbean, ik leau, en oaren.). Bygelyks:

• "Ruslân moat te fieren ûnderwiis herfoarming" (alethic modality - mooglikheid, needsaak fan wat).
• "Elk hat it rjocht op foarsjenning of persoan" (deontic modality - de morele noarmen fan sosjale gedrach).
• "Fertutearzing fan stateterrein liedt ta syn ferlies" (axiologic modality - ferbân mei it materiaal en morele wearden).
• "Wy leauwe yn dyn ûnskuld" (epistemic modality - de betrouberens fan kennis).

Komplekse fonnissen en de soarten logyske connectives

Lykas al sein, de komplekse oardielen besteane út in pear ienfâldich. As de logyske ferbinings tusken harren binne sokke metoaden as:

• Bynwurd (a ʌ b - ferbinen oardielen). Oardielen-conjuncts hawwe in bosk "en", "Utfiering fan 'e rjochten en frijheden fan de minske en de boarger sil net yn striid mei de rjochten en frijheden fan oaren."
• Disjunction (AvB - dielen oardielen). As de Constituent eleminten fan it oardiel-sprektaal wurde brûkt as bynmiddel - konjunksje "or". Bygelyks: "De fersiker hat it rjocht om Ferlytsje of fergrutsje de grutte fan 'e eask."
• De oanbefelingen (a → b - oardiel-effekt). As detasjearring wurdt tawiisd is oan it struktuer complicated oardiel en dus, dat it koe wurde oanfierd dat sa'n oardiel him ferhâldt ta implicative. As it bynmiddel brûkt wurdt yn 'e foarm fan ferienings sa as "as ... dan". Bygelyks: "As troch de dirigent misse de elektryske stroom, de tried verwarmt," "Wolle jo wêze bliid - wês bliid."
• Lykweardigens (a ≡ b - identike oardiel). It fynt plak yn it gefal dêr't de wearden fan in en b binne itselde (of beide wier of beide false): "De minske is makke foar lok, as in fûgel oan fleanen."
• Ûntkenning (¬a, a - rjucht-omkearing). Elts boarne wurdt yn ferbân brocht mei de ferklearring gearstalde útspraak dat ûntkent it orizjineel. Troch it gebrûk fan "net" stel. Accordingly, as de oarspronklike útspraak as folget: "De bolle reagearret nei in reade ljocht," (a) - de ûntkenning soe klinkt as: "De bolle net werom stjoerd reade ljocht" (¬A).