I. INTRODUCERE 1. Necesitatea studiului logicii Teodor DIMA În activitatea noastră zilnică, atunci când învăţăm, când încercăm să fundamentăm o părere

Documente similare
Microsoft Word - Mihailesc Dan_Test logica (1).doc

Microsoft Word - Mapa 0.doc

Microsoft Word - cap1p4.doc

BAREM PROFIL UMANIST Subiectul 1 (40 de puncte) Nr Itemul Variante acceptabile Specificări Punctaj total 1. Rescrie, din lista propusă, un sinonim con

ALGORITMII ŞI REPREZENTAREA LOR Noţiunea de algoritm Noţiunea de algoritm este foarte veche. Ea a fost introdusă în secolele VIII-IX de către Abu Ja f

Limbaje de ordinul I LOGICA DE ORDINUL I Un limbaj L de ordinul I este format din: o mulţime numărabilă V = {v n n N} de variabile; conectorii şi ; pa

ExamView Pro - Untitled.tst

B

Logică și structuri discrete Logică propozițională Marius Minea marius/curs/lsd/ 3 noiembrie 2014

Logică și structuri discrete Limbaje regulate și automate Marius Minea marius/curs/lsd/ 24 noiembrie 2014

Secţiunea 5-6 avansaţi PROBLEMA 1 Concurs online de informatică Categoria PROGRAMARE 100 puncte NR Un număr natural nenul V care se plictisea singur,

LOGICA MATEMATICA SI COMPUTATIONALA Sem. I,

15. Logică matematică cu aplicații în informatică - MI 3

Investeşte în oameni Proiect cofinanţat din Fondul Social European prin Programul Operaţional Sectorial pentru Dezvoltarea Resurselor Umane

Microsoft Word - Lab1a.doc

teste limba romana cl 5_final.indd

MergedFile

COMENTARII FAZA JUDEŢEANĂ, 9 MARTIE 2013 Abstract. Personal comments on some of the problems presented at the District Round of the National Mathemati

Avizat Director, Avizat, Director CJRAE PROGRAM DE INTERVENŢIE PERSONALIZAT Numele şi prenumele elevului(ei):.. Data şi locul naşterii: Domiciliul: Şc

Slide 1

E_d_bio_veg_anim_2015_bar_02_LRO

Communicate at your best - Manual - Cap 3 - RO

FIŞA DISCIPLINEI 1. Date despre program 1.1. Instituţia de învăţământ superior Universitatea Spiru Haret 1.2. Facultatea Ştiinţe Economice Bucureşti 1

Microsoft Word - Curs_09.doc

Gheorghe IUREA Adrian ZANOSCHI algebră geometrie clasa a VII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA 45 Matematică. Clasa a VII-

Microsoft Word - proiect preambul.docx

Fâciu N. Maria-Ema CASA CORPULUI DIDACTIC BRĂILA PROGRAM DE FORMARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A SERIA 1 GRUPA 2 CURSANT: Fâciu N. M

O teoremă de reprezentare (II) Marian TETIVA 1 Abstract. In this paper some (in general well-known) results on complete sequences are exposed, with ap

Probleme date la examenul de logică matematică şi computaţională. Partea a II-a Claudia MUREŞAN Universitatea din Bucureşti Facultatea de Matematică ş

MergedFile

Cursul 12 (plan de curs) Integrale prime 1 Sisteme diferenţiale autonome. Spaţiul fazelor. Fie Ω R n o mulţime deschisă şi f : Ω R n R n o funcţie de

Prelegerea 4 În această prelegere vom învăţa despre: Algebre booleene; Funcţii booleene; Mintermi şi cuburi n - dimensionale. 4.1 Definirea algebrelor

E_d_Informatica_sp_SN_2014_bar_10_LRO

CONCURSUL JUDEȚEAN Izvor de gânduri și cuvinte PROBĂ SCRISĂ LA LIMBA ȘI LITERATURA ROMÂNĂ Ediția I, 25 mai 2019 Clasa I Numele... Inițiala prenumelui

Şcoala ………

PROIECT DIDACTIC DATE DE IDENTIFICARE Data: Școala : Școala Gimnazială Grigore Moisil Ploiești Clasa: a VI-a Profesor: Ilie Oana Magdalena Disciplina:

PROGRAMA CONCURSULUI NAŢIONAL

Cursul 8 Funcţii analitice Vom studia acum comportarea şirurilor şi seriilor de funcţii olomorfe, cu scopul de a dezvălui o proprietate esenţială a ac

Inadecvări terminologice în gramatica limbii române actuale

Anexă nr.5hsu nr. 80/2019 Ghidul Metodologic privind elaborarea şi prezentarea lucrării de certificare a competențelor PREAMBUL Prezentul ghid are dou

Microsoft Word - a5+s1-5.doc

Microsoft Word - Curs_08.doc

Microsoft Word - Curs_07.doc

VALORIFICAREA EXPERIENŢEI POZITIVE PRIVIND PROIECTAREA CURRICULARĂ ÎN ÎNVĂŢĂMÂNTUL LICEAL PORNIND DE LA COMPETENŢE CA FINALITĂŢI ALE ÎNVĂŢĂRII Prof. P

Microsoft Word - BAC sociologie

BAREM PROFIL UMANIST Subiectul 1 (40 de puncte) Nr Itemul Variante acceptabile Specificări Punctaj total 1. Rescrie, din textul propus, câte un sinoni

V

Dorel LUCHIAN Gabriel POPA Adrian ZANOSCHI Gheorghe IUREA algebră geometrie clasa a VIII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA

programă şcolară pentru clasa a 11a, liceu

1

Prelegerea 3 În această prelegere vom învăţa despre: Clase speciale de latici: complementate. modulare, metrice, distributive şi 3.1 Semi-distributivi

Academia de Studii Economice din Bucureşti Departamentul pentru Pregătirea Personalului Didactic Caiet de practică pedagogică II Nivelul I de pregătir

PROGRAMA ANALITICĂ PENTRU CLASA A X-A, CURSURI DE EXCELENŢĂ ANUL ŞCOLAR Studiul fizicii în clasele de excelenţă are ca finalitate încheierea

Logică și structuri discrete Mulțimi Casandra Holotescu

III. ECONOMISIREA ŞI INVESTIŢIILE De citit. Un bănuţ pus deoparte Nu-ţi trebuie cine ştie ce formule pentru investiţii, pentru a te bucura de dobânzil

DISCIPLINA: Matematică și explorarea mediului, clasa a II-a PROIECTAREA UNITĂȚII DE ÎNVĂȚARE UNITATEA DE ÎNVĂŢARE: Universul. Planetele. Timpul.Banii

al şedinţei ordinare din Dl Secretar face prezenţa: Din cei 27 consilieri în funcţie, 27 consilieri, prezenţi. La primul punct al ordinei d

TABLA INTERACTIVĂ - METODĂ INOVATIVĂ ÎN GRĂDINIȚĂ Prof. Balasz Mureșan Dorina, Școala Gimnazială ʺGh. Șincaiʺ Florești În ultimii ani, progresele știi

Şiruri de numere reale Facultatea de Hidrotehnică Universitatea Tehnică Gheorghe Asachi Iaşi, 2015 Analiză Matematică Lucian Maticiuc 1 / 29

MergedFile

PROIECT DIDACTIC LALEAUA ȘI ALTE PLANTE ÎNRUDITE CU EA Unitatea de învățământ: Profesor: Data: Clasa: Aria curriculară: Matematică și Ştiințe ale natu

INSPECTORATUL ŞCOLAR JUDEŢEAN BRĂILA OLIMPIADA NAŢIONALĂ DE LIMBA ŞI LITERATURA ROMÂNĂ SECŢIUNEA A Limba şi literatura română clasa a V-a ETAPA LOCALĂ

Limbaje Formale, Automate si Compilatoare

Universitatea de Stat Alecu Russo din Bălți Facultatea de Ştiinţe ale Educaţiei, Psihologie şi Arte Catedra de psihologie CURRICULUM la unitatea de cu

PROIECT DIDACTIC

Cursant prof. Constantin Vasilache PROIECT DE LECȚIE Clasa Data: Obiectul: Tehnologia Informației și a Comunicațiilor Nr. de ore: 1oră Tema lecţiei: A

Microsoft Word - matem_aplicate in Economie aa FD Bala.doc

Anexa 2

Logică și structuri discrete Logica predicatelor Casandra Holotescu

Plan de activități Domeniul: Siguranța online Tema: Reputația mea online Grupul țintă: Elevii claselor a VIII-a IX-a Obiective operaționale O1 Elevii

DAN LASCU ADRIANA-LIGIA SPORIŞ ANDA OLTEANU PAUL VASILIU MATEMATICĂ. CULEGERE DE PROBLEME TIP GRILĂ PENTRU ADMITEREA ÎN ACADEMIA NAVALĂ MIRCEA CEL BĂT

MINISTERUL ADMINISTRAŢIEI ŞI INTERNELOR

Ghid Privind aplicarea regimului de avizare în temeiul articolului 4 alineatul (3) din Regulamentul privind agențiile de rating de credit 20/05/2019 E

Laborator 4: Continuare Programare Orientată pe Obiecte Întocmit de: Adina Neculai Îndrumător: Asist. Drd. Gabriel Danciu 29 octombrie 2011

Slide 1

ANEXĂ STANDARDE PENTRU ACTIVITATEA DE EXPERTIZĂ PSIHOLOGICĂ Introducere Standardele pentru activitatea de expertiză psihologică sintetizează principal

Coman Marinela Furnizor program formare acreditat: CCD BRĂILA Denumire program: INFORMATICĂ ŞI TIC PENTRU GIMNAZIU Clasa a V-a Categorie: 1; Tip de co

Fisa LRC - SINTAXA - an 3 sem 2

Coordonate baricentrice Considerăm în plan un triunghi ABC şi un punct Q în interiorul său, fixat arbitrar. Notăm σ c = aria ( QAB) σ a = aria ( QBC),

ELABORARE PROIECTE

UNIVERSITATEA DE ŞTIINŢE AGRONOMICE ŞI MEDICINĂ VETERINARĂ BUCUREŞTI FACULTATEA DE MANAGEMENT, INGINERIE ECONOMICĂ ÎN AGRICULTURĂ ŞI DEZVOLTARE RURALĂ

Microsoft Word - TIC5

Istoria românilor și universală, profil umanist februarie 2019 BAREM DE CORECTARE SUBIECTUL I Nr. item Răspuns corect/ posibil 1. Explică termenul Pac

Microsoft Word - Uliescu_NCC_Studii_si_comentarii_VOL. II.docx

Școala: Clasa a V-a Nr. ore pe săptămână: 4 Profesor: MATEMATICĂ Clasa a V-a Aviz director PLANIFICARE CALENDARISTICĂ ORIENTATIVĂ Nr. crt. Unitatea de

ANEXA la REGULAMENT SPECIFIC privind organizarea și desfăşurarea Olimpiadei de limbi romanice (franceză, spaniolă, italiană, portugheză) nr /10.

CONCURSUL VALENŢE EUROPENE ÎN EDUCAŢIE - adresat elevilor de liceu - Ediţia a III-a, mai 2019 REGULAMENT DE ORGANIZARE ŞI DESFĂŞURARE Secțiunea

E_d_Informatica_sp_MI_2015_bar_02_LRO

Revistă ştiinţifico-practică Nr.1/2018 Institutul de Relaţii Internaţionale din Moldova IMPACTUL CREANȚELOR ȘI DATORIILOR CURENTE ASUPRA DEZVOLTĂRII E

COMISIA EUROPEANĂ Bruxelles, C(2018) 2526 final REGULAMENTUL DELEGAT (UE) / AL COMISIEI din de completare a Regulamentului (UE) nr

Raport Național

DOMENIUL: Matematica

PROGRAMARE ORIENTATA PE OBIECTE

D.Rusu, Teoria măsurii şi integrala Lebesgue 6 MĂSURA LEBESGUE Cursul 5 Teorema 6.26 Există submulţimi ale lui R care nu sunt măsurabile Lebesgue. Dem

Analiză de flux de date 29 octombrie 2012

Microsoft Word - Curs1.docx

FACULTATEA DE AUTOMATICĂ ŞI CALCULATOARE Raport privind evaluarea activităţii didactice de către studenţi Facultatea de Automatică şi Calculatoare Anu

CV

CL2009R0976RO bi_cp 1..1

Transcriere:

I. INTRODUCERE 1. Necesitatea studiului logicii Teodor DIMA În activitatea noastră zilnică, atunci când învăţăm, când încercăm să fundamentăm o părere proprie sau o idee, când comunicăm anumite impresii şi vrem să fim crezuţi, atunci când vrem să stabilim dacă ceea ce ştim este adevărat sau fals, elemente şi structuri logice sunt prezente; noi trebuie să le găsim, să stabilim felul lor şi să le apreciem corectitudinea. În activitatea ştiinţifică, fie că este vorba de matematică, unde demonstrăm teoreme şi verificăm dacă am efectuat corect exerciţii, fie că ne referim la istorie, unde sunt descrise şi relatate fapte, trebuie să fie îndeplinite câteva condiţii obligatorii: să nu facem confuzii, să nu ne autocontrazicem, să nu tragem concluzii fără a aduce probe sau temeiuri în sprijinul aserţiunilor noastre. Aserţiune în sens slab = afirmaţie sau negaţie; în sens tare = afirmaţie sau negaţie, însoţite de supoziţia adevărului. Logica ajută la consolidarea anumitor calităţi importante ale gândirii: claritatea, consecvenţa, întemeierea. Apărută acum aproximativ 2350 de ani, datorită marelui filosof grec Aristotel (384-322 î Hr.), care a răspuns încercărilor de a produce îndoială în cunoaşterea ştiinţifică, logica şi-a păstrat acest rol şi s-a dezvoltat mai ales în vederea acestui scop. Împotriva acelora care susţineau că orice se poate afirma despre orice sau că, dimpotrivă, nimic nu se poate afirma despre ceva, Aristotel i-a învăţat pe elevii săi cum să definească noţiunile, cum să treacă în mod corect de la unele propoziţii considerate adevărate la alte propoziţii, pe cale raţională, respectând anumite reguli. Consideraţiile lui Aristotel au fost adunate în şase cărţi: Categoriile, Aristotel, Organon, Despre interpretare, Analitica primă, Analitica secundă, Topica, Respingerile sofistice. Acestea au primit ulterior numele de Organon, adică instrument, recunoscândui-se lui Andronicos din Rhodos (sec. I î.hr.) meritul de a fi ordonat şi de a fi editat operele marelui gânditor grec. Denumirea de logică pentru ştiinţa logicii a apărut în şcolile de logică de mai târziu. La Roma, în vremea lui Cicero (sec. I.î.Hr.), termenul de logică era adesea folosit, dar abia în secolul al II-lea al erei noastre i s-a fixat înţelesul de astăzi, aşa cum vom vedea într-un paragraf ulterior.

2. Precizări terminologice Atunci când gândim, când participăm la o discuţie, când scriem, folosim propoziţii. Acestea formează obiectul de studiu al Gramaticii, care conţine cunoştinţe despre felul propoziţiilor, despre modul cum se constituie ele şi cum se construiesc fraze cu ajutorul lor. Fiecare limbă are gramatica sa. Logica are în vedere un sens mai restrâns al termenului de propoziţie ; este vorba despre acea structură gramaticală care poate fi apreciată ca adevărată sau falsă. Această calitate o pot avea numai. propoziţiile enunţiative De exemplu, pot face obiectul de studiu al logicii enunţuri de tipul: (a) Cuprul este un metal bun conducător de electricitate. (b) Luceafărul este un poem scris de Mihai Eminescu. (c) Cuvântul ac este mai lung decât cuvântul acoperiş. Propoziţia (c) este în mod evident falsă; propoziţia (a) exprimă un adevăr ştiinţific ferm stabilit, iar propoziţia (b) este, de asemenea, un adevăr atestat de manuscrisele lui Eminescu. Pentru atributele adevărat şi fals, aplicate propoziţiilor, se foloseşte în logică denumirea de valoare de adevăr. În acest sens, alte feluri de propoziţii, precum cele interogative, exclamative, optative ş.a., nu fac obiectul nostru de studiu. Din punct de vedere logic, propoziţiile sunt abordate în calitatea lor de a derivare intra în relaţii: în special este apreciată relaţia de derivare a unei propoziţii din alte propoziţii. propoziţia care derivă se numeşte concluzie, iar premise propoziţiile din care are loc derivarea se numesc premise; logica stabileşte regulile şi principiile cu ajutorul cărora are loc derivarea corectă a concluzie raţionament inferenţă Un sistem de propoziţii în care o propoziţie (concluzie) derivă din altele (premisă) se numeşte raţionament sau inferenţă. argumentare concluziei premise. din A întemeia unele propoziţii cu ajutorul altora în cadrul raţionamentelor înseamnă a argumenta. Desigur, rolurile de premisă, respectiv concluzie, sunt relative - o propoziţie care apare drept concluzie într-un raţionament poate fi premisă în altele.

Deşi argumentarea se desfăşoară cu ajutorul gândirii, logica nu se interesează de modul cum gândeşte fiecare individ atunci când argumentează; este indiferent dacă un anumit raţionament a fost sau va fi utilizat de cineva. Problema importantă a logicii este următoarea: date fiind anumite propoziţii cu rol de premise, derivă din ele o altă propoziţie, numită concluzie? A căuta răspunsul la această întrebare înseamnă a afla dacă propoziţiile respective se constituie într-un raţionament, ce fel de raţionament este şi dacă îndeplineşte anumite condiţii pentru a fi declarat corect. 3. Corectitudine şi adevăr Având în vedere această preocupare a logicii, raţionamentele sau inferenţele se împart în corecte şi incorecte (valide şi nevalide). De exemplu, inferenţă validă Să presupunem că cineva merge cu trenul la Bucureşti: conform informaţiei din Mersul trenurilor, el ştie că trenul trebuie să sosească la ora 19:00. Dacă respectivul călător se uită la ceasul său, constată că a trecut de ora 19:00 şi trenul nu a ajuns la Bucureşti, atunci el va încerca să-şi explice această nepotrivire, gândind astfel: Dacă ceasul meu merge bine, atunci trenul are întârziere (1) Ceasul meu merge bine Deci trenul are întârziere. inferenţă invalidă Logica ne învaţă două chestiuni importante, dependente între ele: 1. cum stabilim corectitudinea acestui tip de raţionament; 2. dacă premisele sunt adevărate, atunci concluzia este adevărată. Din punct de vedere logic, nu ne interesează dacă este adevărată concluzia acestui raţionament. Călătorul nostru poate stabili adevărul concluziei sale, fie confruntându-şi ceasul cu alte ceasuri, fie întrebând conductorul etc. Acest tip de raţionament, pe care-l vom studia într-un alt capitol, este corect, dacă respectă anumite condiţii impuse de logică; deci, pentru a considera corect un raţionament, nu se efectuează aceleaşi operaţii concrete ca acelea pe care le poate face călătorul, ci operaţii care se desfăşoară la nivelul gândirii, aşa cum verificăm o operaţie matematică. Dacă stabilim că raţionamentul este corect, atunci ştim că, dacă premisele sunt adevărate, atunci şi concluzia trebuie să fie adevărată. Ne bazăm pe o regulă

stabilită, de asemenea, în cadrul logicii:din adevăr rezultă numai adevăr, bineînţeles dacă se gândeşte corect. Raţionamentul călătorului este corect, chiar dacă în realitate trenul are întârziere. Căci, în cazul în care concluzia unui raţionament se dovedeşte falsă, aceasta nu se datorează neapărat unei erori în raţionare. Prin urmare, a porni de la o premisă falsă nu înseamnă a comite o eroare logică. Astfel, în exemplul (1), dacă falsitatea concluziei ar proveni din falsitatea celei de-a doua premise, raţionamentul călătorului nu ar fi incorect: Dacă ceasul meu merge bine, atunci trenul are întârziere (1 ) Trenul nu are întârziere Deci ceasul meu nu merge bine. Rezultă de aici că validitatea unei inferenţe nu depinde de valoarea de adevăr a propoziţiilor componente. De exemplu, Dacă, aflând de la conductor că trenul are întârziere, călătorul ar raţiona acum astfel: Dacă ceasul meu merge bine, atunci trenul are întârziere (2 ) Trenul are întârziere Deci ceasul meu merge bine. Raţionamentul său nu este corect; concluzia este adevărată, dar poate fi şi falsă (ne putem imagina, de exemplu, că trenul are o întârziere de 30 minute, iar ceasul călător ului are o abatere de 10 minute - în plus sau în minus - faţă de ora exactă); de ce este incorect raţionamentul (2), vom afla de asemenea într-un capitol ulterior. Pe scurt, într-un raţionament corect sau valid, adevărul premiselor garantează adevărul concluziei. Validitatea raţionamentelor trebuie foarte bine înţeleasă: ea nu spune că un raţionament, pentru a fi valid, trebuie să aibă premisele şi concluzia adevărate, ci spune că, într-un raţionament valid, dacă premisele sunt adevărate, atunci şi concluzia sa va fi adevărată. Este o mare deosebire între validitatea unui raţionament şi valoarea de adevăr a propoziţiilor ce îl alcătuiesc. Numai din informaţia că un raţionament este valid nu putem afla ce valori de adevăr au propoziţiile componente. Pe de altă parte, cunoscând valorile de adevăr ale acestor propoziţii, nu putem să facem aprecieri asupra validităţii sale, decât d acă se întâmplă ca premisele să fie adevărate şi concluzia falsă; raţionamentul este atunci nevalid. În cele trei cazuri care pot să apară: (1) premisele şi concluzia adevărate (2) premisele (una, mai multe sau toate) false şi concluzia adevărată (3) premisele şi concluzia false nu putem şti nimic despre validitatea unui raţionament.

4. Formă sau structură logică; variabile şi constante logice Ori de câte ori gândim ca în exemplul (1), vom deriva din premise adevărate numai concluzii adevărate, raţionamentul fiind valid, şi ori de câte ori vom gândi ca în exemplu (2), este posibil să ajungem şi la concluzii false, raţionametul fiind incorect. Prin urmare, corectitudinea şi incorectitudinea raţionamentelor depind de forma sau structura lor! Pentru a afla forma tipului de raţionament exemplificat mai sus, vom înlocui propoziţiiile redate cu ajutorul cuvintelor din limbajul natural al limbii române cu două simboluri, de exemplu: p, respectiv q. Obţinem, în ambele cazuri: (3) Dacă p, atunci q (4) Dacă p, atunci q p q q unde p = ceasul meu merge bine q = trenul are întârziere Exemplele (3) şi (4) sunt scheme de raţionament; ele nu sunt alcătuite din propoziţii, ci din forme sau scheme propoziţionale. Pe baza schemei (3) se scheme de obtin raţionamente corecte, iar pe baza schemei (4), raţionamente incorecte prin raţionament înlocuirea lui p şi q cu propoziţiii specifice între care să existe relatia exprimată de propoziţiia conditională dacă..., atunci..., pe care o vom descrie într-un alt capitol. Logica se ocupă cu stabilirea regulilor, metodelor şi criteriilor cu ajutorul cărora deosebim schemele valide (corecte) de cele nevalide (incorecte). Din explicatiile anterioare reiese că o schemă de raţionament este corectă, adică pe baza ei se obţin raţionamente care să aibă premise adevărate şi concluzia falsă. În alte cazuri, pentru a degaja forma unui raţionament, se înlocuiesc cu simboluri părţi ale propoziţiilor. De exemplu, Toţi arborii sunt plante (5) Toţi arţarii sunt arbori Toţi arţarii sunt plante. p Forma logică a raţionamentelor se poate obţine prin înlocuirea propoziţiilor componente cu anumite simboluri; acestea se numesc simboluri propoziţionale sau litere propoziţionale.

În acest raţionament, propoziţiiile componente nu sunt alcătuite din alte propoziţiii; legăturile dintre propoziţii depind aici de alcătuirea lor internă. Astfel, ele conţin expresiile arbori, plante şi arţari - expresii ce pot fi n umite termeni ai propziţiilor respective. Punând în locul celor trei termeni literele A, B şi C se obţine următoarea formă a raţionamentului (5). Toţi A sunt B (6) Toţi C sunt A Toţi C sunt B. variabile logice Literele A, B şi C din această schemă pot fi numite litere-termeni sau litere- propoziţionale şi literele termeni se numesc variabile logice. predicat. Altfel spus, literele A ceastă denumire evidenţiază faptul că aceste simboluri înlocuiesc unele cuvinte sau expresii din limbajul natural. Ele sunt un fel de tipare în care intră conţinuturi diferite. Folosirea variabilelor este foarte importantă pentru logică, deoarece acestea ajută la recunoaşterea cu precizie a structurilor logice. De asemenea, pot fi simbolizate şi alte expresii ale limbajului natural, precum dacă..., atunci..., toţi, sau etc. Simbolurile respective, spre deosebire de variabilele logice, sunt numite uneori constante logice. Ele determină fie relaţii, fie operaţii cu termeni şi propoziţii. Astfel, logica poate construi limbaje artificiale, caracterizate ca fiind simple, riguroase, clare şi precise. Pe ac eastă cale, s-au construit logici simbolice, apropiate ca formă de matematică. În logica actuală, constantele logice sunt exprimate cu ajutorul unor simboluri speciale, iar alcătuirea expresiilor logice se realizează pe baza unor reguli precise. Există sisteme de logică din care au fost eliminate elementele limbajului natural; ele îmbracă forma unor calcule. 5. Definirea logicii; tipuri de argumentare Precizările făcute asupra unor expresii principale utilizate în logică - propoziţie, inferenţă (raţionament), corectitudine (validitate), formă (structură) logică, valori de adevăr, variabile şi constante logice - conduc spre o definiţie concisă a obiectului de Logica studiază propoziţiile şi relaţiile dintre ele cu scopul constituirii de argumentări inferenţiale, ţinând seama de forma lor şi făcând abstracţie de conţinut. studiu al logicii:

În paragraful 3 al acestui capitol, am stabilit că inferenţele sunt corecte şi incorecte. Această deosebire poate fi făcută numai în legătură cu argumentările în care din premise adevărate derivă numai o concluzie adevărată. Astfel de argumentări se numesc deductive - concluzia urmează cu necesitate din premise, adică din premisele date derivă numai concluzia respectivă. Dar există argumentări nedeductive, în care premisele sunt un temei pentru concluzie, dar insuficient, de aceea, concluzia nu mai poate fi apreciată cu una din cele două valori de adevăr - adevăr sau argumentări fals. Despre ea se spune că este probabilă. deductive argumentări nedeductive sau probabile Cele mai importante argumentări nedeductive sunt acelea inductive. Un exemplu de argumentare inductivă îl constituie prognozele, prognozele meteorologice. Pe baza observaţiilor directe efectuate din satelit, de exemplu, a unei legi despre anumite evenimente atmosferice, se construiesc propoziţii care descriu cum va fi vremea într-un anumit interval de timp viitor. Prognozele se adeveresc sau nu, deşi legile şi informaţiile care au stat la baza formulării lor sunt exacte, dar insuficiente; de aceea, meteorologii prezintă prognozele lor cu o anumită prudenţă, vorbind despre timpul probabil. Din punct de vedere logic, argumentările inductive sunt incorecte (nevalide), dar ele sunt utilizate în procesul de cunoaştere, urmărindu-se obţinerea unor concluzii cât mai probabile. Set By T-D1 (yth_1100ro@yahoo.com)