CE ESTE LOGICA? DELIMITAREA OBIECTULUI DE STUDIU

Ce este logica? Delimitarea obiectului de studiu

Termenul logica deriva din grecescul logos desemnand cuvant, discurs, ratiune, rationalitate. Etimologic logica este stiinta rationarii (gandirii) corecte.[1]

Ce inseamna a gandi, a rationa (corect) ? Insemna a corela informatii, a pune in relatie (legatura) doua sau mai multe judecati pentru a obtine o judecata noua. Cu alte cuvinte, a rationa, a face rationamente, inseamna a deriva o noua judecata (concluzie) in baza unor judecati anterioare (premise).

Sa luam cateva exemple:

Toate femeile sunt frumoase Toti barbatii sunt inteligenti

Ioana este femeie Ion este barbat

Ioana este frumoasa Ion este inteligent

Daca acceptam premisele, suntem constransi sa acceptam concluzia. Cine ne constrange? Ne constrange structura, forma rationamentului, forma lui logica. Sa analizam aceasta forma, utilizand anumite simboluri:

notam cu M= femei, (barbati)

P= frumoase, (inteligenti)

S= Ioana (Ion).

Forma rationamentului devine: Toti M sunt P,

S este M,

S este P.

Concluzia S este P rezulta cu necesitate din premisele enuntate, intrucat forma este corecta.

Sa luam un alt exemplu:

Toate femeile sunt frumoase Toti barbatii sunt inteligenti

Constanta este frumoasa Rex este inteligent

Se observa ca in cazul acesta nu mai rezulta cu necesitate nici o concluzie intrucat forma logica nu mai este corecta. Forma logica este corecta atunci cand respecta legile de rationare. In cazurile de mai sus este vorba de o singura lege si anume aceea ca obiectul gandirii sa ramana acelasi pe parcursul rationarii.

Putem conchide acum: logica este stiinta formelor (structurilor operatorii) gandirii corecte. Este, cel putin in acceptiunea clasica, o stiinta formala interesata doar de conditiile formale ale gandiri si nu de continutul material al componentelor rationamentului. In exemplele utilizate mai sus, corectitudinea rationamentului este data de forma lui si nu de adevarul propozitiilor componente. Daca este adevarat ca toate femeile sunt frumoase este o chestiune ce tine de estetica, iar asertiunea privind inteligenta barbatilor tine de psihologie. Asertiunile respective sunt analizate de logician numai in ceea ce priveste posibilitatea lor logica. Este posibil logic ca toate femeile sa fie frumoase si este imposibil logic ca toate femeile frumoase sa nu fie frumoase. Posibilitatea ontica este conditionata de posibilitatea logica, iar imposibilitatea logica este cu neputinta ontic. Iata de ce la inceput a fost cuvantul, logosul.