sprendimas yra mąstymo forma, patvirtinti ar paneigti nieko apie objektų egzistavimo, tarp jų ir jų savybių nuorodos, taip pat tarp objektų santykiai.
pavyzdžiai sprendimas: "Volga įteka į Kaspijos jūros", "A.Puškinas parašė eilėraštį "bronzos raitelis", "Sibiro tigras įrašyta į Raudonąją knygą" ir tt
struktūra sprendimai
teismo sprendimas apima šiuos elementus: veiksnys, tarinys, ir daug Kwantyfikatory krūva.
- tema (. Latas Subjektum - «pagrindinis») - kad, kaip nurodyta jo klausimu («S») sprendimu.
- tarinys (lot Praedicatum -. «Sakė") - tai atspindys charakteristika tema, kas pasakyta apie teismo sprendimo objektas ("P").
- Bundle - santykis tarp objekto («S») ir predikato ("P").Tai lemia buvimas / nebuvimas, turto išsakytą predikato tema.Gal tai reiškia, ir žymima "brūkšnys" arba žodžiais "A" ("nėra"), "turi", "turime", "esmę" ir kt.
- Quantifier (quantifier žodžiai) apibrėžia sąvoką, kuriTai yra teismo sprendimo objektas.Ji stovi prieš objektą, bet ji taip pat gali nebūti, sprendimo.Atstovaujama tokių žodžių kaip "visi", "daug", "kai kurie", "ne", "ne" ir kt.
true ir false nuosprendžiai
sprendimas yra teisinga tuo atveju, kai yra kokių nors požymių, savybių irpatvirtintas / paneigė teisme, tiesa, ryšiai elementus.Pavyzdžiui: "Visi kregždės - Paukščiai", "9 daugiau nei 2" ir tt D.
Jei pareiškimas yra pateiktas sprendimo nesutampa realybe, mes susiduriame su neteisingai sprendime: "Saulė sukasi aplink Žemę".ir kitos "A geležies sunkesni nei vilnos kilogramą kilogramą". Teisingi sprendimai yra teisingo samprotavimo pagrindas.
Tačiau, nepaisant dviejų vertinami logika, kurioje sprendimas gali būti arba true arba false, taip pat multi-dimensional logika.Pagal jo sąlygas, sprendimas gali dar neaiškus.Ypač tai susiję su atskirų sprendimų ateitį, "Rytoj bus / nebus jūrų mūšyje" (Aristotelį, "Dėl išaiškinimo").Darant prielaidą, kad tai yra tiesa teiginys, rytoj Sea Battle negali atsitikti.Todėl yra būtina, kad tai įvyktų.Arba atvirkščiai: teigdamas, kad nagrinėjamu momentu sprendimas yra klaidinga, mes taip padaryti reikiamą neįmanoma ateities jūrų mūšyje.
teismo sprendimas dėl pareiškimų
Kaip žinoma tipo, ataskaitų tipas yra trijų tipų sakiniais: deklaratyvus, Klausiamųjų ir motyvas.Pavyzdžiui, sakinys "Aš atsimenu, puikus momentas" nurodo pasakojimo tipo.Patartina rodo, kad toks teismo sprendimas taip pat būtų pasakojimas.Jame yra tam tikros informacijos, atsižvelgiant į konkretų įvykį.
Savo ruožtu, kvotos sakinys yra klausimas, gauti atsakymą: "Kas laukia ateityje už mane" Šiuo atveju, ji sako nieko ir neneigia.Todėl teiginys, kad toks sprendimas yra klausimas netinkamai.Klausiamųjų sakiniai iš esmės nėra jokių nuomonių, nes klausimas negali būti atskirtas nuo tiesos / klaidingumo pagrindu.
Skatinamasis tipo sakinio susidaro tuo atveju, kai yra tam tikra paskata imtis veiksmų, arba atmesti prašymą: ". Pakilk, pranašas ir vid atidūs, kad"Dėl sprendimų, kad, pasak kai kurių mokslininkų, jie neminimi šio tipo pasiūlymus.Kiti mano, kad tai yra modalinių sprendimų įvairovė.
kokybės sprendimai
Kalbant apie kokybę, sprendimas gali būti tiek ryžtingesnis (S yra P) ir neigiamas (S yra ne P).Atsižvelgiant į teigiamą sprendimo atveju, predikato su klausimu, teikiama tam tikrą turtą (-wa).Pavyzdžiui: ". Leonardo da Vinci - italų dailininkas, architektas, skulptorius, mokslininkas, gamtininkas ir išradėjas ir rašytojas, didžiausio atstovas Renesanso meno"
neigiamas sprendimas, kita vertus, turtas yra paimti iš Tema: "Iš 25 rėmo Jamesas Vicary teorija neturi eksperimentinį patvirtinimą."
kiekybinė charakteristika
pasiūlymas logika gali būti bendro pobūdžio (susiję su visų dalykų šioje klasėje), privatus (kai kurie iš jų) ir individualus (kai kalbame apie tema, yra tik vienas).Pavyzdžiui, galima teigti, kad toks pasiūlymas kaip "Naktimis Visos katės yra pilkos spalvos" kreipsis į bendrą nuomone, nes ji daro poveikį visų kačių (teismo sprendimo tema) narius.Pareiškime "Kai gyvatės nėra nuodingos" - apie privataus sprendimo pavyzdys.Savo ruožtu, pasiūlymas "Wonderful Dniepras ramus oras," izoliuota, nes mes kalbame apie vieną konkretų upę, esantis vienoje forma.
paprasti ir sudėtingi sprendimai
Priklausomai nuo konstrukcijos, sprendimas gali būti paprastas arba sudėtingas.Iš paprasto teiginio struktūra apima dvi susijusias sąvokas (SP). «Knyga - žinių šaltinis"Taip pat yra sprendimai su viena koncepcija - kai antras tik reiškė: "Tai buvo temsta» (P).
sudėtinga forma yra sudaryta derinant kelis paprastus teiginius.
klasifikacija paprastų sprendimų vykdymas
paprastas pasiūlymas logikos gali būti šių tipų: pažyminys, sprendimo su santykiais, egzistencinių, modalinis.
Pavadinimas (minėto sprendimo-savybės) išsiųstas patvirtinimo / neigimas tam tikrų savybių egzistavimo nuo objekto (atributų) veiklą.Šie sprendimai yra kategoriška forma ir nekvestionuojama "žinduolių nervų sistema susideda iš smegenų, stuburo smegenų ir išeinančių nervų kelius."
teismo sprendimų atžvilgiu iš tam tikrų santykių tarp objektų.Jie gali turėti laiko-erdvės kontekste priežastinius ir kitus Pavyzdžiui: ". Senas draugas geriau nei du nauji", "Vandenilis yra lengvesni anglies dioksidas 22 kartų."
egzistencinė pasiūlymas - apie buvimą / nebūtis dalyko (tiek materialinės ir idealiai) ataskaita, "Ne pranašas savo šalyje", "Mėnulis yra Žemės palydovas."
modalinis pasiūlymas - viena iš patvirtinimo forma, kurios sudaro tam tikrą modalinis operatorius (būtina, geras / blogas, pasirodė žinomas / nežinoma, tai yra draudžiama, manau, ir kt.).Pavyzdžiui:
- «Rusija turi atlikti mokslo reformą" (alethic modalumas - galimybė, už kažką poreikį).
- «Kiekvienas turi teisę į asmens saugumą" (deontic modalumas - moralinių normų socialinio elgesio) teisę.
- «Neatsargus požiūris į viešosios nuosavybės veda prie jo praradimas" (aksiologinius modalumas - susijusi su materialinių ir dvasinių vertybių).
- «Mes tikime savo nekaltumo" (episteminis modalumas - žinių patikimumas).
sudėtingi sprendimai ir loginio connectives
Kaip jau buvo minėta, rūšys, kompleksiniai sprendimai susideda iš kelių paprasta.Kaip loginiai ryšiai tarp jų yra tokie metodai kaip:
- kartu (ir ʌ B - jungiantis sprendime).Sprendimai-conjuncts turėti "ir", "įgyvendinimas teisių ir laisvių žmogaus ir piliečio neturi pažeisti teises ir laisves." Krūva
- Padalijimas (AVB - dalijant sprendimas).Kaip sudedamąsias dalis, vertinimu-išlygų yra naudojamas kaip rišiklis - jungtuku "arba".Pavyzdžiui: "Ieškovas turi teisę padidinti arba sumažinti ieškinio dydį."
- POVEIKIS (A → B - sprendimas efektas).Jei sudėtinio vertinimu medynų struktūra ir siuntimas rezultatą, tai galima teigti, kad šis sprendimas susijęs su implicative.Kaip nustatyta forma Tokie aljansai naudojamas kaip "jeigu ... tada" raiščio.Pavyzdžiui: "Jei per dirigento praleisti elektros srovę, viela įkaista", "Jūs norite būti laimingi - būti laimingas".
- Ekvivalentiškumo (A ≡ b - identiški sprendimai).Tai atsitinka, kai tai yra, vertės ir b yra tas pats (arba tiek tiesa arba abu klaidingi): "Žmogus sukurtas laimei, kaip paukštis skristi."
- neigimas (¬, A - sprendimas inversija).Kiekvienas šaltinis yra susijęs su teiginiu, junginio pareiškime neigia originalą.Iki naudojant raiščius "ne".Todėl, jei pirminis teiginys yra toks: "Bulius reaguoja į raudoną šviesą", (a) - neigimas bus skamba: "bulius reaguoja į raudonam šviesoforo signalui» (¬).
