Sprendimai logikos. Kas yra sprendimas, iš sprendimų tipai

Sprendimas yra mąstymo forma, patvirtinti ar paneigti nieko apie objektų egzistavimą, tarp jų ir jų savybių nuorodos, taip pat tarp objektų santykiai.

Pavyzdžiai teiginiais: "Volga įteka į Kaspijos jūrą", "AS" Puškinas parašė poemą "Bronzinis raitelis", "Sibiro tigras įrašyta į Raudonąją knygą" ir tt

Teismo sprendimo struktūros

Sprendimas apima šiuos elementus: objektą, predikatą ir raiščių quantifier.

1. Tema (LAT subjektum -. «Susiejimo») - kad, kaip nurodyta šio sprendimo, jos objektas ( «S»).
2. Predikatas (lotynų praedicatum -. «Sakė:") - iš objekto žyma atspindys, kas pasakyta apie sprendimo klausimu ( "P").
3. Rinkinys - tarp subjekto ( «S») ir predikato ( "P") santykis. Nustato buvimas / nebuvimas, turto, išreikšto predikato tema. Gal tai reiškia, ir nurodomas pagal "brūkšnys" arba žodžiai "A" ( "nėra"), "turi", "turėtų", "medžiaga", ir kt.
4. Kvantorius (Quantifier žodis) apibrėžia sąvokos taikymo srities į kurią iš teismo sprendimo objektas. Jis stovi priešais tema, bet ji taip pat gali būti išvykęs į teismą. Žymimas žodžiais, pavyzdžiui, "visi", "daugelis", "kai kurie", "ne", "ne", ir kt.

True ir false ataskaitos

Sprendimas yra teisinga ir tuo atveju, kai yra kokių nors požymių, savybės ir santykiai patvirtintų daiktų / atmetėte teisme, tiesa. Pavyzdžiui: "Visi išgėrė - paukščiais", "9 daugiau kaip 2" ir pan ..

Jei pareiškimas yra pateiktas sprendimo nėra tiesa, mes susiduriame su melagingą teiginį "Saulė sukasi aplink Žemę", "geležine kilogramą sunkesni nei medvilnės kilogramą" ir kitas teisės teisingumas yra teisinga argumentais ..

Tačiau, be dviejų vertinami logika, kurioje sprendimas gali būti arba teisingas ar klaidingas, taip pat multi-dimensional logika. Pasak požiūriu, sprendimas gali būti dar neaiški. Ypač tai susiję su atskirų sprendimų ateitį, "Rytoj atsitinka / neatsitinka jūrų mūšis" (Aristotelis, "Dėl išaiškinimo"). Jei mes manome, kad tai yra tiesa, pasiūlymas, jūra mūšis rytoj negali atsitikti. Todėl būtina, kad tai atsitiko. Arba atvirkščiai: teigdamas, kad nagrinėjamu momentu sprendimas yra klaidinga, mes taip padaryti reikiamą negalimumo rytojaus jūros mūšyje.

Sprendimai dėl pareiškimo tipą

Kaip žinoma, pareiškimų tipas yra trijų tipų sakiniais: deklaratyvus, sujaudinimas ir apklausa. Pavyzdžiui, sakinys "Prisimenu nuostabus momentas" nurodo pasakojimo tipo. Patartina rodo, kad toks teismo sprendimas taip pat pasakojimo. Jame yra konkrečios informacijos, atsižvelgiant į konkretų įvykį.

Savo ruožtu, klausiamasis sakinys yra klausimas, gauti tokį atsakymą: "Ką ateitis turėti už mane," Tuo pačiu metu ji sako nieko ir neneigia. Todėl teiginys, kad toks sprendimas yra klausimas netinkamai. Klausiamasis sakinys, iš esmės, nėra jokio sprendimo, nes šis klausimas negali būti atskirtas nuo tiesos / klaidingumo pagrindu.

Skatinamasis tipo sakinio susidaro tuo atveju, kai yra tam tikrų paskatų veiksmų, gali prašyti uždrausti: ". Pakilk pranašas ir vid atidūs, kad" Kalbant apie sprendimo, kai kurių mokslininkų nuomone, jie neminimi šio tipo pasiūlymus. Kiti mano, kad tai yra modalinių sprendimų įvairovė.

kokybės sprendimas

Kalbant apie kokybę, sprendimas gali būti arba teigiamas (S yra P), ir neigiami (S yra ne P). Atsižvelgiant į teigiamą sprendimo atveju, Via tema predikato pridedamas tam tikro turto (-wa). Pavyzdžiui: ". Leonardo da Vinci - italų dailininkas, architektas, skulptorius, mokslininkas, gamtininkas ir išradėjas ir rašytojas, didžiausio atstovas Renesanso meno"

Be neigiamo sprendimo, kita vertus, turtas yra paimti iš objekto: ". Teorija 25 rėmo James Vicary neturi eksperimentinį patvirtinimą"

kiekybinis apibūdinimas

Sprendimai logikos gali būti dažni (susijusi su visų šios klasės objektų), privatus (kai kurie iš jų) ir vieneto (kai kalbame apie tema, ten yra tik vienas). Pavyzdžiui, galima teigti, kad toks pasiūlymas kaip "Naktimis Visos katės yra pilkos" kreipsis į bendrą išvaizdą, nes ji daro poveikį visų kačių (teismo sprendimo dalykas) narius. Tvirtinimas "Kai gyvatės nėra nuodingos" - apie privataus sprendimo pavyzdys. Savo ruožtu, šis sprendimas "Wonderful Dnepro ramus oras" yra vienetas, nes mes kalbame apie vieną konkretų upę, esama per vieną formą.

Paprasti ir sudėtingi sprendimai

Priklausomai nuo statinio, sprendimas gali būti iš paprastas arba sudėtingas tipo. Struktūra paprastas sprendimas apima dvi tarpusavyje sąvokas (SP): «užsakymas - žinių šaltinis". Taip pat yra sprendimai su viena koncepcija - kai antras tik reiškė: "Tai buvo temsta» (P).

Sudėtinga forma formuojama sujungiant keletą paprastą sprendimą.

Klasifikacija paprastų sprendimų

Paprasta sprendimai logikos gali būti šių formų: pažyminys, sprendimo su santykiais, egzistencinės, modalinį.

Įgūdis (turto-sprendimas) išsiųstas patvirtinimo / neigimą ne tam tikras savybes (atributus) subjekto veikla. Šie sprendimai yra kategoriška forma ir nekvestionuojamos "žinduolio nervų sistema susideda iš smegenų smegenų, stuburo smegenų ir išeinančių nervų kelius."

Be sprendimų atžvilgiu konkrečių santykių tarp objektų. Jie gali turėti Erdvės-laiko kontekstą, tačiau priežastinis ir tt Pvz :. "senas draugas geriau nei du naujus", "Hydrogen lengvesni anglies dioksido 22 kartų."

Egzistencinis sprendimas - tai egzistavimo / nesugebėjimo tema (tiek materialinės ir idealiai) teiginys: "Nėra jo šalyje pranašas", "Mėnulis yra Žemės palydovas."

Modalinis pasiūlymas - tai patvirtinimo forma, kuri įtraukė tam tikrų transporto rūšių operatorių buvimas (reikia gerai / blogai, pasirodė žinomas / nežinoma, ji yra draudžiama, manau, ir kt.). Pavyzdžiui:

• "Rusija turi vykdyti švietimo reformą" (alethic modalumas - galimybę, būtinybę kažką).
• "Kiekvienas žmogus turi teisę į asmens neliečiamybę" (deontic modalumas - moralinių normų socialinio elgesio).
• "Neapleisk valstybės turto veda į savo nuostolius" (axiologic modalumas - susijusios su materialinės ir moralinės vertybės).
• "Mes tikime savo Nekaltumo" (episteminis modalumo - žinių patikimumas).

Kompleksas sprendimai ir loginių connectives tipai

Kaip jau minėta, sudėtingi sprendimai susideda iš kelių paprasta. Kaip loginių jungčių tarp jų yra tokie metodai kaip:

• Jungtukas (a ʌ b - jungiantis sprendimų). Sprendimai-conjuncts turėti "ir", "įgyvendinimas teisių ir laisvių žmogaus ir piliečio neturi pažeisti teises ir laisves." Krūva
• Dysjunkcja (AVB - dalijant sprendimus). Kaip sudėtinė sprendimo dalis-išlygų yra naudojamas kaip rišiklio - kartu "arba". Pavyzdžiui: "Ieškovas turi teisę padidinti arba sumažinti ieškinio dydį."
• Tai reiškia (A → B - sprendimas efektas). Jei komandiravimo skirta struktūra sudėtinga sprendimo ir todėl, galima teigti, kad toks sprendimas susijęs su implicative. Kaip rišiklis naudojamas asociacijų forma, pvz "jei ... tada". Pavyzdžiui: "Jei per dirigento praleisti elektros srovę, viela įkaista", "Ar norite būti laimingas - būk laimingas".
• Lygiavertiškumas (a ≡ b - identiškos sprendimas). Tai vyksta tuo atveju, kai A ir B vertės yra tas pats (nors ir tiesa, arba abu klaidinga): "Žmogus yra sukurtas laimės, kaip paukštis skristi."
• Neiginys (¬, A - sprendimas inversija). Kiekvienas šaltinis yra susijęs su teiginiu junginio teiginiu, kad neigia originalą. Naudojant "ne" krūva. Todėl, jei originalus pareiškimas taip: "Bulius reaguoja į raudoną šviesą" (a) - neigimas būtų skamba: "Bulius nereaguoja į raudonai šviesai" (¬).