Documente Academic
Documente Profesional
Documente Cultură
nimicuri devine ceva. Acest paradox are drept scop aprarea unu-lui
parmenidian i combaterea ideilor pitagoriciene despre univers care ar fi alctuit
cumva din unitile ce au ntindere spaial, i ar fi analoge punctelor (infinite
numeric) din geometrie. Celelalte paradoxe cuprind patru argumente mpotriva
micrii. Ori spaiul i timpul sunt divizibile la infinit (n care micarea e continu i
lin), ori exist entiti minime indivizibile (n care caz micarea se produce prin
salturi minuscule).
De exemplu, n paradoxul Dihotomiei Zenon vrea s demonstreze c
Nu exist micare (teza). El presupune c exist micare (antiteza).
Zenonargumenteaz c un mobil nu poate s ncheie cursa. nainte de a ajunge la
capt, mobilul trebuie s parcurg jumtatea pistei. Dar nainte de a parcurge o
jumtate din pist, mobilul trebuie s parcurg jumtatea acestei jumti i aa
mai departe, pn la infinit. Dac spaiul e infinit divizibil, atunci orice distan finit
trebuie s conin un numr infinit de puncte. Astfel, nu putem ajunge la originea
micrii, micarea nu poate ncepe i deci, conchide Zenon, nu exist.Aporiile
(paradoxele) lui Zenon sunt modaliti de reducere la absurd a anumitor teze
(raionamente prin absurd).
La progresul logicii antice au contribuit Socrate (470-396 . e. n.) i
Platon (428-348 . e. n.). Socrate a pus baza teoriei definiiei i induciei, artei
dialogului, maieuticii (moirii spiritelor). Metoda maieutic include anumite
ntrebri, obiecii, sugestii care i permit interlocutorului s ajung la adevr sau s
descopere acele adevruri pe care le poart n sine.
Platon, elevul lui Socrate, a dezvoltat filosofia logicii, teoria definiiei, metoda
dialectic (metoda de argumentare ce implic respingerea, metoda de cooperare
n investigaia filosofic ce cuprinde cutarea definiiilor, metoda diviziunii i
reunirii) (Vezi:[36, p. 18-19]).
Aristotel (384-322 . e. n.), discipolul lui Platon, a sistematizat ideile logice ale
precursorilor i contemporanilor si, a formulat idei logice noi. Lucrrile aristotelice
de logic sunt cunoscute sub genericul Organon (instrument al cunoaterii) i
cuprind ase tratate: 1.Categoriile; 2. Despre interpretare; 3. Analiticile prime;
4. Analiticile secunde; 5. Topica; 6. Respingerile sofistice. n aceste tratate
Aristotel a studiat tipurile de noiuni (categorii), raporturile dintre ele, propoziiile
categorice, modale i raporturile (opoziia) dintre ele, inferenele deductive
(imediate, silogismele categorice i modale, polisilogismele) i inductive,
demonstraia i argumentarea, tipurile i felurile de erori ce au loc n
cadrul raionamentului, gndirii dialogante, principiile logice
(identitii,noncontradiciei, terului exclus) . a. Realizrile lui Aristotel n logic au
fost att de importante, nct majoritatea specialitilor l considerdrept fondatorul
i creatorul principal al logicii tradiionale, clasice.
E de menionat c termenul logic pentru tiina logicii a fost pus n circulaie dup
Aristotel de Alexandru din Afrodisia ( Aphrodisias ) (198-211 e. n.), comentatorul
operei aristotelice .De-a lungul antichitii trzii, s-au afirmat dou mari coli de
logic, coala discipolilor lui Aristotel ( peripatetica ) i cea stoic ,ntemeiat de
Chrisipp (Chrisipos) (280-207 . e. n.).
Stoicii au con-tribuit la dezvoltarea teoriei propoziiilor compuse
i inferenelor cu propoziii compuse (ipotetico-categorice, ipotetico-disjunctive) .a.
Re- prezentanii logicii scolastice, conform opiniilor specialitilor, nu s-au afirmat
prin concepii originale.
Logica scolastic cerceteaz fundamentele filosofice ale logicii, iar
problemele raionamentului, demonstraiei nu depesc limitele silogisticii
aristotelice. Principalii reprezentani ai acestei perioade sunt: Boeiu ( Boethius)
(480-524), Pierre Abelard (1074-1142), William Ockham (circa 1296-1349), Jean
Buridan (circa 1295-1356).
La nceputurile epocii moderne Fr. Bacon (1561-1626), n Anglia, i R. Descartes
(1596-1650), n Frana, acord o mare atenie metodelor inductive (Bacon) i
deductive (Descartes).
Unul dintre cei mai mari logicieni ai epocii moderne a fost G.W. Leibniz (1646-1716).
El a formulat principiul raiunii suficiente, a abordat problema necesitii crerii unui
limbaj logic formal universal, analog celui matematic (simbolic). El susinea c, prin
rezolvarea acestei probleme, intelectul va fi despovrat de sarcina de a gndi n
mod direct despre lucrurile nsei i, n pofida acestui fapt, totul se va petrece
corect. Ideile lui Leibniz au fost realizate doar n a doua jumtate a secolului al XIXlea - nceputul secolului al XX-lea, graie eforturilor multor logicieni i
matematicieni. La crearea logicii simbolice au contribuit G. Boole (1815-1864), A. De
Morgan (1804-1871), P. S. Poreki
(1846-1907), G. Frege (1848-1925) i muli alii.
Logica formal contemporan sau logica matematic se mai numete logistic.
Acest termen, creat n 1904 la Congresul logicienilor, nlocuiete expresiile logica
matematic, algebra logicii etc.n secolul al XX-lea s-au format noi ramuri ale
logicii cum ar fi, de pild, logica polivalent, logica ntrebrilor (erotetica),
logica preferinelor, logica deciziilor, logica obiectivelor (scopului). n aceast
perioad au aprut diferite varieti de logici modale
(epistemic, temporal, polivalent, axiologic, deontic).
Logica deontic a lui
G. H. von Wright se aplic pe larg n jurispruden. Au fost
elaborate diverse variante de logic aplicat, printre care trebuie menionat cea
juridic (C. Perelman, Z. Ziembinski, Z. Ziemba, G.Kalinowsky, Gh. Mihai, Gh.
Mateu, I. Dobrinescu . a.).La popularizarea i dezvoltarea logicii i-au adus aportul
muli savani ilutri i profesori universitari romni, printre care trebuie menionai T.
Maiorescu (autor al primului manual universitar de logic), I. Petrovici autor al
primului doctorat de logic), A. Dumitri (autor al unui studiu fundamental de istorie
a logicii), P. Botezatu (fondatorul unor noi direcii n logica contemporan, autorul
unei variante originale de logic natural).La finele secolului al XX-lea i nceputul
secolului al XXI-lea logica i continu evoluia graie computerizrii
proceselor tehnologice, didactice, diagnostice, crerii a noi sisteme informaionale
etc.
Logica are multiple aplicaii n diferite domenii ale tiinei i activitii practice,
inclusiv n drept la elaborarea, interpretarea i aplicarea normelor juridice.
1.3. Propoziiile logice i valorile lor de adevr
Viaa de toate zilele, ca i tiina, ne ofer prilejul unor constatri:
- zpada este alb,
-prin nclzire, metalele se dilat ,
-suma unghiurilor unui triunghi este egal cu 180,
-criminalitatea este un fenomen antisocial, omajul este un fenomen social economic.
Unele dintre ele se obin din observarea direct a ceea ce se petrece n jurul nostru,
altele le ntemeiem pe cunotine anterioare cu ajutorul raiunii, gndirii. Gndirea
este obiectul de studiu al multor tiine (filosofice, psihologice, lingvistice . a.),
iar structura ei face parte din obiectul de cercetare al logicii.tiina modern a
demonstrate unitatea gndirii i limbajului (vorbirii), caracterul lor inseparabil, adic
imposibilitatea realizrii doar a unui dintre aceste fenomene fr cellalt. Doar prin
abstracie, din anumite necesiti (analitice, didactice . a.) gndirea i vorbirea pot
fi cercetate separat una de cealalt, ca entiti distincte i autonome. Ca unitate a
gndirii i vorbirii, ideile se constituie sub forma unor construcii verbale, propoziii
gramaticale care afirm sau neag ceva despre anumite obiecte.
De exemplu, unele fapte sunt infraciuni, unele fapte nu sunt infraciuni. Deci, dup
calitatea lor, exist propoziii afirmative i propoziii negative. Propoziiile ce conin
cunotine cu coninut obiectiv, din care putem deriva alte cunotine, se numesc
propoziii cognitive. Logica tradiional atribuie calificativul
cognitive propoziiilor enuniative, declarative, pentru a le deosebi de acelea care,
n loc de cunotine,redau ntrebri, ordine (porunci sau, altfel spus, comenzi),
reguli ( instruciuni ), dorine . a. [5, p. 5].