Sentenzi fi loġika. X'inhu s-sentenza, it-tipi ta 'sentenzi

Is-sentenza hija forma ta 'ħsieb, jaffermaw jew tiċħad xejn dwar l-eżistenza ta' oġġetti, ir-rabtiet bejniethom u l-proprjetajiet tagħhom, kif ukoll ir-relazzjoni bejn oġġetti.

Eżempji ta 'dikjarazzjonijiet: "flussi Il Volga fil-Baħar Kaspju," "KIF Pushkin kiteb poeżija "Il-Horseman Bronż", "tiger Siberian hija elenkata fil-Ktieb l-Aħmar," eċċ

L-istruttura tas-sentenza

Sentenza jinkludi l-elementi li ġejjin: is-suġġett, relattivi, u quantifier ligament.

1. Suġġett (lat subjektum -. "Sottostanti") - li, kif iddikjarat fis-sentenza, suġġett tagħha ( "S").
2. Il relattivi (Latin praedicatum -. «Said") - riflessjoni tal-lametta oġġett, dak li qal dwar is-suġġett tas-sentenza ( "P").
3. Bundle - il-proporzjon bejn is-suġġett ( "S") u relattivi ( "P"). Jiddetermina l-preżenza / assenza tas-suġġett ta 'proprjetà espress bħala relattivi. Forsi dan jimplika, u hija indikata permezz ta ' "sing" jew il-kliem "ta'" ( "mhijiex"), "għandha", "għandhom", "sustanza", u oħrajn.
4. Quantifier (kelma quantifier) jiddefinixxi l-ambitu tal-kunċett, li fiha s-suġġett tas-sentenza. Huwa wieqaf quddiem tas-suġġett, iżda jista 'jkun ukoll assenti fil-sentenza. Murija bis kliem bħal "kollha", "ħafna", "xi", "le", "le", u oħrajn.

stqarrijiet veri u foloz

Sentenza huwa veru fil-każ fejn ikun hemm kwalunkwe indikazzjoni, il-proprjetajiet u relazzjonijiet ta 'oġġetti approvati / miċħuda fis-sentenza, vera. Per eżempju: "Il-tibla - għasafar", "9 aktar minn 2" u hekk ..

Jekk id-dikjarazzjoni tinsab fis-sentenza mhux veru, aħna qed jittrattaw ma proposition falza "ix-xemx iddur id-Dinja," "A kilo ħadid itqal minn kilogramma tal-qoton" u s-sentenza dritt ieħor huma il-bażi ta 'raġunament korretta ..

Madankollu, minbarra l-loġika żewġ vvalutati, li fiha sentenza jista 'jkun jew vera jew falza, hemm ukoll loġika multi-dimensjonali. Skont kliemu, is-sentenza jista 'jkun għadu inċert. Speċjalment din tikkonċerna l-futur ta 'sentenzi individwali, "Għada jiġri / ma jiġri battalja navali" (Aristotli, "Fuq l-interpretazzjoni"). Jekk nassumu li dan huwa proposition veru, il-battalja baħar għada ma jista 'jiġri. Għalhekk, huwa meħtieġ biex dan iseħħ. Jew viċi versa: jallegaw li s-sentenza fil-mument preżenti hija falza, aħna b'hekk jagħmlu l-impossibbiltà meħtieġa ta 'għada battalja baħar.

Sentenzi dwar it-tip ta 'dikjarazzjoni

Kif inhu magħruf, it-tip ta 'dikjarazzjonijiet huma tliet tipi ta' sentenzi: dikjarattiva, aġitazzjoni u interrogazzjoni. Per eżempju, is-sentenza "Niftakar mument mill-isbaħ" jirreferi għat-tip ta 'narrattiva. Huwa rakkomandabbli li tissuġġerixxi li tali sentenza tkun narrattiva wkoll. Fiha informazzjoni speċifika, skond ma 'avveniment speċifiku.

Min-naħa tagħhom, is-sentenza interrogative fih kwistjoni, tikseb risposta għal: "X'tagħmel l-istiva futur għalija," Fl-istess ħin li jgħid xejn u ma tikkontestax. Għaldaqstant, il-pretensjoni li tali sentenza hija kwistjoni b'mod mhux korrett. sentenza interrogative, fil-prinċipju, ma tinkludix sentenza minħabba li l-kwistjoni ma jista 'jiġi differenzjat abbażi tal-verità / falsità.

tip inċentiv ta 'sentenza hija ffurmata fil-każ fejn ikun hemm xi inċentiv għal azzjoni, jitlob projbizzjoni: ". Arise, O Profeta, u l-vid, u jattendu għal" Fir-rigward tal-imsemmija sentenza, fl-opinjoni ta 'xi riċerkaturi, huma ma jinsabux fil-proposti ta' dan it-tip. Oħrajn jemmnu li huwa varjetà ta 'sentenzi modali.

sentenza kwalità

F'termini ta 'kwalità, sentenza tista' tkun jew pożittiva (S hija P), u negattiva (S mhuwiex P). Fil-każ tas-sentenza affermattiv, permezz relattivi suġġett mehmuża ma ċerta proprjetà (-wa). Per eżempju: ". Leonardo da Vinci - Taljan pittur, perit, skultur, xjenzat, naturalista u inventur u kittieb, l-akbar rappreżentant ta 'l-arti tar-Rinaxximent"

Fis-sentenza negattiv, min-naħa l-oħra, il-proprjetà hija meħuda 'il bogħod mis-suġġett: ". Teorija tal-qafas 25 ta' James Vicary m'għandha l-ebda konferma sperimentali"

karatterizzazzjoni kwantitattiva

Sentenzi fi loġika jista 'jkun komuni (dwar oġġetti kollha ta' din il-klassi), privati (xi wħud minnhom) u l-unità (meta wieħed jitkellem dwar is-suġġett, hemm biss wieħed). Per eżempju, jista 'jiġi argumentat li tali proposition bħala "Bil-lejl qtates kollha huma griżi" se tirreferi għall-dehra ġenerali, minħabba li din taffettwa membri kollha tal-qattus (is-suġġett tas-sentenza). Approvazzjoni tal-"Xi sriep mhumiex velenużi" - eżempju ta 'sentenza privat. Min-naħa tagħhom, is-sentenza "Dnieper Wonderful fl-temp kalm" hija unità, peress li aħna qed nitkellmu dwar wieħed xmara partikolari, li jipprevalu fi formola waħda.

sentenzi sempliċi u kumplessi

Jiddependi fuq l-istruttura, sentenza tista 'tkun ta' tip ta 'sempliċi jew kumplessi. Struttura sentenza sempliċi jinkludi żewġ kunċetti interkonnessi (SP): «Ktieb - sors ta 'għarfien". Hemm ukoll sentenzi bi kunċett wieħed - meta t-tieni maħsuba biss: "Kien jkollna» skur (P).

forma kkumplikata hija ffurmata billi jingħaqad sentenza sempliċi diversi.

Klassifikazzjoni ta 'sentenzi sempliċi

sentenzi sempliċi fil-loġika jista 'jkun mill-forom li ġejjin: attributive, sentenza b'relazzjonijiet, eżistenzjali, modali.

Attribut (proprjetà-sentenza) mibgħuta għall-approvazzjoni / ċaħda tas-suġġett f'ċerti proprjetajiet (attributi) attivitajiet. Dawn is-sentenzi huma forma kategorika u mhux mistoqsi, "is-sistema nervuża mammiferi tikkonsisti fil-moħħ tal-moħħ, korda spinali u mogħdijiet tan-nervituri ħerġin."

F'sentenzi rigward tar-relazzjonijiet speċifiċi bejn oġġetti. Huma jista 'jkollhom f'kuntest spazjotemporali, kawżali, eċċ Per eżempju :. "ħabib antik aħjar minn żewġ ġodda", "Idroġenu dijossidu tal-karbonju eħfef minn 22 darbiet."

Eżistenzjali sentenza - din id-dikjarazzjoni ta 'l-eżistenza / nonexistence tas-suġġett (kemm materjali kif ukoll ideali): "M'hemm l-ebda profeta fil-pajjiż tiegħu stess", "Il-Qamar huwa satellita tal-pjaneta."

Modali propożizzjoni - forma ta 'approvazzjoni, li jinkludi l-preżenza ta' ċerti operatur modali (bżonn tajba / ħażina, ppruvat magħruf / mhux magħrufa, huwa pprojbit, nemmen, u oħrajn.). Per eżempju:

• "Ir-Russja trid twettaq riforma tal-edukazzjoni" (alethic modalità - possibbiltà, in-neċessità ta 'xi ħaġa).
• "Kulħadd għandu d-dritt għas-sigurtà tal-persuna" (komodalità deontic --normi morali ta 'kondotta soċjali).
• "Negliġenza ta 'proprjetà statali twassal għal telf tagħha" (axiologic modalità - relatati mal-materjal u l-valuri morali).
• "Aħna nemmnu fil-innoċenza tiegħek" (epistemic modalità - l-affidabilità ta 'għarfien).

sentenzi kumplessi u t-tipi ta connectives loġiku

Kif diġà msemmi, is-sentenzi kumplessi jikkonsisti minn sempliċi ftit. Peress li l-konnessjonijiet loġika bejniethom huma metodi bħal dawn bħal:

• Flimkien (a ʌ b - konnessjoni sentenzi). Sentenzi-conjuncts jkollhom mazz ta ' "u", "L-implimentazzjoni tad-drittijiet u l-libertajiet tal-bniedem u ċittadin ma għandhomx jiksru d-drittijiet u l-libertajiet ta' ħaddieħor."
• Disjunction (AVB - ikun diviż sentenzi). Peress li l-elementi kostitwenti tar-sentenza-klawsoli huma użati bħala legatur - flimkien "jew". Per eżempju: "L-attur għandu d-dritt li jżid jew inaqqas id-daqs tat-talba."
• L-implikazzjoni (a → b - sentenza effett). Jekk kollokament huwa allokat fis-sentenza istruttura ikkumplikata u konsegwentement, jista 'jiġi argumentat li tali sentenza tirrigwarda implicative. Peress li l-legaturi użat fil-forma ta 'assoċjazzjonijiet bħal "jekk ... imbagħad". Per eżempju: "Jekk permezz tal-konduttur li titlef il-kurrent elettriku, il-wajer jisħon," "Do inti tixtieq li jkunu kuntenti - jkunu kuntenti".
• Ekwivalenza (a ≡ b - sentenza identiċi). Huwa jieħu post fil-każ fejn il-valuri ta 'ub huma l-istess (jew tnejn vera jew it-tnejn falza): "Man hija maħluqa għall-kuntentizza, bħal għasfur li jtajru."
• Negazzjoni (¬ å, à - sentenza-inverżjoni). Kull sors huwa assoċjat mad-dikjarazzjoni kompost dikjarazzjoni li tiċħad l-oriġinali. Bl-użu "mhux" bukkett. Għaldaqstant, jekk id-dikjarazzjoni oriġinali kif ġej: "Il-barri jirreaġixxi għal dawl aħmar," (a) - l-ċaħda tkun ħoss bħal: "Il-barri ma jirrispondix għal dawl aħmar" (¬ å).