Referat Logica

Mai jos puteti citi fragmente din Referat Logica si de asemenea puteti face Download Referat Logica

Citeste fragmente din Referat Logica

LOGICA L ogica este ştiinţa al cărui obiect este stabilirea condiţiilor corectitudini gândirii, a formelor şi legilor generale ale raţionării juste, conforme prin ordinea ideilor cu organizarea legică a relaţiilor obiective. În stabilirea acestor condiţii, logica face abstracţie de conţinutul concret al diverselor noastre idei, fiind în acest sens o ştiinţă formală, analoagă cu gramatica sau cu geometria. Aşa, de pildă, ea se ocupă cu noţiunea sau cu judecata în genere şi cu o anumită noţiune sau judecată determinată concret. Logica se împarte în trei ramuri mari: a) logica clasică (formal filozofică), b) logica matematică (simbolică, numită şi logistică) şi c) logica dialectică. Logica clasică şi logica matematică expun formele şi legile gândiri concrete în momentul relativei lor stabilităţi, în timp ce logica dialectică le expune în procesul mişcării şi dezvoltării, al dialecticii lor. De aceea logica clasică şi logica matematică sunt subordonate, prin natura lor, logici dialectice, pe baza faptului că stabilitatea, în genere, este relativă faţă de caracterul absolut al mişcării şi, ca atare, prin natura ei, subordonată acesteia. Logica clasică (logica de tradiţie aristotelică) studiază noţiunea, judecata, ca raport între noţiuni, şi raţionamentul, ca raport între judecăţi. Ceea ce caracterizează logica clasică este relevarea raportului de determinare de la general la particular, de la gen la specie, generalul şi esenţialul fiind considerate fundamentele pentru o cunoaştere ştiinţifică veritabilă. Aceste cerinţe sunt întruchipate de silogism, pe baza funcţiei îndeplinite în cadrul său de termenul mediu. Întemeiatorul logici clasice a fost Aristotel, descoperitorul silogismului şi al doctrinei despre silogism, silogistica. Preocupări de sistematizare a logici au existat, de asemenea, în China şi în India antică. Contribuţii uluitoare la dezvoltarea logicii clasice au adus stoicii, precum şi logicienii evului mediu. În strânsă legătură cu dezvoltarea modernă a ştiinţei s-a dezvoltat teoria inducţiei şi s-au formulat regulile raţionamentului inductiv. Prin fundamentarea consecvent materialistă a conceptului de adevăr, pe baza stabilirii raportului just dintre logic, gnoseologic şi ontologic, logica clasică continuă să se dezvolte şi în prezent, împotriva tendinţelor neopozitiviste de a-i nega valabilitatea. Logica matematică (sau simbolică) s-a născut în sec. al XIX-lea, în funcţie de dezvoltarea puternică a matematici şi de ivirea necesităţii cercetării logice a fundamentului acesteia ca ştiinţă formală. Atât prin originea cât şi prin problematica sa, logica matematică este o ştiinţă care a apărut la hotarul dintre logică şi matematică. Logica matematică se caracterizează prin cercetarea functorilor (operatorilor) logici, a proprietăţilor lor formale şi prin elaborarea, pe această bază, a unor calcule logice. Procedeul logic-matematic, păstrându-şi specificul său, este pe deplin analog procedeului matematic propriu-zis. În virtutea acestui procedeu, cercetările de ordin logic au o formalitate riguroasă, datorită căreia operaţia de deducţie îşi desăvârşeşte stringenţa. Astfel se elaborează o serie de calcule care îmbrăţişează aspecte noi, necercetate încă în domeniul logicii. Calculele cele mai însemnate şi care reprezintă totodată capitole de bază ale logici matematice sunt: a) logica propoziţiilor, b) logica predicatelor, c)logica relaţiilor. In cadrul logici matematice au apărut sau au luat o noua dezvoltare logica modală, logica polivalentă, precum şi logica inductivă, strâns legată de teoria probabilităţilor. Analiza fundamentelor logici a determinat apariţia cercetărilor de logică combinatorie. Tot atât de importante ca şi problemele stricte de calcul (probleme sintactice) sunt şi problemele interpretării acestor calcule (probleme de semantică); în această privinţă trebuie menţionată mai ales problema analizei sistemelor formale înseşi în cercetările de metalogică. O dată cu problemele de metalogică trec pe prim plan analize cu implicaţii gnoseologice în legătură cu adevărul şi cu consecvenţa în limbajul formalizat. Cercetările de logică matematică au infirmat întrebuinţarea formalist-metafizică a sistemelor formale şi cea convenţionalist-relativistă a conceptului de adevăr, proprie neopozitivismului. Ideea calculului logic a fost formulată pentru prima oară de Leibniz. Ca disciplină de sine stătătoare, logica matematică s-a constituit în sec. al XIX-lea, o dată cu apariţia oprelor lui A. de Morgan şi ale lui G. Boole, care au inaugurat aşa-numita algebră a logici, dezvoltată ulterior de E. Schroder, P. S. Poreţki ş. a. Logica matematică găseşte aplicare în electrotehnică (studiul schemelor cu relee, al schemelor electronice etc. ) în cibernetică (teoria automatelor, tehnica programării), în neurofiziologie (modelarea sistemelor neurotice), lingvistică (lingvistica matematică) etc. Logica dialectică este teoria de ordin logic a materialismului dialectic, adică analiza dialecticii formelor logice şi a legilor care condiţionează această dialectică; pe baza lor gândirea reflectă în mod adecvat mişcarea şi dezvoltarea realităţii obiective. Acest lucru este demonstrat riguros de dezvoltarea dialectică a noţiuni, care trece în judecată, şi a judecăţii care trece în silogism. Formele logice sunt, datorită valorii lor gnoseologice diferenţiate, forme pline de conţinut, iar legile logice pe baza cărora acestea se înlanţuiesc, constuitue principiul de bază al logicii dialectice. In această lumină trebie înţeleasă şi relevarea unor trăsături generale ale logici dialectice, cum sunt, de ex. Identitatea concretă, care cuprinde în sine deosebirea; predicţia complexă contradictorie, care reprezintă un mod de expromare pe plan logic a contradicţiei interne; înmlădirea terţului exclus, care reprezintă supleţea conceptului de adevăr în aprofundarea cunoaşterii. În acest fel logica dialectică elimină posibilitatea strecurări unei sciziuni în analiză şi sinteză, în general şi particular, între inducţie şi deducţie, între abstract şi concret, sciziune prin care idealismul, în special pozitiv logic, încearcă să se infiltreze înlăuntrul logici pentru ai denatura şi vicia caracterul ştiinţific. Interpretarea de către logica dialectică a formei de manifestare a conţinutului demonstrează legătura şi unitatea fundamentală dintre logică şi teoria cunoaşterii. Studierea, pe baza practicii social-istorice, a procesului de constituire şi dezvoltare a formelor logice demonstrează că axiomele înseşi sunt rezultatul precticii de miliarde de ori repetate. Dialectica formelor logice îşi găseşte explicare ştiinţifică în istoria cunoaşterii. Logicul este un rezumat al istoricului, iar unitatea lor este baza explicării materialist-dialectice a însăşi esenţei formaţiilor logice: cunoaşterea, în dezvoltarea ei, realizează coinciderea dialectică a logicului cu ontologicul scoţând în evidenţă caracterul concret al adevărului şi corelaţia dialectică dintre adevărul relativşi cel abolut. Logicul şi gnoseologicul coincid astfel cu ontologicul. Unitatea dintre logică, teoria cunoaşterii şi dialectică este concluzia logici dialectice şi, ca atare, a logici în genere ca ştiinţă a corectitudini gândirii şi totadată a adevărului ei, formele logice redând, prin dialectica lor, conţinutul realităţii obiective în dezvoltarea lui. În acest sens, logica dialectică este, în înţelesul deplin al cuvântului, filozofia logicii, interpretarea logici ca “organon “, instrument de cuprindere completă, în concepte, a realităţii obiective. Logica dialectică a apărut în expresia ei ştiinţifică ca parte componentă a filozofiei marxiste, prin interpretarea materialistă a dialecticii de către clasicii marxism-leninismului. Obiectul şi legile constituie o preocupare permanentă în lucrările logicienilor marxişti. Logica combinatorie, cea mai noua parte a logici matematice, alcătuită dintr-un calcul în care există numai constante, aşa-numiţii combinatori; aceştia apar şi în rol de functori, şi în rol de argument. Logica combinatorie îşi îndreaptă, în ultima vreme, cercetările în deosebi în direcţia analizei fundamentelor logici. Logica constructivistă, curent în logica matematică, caracterizat prin construirea inductivă a expresilor logice. Ideea de bază a logici constructivistă constă în interdicţia de a transfera asupra mulţimilor infinite priincipiile valabile pentru multimile finite (legea dublei negaţii, principiul terţului exclus ş. a. ). Logica constructivistă se deosebeşte de logica clasică şi prin aceea că ea consideră infinitul ca fiind potenţial, în curs de construire, pe când aceasta din urmă îl percepe ca fiind actual, realizat. Pornind de la principiile logici constructiviste, se fac încercări în direcţia reconsiderării fundamentelor logicii matematice moderne şi ale matematici. Bazele logici constructiviste au fost puse în şcoala intuiţionistă. Logica relaţiilor, curent logic format la sfârşitul sec. al XIX-lea. Logica realţiilor cercetează propietăţiile formale ale relaţiilor (tranzivitatea, reflexivitatea, simetria etc. ) şi efectuează calculul relaţiilor, contribuind la analiza logică a expresiilor matematice. Ea a căpătat în filozofia burgheză contemporană o interpretare idealistă, potrivit căreia relaţia este considerată ca fiind primordială pe plan logic, gnoseologic şi ontologic faţă de relate (termenii relaţiei). Deşi natura relatelor se manifestă prin relaţie, ea determină totuşi natura relaţiei (ex. Greutatea unui corp se stabileşte în relaţie cu alt corp, însă greutatea nu este o propietate a relaţiei însăşi, ci a corpurilor respective, ea manifestându-se doar prin această relaţie). Interpretată just, logica relaţiilor constituie un capitol principal al logici matematice. Logica modală, sistem logic care analizează, din punct de vedere formal, raporturile dintre necesitate, realitate, posibilitate, imposibilitate şi contingenţă. Prima elaborare a unui sistem logic al modalităţii a fost făcută de Aristotel (silogistica); o nouă dezvoltare pe linia logici modale are loc astăzi în cadrul logicii matematice (ex. sistemul trivalent şi cel tetravalent al lui J. Lukasiewicz sau sistemele axiomatice de implicaţie strictă ale lui C. I. Lewis). Până în prezent logica modală nu a fost elaborată sub toate aspectele. Logica polivalentă, sistem logic formal ale cărui expresii comportă, spre deosebire de logica tradiţională, care era bivalentă, mai mult decât două valori de adevăr, ea putând fi astfel trivalentă, tetravalentă sau n-valentă. Primele sisteme de logică polivalentă au fost construite de J. Lukasiewicz (1920) şi de E. Post (1921). Sistemele de logică polivalentă prezintă atât interes teoretic cât şi practic, legat de interpreterea mecanicii cuantice, de rezolvarea paradoxelor logicii matematice clasice, de teoria schemelor de relee etc. VIAŢA LUI ARISTOTEL – inceputurile logicii traditionale Unul dintre cei mai mari filozofi care au existat, Aristotel, s-a născut în oraşul Stagira din peninsula Chalcis, în anul 384 î. Hr. . Tatăl său, medicul Nicomah, venise împreună cu familia sa în Chalcis, din Mesenia, în secolul VIII sau VII î. Hr. . Nicomah nu era doar un simplu medic, ci un om cu carte, care a scris chiar două lucrări literare. Evident, viitorul micului Aristotel a fost influenţat şi de tatăl său, care l-a iniţiat în arta medicală, fiind, desigur, deosebit de destoinic, de vreme ce a fost medic regal la curtea macedoneană. Mama sa, Phaetis, era din Stagira, lucru ce a fost demonstrat şi prin retragerea lui Aristotel, când a fost încolţit de duşmanii săi politici, pe o proprietate din Stagira, moştenire maternă. Deşi Stagira, oraşul natal al lui Aristotel, era pe graniţă cu regatul mecedonean, el nu a fost ’’semigrec’’ aşa cum au crezut o vreme unii autori. Aristotel, pleacă din Stagira la vârsta de 17 ani, până atunci fiind sub instruirea tatălui său şi la curtea regală (până la 15 ani) şi sub directa îndrumare a lui Proxenos, după pilda părinţilor săi. La 18 ani Aristotel soseşte la vestita Academie ateniană unde l-a avut ca profesor pe Platon. Spre surprinderea lui, află că acesta a fugit din cetate ca să scape de supărarea tiranului Denys cel Tânăr. Aristotel va fi dezamăgit de această veste, care-i amâna întâlnirea cu gloria filozoficădeatunci, şi lângăcelcareaştepta nerăbdător săse desăvârşească. Deocamdată, cum am zis, conducătorul Academiei nu se afla în cetate, dar Aristotel e decis să-l aştepte. Aceşti trei ani, cât ’’rectorul’’ Academiei îşi va consuma iluziile politice don – quijoteşti, încercânddinnousă convingă fără succes conducătorii Syracuzei de valabilitatea ideilor sale desprestatul ideal, îi vor folosi lui Aristotel să se pregătească temeinic pentru a se ridica la nivelul teoretic al comunităţii filozofice în care intrase. Cu banii pe care-i avea a descoperit destul de uşor că negustorii atenieni erau pricepuţi şi în valorificarea manuscriselor filozofice ori ştiinţifice. Acestea constituiau în acel moment pentru el marfa cea mai de preţ pe care o avea Atena, şi în achiziţionarea ei nu şi-a cruţat cu nimic avutul. ’’Noul’’ care însemnase geneza filozofiei în Grecia apăruse pe coastele Asiei – Mici, în Ionia, laintersecţiile drumurilor comerciale care legau Orientul de bazinul mediteranean, în cetăţile înfloritoare cum erau Foceea, Milet, Efes, frământate de mişcări sociale care se reflectau, inevitabil, şi în diversitatea poziţiile filozofice. Caracterul materialist al primei filozofii greceşti nu i-a putut scăpa lui Aristotel. ’’Din ceea ce s-a spus şi din doctrinele filozofilor cu care am conferit , iată deci ceea ce am cules: pe de o parte, cei mai vechi filozofi consideră principiul ca fiind corporal (căci apa şi focul şi elementele analoge sunt corpuri) la unii acest principiu corporal e unic, la alţii el este multiplu, însă şi unii, şi alţii îl concep ca fiind de natura materiei’’. (Metafizica, Tricot, pag. 27) Opera scrisă în vremeaaceasta poartă anumite caracteristici şi reflectă gradul de pregătire, influenţele şi străduinţele de orientare ale tânărului filozof. Aristotel scrie cu înflăcărare, mai ales dialoguri (precum se vede, învăţăcelul accepta şi imita tehnica de compoziţie a maestrului, fără să-l poată ajunge însă nici în strălucirea artistică a expresiei, nici în adâncimea ideilor). 2 6 < @ P T b f Moful nostru e încă tânăr şi pasionat cercetarea teoretică, absorbit mai presus de orice exactitate şi adevăr, deevidenţaraţională a întemeierii concluziilor şi de oglindirea întocmai a faptelor. Aristotel se căsătoreşte cu Pythia, cu carea dus o viaţă liniştită şi afectuoasă. Filozoful a avut din această căsătorie o copilă care purta numele mamei şi pe care, când îşi întocmeşte testamentul, o destinează ca soţie lui Nicanor, fiul lui Proxenos, primul său tutore-educator. Pythia, soţia, a murit, probabil imediat după întoarcerea lui Aristotel la Atena, în 335 î. Hr. sau, eventual, în timpul vreunei călătorii în această cetate. Astasededucedin testamentul lui în care stabileşte ca osemintele primei soţii să fie aşezate în acelaşi mormânt cu ale sale, ceea ce poate să însemne că ele se aflau undeva în preajma Atenei, deoarece aducerea lor din îndepărtata Macedonie sau din altă parte nu putea fi uşor de îndeplinit. Teoretic, Aristotel s-a îndepărtat şi mai mult de Platon, căutându-şi propriul său drum filozofic, adâncind cercetările ştiinţifice şi luând poziţie critică şi mai accentuată faţă de doctrina ideilor. În calmul acestor preocupări ştiinţifice, îmbinate cu tihna unei familii în care şi-a găsit toată mulţumirea omeneşte posibilă, căci fericirea adevărată o gusta în contemplarea teoretică, l-a găsit pe Aristotel chemarea regelui Filip al Macedoniei, care dorea să-l aibă dascăl şi educator fiului său Alexandru, atunci în vârstă de abia treisprezece ani. Se deschide astfel o nouă perioadă, de aproximativ un deceniu, în care evenimentul cel mai de seamă, rămas legendar în istorie prin faima celor doi actori principali ai săi, a fost activitatea de instruire şi educare a lui Alexandru care în curând avea să fie ’’cel Mare’’, unul din cei mai întreprinzători şi temerari războinici ai istoriei. Asupra sfârşitului lui Aristotel au existat iarăşi felurite versiuni printre autorii vechi. Unii spuneau că s-ar fi otrăvit de teama continuării unui proces, în care, deşi el era întemeietorul logicii, nu se putea apăra deoarece nici nu era ascultat de către instanţă; alţii, că s-ar fi aruncat în canalul Eurit care separă Eubeea de restul Greciei, diperat că nu poate să explice mareele, fenomen foarte sensibil în acest punct al Mediteranei, iar alţii, care sunt cei mai de crezut afirmă că ar fi murit normal, de o boală de care suferise toată viaţa. PARADOXELE LOGICE Fenomenul paradoxelor (sau al antinomiilor) logice era bine cunoscut grecilor. Logicienii evului mediu au fost şi ei intens preocupaţi de studiul paradoxelor (“insolubilelor“). Adevărata lor importanţă a ieşit la iveală abia odată cu descoperirea lor într-o serie de teorii matematice (teoria mulţimilor lui Cantor şi sistemul logico-aritmetic al lui Frege), iar apoi şi în teoriile logicii. Termenul de “paradox “poate fi definit în mai multe feluri: 1) expresie din care pot fi deduse propoziţii contradictorii 2) contradicţie formală dedusă într-un sistem teoretic 3) contradicţie rezultată din încercarea de a explica anumite fapte cu ajutorul unei metode date. Pentru scopuri diferite o definiţie se poate dovedi mai utilă decât alta. Unul dintre cele mai cunoscute paradoxe este acela descoperit de Cantor „paradoxul mulţimii tuturor mulţimilor “. Rezolvarea paradoxelor (constituirea unor teorii în care paradoxele date să fie evitate) s-a făcut prin diferite procedee care toate au la bază un principiu de ierarhizare a abstracţiilor. Sunt cunoscute în special metodele propuse de Russel (teoria tipurilor), Hilbert, Brouwer, Bocivar, Quine. În cele ce urmează nu mă voi ocupa însă de procedeele formale de rezolvare ci de aspecte filozofice ale fenomenului paradoxal. Studiul paradoxelor nu se reduce la găsirea unor procedee de evitare a lor căci în acest caz le-am trata ca pe un fenomen de importanţă locală şi strict formală pentru teoria dată şi ar părea ca un fenomen absolut negativ pentru cunoaştere. Cunoaştem diferite specii de contradicţii formale: sofisme, paralogisme, identificări false, paradoxe (antinomii), aporii, etc. Ele pot prezenta importanţă sub cele mai diferite aspecte. Immanuel Kant a fost primul mare filozof care s-a apropiat de înţelegerea importanţei deosebite a antinomiilor. “Pe poziţiile vechii metafizici “, scria Hegel, se admitea că atunci când cunoaşterea cade în contradicţii aceasta ar fi doar o rătăcire întâmplătoare, produsă de o greşeală subiectivă în deducţie şi raţionare. După Kant însă stă în natura gândirii însăşi de a cădea în contradicţii (antinomii) când vrea să cunoască „ infinitul “1. O deosebită importanţă pentru înţelegerea antinomiilor ştiinţei prezintă observaţiile făcute de Marx într-o carte de a sa 2 asupra contradicţiilor economiei politice clasice engleze. Problemele ce se impun în studiul paradoxelor privesc structura (mecanismul), cauzele şi rezolvare lor. În structura paradoxelor apar asemenea categorii ca mulţime, element, totalitate ( “toţi “), adevăr, fals, desemnare, etc. precum şi unele raporturi corespunzătoare. Istoria logicii şi matematicii a arătat că dificultăţile apărute vizează mai ales raportul acestor categorii cu absolutul şi relativul precum şi cu finitul şi infinitul. Care este cauza paradoxelor ? Cauza lor nu poate fi doar ceva “subiectiv “căci rolul şi problematica pe care au stârnit-o apariţia lor în istoria matematicii şi logicii sugerează cu totul altceva. În realitate, aşa cum arăta Marx în legătură cu contradicţiile economiei clasice engleze, dedesubtul acestor antinomii stau probleme dificile ale cunoaşterii. Gândirea cade în antinomii (paradoxe) în efortul ei de a cunoaşte realitatea obiectivă. Cauza antinomiilor ştiinţei stă în procesul cunoaşterii, proces care are la rândul său legile sale naturale ; dar gândirea nu cade în antinomii oricând şi oricum. “Criza ştiinţei “nu era un fenomen nou, fizica, biologia ş. a, domenii ştiinţifice o suportaseră deja. Contradicţiile formale apărute în mecanica clasică erau irezolvabile din punctul de vedere al acestei mecanici. Conceptele şi principiile mecanicii trebuiau revizuite. Această sarcină a fost îndeplinită în mare parte de A. Einstein. În acest caz ca şi în altele ieşirea din “faza paradoxală “(deci din criză) a însemnat o adevărată revoluţie în ştiinţă. Studiind istoria ştiinţei putem conchide că în cunoaşterea paradoxelor sunt formele nemijlocite (concrete) pe care le iau contradicţiile, că antinomia (paradoxul) reprezintă contradicţia specifică cunoaşterii. În acest fel, poarta ştiinţei rămâne mereu deschisă contradicţiilor. TERMENII Un termen este un cuvant sau un grup de cuvinte prin care se exprima o notiune, respectiv intelesul termenului si care se refera la unul sau mai multe obiecte despre care se afirma notiunea in cauza. Un termen are structura urmatoarelor elemente: componenta lingvistica: cuvantul sau grupul de cuvinte; componenta cognitiva: notiunea; componenta ontologica: multimea de obiecte. In plan mintal se vorbeste de un anumit inteles al termenului ce constituie intensiunea termenului, iar in plan real se vorbeste de referinta termenului, ceea ce reprezinta extensiunea termenului(sfera). CLASIFICAREA TERMENILOR Exista mai multe tipuri de termeni ca face necesara clasificarea acestora. Criteriile de clasificare cele mai evidente sunt intensiunea si extensiunea termenilor: Din punct de vedere intensional, termenii sa clasifica astfel: termeni absoluti / relativi termeni absoluti: numai daca se aplica obiectelor din extensiunile lor considerate izolat ex: planeta, obiect, culoare termeni relativi: in cazul in care termenul desemneaza o relatie ce se stabileste intre doua sau mai multe obiecte ex: unchiul meu, muschiul meu, mai mare decat termeni abstracti / concreti termeni abstracti: numai daca el desemneaza insusiri, proprietati sau relatii ca elemente de sine statatoare, independente de obiectele carora le revin acestor insusiri ex: frumusete, roseata, claritate termeni concreti: in masura in care termenul desemneaza obiecte, insusiri sau proprietati caracteristice acestora ex: frumos, rosu, clar termeni pozitivi / negativi termeni pozitivi: numai daca indica prezenta anumitor insusiri ex: coerent, prietenos termeni negativi: in cazul in care se indica absenta unor proprietati ex: stirb, orb, surd termeni simpli / compusi termeni simpli: numai daca detine rolul de notiune primara ex: autoturism, punct, propozitie termeni compusi: desemneaza derivate ale notiunilor primare ex: autoturism de teren, punct de vedere Din punct de vedere extensional, termenii sa clasifica astfel: termeni vizi / nevizi termeni vizi: numai daca extensiunea sa nu contine nici un obiect ex: cel mai mare numar prim, patrat perfect – logic vizi centaur, sirena – factual vizi termeni nevizi: in caz contrar ex: cal, caiet, sincer termeni singulari / generali termeni singulari: numai daca se refera doar la un singur obiect (extensiunea termenului este construita dintr-un singur obiect) ex: Liceul “Grigore Moisil “, Timisoara termeni generali: in cazul in care extensiunea termenului contine cel putin doua obiecte ex: oras, carte, padure termeni colectivi / distributivi termeni colectivi: numai daca obiectele din extensiunea sa sunt colectii de obiecte asa incat proprietatile ce revin colectiei, nu revin fiecarui membru al colectiei ex: armata, biblioteca termeni distributivi: in cazul in care fiecare caracteristica din intensiunea termenului revine fiecarui obiect din extensiune ex: pom, mamifer, cana termeni vagi / precisi termeni vagi: numai daca nu se poate decide cu certitudine pentru orice obiect daca face parte sau nu din extensiunea termenului ex: tanar, frumos, bun termeni precisi: in cazul in care exista posibilitatea deciziei pentru orice obiect ex: patrat, fotografie, perete RAPORTURI LOGICE INTRE TERMENI Din punct de vedere extensional se pot preciza diferite tipuri de raporturi logice: raporturi de concordanta: daca extensiunile elementelor au cel putin un element comun Prin cercetarea acestor raporturi se permite delimitarea urmatoarelor tipuri de raporturi de concordanta: raportul de identitate: numai in cazul in care doi termeni au in comun toate obiectele din extensiunile lor, altfel spus aceeasi extensiune A = om B = animal capabil sa construiasca unelte raportul de ordonare: numai in cazul in care oricare obiect ce apartine extensiunii unui termen, apartine si extensiunii celui de-al doilea termen, in timp ce, cel de-al doilea termen are in extensiunea sa si obiecte ce nu apartin extensiunii primului obiect A = pisica(specie) B = mamifer(gen) A = specie – termen subordonat B = gen – supraordonat raportul de incrucisare: numai in cazul in care extensiunile a doi termeni au in comun cel putin un obiect, fiecare termen avand in extensiunea sa si obiecte ce nu apartin extensiunii celuilalt termen A = roman B = inginer raporturi de concordanta: daca extensiunile elementelor nu au nici un element comun Aceasta categorie cuprinde: raportul de contrarietate: numai in cazul in care oricare ar fi obiectul acesta nu poate apartine simultan, extensiunii ambilor termeni, existand posibilitatea de a nu apartine extensiunii nici unuia dintre ei A = Africa B = Europa raportul de contradictie: numai in cazul in care oricare ar fi obiectul acesta nici nu face parte, nici nu lipseste simultan din extensiunea ambilor termeni sau termenii reprezinta unul negatia celuilalt, luata sau nu intr-un univers de discurs OBS. : Universul de discurs reprezinta un domeniu de referinta, respectiv o categorie de obiecte de un anumit gen, gen epuizat de una sau mai multe specii. B A = om B = non-om In afara unui univers de discurs. A = legal B= ilegal Intr-un univers de discurs. PRINCIPIILE LOGICII TRADITIONALE La baza logicii traditionale stau anumite conditii formale numite principii logice sau legi da rationare. Ele nu exprima rationamente, ci conditii generale ale rationamentelor indiferent de tipul de propozitii cu care formulam inferenta. Fiecare rationament trebuie sa respecte simultan urmatoarele principii logice: Principiul identitatii care presupune ca un obiect este identic numai cu sine insusi, in acelasi timp si sub acelasi raport. A=idA(Formula va fi citita: A este identic cu A) Regula: Orice obiect este presupus neschimbat in raport cu timpul si cu unghiul de vedere considerat, adica ramane acelasi pe tot parcursul rationamentului. Principiul non-contradictiei presupune ca un obiect nu poate sa fie in acelasi timp si sub acelasi raportsi A, si non-A. Formula:~(A&A`)se citeste nu sunt simultan adevarate si A, si A`. Principiul tertulu iexclus presupune ca sau este acceptata o propozitie A, sau este respinsa dintr-un sistem de propozitii, a treia posibilitate fiind exclusa. Principiul ratiunii suficiente presupune ca pentru a accepta sau pentru a respinge o propozitie trebuie sa dispunem de o ratiune suficienta sau altfel spus, de un temei satisfacator. Exista 4 tipuri de temeiuri: Nici necesare si nici suficiente; Necesare, dar nu si suficiente; Suficiente, dar nu si necesare; Necesare si suficiente. Spunem ca propozitia p este un temei necesar pentru propozitia q, atunci cand fara adevarul lui p nu se poate dovedi adevarul lui q, iar daca p este un temei suficient pentru q inseamna ca admitand adevarul lui p devine imposibil ca q sa nu fie adevarata. 1 G. W. F. Hegel, Enciclopedia ştiinţelor filozofice, Partea I Logica, Ed. Acad. , R. P. R. , 1962, p. 121 2 K. Marx, Teorii asupra plusvalorii, Ed. Politică, Bucureşti, 1959 PAGE ~ PAGE 20 ~ A B A A B A B A B A, B 쥁@