Documente Academic
Documente Profesional
Documente Cultură
Logica este o știință foarte veche, poate cea mai veche. Cel dintâi tratat de logică
aparține lui Aristotel (384-322 î.e.n) și precede cu aproximativ o jumătate de veac Elementele
lui Euclid.
Aristotel nu și-a denumit disciplina ale cărei baze științifice le contura. Aristotel a
numit Analitică (Apodictică) partea care se ocupă cu raționamentul demonstrativ, Dialectică,
partea ce se ocupă cu raționamentul probabil și Eristică, ce se ocupă cu raționamentele false.
Corpul scrierilor de logică a lui Aristotel, așa cum ni s-a transmis prin tradiție de la sfârșitul
antichității, este alcătuit din șase cărți:
Ansamblul de tratate de logică ale lui Aristotel a primit ulterior numele de Organon
(„instrument”). Titlurile și ordinea operelor aparține lui Andronicos din Rhodos (sec I î.e.n).
Termenul de „logică”, cu înțelesul actual, va fi fixat definitiv de Alexandru din Aphrodisias
(sec II e.n).
Ex: Dacă toate paralelogramele sunt trapeze și toate romburile sunt paralelograme, atunci
toate romburile sunt trapeze
Logica este știința care studiază formele logice (noțiunea, judecata și raționamentul).
Din punct de vedere logic, gândirea constă din operații logice efectuate cu forme logice.
Structura gândirii, formele logice sau operațiile gândirii sunt expresii echivalente.
Cel care a formulat cu claritate principiul identității a fost Leibniz: „Fiecare lucru este
ceea ce este. Și în atâtea exemple câte vreți A este A, B este B” (G.W.Leibniz, Noi eseuri
asupra intelectul uman, IV, II, 1).
Ca o lege specială a calculelor logice, care afirmă că orice variabilă este echivalentă cu ea
însăși: p↔p
În tehnica definiției: definiția este o relație de identitate între două noțiuni
2. Principiul non-contradicției
(̴ (Px și Pˈx))1 – se respinge predicarea cu referire la unul și același subiect al unor proprietăți
care se resping reciproc.
- în același timp și sub același raport, o propoziție nu poate fi și adevărată și falsă
Ex: cerc-pătrat e o contradicție; la fel și propoziția „Este adevărat și fals în același timp că
afară plouă”.
1
Se citește „nu este posibil Px și Pˈx ”
A fost definit prima oară de către Aristotel: „(…) este peste putință ca unuia și
aceluiași subiect să i se potrivească și totodată să nu i se potrivească sub același raport unul și
același predicat…Acest principiu e cel mai sigur dintre toate, căci el surprinde în sine
caracteristicile arătate mai sus. Într-adevăr, e peste putință ca un om să-și poată închipui că
unul și același lucru este și totodată nu este” (Aristotel, Metafizica, IV, 3, 1005 b, 19).
Leibniz consideră că cerința noncontradicției este forma negativă a identității și îi
conferă o formulare generală, care asociază și exigența terțului exclus: „o propoziție este sau
adevărată sau falsă”. Aceasta se scindează în două enunțuri: „o propoziție nu poate fi
adevărată și falsă în același timp” (principiul contradicției) și „nu se poate ca o propoziție să
nu fie nici adevărată nici falsă” (principiul terțului exclus) (G.W. Leibniz, op. cit, L II).
Cu privire la lucruri și proprietăți, vom afirma că este imposibil ca un lucru să posede
și să nu posede aceeași proprietate (în același timp și sub același raport). Considerând
propozițiile și valoarea lor alethică, obținem aserțiunea că este imposibil ca o propoziție să fie
și să nu fie adevărată (în același timp și sub același raport). Iar în contextul sistemelor
logice, vom susține că este imposibil ca o formulă bine formată să fie și să nu fie o teză a
sistemului (în același timp și sub același raport).
Aristotel a considerat că cerința necontradicției, în calitate de principiu, nu poate fi
demonstrat, fiind imposibil s-o deducem dintr-o lege mai generală. Valabilitatea ei poate fi
demonstrată numai pe cale indirectă, prin procedeul reducerii la absurd. Astfel, dacă am
presupune că principiul nu ar fi valabil ar rezulta mai multe ipoteze absurde:
Ex. Unii oameni sunt drepţi/ Unii oameni nu sunt drepţi. În acest exemplu propoziţiile nu pot
fi împreună false, în acelaşi timp şi sub acelaşi raport, putând fi însă adevărate.
Aristotel demonstrează valoarea terțului exclus tot prin reducerea la absurd. Astfel,
dacă principiul nu ar fi valabil, ar însemna să admitem consecințe absurde și în primul rând să
acceptăm ideea că există intermediare între termenii opuși: între afirmație și negație, între
adevăr și fals, între număr par și număr impar s.a.m.d
Ontologic: orice proprietate este condiționată de alte proprietăți (pe care se și întemeiază)
Semantic: orice adevăr este condiționat de alte adevăruri (pe care se și întemeiază)
Sintactic: orice teoremă este condiționată de alte teoreme (pe care se și întemeiază)
a) suficient şi nenecesar: ” Într-un circuit închis, reacţia chimică dintr-o pilă generează curent
electric”.
b) suficient şi necesar: “Într-un triunghi la unghiuri egale se opun laturi egale”.
O propoziție reprezintă un temei necesar pentru alta, dacă fără adevărul ei, nu se
poate dovedi adevărul celei din urmă. Ex: Ca să pot promova un examen, trebuie să îl susțin
(numai dacă p, atunci q)
O propoziție reprezintă un temei suficient pentru alta atunci când p fiind, adevărată,
q nu poate fi falsă Ex: Dacă am promovat examenul, cu siguranță l-am susținut (dacă p,
atunci q)
Ex: Este necesar și suficient să știm că o figură are trei laturi egale pentru a conchide că
aceasta este un triunghi echilateral.