Spriedumi loģiku. Kas ir spriedums, veidi spriedumu

Spriedums ir forma domāšanas, apstiprina vai noliedz neko par esamību objektu, saites starp tiem un to īpašībām, kā arī attiecības starp objektiem.

Piemēri izteikumiem: 'Volga ietek Kaspijas jūrā "," AS Puškina uzrakstīja dzejoli "Bronzas Jātnieks", "Sibīrijas tīģeris ir minēts Sarkanajā grāmatā", utt

Struktūra sprieduma

Spriedums ietver šādus elementus: objektu, predikāts un saišu quantifier.

1. Priekšmets (lat subjektum -. «Bāzes») -, kas, kā norādīts spriedumā, tā priekšmets ( «S»).
2. Predikatīvā (latīņu praedicatum -. «Said") - atspulgs objekta tag, kas ir teikts par tēmu sprieduma ( "P").
3. Paka - attiecība starp objektu ( «S») un predikātu ( "P"). Nosaka esamību / neesamību tēmu īpašumu izteikts kā predikātu. Varbūt tas nozīmē, un tas ir norādīts ar "domuzīmi" vai vārdus "a" ( "nav"), "ir", "ir", "viela", un citi.
4. Kvantors (kvantors vārds) nosaka jēdziena, uz kuru attiecas spriedums. Tā stāv priekšā tēmu, bet tas var arī būt klāt spriedumā. Apzīmē ar vārdiem, piemēram, "visi", "daudzi", "daži", "nē", "nē", un citi.

True un viltus paziņojumi

Spriedums ir taisnība, gadījumā, ja pastāv kādas pazīmes, īpašības un attiecības posteņu apstiprināti / noraidīti spriedumā, true. Piemēram: "Visi bezdelīgas - putni", "9 vairāk nekā 2", un tā tālāk ..

Ja paziņojums ir ietverts spriedumā nav taisnība, mums ir darīšana ar viltus piedāvājums "saule griežas ap Zemi", "kilograms dzelzs smagāka nekā kilogramu kokvilnas" un citu pareizā spriedumu, ir pamats pareizu argumentāciju ..

Tomēr papildus divu vērtē loģiku, kurā spriedums var būt vai nu patiess vai nepatiess, ir arī daudzdimensiju loģika. Saskaņā ar tā noteikumiem, spriedums var būt vēl nav zināms. Īpaši tas attiecas uz nākotni atsevišķu spriedumu, "rīt notiek / nenotiek ar jūras kaujas" (Aristotelis, "Par interpretāciju"). Ja mēs pieņemam, ka tas ir patiess piedāvājums, jūras kauja rīt nevar notikt. Tādēļ ir nepieciešams, lai tā notiktu. Vai otrādi: apgalvo, ka spriedums šajā brīdī ir viltots, tādējādi to nepieciešamo neiespējamību rītdienas jūras kaujas.

Spriedumi par paziņojumu veidam

Kā zināms, tad no apgalvojumiem veids ir trīs veidu teikumu: deklaratīvs, uzbudinājums un nopratinātu. Piemēram, teikums: "Es atceros brīnišķīgs brīdis" attiecas uz no stāstījuma veida. Ir ieteicams domāt, ka šāds spriedums arī stāstījuma. Tā satur specifisku informāciju, saskaņā ar konkrētu notikumu.

Savukārt jautājuma teikums ietver jautājumu, saņemt atbildi: "Kāda nākotne Turiet par mani," Tajā pašā laikā nekas nav teikts, un nenoliedz. Līdz ar to apgalvojums, ka šāds spriedums ir jautājums nepareizi. Jautājuma teikumu, principā nesatur nevienu spriedumu, jo jautājums nav iespējams diferencēt pēc patiesības / negodīgums.

Veicināšanas veids teikuma veidojas gadījumā, ja pastāv kāds stimuls darbībai, pieprasīt aizliegumu: ". Celies, ak Pravieti un vid, un apmeklēt" Attiecībā uz spriedumu, kā uzskata daži pētnieki, tie nav iekļauti priekšlikumiem šāda veida. Citi uzskata, ka tas ir dažādas modālo spriedumu.

kvalitāte spriedums

Runājot par kvalitāti, spriedums var būt vai nu pozitīva (S ir P), un negatīva (S nav P). Gadījumā, ja apstiprinoša spriedumu, izmantojot priekšmetu predikātu pievienots konkrētam īpašumam (-wa). Piemēram: ". Leonardo da Vinci - itāļu gleznotājs, arhitekts, skulptors, zinātnieks, naturālists un izgudrotājs un rakstnieks, kas ir lielākais pārstāvis renesanses māksla"

Ar negatīvu spriedumu, no otras puses, īpašums tiek atņemts no tēmu: ". Teorija 25. rāmja James Vicary kuram nav eksperimentālās apstiprinājums"

kvantitatīvs raksturojums

Spriedumi loģika var būt kopīgs (attiecas uz visiem objektiem, kas šajā klasē), privātā (daži no tiem), un ierīce (ja runājam par šo tēmu, ir tikai viens). Piemēram, to var apgalvot, ka šāds piedāvājums kā "Naktī visi kaķi ir pelēkā" attieksies uz vispārējo izskatu, jo tas skar visus tos kaķis (priekšmets spriedumā) locekļi. Apstiprināšana "Dažas čūskas nav indīgs" - piemērs privātā spriedumu. Savukārt spriedums "Wonderful Dņepra mierīga laika" ir vienība, jo mēs runājam par vienu konkrētu upi, esošā vienā formā.

Vienkāršas un sarežģītas spriedumi

Atkarībā no konstrukcijas, spriedums var būt tipa vienkārša vai sarežģīta. Struktūra vienkāršs spriedums ir divi savstarpēji saistīti jēdzieni (SP): «rezervēšana - zināšanu avots". Ir arī spriedumi, ar vienu jēdzienu - ja otrais tikai nozīmēja: "Tas bija kļūst tumšs» (P).

Sarežģītas formas veidojas, apvienojot vairākas vienkāršas spriedumu.

Klasifikācija vienkāršas spriedumu

Vienkāršas spriedumi loģika var būt no šādiem veidiem: atribūts, spriedumu ar attiecībām, eksistenciālo, paveidus.

Atribūts (īpašums, spriedums) nosūtīts apstiprinājuma / noliegšana priekšmeta pie noteiktām īpašībām (atribūtu) darbībām. Šie spriedumi ir kategoriski forma un netiek apšaubīts, "zīdītāju nervu sistēma sastāv no smadzeņu un smadzeņu, muguras smadzeņu un izejošo nervu ceļiem."

Ar spriedumiem attiecībā uz konkrētām attiecībām starp objektiem. Tie var būt telpā un laika kontekstu, cēloņsakarības, utt Piemēram :. "Vecais draugs labāk nekā divas jaunas", "Hydrogen vieglāks oglekļa dioksīda 22 reizes."

Eksistenciālā spriedums - šis apgalvojums esamību / nonexistence priekšmeta (gan materiāls, un ideālu): "Nav pravietis savā valstī", "Mēness ir satelītu Zemes."

Modāla piedāvājums - forma apstiprināšanas, kas ietvēra klātbūtni noteiktā modālā operatora (nepieciešams labs / slikts, izrādījās pazīstams / zināms, tas ir aizliegts, es ticu, un citi.). Piemēram:

• "Krievija ir nepieciešama, lai veiktu izglītības reforma" (alethic modalitāti - iespēju, nepieciešamību kaut ko).
• "Ikvienam ir tiesības uz personas neaizskaramību" (deontic modalitāti - morāles normām sociālās uzvedības).
• "Nolaidība valsts īpašuma noved pie tā zaudēšanu" (axiologic modalitāti - saistīts ar materiāla un morāles vērtībām).
• "Mēs uzskatām, ka jūsu nevainīguma" (epistēmisks modalitātes - uzticamība zināšanu).

Sarežģītas spriedumi un loģisko connectives veidi

Kā jau minēts, kompleksa spriedumi sastāv no dažiem vienkāršiem. Tā kā loģiskos savienojumus starp tām ir tādas metodes kā:

• Saiklis (a ʌ b - savieno spriedumu). Spriedumi-conjuncts ir ķekars "un", "īstenošana tiesību un brīvību cilvēka un pilsoņa nav pārkāptas tiesības un brīvības."
• Atvienojums (AVB - dalot spriedumu). Kā veidojošie elementi soģa klauzulas tiek izmantota kā saistviela - kopā "vai". Piemēram: "Prasītājam ir tiesības palielināt vai samazināt lielumu prasības."
• Ietekme (a → b - spriedums-efekts). Ja publicēšana tiek piešķirts struktūra sarežģīta spriedumu, un līdz ar to var apgalvot, ka šāds spriedums attiecas uz implicative. Kā saistvielu izmanto formā asociāciju, piemēram, "ja ... tad". Piemēram: "Ja caur diriģents garām elektrisko strāvu, stieple uzsilst", "Vai jūs vēlaties būt laimīgs - būt laimīgam".
• Līdzvērtība (a ≡ b - identisks spriedums). Tas notiek gadījumos, kad vērtības a un b ir vienādi (vai nu abi patiess vai abi false): "Cilvēks ir radīts laimi, kā putnam lidot."
• Noliegums (¬, A - spriedums-inversija). Katrs avots ir saistīts ar paziņojumu savienojumu paziņojumu, kas noliedz oriģinālu. Izmantojot "nav" ķekars. Attiecīgi, ja sākotnējais paziņojums ir šāds: "Bullis reaģē uz sarkano gaismu" (a) - noliegums varētu izklausīties: "Bullis nereaģē uz sarkano gaismu" (¬).