Sprendimas yra mąstymo forma, kuri ką nors patvirtina arba paneigia apie objektų egzistavimą, apie ryšius tarp jų ir jų savybes, taip pat apie santykius tarp objektų.
Sprendimų pavyzdžiai: „Volga įteka į Kaspijos jūrą“, „A. S. Puškinas parašė eilėraštį „Bronzinis raitelis“, „Usūrų tigras įrašytas į Raudonąją knygą“ir kt.
Sprendimo struktūra
Sprendimą sudaro šie elementai: subjektas, predikatas, jungiamasis ir kvantorius.
- Subjektas (lot. subjektum – „pagrindinis“) – kas pasakyta šiame sprendime, jo subjektas („S“).
- Predikatas (lot. praedicatum - "sakyta") - subjekto požymio atspindys, kas pasakyta apie nuosprendžio dalyką ("P").
- Nuoroda yra subjekto („S“) ir predikato („P“) ryšys. Nustato subjekto buvimą / nebuvimą bet kokios predikatu išreikštos savybės. Tai gali būti ir numanoma, ir nurodyta brūkšneliu arba žodžiais „yra“(„nėra“), „turi“, „yra“, „esmė“ir tt
- Kiekybininkas (kiekybinis žodis) nustato sąvokos, kuriai priklauso sprendimo subjektas, apimtį. Stovi priešais subjektą, bet gali ir nebūtinuosprendis. Nurodoma tokiais žodžiais kaip „visi“, „daug“, „kai kurie“, „nėra“, „nėra“ir kt.
Tikri ir klaidingi sprendimai
Sprendimas yra teisingas, kai sprendime patvirtintų / paneigtų ženklų, savybių ir objektų santykių buvimas atitinka tikrovę. Pavyzdžiui: „Visos kregždės yra paukščiai“, „9 yra daugiau nei 2“ir tt
Jei nuosprendyje esantis teiginys nėra teisingas, mes turime neteisingą sprendimą: „Saulė sukasi aplink Žemę“, „Kilogramas geležies yra sunkesnis už kilogramą vatos“ir kt. Teisingi sprendimai sudaro teisingų išvadų pagrindą.
Tačiau, be dviejų reikšmių logikos, kurioje sprendimas gali būti teisingas arba klaidingas, yra ir daugiamatė logika. Pagal jo sąlygas nuosprendis gali būti ir neterminuotas. Tai ypač pasakytina apie būsimus pavienius sprendimus: „Rytoj jūrų mūšis bus / nebus“(Aristotelis „Apie interpretaciją“). Jei manysime, kad tai tikras sprendimas, rytoj gali neįvykti jūrų mūšis. Todėl tai turi įvykti. Arba atvirkščiai: teigdami, kad šis sprendimas šiuo metu yra klaidingas, mes padarome būtinybę, kad rytojaus jūrų mūšis būtų neįmanomas.
Sprendimai pagal pareiškimo tipą
Kaip žinote, atsižvelgiant į teiginio tipą, yra trijų tipų sakiniai: pasakojamieji, skatinamieji ir klausiamieji. Pavyzdžiui, sakinys „Prisimenu nuostabią akimirką“reiškiaį pasakojimo tipą. Galima pagrįstai manyti, kad toks sprendimas taip pat būtų naratyvinis. Jame yra tam tikros informacijos, pranešama apie tam tikrą įvykį.
Savo ruožtu klausiamajame sakinyje yra klausimas, kuris reiškia atsakymą: „Ką man paruoš ateinanti diena? Tai nieko nei teigia, nei paneigia. Taigi teiginys, kad toks sprendimas yra apklausiamasis, yra klaidingas. Tariamajame sakinyje iš principo nėra nuosprendžio, nes klausimo negalima atskirti pagal tiesos/melagystės principą.
Paskatinamasis sakinių tipas susidaro, kai atsiranda tam tikras impulsas veikti, prašymas ar draudimas: „Kelkis, pranašau, pamatyk ir klausyk“. Kalbant apie sprendimus, pasak kai kurių tyrinėtojų, jų nėra tokio tipo sakiniuose. Kiti mano, kad mes kalbame apie tam tikrus modalinius sprendimus.
Sprendimo kokybė
Kokybės požiūriu sprendimai gali būti teigiami (S yra P) arba neigiami (S nėra P). Teigiamojo teiginio atveju tam tikra (-os) savybė (-ės) prie subjekto pridedama predikato pagalba. Pavyzdžiui: "Leonardo da Vinci yra italų tapytojas, architektas, skulptorius, mokslininkas, gamtininkas, taip pat išradėjas ir rašytojas, didžiausias Renesanso meno atstovas."
Neigiamame pasiūlyme, priešingai, nuosavybė atimama iš dalyko:eksperimentinis patvirtinimas.“
Kiekybinės charakteristikos
Logikos sprendimai gali būti bendrieji (susiję su visais tam tikros klasės objektais), privatūs (kai kuriems iš jų) ir vienaskaitiniai (kai kalbama apie objektą, kuris egzistuoja vienoje kopijoje). Pavyzdžiui, galima teigti, kad toks sprendimas, kaip „Visos katės naktį pilkos“, būtų bendrinis, nes jis turi įtakos visiems katėms (sprendimo objektas). Teiginys „Kai kurios gyvatės nėra nuodingos“yra privataus sprendimo pavyzdys. Savo ruožtu sprendimas „Dniepras nuostabus ramiu oru“yra vienas, nes kalbame apie vieną konkrečią upę, kuri egzistuoja vienu pavidalu.
Paprasti ir sudėtingi sprendimai
Priklausomai nuo struktūros, sprendimas gali būti paprastas arba sudėtingas. Paprasto teiginio struktūra apima dvi susijusias sąvokas (S-P): „Knyga yra žinių š altinis“. Taip pat yra sprendimų su viena sąvoka – kai antroji tik numanoma: „Tamsa“(P).
Sudėtinga forma susidaro sujungiant kelis paprastus teiginius.
Paprastų sprendimų klasifikacija
Paprasti sprendimai logikoje gali būti šių tipų: atributiniai, sprendimai su santykiais, egzistenciniai, modaliniai.
Atributika (savybės sprendimai) yra skirti patvirtinti/neigti, kad objektas turi tam tikras savybes (atributus), veiklą. Šie sprendimai yra kategoriškos formos ir nėra kvestionuojami: „Žinduolių nervų sistemą sudaro smegenys, stuburosmegenys ir išeinantys nervų takai.“
Santykiniuose sprendimuose atsižvelgiama į tam tikrus objektų santykius. Jie gali turėti erdvės ir laiko kontekstą, priežastinį ryšį ir pan. Pavyzdžiui: „Senas draugas geriau nei du nauji“, „Vandilis yra 22 kartus lengvesnis už anglies dioksidą“.
Egzistencinis sprendimas yra objekto (tiek materialaus, tiek idealaus) egzistavimo / neegzistavimo teiginys: „Jo paties šalyje nėra pranašo“, „Mėnulis yra Žemės palydovas“.
Modalinis pasiūlymas yra teiginio forma, kurioje yra tam tikras modalinis operatorius (būtinas, geras/blogas; įrodytas, žinomas/nežinomas, draudžiamas, tikėti ir pan.). Pavyzdžiui:
- „Rusijoje būtina vykdyti švietimo reformą“(aletinis modalumas – galimybė, poreikis ko nors).
- „Kiekvienas turi teisę į asmeninį neliečiamybę“(deontinis modalumas – moralinės socialinio elgesio normos).
- „Neatsargus požiūris į valstybės turtą veda prie jo praradimo“(aksiologinis modalumas – požiūris į materialines ir dvasines vertybes).
- „Mes tikime tavo nek altumu“(episteminis modalumas – žinių patikimumo laipsnis).
Sudėtingi sprendimai ir loginių jungčių tipai
Kaip jau minėta, sudėtingus sprendimus sudaro keli paprasti sprendimai. Loginės sąsajos tarp jų yra tokios gudrybės:
- Jungtinys (ir ʌ b yra jungiantys teiginiai). Jungtiniuose sprendimuose yra daug „ir“:„Naudojimasis žmogaus ir pilietinėmis teisėmis bei laisvėmis neturi pažeisti kitų teisių ir laisvių.“
- Disjunkcija (a v b – disjunkciniai sprendimai). Skirtingi sprendimai naudojami kaip sudedamieji elementai, o sąjunga „arba“naudojama kaip nuoroda. Pavyzdžiui: „Ieškovas turi teisę padidinti arba sumažinti ieškinio dydį“.
- Implicacija (a → b – sprendimas-pasekmė). Jeigu kompleksinio sprendimo struktūroje išskiriama prielaida ir pasekmė, tai galima teigti, kad toks sprendimas priklauso implicatyviosioms. Šioje formoje kaip nuoroda naudojamos tokios sąjungos kaip „jei … tada“. Pavyzdžiui: „Jei per laidininką teka elektros srovė, laidininkas įkais“, „Jei nori būti laimingas, būk tai“.
- Ekvivalentiškas (a ≡ b – identiški sprendimai). Pasitaiko, kai a ir b yra vienodi (arba abu teisingi, arba abu klaidingi): „Žmogus sukurtas būti laimingu, kaip paukštis sukurtas skraidyti“.
- Neigimas (¬a, ā – sprendimas-inversija). Kiekvienas pradinis teiginys yra susietas su sudėtiniu teiginiu, kuris paneigia pradinį. Tai atliekama naudojant „ne“krūvą. Atitinkamai, jei pirminis teiginys atrodo taip: „Jautis reaguoja į raudoną šviesą“(a) – tada neigimas skambės taip: „Jautis NEreaguoja į raudoną šviesą“(¬a).
