Vorbind de logica ca știință a formelor de raționament corect, în primul rând, ține cont de legile și formele de concluzii corecte și dovezi. Aceasta eliberează cea mai semnificativă în această știință, deoarece concluziile (deducții) joacă rolul cel mai important în teoria cunoașterii. Cu toate acestea, natura logică Aristotel Cercul de probleme este mult mai largă. Acesta analizează nu numai formele de bază ale gândirii: concepte, judecăți, dar multe dintre tehnicile de activitate cognitivă. Având în vedere acest lucru, ar fi mai corect să se definească logica ca știința formelor și metodelor de cunoaștere cu privire la nivelul gândirii abstracte, legile care stau la baza tehnicilor potrivite, și limba ca mijloc de cunoaștere.
Cu această înțelegere a acestei științe în ea, împreună cu logica formală alocate, cel puțin în secțiuni, cum ar fi logic semiologie (limba de studiu ca mijloc de cunoaștere), metodologia (studiul metodelor și tehnicilor de cunoaștere științifică).
Studiile Logic modul în care face activitatea intelectual-cognitive în diverse științe. Împreună cu formele concluziile studiului care reprezintă un proces de obținere a noi cunoștințe deja disponibile, sunt analizate în expresii logice ale cunoașterii posibile tipuri de structuri logice și concepte, declarații, teorii, și diverse operațiuni cu conceptele și declarațiile, relația dintre ele. Studiul limbii ca mijloc de cunoaștere sunt clarificate întrebări cu privire la modul în care limba de exprimare poate fi în nostru de gândire anumite lucruri, comunicare, relație.
Logica în primul rând, nu sunt interesați de modul în care o persoană gândește, și modul în care el trebuie să se gândească să rezolve diversele probleme ale caracterului logic-cognitiv. Și ne referim la o soluție la aceste probleme, ceea ce ar asigura obținerea unor rezultate reale în procesul de învățare. În procesul natural de gândire ne arată în mod frecvent o tendință de generalizări pripite, prea încrezător intuiție, incertitudinea de sensuri de cuvinte. Logica de reglementare contribuie la depășirea acestor și a altor deficiențe de raționament naturale.
Astfel, logica nu este doar descriptiv, ci caracter normativ (normativ): ea produce anumite cerințe și standarde aplicabile procedurilor de gândire.
Pentru a înțelege specificitatea logica subiectului, și în special a studiat specificul legislației sale ar trebui să fie familiarizați cu conceptele de formă logică și conținutul logic al gândirii.
Ia două judecăți „totul din metal este chimic substanțe simplu“ și „Dacă apa la presiune normală, se încălzește la 100 ° C, începe să fiarbă.“
Conținutul specific al gândului, în primul caz este afirmația că orice obiect, pe care îl caracterizează ca de metal, are proprietatea de simplitate chimice, și anume Acesta constă dintr-un atom de omogen. Pentru a dezvălui forma logică și conținutul logic al acestei hotărâri, este necesar să ne abatem asupra ce anume elementele specifice despre care se spune ceva, și ce anume acele proprietăți specifice, prezența care, în aceste subiecte a fost adoptat. Distrasă de la ceea ce noi vorbim despre metale, putem eticheta S lor variabile, iar proprietățile în loc de „substanță chimic simplu“ pentru a introduce variabila P. Apoi, în loc de judecățile particulare obține forma sa logică:
Această expresie are un anumit conținut, și anume, se afirmă că orice obiect care are unele proprietăți S tinde P. Acest conținut care este forma logică a declarațiilor și a numit conținutul logic al rostirii.
Pentru a identifica forma logică a doua a angajamentelor pe care le face judecăți, ar trebui să fie, de asemenea, distras de la faptul că, despre ce anume subiectul se ocupă cu, și anume, faptul că declarația se referă în mod specific la apă. În schimb, să ia o denumire a unui anumit obiect, cum ar fi. Cu toate acestea, înlocuim proprietăți „încălzite sub presiune normală până la 100 ° C“ la P1 și „fierbe“ - P2. Ca rezultat, obținem:
Conținutul logic aici constă în indicarea relației dintre prezența unuia proprietăților obiectelor (P1), iar cealaltă (P2).
Acum, uita-te la două concluzii. în primul rând:
Toți oamenii sunt muritori.
De aceea, Socrate este muritor.
Suntem conștienți de ceea ce este în joc în acest silogism. Știm că această „moarte“, care este „omul“ și cine este Socrate (filozof grec). Prin urmare, suntem foarte clare și sensul premiselor (judecata „Toți oamenii sunt muritori“ și „Socrate - un om“). Și, dacă suntem de acord, așa cum sa menționat în incinta, nu are de ales decât să fie de acord cu concluzia „Socrate este muritor“.
Toate polioksiantrahinony - derivați antracen.
În consecință, alizarina - derivat antracen.
Daca nu sunteti pasionat de chimie, este puțin probabil să realizeze ce se întâmplă, și nu știu ce polioksiantrahinon, antracen și alizarină. Și totuși, cel mai probabil, crezi că concluzia este corectă. Te simți că, dacă toate polioksiantrahinony sunt derivați de antracen și Alizarin - polioksiantrahinon, trebuie spus ceva despre alizarină că este un derivat de antracen. În cazul în care are nevoie? De ce putem face concluzii fără a ști nimic despre subiectele lor?
Pentru a răspunde la această întrebare, să ne înlocuiască cuvântul în raționamentul de mai sus cu privire la variabilele:
Prin urmare, Socrate (S) muritor (P).
Toate polioksiantrahinony (M) - derivați de antracen (F).
Alizarin (S) - polioksiantrahinon (M).
În consecință, alizarină (S) - derivat antracen (F).
Și într-unul și în celălalt caz, obținem:
Credibilitatea acestui raționament nu sa schimbat prea mult după ce am eliminat cuvântul și inserat în locul literelor. Suntem din același sens de obligativitate recunosc faptul că, odată ce toate M este P, S și M au, prin urmare, S este P.
De aceea, nu știe ce se spune în a doua deducție, am fost convinși de corectitudinea producției. Faptul că conținutul specific al cuvintelor, termenii specifici de conținut, în acest caz, nu depinde de nimic, și depinde de ceea ce a mai rămas în schemă, adică de forma logică a raționamentului. Această prevedere este foarte importantă pentru întreaga științei logicii. Acesta a fost deschis de fondatorul științei logicii aristotelice și poate fi formulată după cum urmează:
Raționamentul corectă depinde de forma acestui argument
și, prin urmare, este independentă de conținut. Dacă ne sunt adoptate în mod arbitrar două hotărâri fără nici o constrângere ca fiind adevărate, atunci suntem obligați să luăm și a treia în legătură cu primele două. Acest lucru se întâmplă indiferent de voința noastră, ca inevitabilă sau constrângere. Aristotel a numit această trăsătură a gândirii noastre „puterea coercitivă a vorbirii noastre.“