Spriedumi loģikā. Kas ir spriedums, spriedumu veidi

Satura rādītājs:

Spriedumi loģikā. Kas ir spriedums, spriedumu veidi
Spriedumi loģikā. Kas ir spriedums, spriedumu veidi
Anonim

Spriedums ir domāšanas veids, kas kaut ko apstiprina vai noliedz par objektu esamību, par sakarībām starp tiem un to īpašībām, kā arī par attiecībām starp objektiem.

Spriedumu piemēri: “Volga ietek Kaspijas jūrā”, “A. S. Puškins uzrakstīja dzejoli "Bronzas jātnieks", "Usūrijas tīģeris ir iekļauts Sarkanajā grāmatā" utt.

Sprieduma struktūra

Spriedumā ir ietverti šādi elementi: priekšmets, predikāts, savienojums un kvantors.

kas ir spriedums
kas ir spriedums
  1. Subjekts (lat. subjektum - "pamatā") - šajā spriedumā teiktais, tā priekšmets ("S").
  2. Predikāts (lat. praedicatum - "teica") - subjekta atribūta atspoguļojums, par sprieduma priekšmetu teikto ("P").
  3. Saite ir saite starp subjektu ("S") un predikātu ("P"). Nosaka jebkura predikātā izteiktas īpašības subjekta esamību / neesamību. To var gan netieši norādīt, gan norādīt ar domuzīmi vai vārdiem “ir” (“nav”), “ir”, “ir”, “essence” utt.
  4. Kvantifikators (kvantifikatora vārds) nosaka jēdziena apjomu, pie kura pieder sprieduma subjekts. Nostājas objekta priekšā, bet var arī nebūt iekšāspriedums. Apzīmē ar tādiem vārdiem kā "visi", "daudzi", "daži", "nav", "neviens" utt.

Patiesi un nepatiesi spriedumi

Spriedums ir patiess, ja spriedumā apstiprināto/noliegto objektu pazīmju, īpašību un attiecību klātbūtne atbilst realitātei. Piemēram: “Visas bezdelīgas ir putni”, “9 ir vairāk nekā 2” utt.

spriedumi loģikā
spriedumi loģikā

Ja spriedumā ietvertais apgalvojums nav patiess, mums ir darīšana ar nepatiesu spriedumu: “Saule griežas ap Zemi”, “Kilograms dzelzs ir smagāks par kilogramu vates” utt. Pareizi spriedumi veido pareizu secinājumu pamatu.

Tomēr papildus divu vērtību loģikai, kurā spriedums var būt patiess vai nepatiess, pastāv arī daudzdimensionāla loģika. Saskaņā ar tā noteikumiem spriedums var būt arī beztermiņa. Īpaši tas attiecas uz turpmākajiem vienreizējiem spriedumiem: “Rīt būs / nenotiks jūras kauja” (Aristotelis, “Par interpretāciju”). Ja pieņemam, ka tas ir patiess spriedums, tad jūras kauja nevar nenotikt rīt. Tāpēc tam ir jānotiek. Vai arī otrādi: apgalvojot, ka šis spriedums pašlaik ir nepatiess, mēs padarām nepieciešamu rītdienas jūras kaujas neiespējamību.

spriedums ir
spriedums ir

Spriedumi pēc paziņojuma veida

Kā jūs zināt, atkarībā no paziņojuma veida ir trīs veidu teikumi: stāstošs, stimulējošais un jautājošs teikums. Piemēram, teikums "Es atceros brīnišķīgu mirkli" attiecas uzuz stāstījuma veidu. Ir pamats uzskatīt, ka šāds spriedums arī būtu stāstošs. Tas satur noteiktu informāciju, ziņo par noteiktu notikumu.

Savukārt jautājošais teikums satur jautājumu, kas ietver atbildi: "Ko man sagatavo nākamā diena?" Tas neko ne apgalvo, ne noliedz. Attiecīgi apgalvojums, ka šāds spriedums ir nopratinošs, ir kļūdains. Pratināšanas teikums principā nesatur spriedumu, jo jautājumu nevar atšķirt pēc patiesības/nepatiesības principa.

spriedumu piemēri
spriedumu piemēri

Stimulējošais teikumu veids veidojas, kad ir zināms impulss darbībai, lūgums vai aizliegums: "Celies, praviet, redzi un klausies." Kas attiecas uz spriedumiem, pēc dažu pētnieku domām, tie nav ietverti šāda veida teikumos. Citi uzskata, ka mēs runājam par sava veida modāliem spriedumiem.

patiess spriedums
patiess spriedums

Sprieduma kvalitāte

No kvalitātes viedokļa spriedumi var būt vai nu apstiprinoši (S ir P), vai negatīvi (S nav P). Apstiprinoša priekšlikuma gadījumā ar predikāta palīdzību subjektam tiek piesaistīta noteikta īpašība(-as). Piemēram: "Leonardo da Vinči ir itāļu gleznotājs, arhitekts, tēlnieks, zinātnieks, dabaszinātnieks, kā arī izgudrotājs un rakstnieks, lielākais renesanses mākslas pārstāvis."

Negatīvā priekšlikumā, gluži pretēji, īpašība tiek atņemta no priekšmeta:eksperimentāls apstiprinājums.”

Kvantitatīvās īpašības

Loģikas spriedumi var būt vispārīgi (attiecoties uz visiem noteiktās klases objektiem), privāti (dažiem no tiem) un vienskaitļa (ja runa ir par objektu, kas pastāv vienā eksemplārā). Piemēram, var apgalvot, ka tāds spriedums kā "Visi kaķi naktī ir pelēki" būtu vispārīgs, jo tas skar visus kaķu dzimtas dzīvniekus (sprieduma priekšmets). Apgalvojums “Dažas čūskas nav indīgas” ir privāta sprieduma piemērs. Savukārt spriedums “Mierīgā laikā Dņepra ir brīnišķīga” ir vienots, jo runa ir par vienu konkrētu upi, kas pastāv vienotā formā.

Vienkārši un sarežģīti spriedumi

Atkarībā no struktūras spriedums var būt vienkāršs vai sarežģīts. Vienkārša priekšlikuma struktūra ietver divus saistītus jēdzienus (S-P): "Grāmata ir zināšanu avots." Ir arī spriedumi ar vienu jēdzienu - kad otrais ir tikai netiešs: "Tumsa" (P).

Sarežģīta forma veidojas, apvienojot vairākus vienkāršus priekšlikumus.

Vienkāršu spriedumu klasifikācija

Vienkārši spriedumi loģikā var būt šāda veida: atributīvi, spriedumi ar attiecībām, eksistenciāli, modāli.

Atribūtīvie (īpašību spriedumi) ir vērsti uz to, lai apstiprinātu/noliegtu objektam piemīt noteiktas īpašības (atribūti), aktivitātes. Šiem spriedumiem ir kategoriska forma un tie netiek apšaubīti: “Zīdītāju nervu sistēma sastāv no smadzenēm, mugurkaula.smadzenes un izejošo nervu ceļi.”

Relāciju spriedumos tiek ņemtas vērā noteiktas attiecības starp objektiem. Tiem var būt telpiskais un laika konteksts, cēloņsakarības utt. Piemēram: “Vecs draugs ir labāks par diviem jauniem”, “Ūdeņradis ir 22 reizes vieglāks par oglekļa dioksīdu.”

pareizs spriedums
pareizs spriedums

Eksistenciāls spriedums ir objekta (gan materiāla, gan ideāla) esamības/neesamības konstatācija: “Viņa valstī nav pravieša”, “Mēness ir Zemes pavadonis”.

Modāls piedāvājums ir apgalvojuma forma, kas satur noteiktu modālu operatoru (nepieciešams, labs/slikts; pierādīts, zināms/nezināms, aizliegts, tic, utt.). Piemēram:

  • "Krievijā ir jāveic izglītības reforma" (alētiskā modalitāte - iespēja, vajadzība pēc kaut kā).
  • "Ikvienam ir tiesības uz personas integritāti" (deontiskā modalitāte - sociālās uzvedības morālie standarti).
  • "Neuzmanīga attieksme pret valsts īpašumu noved pie tā zaudēšanas" (aksioloģiskā modalitāte - attieksme pret materiālajām un garīgajām vērtībām).
  • "Mēs ticam jūsu nevainībai" (epistemiskā modalitāte - zināšanu ticamības pakāpe).

Sarežģīti spriedumi un loģisko savienojumu veidi

Kā jau minēts, sarežģīti spriedumi sastāv no vairākiem vienkāršiem spriedumiem. Loģiskās saites starp tām ir šādi triki:

  • Savienojums (un ʌ b ir savienojošie priekšlikumi). Savienotajos spriedumos ir virkne "un":"Cilvēka un pilsoņu tiesību un brīvību īstenošana nedrīkst pārkāpt citu cilvēku tiesības un brīvības."
  • Disjunkcija (a v b – disjunktīvie spriedumi). Atšķirīgi spriedumi tiek izmantoti kā veidojošie elementi, un savienība “vai” tiek izmantota kā saite. Piemēram: "Prasītājam ir tiesības palielināt vai samazināt prasījumu apjomu."
  • Implikācija (a → b – spriedums-seka). Ja kompleksa sprieduma struktūrā izšķir premisu un sekas, tad var apgalvot, ka šāds spriedums pieder pie implicatīvajiem. Kā saite šajā veidlapā tiek izmantotas tādas arodbiedrības kā "ja … tad". Piemēram: "Ja caur vadītāju tiek laista elektriskā strāva, vadītājs uzkarsīs", "Ja vēlaties būt laimīgs, lai tas būtu."
  • Ekvivalents (a ≡ b – identiski spriedumi). Notiek, ja a un b ir vienādi (vai nu abi ir patiesi, vai abi ir nepatiesi): "Cilvēks ir radīts, lai būtu laimīgs, tāpat kā putns ir likts lidot."
  • sprieduma kvalitāte
    sprieduma kvalitāte
  • Negācija (¬a, ā – spriedums-inversija). Katrs sākotnējais apgalvojums ir saistīts ar saliktu apgalvojumu, kas noliedz sākotnējo. Tas tiek veikts ar "ne" ķekara palīdzību. Attiecīgi, ja sākotnējais apgalvojums izskatās šādi: "Vērsis reaģē uz sarkano gaismu" (a) - tad noliegums skanēs šādi: "Vērsis NEreaģē uz sarkano gaismu" (¬a).

Ieteicams: