Juĝoj en logiko. Kio estas la juĝo, la tipoj de juĝoj

La juĝo estas formo de pensado, asertas aŭ nei ion ajn pri la ekzisto de objektoj, la ligoj inter ili kaj liaj proprietoj, kaj ankaŭ la rilato inter objektoj.

Ekzemploj de asertoj: "La Volgo enfluas en la Kaspia Maro," "KIEL Pushkin verkis poemon "La Bronzo Sinjoro", "siberia tigro estas listigita en la Ruĝa Libro," ktp

La strukturo de la juĝo

Juĝo inkludas la sekvajn elementojn: la subjekto, predikato, kaj ligamento kvantoro.

1. Temo (lat subjektum -. «Fundamentaj») - ke, kiel komencita en la juĝo, lia temo ( «S»).
2. La predikato (latina praedicatum -. «Said") - spegulbildo de la objekto etikedo, kion oni diras pri la temo de la juĝo ( "P").
3. Pakaĵo - la kvociento inter la subjekto ( «S») kaj predikato ( "P"). Difinas la ĉeesto / foresto de la temo de proprieto esprimita kiel predikato. Eble implicas, kaj estas indikita per "streketo" aŭ vortoj "kiel" ( "ne"), "havas", "havi", "substanco", kaj aliaj.
4. Kvantoro (kvantoro vorto) difinas la medio de la koncepto, al kiu la temo de la juĝo. Ĝi staras antaŭ la subjekto, sed ĝi povas ankaŭ esti ausente en juĝo. Skribata vortoj kiel "ĉiuj", "multaj", "iu", "ne", "ne", kaj aliaj.

Veraj kaj falsaj asertoj

Juĝo estas vera en la kazo kie ekzistas neniu indiko, la proprietoj kaj rilatoj de aĵoj aprobita / neis justo, vera. Ekzemple: "La tuta hirundoj - birdoj", "9 pli ol 2" ktp ..

Se la deklaro estas enhavita en la juĝo ne estas vera, ni pritraktas falsa propozicio 'La suno rondiras ĉirkaŭ la Tero, "" A kilogramo de fero pli peza ol kilogramon da kotono "kaj aliaj dekstra juĝo estas la bazo de ĝusta rezonado ..

Tamen, aldone al la du-valora logiko, en kiu juĝo povas esti aŭ veraj aŭ falsaj, tie ankaŭ estas multdimensia logiko. Laŭ liaj terminoj, la juĝo povas esti ankoraŭ malcerta. Ĝi speciale koncernas la estontecon de individuaj reguloj, "Morgaŭ okazas / ne okazas ŝipa batalo" (Aristotelo, "Sur la interpreto"). Se ni supozas ke ĉi tiu estas vera propozicio, la maro batalo morgaŭ ne povas okazi. Sekve, estas necese fari ĝin okazi. Aŭ inverse: pretendis, ke la juĝo en la nuna momento estas falsa, ni tiel faru la necesajn neebleco morgaŭa maro batalo.

Juĝoj de la tipo de deklaro

Kiel estas konata, la tipo de deklaroj estas tri tipoj de frazoj: enunciativo, agitado kaj demandado. Ekzemple, la frazo "Mi memoras mirinda momento" rilatas al la tipo de rakonto. Estas rekomendinde sugestas ke tia juĝo ankaŭ rakonta. Ĝi enhavas specifan informon, laŭ specifa okazaĵo.

Siavice, la demanda frazo enhavas demandon, ricevas respondon al: "Kio faras la estonteco kaptis por mi," Samtempe ĝi diras nenion kaj ne neas. Laŭe, la aserto, ke tia juĝo estas demando malĝuste. Demanda frazo, principe, ne enhavas ajnan juĝo ĉar la demando ne povas diferenci surbaze de la vero / malvero.

Incentive tipo de frazo estas formita en la okazo kiam estas iu stimulo por agado, peti malpermeso: "Leviĝu, ho Profeto, kaj la vid, Atentu." Al intenco de la juĝo, en la opinio de iuj esploristoj, ili ne enhavis en la proponoj de ĉi tiu tipo. Aliaj kredas ke ĝi estas vario de modala juĝoj.

kvalito juĝo

En terminoj de kvalito, juĝo povas esti aŭ jese (S estas P) kaj negativa (S ne P). Ĉe jese juĝo, per subjekto predikato donita al iu posedaĵo (-wa). Ekzemple: "Leonardo da Vinci - itala pentristo, arkitekto, skulptisto, sciencisto, naturalisto kaj inventinto kaj verkisto, la plej granda reprezentanto de renesanco arto."

En la negativa juĝo, aliflanke, la posedaĵo estas prenita for de la temo: "Teorio de la 25-a kadro de James Vicary havas eksperimentan konfirmon."

kvanta karakterizado

Juĝoj en logiko eble estas komunaj (kiuj rilatas al ĉiuj objektoj de ĉi tiu klaso), privata (kelkaj el ili) kaj la unuo (kiam parolas pri la temo, estas nur unu). Ekzemple, ĝi povas esti argumentis ke tia propono kiel "Nokte ĉiuj katoj estas grizaj" raportos al la ĝenerala aspekto, ĉar ĝi influas la tutan membroj de la kato (la temo de la juĝo). Aprobo de la "Kelkaj serpentoj estas ne venenaj" - ekzemplo de privata juĝo. Siavice, la juĝo "Mirindaj Dnepro en trankvila vetero" estas unuo, ĉar ni parolas pri unu aparta rivero, ekzistantaj en sola formo.

Simpla kaj kompleksaj juĝoj

Depende de la strukturo, juĝo povas esti de tipo de simpla aŭ kompleksa. Strukturo simpla juĝo inkludas du interkonektitaj konceptoj (SP): «Libro - fonto de scio". Estas ankaŭ procesojn unu koncepton - kiam la dua nur volis diri: "Estis krepusko» (P).

Komplika formo estas formita per kunigo pluraj simplaj juĝo.

Klasifiko de simplaj juĝoj

Simpla juĝoj en logiko eble estas de la sekvaj formoj: atributiva, juĝo kun rilatoj, existencial, modala.

Atributo (proprieto-juĝo) alvokis aprobo / neado de la temo ĉe certaj ecoj (atributoj) agadojn. Ĉi tiuj juĝoj estas kategoria formo kaj ne pridemandis, "la mamula nerva sistemo konsistas el la cerbo de la cerbo, mjelo kaj eksiĝinta nervo vojoj."

En juĝoj kun respekto de la specifaj rilatoj inter objektoj. Ili eble havas spaco-temporal kunteksto, kaŭza, ktp Ekzemple :. "Malnova amiko pli bone ol du novaj", "hidrogeno pli malpezaj karbona dioksido de 22 fojojn."

Ekzisteca juĝo - tiu aserto de la ekzisto / neekzisto de la subjekto (ambaŭ materia kaj idealo): "Ne ekzistas profeto en sia propra lando", "La Luno estas satelito de la Tero."

Modala propono - formo de aprobo, kiu inkludis la ĉeeston de iuj modala operatoro (bezonas bonan / malbona, montriĝis konataj / nekonata, ĝi estas malpermesita, mi kredas, kaj aliaj.). Ekzemple:

• "Rusio bezonas konduki edukado reformo" (alethic kategorio - ebleco, neceso de io).
• "Ĉiu rajtas al persona sekureco" (deontic kategorio - la morala normojn de socia konduto).
• "Malsxatu de ŝtata proprieto kondukas al perdo" (axiologic kategorio - rilataj al la materialo kaj morala valoroj).
• "Ni kredas je via senkulpeco" (epistémico kategorio - la fidindeco de scio).

Kompleksaj juĝoj kaj la specoj de logikaj ligiloj

Kiel dirite, la kompleksaj juĝoj konsistas el kelkaj simplaj. Kiel la logika rilatoj inter ili estas tiaj metodoj kiel:

• Konjunkcio (a ʌ b - konektanta juĝoj). Juĝoj-conjuncts havas aron da "kaj", "Efektivigo de la rajtoj kaj liberecoj de la homo kaj civitano ne malobservi la rajtoj kaj liberecoj de aliaj."
• Disjunkcio (AVB - dividante juĝoj). Kiel la konsistigaj elementoj de la tribunala klaŭzoj estas uzataj kiel aglutinante - konjunkcio "aŭ". Ekzemple: "La akuzanto rajtas pliigi aŭ malpliigi la grandecon de la aserto."
• La implico (a → b - tribunala efiko). Se afisxo estas asignita en la strukturo komplikita juĝo kaj konsekvence, ĝi povus argumenti ke tia juĝo rilatas al implicative. Kiel la aglutinante uzita en la formo de asocioj kiel "se ... tiam". Ekzemple: "Se per la dirigento perdi la elektra fluo, la drato varmigas supre," "Ĉu vi volas esti feliĉa - esti feliĉa."
• Ekvivalento (a ≡ b - identa juĝo). Ĝi okazas en la kazo kie la valoroj de a kaj b estas la sama (aŭ ambaŭ veraj aŭ ambaŭ malvera): "La homo estas kreita por la feliĉo, kiel birdo por flugi."
• Nego (¬a, ā - tribunala inversigo). Ĉiu fonto estas rilata al la deklaro komponaĵo aserto kiu neas la originalo. Uzante "ne" aro. Laŭe, se la originala deklaro tiel: "La taŭro reagas al ruĝa lumo," (a) - la neo sonus kiel: "La taŭro ne respondas al ruĝa lumo" (¬A).