Hotărârilor judecătorești în logica.

este o formă de gândire, afirma sau nega ceva despre existența obiectelor, legăturile dintre ele și proprietățile lor, precum și relația dintre obiecte.Exemple

judecată: "Volga se varsă în Marea Caspică", "A.Pușkin a scris un poem "Călărețul de bronz", "tigru siberian este listat în Cartea Roșie", etc.

hotărâri structura hotărâre

include următoarele elemente: subiectul, predicatul, și o grămadă de cuantificatori.

1. subiect (. Lat Subjektum - «de bază») - care, după cum se menționează în hotărârea de subiect sale ("S").
2. predicat (lat Praedicatum -. "A spus") - o caracteristică reflectare a subiectului, ceea ce se spune pe tema hotărârii ("P").
3. Bundle - relația între subiectul ("S") și un predicat ("P").Aceasta determină prezența / absența obiectul unei proprietăți exprimate de predicatul.Poate că implică, și este indicat printr-un "liniuță" sau cuvintele "o" ("nu este"), "are", "au", "esență" și altele.
4. cuantificator (cuvinte cuantificator) definește domeniul de aplicare a conceptului, careAcesta este subiectul hotărârii.Acesta este în picioare în fața subiectului, dar poate fi, de asemenea absent în judecată.Reprezentată prin cuvinte, cum ar fi "tot", "mulți", "unii", "nu", "nu" și altele.

judecati adevărat și fals judecată

este valabil și în cazul în care nu există nici o indicație, proprietăți șiobiecte de relații aprobat / respins în judecată, adevărat.De exemplu: "Toate inghite - păsări", "9 pentru mai mult de 2" și așa mai departe D.

Dacă declarația este conținută în hotărârea, nu se potriveste realitate, avem de-a face cu o hotărâre false: "Soarele se învârte în jurul Pământului"."Un kilogram de fier mai greu decât un kilogram de lână" și altele. Hotărârile corecte sunt baza de raționament corect.

Cu toate acestea, în afară de logica cu două valori, în care hotărârea poate fi adevărat sau fals, există, de asemenea o logică multidimensional.Sub termenii săi, hotărârea poate încă incertă.Mai ales se referă la viitorul hotărârilor individuale, "Maine nu va / nu se va întâmpla bătălie mare" (Aristotel, "Cu privire la interpretarea").Presupunând că acest lucru este adevărat propunere, mâine luptă mare nu se poate întâmpla.Prin urmare, este necesar să se facă acest lucru.Sau invers: susținând că hotărârea în momentul prezent este falsă, facem astfel imposibilitatea necesar de viitor luptă mare.Judecata

de tipul de declarații

După cum se știe, tipul de declarații sunt trei tipuri de fraze: declarative, interogative și motrice.De exemplu, propoziția "Îmi amintesc de un moment minunat" se referă la tipul de narativ.Este recomandabil să sugereze că o astfel de hotărâre ar fi, de asemenea, narativ.Acesta conține anumite informații, în conformitate cu un anumit eveniment.

La rândul său, teza interogativ conține o întrebare, pentru a primi un răspuns la: "? Ce cală viitor pentru mine" În acest caz, se spune nimic și nu neagă.În consecință, afirmația că o astfel de hotărâre este incorect o întrebare.Exemple de interogative în principiu, nu conține nici o opinie, deoarece problema nu pot fi diferențiate pe baza adevărului / falsitate.

tip de stimulare de propoziții se formează în cazul în care există unele stimulent la acțiune, sau pentru a respinge cererea: ". Scoală-te, O, Profetule, și VID, și să participe la"În ceea ce privește hotărârile, care potrivit unor cercetatori, ele nu sunt incluse în propunerile de acest tip.Alții cred că este o varietate de hotărâri modale.Hotărâri de calitate

în termeni de calitate, hotărârea poate fi atât asertiv (S are P), și negative (S nu este P).În cazul hotărârii afirmativ, de un predicat la un subiect este dat unei anumite proprietăți (-wa).De exemplu: ". Leonardo da Vinci - Italiană pictor, arhitect, sculptor, om de știință, inventator și naturalist și scriitor, cel mai mare reprezentant al Renasterii artei"

În hotărârea negativ, pe de altă parte, proprietatea este luat de la tema: "Teoria cadrului 25 James Vicary nu are nici o confirmare experimentală."

cantitativă caracteristică propunere

în logica poate fi de natură generală (referitoare la toate disciplinele în această clasă), privat (unii dintre ei) și individual (atunci când vorbim despre acest subiect, există o singură).De exemplu, se poate argumenta că o astfel de propunere ca "Noaptea toate pisicile sunt gri" se va referi la o viziune comună, pentru că afectează toți membrii pisica (subiectul hotărârii).Declarația "Unele serpi nu sunt otravitoare" - un exemplu de judecată privat.La rândul său, propunere "Nipru Minunat, în vreme calma," un izolat, din moment ce vorbim despre un râu special, existente într-o singură formă.

judecăți simple și complexe

în funcție de structura, hotărârea poate fi de un simplu sau complex.Structura o propoziție simplă include două concepte înrudite (SP):. «Cartea - o sursă de cunoaștere"Există, de asemenea hotărâri, cu un singur concept - atunci când a doua a însemnat doar: "A fost obtinerea» întuneric (P).Formularul complicat

este format prin combinarea câteva propuneri simple.

hotărârilor simplu

simplu propunere în logica pot fi de următoarele tipuri: atributive, hotărârea cu relatii, existențiale, modale.

Atribut (hotărârea-proprietăți) a trimis pentru aprobare / negarea existenței unor proprietăți de la un obiect (atribute) activități.Aceste hotărâri sunt formă categorică și nu a pus la îndoială "sistemul nervos la mamifere este format din creier, maduva spinarii si cai nervoase ieșire."

Hotărârile cu privire la anumite relațiilor dintre obiecte.Ele pot avea un context spațiu-timp, cauzal, si altele De exemplu:. "Un vechi prieten este mai bună decât două noi", "de hidrogen este de dioxid de carbon mai usor de 22 de ori."

propunere existențială - o declarație cu privire la existența / inexistența subiectului (atât materiale și ideale), "Nici profet în țara lui", "Luna este un satelit al Pământului."

modal propunere - o formă de aprobare, din care constă dintr-un anumit operator de modal (necesar, bine / rău, s-au dovedit cunoscut / necunoscut, este interzisă, cred, și altele.).De exemplu:

• «Rusia are nevoie pentru a efectua reforma educației" (modalitate alethică - posibilitatea, necesitatea ceva).
• "Orice persoană are dreptul la securitatea persoanei" (modalitate deontică - normele morale de comportament social).
• «atitudinea neglijentă față de proprietate publică duce la pierderea sa" (modalitate axiologic - referitoare la valorile materiale și spirituale).
• "Noi credem în nevinovăția" (modalitate epistemică - fiabilitatea de cunoștințe).

hotărârilor complexe și tipurile de conectori logici

După cum sa menționat deja, judecăți complexe formate din câteva simplu.Ca legăturile logice dintre ele sunt tehnici, cum ar fi:

• Conjunctia (și ʌ b - conectare hotărâre).Hotărâri-conjunctie au o grămadă de "și", "Punerea în aplicare a drepturilor și libertăților omului și cetățeanului nu trebuie să încalce drepturile și libertățile altora."
• disjuncție (AVB - împărțirea hotărâre).Ca elemente constitutive de judecată-clauze sunt utilizate ca un liant - conjuncția "sau".De exemplu: "Reclamantul are dreptul de a mări sau micșora dimensiunea cererii."
• implicație (A → B - Hotărârea-efect).În cazul în care structura unui standuri de judecată complexe și trimiterea unui rezultat, se poate argumenta că această hotărâre se referă la implicative.Ca un ligament în forma utilizată de astfel de alianțe ca "în cazul în care ... atunci".De exemplu: "Dacă prin conductorul să rateze curentul electric, firul se încălzește", "Vrei să fii fericit - fi fericit".
• Echivalența (a ≡ b - hotărâri identice).Aceasta se produce atunci când valoarea A și B sunt la fel (fie atât adevărat sau fals ambele): "Omul este creat pentru fericirea, ca o pasăre să zboare."
• Negarea (¬a, A - judecată inversiune).Fiecare sursă este asociat cu contul de compus afirmația negarea originalul.Prin utilizarea ligamente "nu".În consecință, în cazul în care declarația inițială este după cum urmează: "Taurul reacționează la o lumină roșie," (a) - negarea va suna ca: "taurul reacționează la o lumină» roșie (¬a).