Teoria numelor logice este folosit în secțiunea logică, care se numește un silogism (din Sillogistikos greacă -. monospace inferență). conceptele sale de bază au fost deja dezvoltate de Aristotel, dar nu și-a pierdut valoarea practică până în prezent. Silogismul considerate concluzii pe baza declarațiilor de atribute. Atributiv (Lat Atributum -. Prisovokupleniem) este o declarație care exprimă proprietățile care aparțin sau nu aparțin unor subiecți. „Acesta este un număr prim“, „Pământul - planeta a Sistemului Solar“, „Unele substantive nu sunt refuzate“, „Toate metalele - sunt bune conductoare de electricitate,“ - exemple de enunțuri atributive.
În diviziunea silogistic stabilită a tuturor enunțuri atributive pe subiect, predicat, și o grămadă. Subiect (notate cu litera S) - este o parte a declarației, care a indicat obiectul gândirii. Predicatul (desemnat prin litera P) surprinde mysli.Svyazkaustanavlivaet proprietate subiectul în care sunt împotriva celuilalt și proprietatea obiectului. Deci, în a spune „Mită - o infracțiune“, subiectul este numele de „mită“ și Predicatul - „infracțiune“. Bunch, pronunțat cuvântul „acolo“ (în acest caz este omis) indică faptul că obiectul aparține proprietății în cauză.
Declarații nazyvayutsyaterminamiatributivnogo subiect și predicat. Fiecare dintre ele are un rol cognitiv specific. În procesul de cunoaștere într-un subiect deja cunoscut fix deschis anterior. Predicatul acționează ca noi cunoștințe este exprimată de unele aspecte necunoscute ale subiectului în studiu. De exemplu, prin studierea Venus, omul a descoperit o proprietate necunoscut anterior al acestei planete, și anume faptul că are o atmosferă. Această nouă cunoaștere a înregistrat în expresia predicat „Venus are o atmosfera.“ În viitor, proprietatea devine obiectul de studiu în sine și, prin urmare, înregistrată în subiectul unei noi enunț. De exemplu, „Atmosfera lui Venus are o temperatură peste 400 ° C“. Deoarece predicatul se încadrează situațiile de bază de sarcină semantice, în măsura în care este întotdeauna sub stres logic.
Fiecare enunț atributivă este caracteristicile calitative și cantitative. Distinctie atribut vyskazyvaniypo kachestvuproizvoditsya în funcție de natura ligamentului, care indică prezența sau absența proprietăților de conectare la obiectul de gândire și se exprimă prin cuvintele „este“, „sunt“, „este“, „nu este“ și altele. (Aceste cuvinte sunt uneori omise în scris și se înlocuiesc cu liniuțe). În conformitate cu acest atribut declarații sunt împărțite în afirmativ și negativ. De exemplu, „logica - știința“ - o declarație afirmative, „Marte nu este un satelit al Pământului“ - negativ.
Atributivă ceva spunând este aprobat sau refuzat nimic despre un singur obiect, sau o parte a produselor sau a tuturor obiectelor dintr-o anumită clasă. În funcție de acest atribut declarații împărțit la numărul de - pe individ, private și în comun.
Declarațiile în cauză privind calitatea de membru sau non-membru proprietățile unui obiect individual, nazyvayutsyaedinichnymi. De exemplu, „Aristotel a fost gânditorul genial antichitate“, „Această audiență nu este potrivit pentru studii de laborator.“
Declarațiile, care vorbesc de apartenență sau nu aparțin unor proprietăți ale obiectelor din această clasă, nazyvayutsyachastnymi. De exemplu, „mulți absolvenți Belorumynskogo Universitatea de Stat a devenit oameni de știință restante,“ „Unele dintre lucrările științifice ale studenților din grupul nostru nu a fost reprezentat în revista republicană.“ enunțuri private începe de obicei cu cuvintele „unele“, „mulți“, „există“ et al.
Enunțurile care exprimă accesoriu (care nu aparțin) proprietățile tuturor subiecților care primesc clasa, nazyvayutsyaobschimi. De exemplu, „Toate facultății noastre, studenți - avocați viitori“, „Nici unul dintre insecte nu este un vertebrat.“ Declarații generale poate începe cu cuvintele „toate“, „fiecare“, „Toți“ și altele. În unele cazuri, aceste cuvinte pot fi omiși, așa cum contextul lor, este clar că subiectul enunțării reprezintă o întreagă clasă de obiecte.
Evident, posibilitatea de a combina clasificarea atribut declarații în calitate și cantitate. Declarațiile care sunt atât comune și asertiv, nazyvayutsyaobscheutverditelnymi ( „Fiecare element are un cost“, „Toți profesori - profesori“).
Declarațiile care sunt atât private, cât și asertiv, nazyvayutsyachastnoutverditelnymi. ( „Unii oameni de știință - câștigători ai premiului Nobel“, „Multe țări africane - membre ale Organizației Națiunilor Unite“).
Exprimările sunt ambele nazyvayutsyaobscheotritsatelnymi comune și negative ( „Nici unul dintre insecte nu este un vertebrat,“ „Nici unul pătrat nu este la fel de mare cerc construit cu o riglă și compas“).
Declarațiile care sunt atât nazyvayutsyachastnootritsatelnymi private și negativ ( „Unele experimente nu au confirmat această ipoteză“, „Unii serpi nu sunt otrăvitoare“).
determinat De asemenea edinichnoutverditelnye și exprimare edinichnootritsatelnye. Având în vedere că subiectul fiecăreia dintre aceste afirmații vorbesc despre toate elementele de clasa (această clasă este o singură bucată), gradul de classing lor legitime conform universale declarații negative, pozitive și universale.
Patru tipuri de declarațiile de mai sus pot fi desemnate folosind literele vocalice ale cuvântului latin affirmo (revendicarea) și Nego (neagă), primele litere ale cuvintelor vocalice utilizate în desemnarea declarațiilor generale, iar a doua - fracțiuni. Astfel, declarațiile afirmative universale
(Și edinichnoutverditelnye conexe) desemnate Sap expresie, pe care scrie: „Toate sunt P», universal negative și edinichnootritsatelnye - expresia SEP (a se citi: „Nu S nu este P»), la de multe ori - o expresie a Sip (a se citi: „Unii S sunt P »), chastnootritsatelnye - SoP expresie (a se citi:“ Unii S nu sunt P »).
Înregistra declarațiile atributive într-una dintre aceste forme se numește cont standard. În multe limbi slave vorbite, spre deosebire de limba germană sau engleză, declarațiile atributive sunt adesea exprimate în afara cutiei. în limbile română și Belarus nu sunt, de obicei relația dintre subiect și predicat exprimat printr-un ligament. Dar limba germană este necesară. Rusă „toată lumea suferă de hârtie“, atunci când tradus în limba germană necesită neapărat pachetul „acolo» - «Das Papier ist geduldig».
Cuvântul „toate“, „unii“, și altele. Exprimându caracteristicile cantitative ale enunțuri atributive cuvinte nazyvayutsyakvantornymi. Definirea corectă a declarațiilor „cantitate“ este de mare importanță în procesul de raționament. De aceea, trebuie să învățăm să definească în mod clar ceea ce este în numărul unei anumite declarații.
Ia expresia „proces psihic - procesul în viața reală“. „Procese mentale apar la animale“ și Primul citat este comun, deoarece aceasta presupune că orice proces mental - procesul în viața reală. A doua declarație - privat, se afirmă de fapt, existența la animale a unor procese mentale.
De asemenea, trebuie avut în vedere următoarele. Silogismul în utilizarea de viteză „Toate S sunt P» și «Nu S nu este P» se înțelege că elementele menționate în numele lui S, există, și anume S nu este un nume gol. De exemplu, în declarația „tuturor regilor români au fost monarhie absolută“ se înțelege că, în realitate, a existat cel puțin o persoană care a fost rege român.
Manipularea unei clase non-gol ca obiecte de gândire în silogismul este o condiție prealabilă. logica simbolică moderne, fără astfel de restricții. Ca urmare, multe regulamente își pierd silogistic puterea lor sau necesită reformulare semnificative.
Cifra de afaceri a „All S ...» în situațiile generale sinonime cu cuvintele „Fiecare S ...». Cifra de afaceri „Unii S.“ enunțuri particulare este înțeleasă în sensul de „cel puțin o parte din S.“ nu în sensul de „Doar o parte din S.“ atât de adevărat este proverbul „Unii lupi - prădători,“ în timp ce spune „Numai câțiva lupi - animale de pradă“ - este falsă. Spunând: „Doar câteva S.» este înțeleasă ca un complex. De exemplu, afirmația „doar câțiva studenți - onoruri“ este echivalent cu a spune: „Unii dintre elevi - onorurile, iar unii -. Nu cei mai buni studenți“