Teismo sprendimas yra mąstymo forma, tvirtinanti arba paneigianti bet ką apie objektų egzistavimą, apie jų ryšius su jų savybėmis, taip pat apie objektų ryšį.
Teismo sprendimų pavyzdžiai: „Volga įteka į Kaspijos jūrą“, „A.S. Puškinas parašė eilėraščius „Bronzinis raitelis“, „Ussuri tigras įrašytas į Raudonąją knygą“ ir kt.
Teismo struktūra
Sprendime yra šie elementai: subjektas, tarinys, jungiamasis ir kiekybinis.
- Subjektas (lot. Subjektum - „pagrindinė“) - tai, kas pasakyta šiame sprendime, jo subjektas („S“).
- Predikatas (lot. Praedicatum - „sakomas“) yra objekto atributo atspindys, kas sakoma apie teismo subjektą („P“).
- Ryšys yra santykis tarp subjekto ("S") irtarinys („P“). Nustato, ar subjektas neturi / neturi savybės, išreikštos predikatu. Tai gali būti numanoma arba žymima „brūkšniu“ arba žodžiais „yra“ („nėra“), „yra“, „yra“, „esmė“ ir kt.
- Kiekis (kiekybinis žodis) apibrėžia tūrįsąvoka, kuriai priklauso teismo sprendimas. Stovi prieš temą, bet taip pat gali nebūti sprendžiant. Tai rodo tokie žodžiai kaip „visi“, „daug“, „kai kurie“, „nėra“, „nėra“ ir kt.
Tikri ir melagingi sprendimai
Sprendimas teisingas, kaidaiktų ženklų, savybių ir santykių buvimas, teigiamas / paneigtas nuosprendyje, atitinka tikrovę. Pvz .: „Visos kregždės yra paukščiai“, „9 yra daugiau nei 2“ ir kt.
Jei teismo sprendime esantis teiginys nėraatitinka tikrovę, turime klaidingą 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ų vertinamų logikų, kuriuosesprendimas gali būti teisingas arba klaidingas, taip pat yra daugialypė logika. Pagal jo sąlygas, sprendimas taip pat gali būti neaiškus. Tai ypač pasakytina apie būsimus pavienius sprendimus: „Rytoj bus / nebus jūrų mūšio“ (Aristotelis, „Dėl aiškinimo“). Jei manysime, kad tai yra teisingas sprendimas, tada jūrų mūšis negali įvykti rytoj. Todėl būtina, kad tai įvyktų. Arba atvirkščiai: teigdami, kad šis sprendimas šiuo metu yra melagingas, mes taip padarome būtiną rytojaus jūrų mūšio neįmanoma.
Sprendimai pagal pasakymo tipą
Kaip žinote, pagal teiginio tipą yra tryssakinių rūšis: deklaratyvūs, motyvuojantys ir klausiamieji. Pavyzdžiui, sakinys „Prisimenu nuostabią akimirką“ yra pasakojimo tipo. Tikslinga teigti, kad toks sprendimas taip pat būtų pasakojamasis. Joje yra tam tikra informacija, pranešimai apie tam tikrą įvykį.
Savo ruožtu tardomasis sakinysyra klausimas, nurodantis atsakymą: "Kokia man ateinanti diena?" Tuo pačiu nieko nenurodo ir neneigia. Atitinkamai teiginys, kad toks teismo sprendimas yra klausiamasis, yra klaidingas. Klausiamajame sakinyje iš esmės nėra sprendimo, nes klausimas negali būti diferencijuojamas pagal tiesos / melagingumo principą.
Skatinamasis sakinių tipas formuojamas fakteatvejis, kai yra tam tikra motyvacija veikti, prašymas ar draudimas: „Pakilk, pranašauk ir pamatyk bei įsiklausyk“. Kalbant apie sprendimus, pasak kai kurių tyrinėtojų, tokio tipo sakiniuose jų nėra. Kiti mano, kad mes kalbame apie tam tikrus modalinius sprendimus.
Sprendimo kokybė
Kalbant apie kokybę, sprendimai gali būti panašūsteigiamas (S yra P) ir neigiamas (S nėra P). Teigiamo sprendimo atveju predikatas naudojamas tam tikram (-iems) savybei (-ims) perduoti. 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".
Neigiamai vertinant, priešingai, savybė atimama iš subjekto: „Jameso Wykeri 25-ojo kadro teorija neturi eksperimentinio patvirtinimo“.
Kiekybinė charakteristika
Sprendimai logikos srityje gali būti bendri(susijęs su visais šios klasės subjektais), privatus (kai kuriems iš jų) ir vienaskaita (kai kalbama apie objektą, kuris egzistuoja vienoje kopijoje). Pvz., Galima teigti, kad toks sprendimas kaip „Visos katės naktį yra pilkos“ reikštų bendrą rūšį, nes ji veikia visus kačių gyvūnus (teismo sprendimas). Teiginys „Kai kurios gyvatės nėra nuodingos“ yra privataus sprendimo pavyzdys. Savo ruožtu sprendimas „Dniepras nuostabus ramiu oru“ yra izoliuotas, nes mes kalbame apie vieną specifinę upę, kuri egzistuoja viena forma.
Paprasti ir sudėtingi sprendimai
Priklausomai nuo struktūros, sprendimas gali būtibūti paprasto ar sudėtingo tipo. Paprasto sprendimo struktūra apima dvi susijusias sąvokas (S-P): „Knyga yra žinių šaltinis“. Yra ir sprendimų su viena sąvoka - kai antroji tik numanoma: „Jau temsta“ (P).
Sudėtinga išvaizda formuojama sujungiant keletą paprastų sprendimų.
Paprastų sprendimų klasifikacija
Paprasti sprendimai logikoje gali būti šių tipų: atributiniai, vertinimai su santykiais, egzistenciniai, modaliniai.
Atributika (sprendimai-savybės) siekiamatam tikrų savybių (požymių), veiklos rūšių patvirtinimas / neigimas. Šie sprendimai turi kategorišką formą ir jais neabejojama: „Žinduolio nervų sistema susideda iš smegenų, nugaros smegenų ir išeinančių nervų takų“.
Vertinant santykius,tam tikri santykiai tarp objektų. Jie gali turėti laiko ir laiko erdvinį kontekstą, priežastinį ir pan. Pavyzdžiui: „Senas draugas yra geriau nei du nauji“, „Vandenilis yra 22 kartus lengvesnis už anglies dioksidą“.
Egzistencinis sprendimas yra objekto (tiek materialaus, tiek idealo) egzistavimo / nebuvimo pareiškimas: „Savo šalyje nėra pranašo“, „Mėnulis yra Žemės palydovas“.
Modalinis sprendimas yra tvirtinimo forma, kurioje yra tam tikras modalinis operatorius (būtinas, geras / blogas; įrodytas, žinomas / nežinomas, draudžiamas, manau, ir pan.). Pavyzdžiui:
- „Būtina vykdyti švietimo reformą Rusijoje“ (estetinis modalumas yra galimybė, kažko poreikis).
- „Kiekvienas turi teisę į asmeninį saugumą“ (deontinis modalumas - moralinės socialinio elgesio normos).
- „Aplaidus požiūris į valstybės nuosavybę lemia jo praradimą“ (aksiologinis modalumas - požiūris į materialines ir dvasines vertybes).
- „Mes tikime tavo nekaltumu“ (episteminis modalumas - žinių patikimumo laipsnis).
Sudėtingi sprendimai ir loginių jungčių tipai
Kaip jau minėta, sudėtingi sprendimai susideda iš kelių paprastų. Šie metodai veikia kaip loginiai ryšiai tarp jų:
- Konjunkcija (a ʌ b - jungiantys nuosprendžiai). Konjunktyviniuose sprendimuose yra aibė „ir“: „Žmogaus ir pilietinių teisių bei laisvių įgyvendinimas neturėtų pažeisti kitų teisių ir laisvių“.
- Disjunkcija (a v b - sprendimų padalijimas).Sprendimai-sakiniai naudojami kaip sudedamieji elementai, o jungtys „arba“ - kaip nuoroda. Pavyzdžiui: „Ieškovas turi teisę padidinti arba sumažinti ieškinio sumą“.
- Implikacija (a → b - sprendimas-pasekmė).Jei sudėtingo sprendimo struktūroje išskiriama prielaida ir pasekmė, galima teigti, kad toks sprendimas yra implicitinis. Kaip tokios formos raištis naudojamos tokios sąjungos kaip „jei ... tada“. Pvz .: "Jei per laidininką bus praleista elektros srovė, laidininkas sušils", "Jei norite būti laimingas, tebūnie".
- Ekvivalentiškumas (a ≡ b - identiški teiginiai). Atsiranda, kai a ir b reikšmės sutampa (arba tiesa, arba abi yra klaidingos): "Žmogus sukurtas laimei, kaip paukštis skrydžiui".
- Neigimas (¬a, ā - sprendimo inversija).Kiekvienam šaltinio sakiniui priskiriamas sudėtinis sakinys, paneigiantis originalą. Jis atliekamas naudojant nuorodą „ne“. Atitinkamai, jei pirminis teiginys atrodo taip: „Jautis reaguoja į raudoną šviesą“ (a) - tada neigimas skambės taip: „Jaučiai NETURI reaguoti į raudoną šviesą“ (¬a).
