Spriedumi loģikā. Kāds ir spriedums, spriedumu veidi

Izglītība:

Spriedums ir domāšanas forma, kas apstiprina vai noliedz kaut ko par objektu pastāvēšanu, saikni starp tiem un to īpašībām, kā arī attiecības starp objektiem.

Tiesu piemēri: "Volga ieplūst Kaspijas jūrā", "A. Puškins uzrakstīja dzejoli "Bronzas jātnieks", "Ussuri Tiger ir iekļauts sarkanajā grāmatā" uc

Spriedumu struktūra

Spriedumā ietilpst šādi elementi: priekšmets, predikāts, saišķis un kvantitors.

Priekšmets (latīņu subjektum - "pamatā esošais") ir tas, kas teikts šajā spriedumā, tā priekšmets ("S").
Predikāts (latīņu praedicatum - "runā") atspoguļo priekšmeta iezīmi, ko teiks par sprieduma priekšmetu ("R").
Pakautenis ir saistība starp tēmu ("S") unpredikāts ("P"). Nosaka predikāta ekspresijas priekšmeta esamību / neesamību. Var gan apzīmēt, gan norādīt ar apzīmējumu "domuzīme" vai vārdiem "ir" ("nav"), "tur", "ir", "būtība" utt.
Kvantitors (kvantitors) nosaka apjomujēdziens, uz kuru attiecas sprieduma priekšmets. Tas atrodas priekšmeta priekšā, bet spriedumā to var arī nepiedalīties. Apzīmēti ar tādiem vārdiem kā "visi", "daudzi", "daži", "neviens", "neviens" utt.

Patiesi un nepatiesi spriedumi

Spriedums ir taisnība gadījumā, kadpatiesībā ir apgalvoto / noraidīto objektu atribūtu, īpašību un attiecību esamība. Piemēram: "Visas nārstības - putni", "9 vairāk nekā 2" utt.

Ja spriedumā ietvertais apgalvojums navmums ir darīšana ar nepatiesu spriedumu: "Saule griežas ap Zemi", "Dzelzs kilograms ir smagāks par kilogramu vates" utt. Labie secinājumi ir pareizie spriedumi.

Tomēr, papildus divciparu loģikai, kurāspriedums var būt vai nu taisnība vai nepatiesa, ir arī daudzdimensiju loģika. Saskaņā ar tās noteikumiem spriedums var arī būt neskaidrs. Tas jo īpaši attiecas uz nākotnes individuāliem spriedumiem: "Jūras kauja notiks / nenotiks rīt" (Aristotelis, "Par interpretāciju"). Ja mēs pieņemsim, ka tas ir taisnība, tad rītdienas jūras kaujas vairs nenotiks. Tādēļ tas ir nepieciešams, lai tā notiktu. Vai arī otrādi: apgalvojot, ka konkrētais spriedums šobrīd ir nepatiesa, mēs tādēļ radām vajadzību pēc rītdienas jūras cīņas neiespējamībai.

Atzinumi

Kā jūs zināt, paziņojumu veids atšķir trīsteikumus, piemēram: deklaratīvs, jautājuma un motīvs. 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. Tas satur noteiktu informāciju, ziņo par konkrētu notikumu.

Savukārt vajāošais teikumsTajā ir jautājums, kas norāda uz atbildi: "Kāda ir man nākotne?" Tajā pašā laikā tas neko nenosaka un neatsaka. Attiecīgi apgalvojums, ka šāds spriedums ir pretrunīgs, ir kļūdains. Brīdinājuma teikums principā nav spriedums, jo jautājumu nevar diferencēt saskaņā ar patiesības / nepatiesības principu.

Soda veidošanas stimuls ir izveidotsja ir noteikta motivācija rīkoties, lūdzu, vai nu aizliegs: "Celies, pravietis, un redzi un dziesi". Attiecībā uz spriedumiem, pēc dažu pētnieku domām, tie nav iekļauti šāda veida teikumos. Citi uzskata, ka mēs runājam par dažādiem spriedumiem transporta jomā.

Sprieduma kvalitāte

Attiecībā uz kvalitāti spriedumi var būt vai nuapstiprinošs (S ir P) un negatīvs (S nav P). Gadījumā, ja ir apstiprinošs spriedums, konkrētam (-iem) īpašumam (-iem) tiek piešķirts priekšmets ar predikāta palīdzību. Piemēram: "Leonardo da Vinči - itāļu gleznotājs, arhitekts, tēlnieks, zinātnieks, dabaszinātne, kā arī izgudrotājs un rakstnieks, lielākais Renesanses mākslas pārstāvis."

Negatīvā spriedumā, gluži pretēji, īpašums tiek atņemts no tēmas: "Džeimsa Vaikera 25. rāmja teorijai nav eksperimenta apstiprinājuma".

Kvantitatīvās īpašības

Loģikas lēmumi var būt vispārīgi.(attiecas uz visiem konkrētās klases priekšmetiem), privātiem (dažiem no tiem) un vienskaitlī (kad runa ir par vienu eksemplāru). Piemēram, var apgalvot, ka spriedums, piemēram, "Naktī visi kaķi ir sērs", attiecas uz vispārēju formu, jo tas ietekmē visus kaķu pārstāvjus (sprieduma priekšmets). Paziņojums "Daži čūskas nav indīgi" ir privātu spriedumu piemērs. Savukārt spriedums "Wonderful Dņepru mierīgos laikapstākļos" ir viens, jo mēs runājam par vienu konkrētu upi, kas pastāv vienotā formā.

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

Atkarībā no struktūras, spriedums varattiecas uz vienkāršu vai kompleksu veidu. Vienkārša sprieduma struktūra ietver divus savstarpēji saistītus jēdzienus (SP): "Grāmata ir zināšanu avots". Ir arī spriedumi ar vienu jēdzienu - kad otrais ir tikai domāts: "Tas bija kļūst tumšs" (P).

Komplekss skats tiek veidots, apvienojot dažus vienkāršus spriedumus.

Vienkāršu spriedumu klasifikācija

Vienkārši spriedumi loģikā var būt šādi: atribūtika, spriedumi ar attiecībām, eksistenciāla, modāla.

Atribūtu (spriedumi-īpašības) mērķis irapstiprināt / noraidīt konkrētu darbību objektu (atribūtu) klātbūtni. Šiem spriedumiem ir kategoriska forma un netiek apšaubīts: "Zīdītāju nervu sistēma sastāv no smadzenēm, muguras smadzenēm un izejošiem nervu ceļiem."

Saistību spriedumi Apsverietnoteiktas attiecības starp priekšmetiem. Tiem var būt telpiska laika konteksts, iemesls un sekas uc Piemēram: "Vecs draugs ir labāks par jaunajiem diviem," "Ūdeņradis ir 22 reizes vieglāks nekā oglekļa dioksīds."

Eksistenciāls spriedums ir apgalvojums par objekta (gan materiāla, gan ideāla) pastāvēšanu / neesamību: "savā valstī nav pravieti", "mēness ir Zemes satelīts"

Modāla spriedums ir apgalvojums, kas ietver noteiktu modālo operatoru (vajadzīgs, labs / slikts, pierādīts, zināms / nezināms, aizliegts, ticēts utt.). Piemēram:

"Krievijā nepieciešama izglītības reforma" (aletikas modalitāte ir iespēja, kaut kas ir nepieciešams).
"Ikvienam ir tiesības uz personisko integritāti" (deontiskā modalitāte - sociālās uzvedības morāles normas).
"Neuzmanīga attieksme pret valsts īpašumu noved pie tā zaudēšanas" (aksioloģiskā modalitāte ir attieksme pret materiālajām un garīgajām vērtībām).
"Mēs ticam jūsu nevainīgumam" (epistemiskā modalitāte ir zināšanu uzticamības pakāpe).

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

Kā jau minēts, sarežģītie spriedumi sastāv no vairākiem vienkāršiem spriedumiem. Kā loģiski savienojumi starp tiem ir tādas metodes kā:

Konjunktūra (β b - saistošie apgalvojumi). Spriedumos-savienojumos ir "un" ķekars: "Personas un pilsoņa tiesību un brīvību īstenošana nedrīkst pārkāpt citu personu tiesības un brīvības".
Disjunkcija (a v b - sprieduma dalīšana). Spriedumi-disjunkcijas tiek izmantotas kā sastāvdaļas, un saikne "vai" tiek izmantota kā saišķis. Piemēram: "Prasītājam ir tiesības palielināt vai samazināt prasījumu apjomu."
Ietekme (a → b ir sprieduma sekas). Ja sarežģītā sprieduma struktūrā ir priekšnoteikums un sekas, tad var apgalvot, ka šāds spriedums ir implicējošs. Šai formai kā saišķis, šādas arodbiedrības izmanto kā "ja ... tad". Piemēram: "Ja elektriskā strāva tiek izvadīta caur diriģentu, vadītājs sakarst", "Ja jūs vēlaties būt laimīgam, vai arī tas ir."
Līdzvērtība (a ≡ b - identiski spriedumi). Tas ir gadījums, kad a un b vērtības sakrīt (vai nu abi ir patiesi, vai abi ir nepatiesi): "Cilvēks ir radīts laimei, tāpat kā putns lidojumam".
Negats (¬a, â - sprieduma inversija). Katrs avota paziņojums ir piesaistīts apvienotajam paziņojumam, kas noliedz sākotnējo. Tas tiek veikts ar komplektu "nē". Attiecīgi, ja sākotnējais paziņojums izskatās šādi: "bullis reaģē uz sarkano gaismu" (a) - tad negācija izklausās kā "bullis nereaģē uz sarkano gaismu" (¬a).