Sunteți pe pagina 1din 15

Metode logice n tiin cercetarea tiinific

Prof.dr.ing. Alimpie Ignea Universitatea Politehnica din Timioara

Cuprins
Definirea logicii Logica i gndirea Metode logice Operaii i forme logice Metode deductive i inductive Modele i analogii tiin i cunoaterea tiinific
Universitatea Politehnica din Timioara 2

Definirea logicii
Studiul formelor i a legilor fundamentale ale gndirii. Modalitate de a gndi i de a raiona. Ra Raiune coerent, temeinic i consecvent. Baza normal pentru aciuni.
Universitatea Politehnica din Timioara 3

Istoric
Definitia lui Aristotel pentru LOGICA este: TIINA FORMELOR GNDIRII CORECTE. DIALECTICA - termen folosit in loc de logica pana in secolul 3 d.Ch. Francis Bacon a fundamentat i dezvoltat logica inductiv i inducia tiinific.
Universitatea Politehnica din Timioara 4

Istoric(cont.) Istoric(cont.)
Ren Descartes a formulat patru reguli Ren pentru cercetarea tiinific: 1. A considera drept adevrate numai acele lucruri/idei care sunt cunoscute i verificate (demonstrate); 2. A descompune n procesul cercetrii ceea ce este complex n ceea ce este simplu; 3. A dezvolta de la ceea ce este evident la ceea ce este mai puin evident; 4. A studia obiectul/fenomenul/procesul n toate amnuntele lui.
Universitatea Politehnica din Timioara 5

Istoric (cont.)
Gottfried Leibniz a studiat problemele logice ale demonstraiei matematice i a aplicat n logic metoda matematic. A pus bazele elaborrii principiilor pentru construirea metodelor deductive. Jan ukasiewicz a introdus o a treia valen, - posibil (adevrat - fals). Mai trziu se admite c ntre "adevrat" i "fals" exist un numr nesfrit de grade intermediare. Vezi i logica fuzzy.
Universitatea Politehnica din Timioara 6

Logica i gndirea
n studiul formelor gndirii umane umane: Logica separ forma de coninutul afectiv, informaional i volitiv, de mijlocul exteriorizrii formei gndului, adic de limba natural. n cercetare, se consider numai forma cercetare intelectual, cognitiv, raional i obiectiv a gndirii. Consider mijlocul de comunicare ca element convenional. Rezult c logica efectueaz separarea formelor incorecte, corecte de cele incorecte a formelor valide de cele nevalide. Logica se ocup, cu preponderen, de cercetarea formelor valide de gndire.
Universitatea Politehnica din Timioara 7

Logica i gndirea (cont.)


Importana elementelor de logic pentru cunoatere, comunicare i argumentare Dezvolt capacitatea critic a gndirii. Creeaz posibilitatea de critic sau de respingere a argumentrilor altora i de a inva construirea de argumente valide. Formele gndirii corecte:
conceptele, raionamentele, judecile.
Universitatea Politehnica din Timioara 8

Logica i gndirea (cont.)


Caracteristicile gndirii corecte: claritate, acuratee, exactitate, ordine, consisten, coeren, ntemeiere.

n acest scop trebuie aplicate regulile definirii, clasificrii i argumentrii.


Universitatea Politehnica din Timioara 9

Legi generale ale gndirii


identit Legea identitii - Orice lucru este identic cu el nsui i numai cu el nsui; c putem avea un act de gndire corect dac i numai dac pstrm n cursul unuia i aceluiai act de gndire acelai neles al unui cuvnt. noncontradic Legea noncontradiciei - n acelai timp un lucru ori este ori nu este; dac dou judeci, dintre care una neag ceea ce cealalt afirm, ele nu pot fi ambele adevrate. Suntem obligai s nu ne contrazicem pe noi nine cnd gndim sau comunicm.
Universitatea Politehnica din Timioara 10

Legi generale ale gndirii (cont.)


ter Legea terului exclus - Din dou judeci n care una neag ceea ce cealalt afirm, una dintre ele este cu necesitate adevrat, fr alt posibilitate; oblig la admiterea a dou i numai a dou valori pentru judecat, dintre care una poate fi sau adevrat sau fals. (se exclude poate). ra Legea raiunii suficiente - Orice lucru are un temei/o cauz; nu exist ceva fr o baz. Orice judecat trebuie s aib un temei constnd n dovezi, argumente, probe.
Universitatea Politehnica din Timioara 11

Regulile sistemelor axiomatice


Consisten Consisten - O construcie axiomatic este formal consistent dac i numai dac nu conine contradicii. Dac ea conine att o formul ct i contradictoria ei atunci este formal inconsistent. Completitudine - Orice propoziie A aparinnd sistemului poate fi sau demonstrat sau respins adic din orice cuplu de propoziii contradictorii A i non A, din sistem, tebuie s fie demonstrat cel puin una. Independen Independena - Este cerina ca nici una dintre axiome s nu derive din celelalte. Niciun enun component al bazei axiomatice nu trebuie s fie deductibil din celelalte.
Universitatea Politehnica din Timioara 12

Metode logice
-Ansamblu de prescripii rezultate prin transformarea prescrip Ansamblu propoziiilor unei teorii n reguli de aciune practic/ intelectual pentru rezolvarea problemelor de logic. baz: Logica de baz: logica tradiional, aristotelic/general, logica simbolic modern, matematic.

Logica are 3 metode fundamentale:


Standardizarea, Simbolizarea, Formalizarea.
Universitatea Politehnica din Timioara 13

Metode logice (cont.)


logic: 1. Standardizare logic transformarea enunurilor din limba natural, fr alterarea coninutului lor, n expresii din care se poate desprinde structura lor logic. 2. Simbolizare introducerea de simboluri speciale Simbolizare: notaii, constante i variabile - cu ajutorul crora forma logic a acestor enunuri este fixat n formule specifice. Se utilizeaz numai parial n logica general i extins n logica simbolic. 3. Formalizare finalizarea teoriei logice ntr-o Formalizare: form ce poate fi calculat. Se utilizeaz numai n logica simbolic.
Universitatea Politehnica din Timioara 14

Opera Operaii logice


Pentru noiune/concepte definiia, noiune/concepte: clasificarea i diviziunea. Pentru judecat inferena imediat. judecat: Pentru raionament inferena raionament: mediat.

Universitatea Politehnica din Timioara

15

Defini Definiia
Este operaia prin care se precizeaz con coninutul i se clarific sfera unei noiuni pentru mintea unui om. necesare: Elemente necesare 1) definitul, adic ideea (conceptul mental definitul corespondent unui obiect) sau elementul lingvistic (cuvntul scris/vorbit), 2) definitorul, adic ansamblul ideilor definitorul (exprimabile n limbaj), care lmurete obiectul definiiei.
Universitatea Politehnica din Timioara 16

Defini Definiia (cont)


Ra definiiei: Raiunea de a fi a definiiei cunotin Sintetizarea cunotinelor n fiecare etap a cunoaterii unui obiect/fenomen concentrndu-le n concepte mentale mai economice i mai eficiente. Indicarea mai exact a gradului de cunoatere a obiectului de ctre subiect. Observaie: Nu se tie ce este un lucru/fenomen dac nu se poate defini riguros sub aspectul nsuirilor sale eseniale i a varietii speciilor n care el exist.
Universitatea Politehnica din Timioara 17

Clasificarea
Este operaia prin care obiectele unei mulimi date sunt distribuite n clase dup un anumit criteriu/anumite criterii. Este o operaiune sintetic i pornete de la indivizi (obiecte individuale concrete sau noiuni ale obiectelor individuale), mergnd ctre specii i genuri. Este precedat de definiie i urmat de diviziune.
Universitatea Politehnica din Timioara 18

Diviziunea
Este operaia logic de descompunere a unei noiuni n noiuni subordonate. Este operaiune analitic pornind de la genuri, trecnd la specii i ajungnd la noiuni individuale. Diviziunea pornete numai de la noiuni deja constituite prin procesul anterior de cunoatere. Definiia i clasificarea au funcia ordonrii cunotinelor achiziionate.
Universitatea Politehnica din Timioara 19

Forme ale gndirii logice


Inferen Inferena este o operaie a gndirii prin care se trece de la un enun la altul. Silogismul este o form de argumentare logic n care o propoziie (concluzia), rezult din alte doua propoziii (premize). Ra Raionamentul reprezint un proces de gndire prin care se extrage o concluzie dintr-un set de premize.
Universitatea Politehnica din Timioara 20

Inferen Inferena
Este procedeul de gndire prin care din cunotine iniiale, se obine o cunotin nou. ob cunotin nou. Inferena se bazeaz pe existena unor cunotine iniiale fa de cele rezultate, noi pentru cel ce nu le-a neles iniial din judecile anterioare. Inferen (nemijlocit t), Inferena imediat (nemijlocit), se face asupra unei singure judeci cu calitatea de premiz (judecat de pornire); printr-o operaie de gndire obinem o cunotin (o judecat nou prin explicitarea judecii premiz). Inferena mediat (mijlocit), este forma de Inferen (mijlocit) t inferare a unei judeci noi pornind de la alte dou sau mai multe judeci cu rol de premize.
Universitatea Politehnica din Timioara 21

Paradigm
Conceptul de paradigm = realizri tiinifice recunoscute care furnizeaz problemele, dar i soluii pentru o comunitate de practicieni. Sfera de aplicare a unei paradigme: 1. Determinarea sau predicia unor fapte semnificative care ajut la determinarea unor soluii anticipate de paradigm. 2. Comparaia unor fapte cu prediciile paradigmei, pentru a spori acurateea soluiilor ei. 3. Eforturile pentru dezvoltarea/implementarea paradigmei prin determinarea unor constante i prin explorarea unor aspecte calitative i formularea unor legi cantitative.
Universitatea Politehnica din Timioara 22

Paradox
Opinie sau lucru care vine n contradicie cu contradic adevrul general acceptat, reprezentat printr-un raionament aparent just care duce la concluzii contradictorii, ce nu pot fi considerate nici adevrate, nici false.
Ex. de paradox logic: - Cretanul spune: Toti cretanii sunt mincinoi. Ce se poate spune despre el? - Brbier i rade pe toi cei care nu se rad singuri; dar pe el? - Ce e mai departe: luna sau Londra (Bancuri cu blonde). (Ce este departe se vede mai greu, sau chiar deloc; de altfel tiina se opune bunului sim).

De cele mai multe ori cand un om ia parte la o explicaie argumentativ, el trebuie s rearanjeze informaiile, s analizeze argumentele, pentru ca, n final, s poat stabili singur dac explicaia este valid sau nu.
Universitatea Politehnica din Timioara 23

Argumenta Argumentaie
Un argument este valid dac respect regulile gndirii corecte, nevalid n caz contrar. Argumentul prin analogie - Poate fi corect i concluzia mai probabil, dac: nsuirile prin care se aseamn obiectele comparate sunt mai numeroase dect cele prin care ele se deosebesc. nsuirile prin care se aseamn sunt mai importante dect cele prin care se deosebesc. Aria obiectelor comparate cu nsuiri comune, este mai mare. Spre deosebire de asemnri, diferenele existente, au o importan mic ori chiar nul.
Universitatea Politehnica din Timioara 24

Actul de argumentare
- Implic urmatoarele sensuri majore majore: Totalitatea mijloacelor pe care le folosim n fundamentarea diverselor opinii pentru a le mprti i altora. Maniera de rezolvare constructiv a conflictelor de opinii. Mijloacele specifice folosite de ctre indivizi i grupuri umane pentru a ajunge la cunoatere. Scopul argumentrii este obinerea convingerii, al demonstraiei stabilirea adevrului, al explicaiei lmurire, clarificare.
Universitatea Politehnica din Timioara 25

Metode deductive
Ra Raionamentul deductiv se bazeaz pe restrngerea ariei de la general la particular, (abordare de tip top-down). Premizele determin n mod logic concluziile, cu valoare de adevr. Logica deductiv - studiul derivrii judecilor particulare din cele generale. Sensul obinerii concluziilor este: de la judecile universale generale particulare individuale.
Universitatea Politehnica din Timioara 26

Metode inductive
Ra Raionamentul inductiv funcioneaz n sens opus, pornind cu observaiile concrete i extinzndu-se ctre generalizri i teorii, (abordare bottom-up), asigurnd un anumit grad de acceptare (o probabilitate pentru o probabilitate), concluzie. Logica inductiv - studiaz formele gndirii ce pornesc de la judeci individuale, legate de fapte i obin judeci cu grad de generalitate mai mare. Sensul inferrii este: de la judeci individualeparticular generaleuniversale.
Universitatea Politehnica din Timioara 27

Rationamentul prin analogie


Cel mai simplu tip de argument inductiv care se bazeaz pe compararea a cel puin doua obiecte sau situaii, A i B, pentru a stabili dac ntre ele exist sau nu anumite asemnri. Dac au fost descoperite trsturi care aparin, att lui A ct i lui B, dac la unul dintre acestea se descoper o nou propietate neidentificat la cellalt, atunci, prin analogie, se trage concluzia c aceast nou propietate aparine i celuilalt. La nivelul cunoaterii tiinifice concluziile obinute prin analogie se trateaz cu pruden (ele sunt mai mult ipoteze dect certitudini).
Universitatea Politehnica din Timioara 28

- Dac anumite fapte se repet asemntor, se folosete sistematic observaia riguroas i experimentul tiinific, metode speciale de cercetare i se stabilete dac ceea ce se repet este i necesar. Dac experimentul nu este posibil i procesele nu pot fi reproduse ele pot fi modelate i apoi simulate. Fiecare metod suplimentar contribuie n mod specific la creterea gradului de probabilitate a concluziei induciei incomplete, dar nu o transform ntr-o certitudine.
Universitatea Politehnica din Timioara 29

Induc tiin Inducia tiinific

Modele i analogii
Baza realizrii i utilizrii modelului o constituie: abstractizarea i interpretarea. Abstractizarea = generalizarea, luarea n considerare a componentelor mai importante ale sistemului real i ignorarea elementelor de mic importan. Interpretarea = posibilitatea ca elemente componente ale modelului se pot pune n legtur cu componente, caracteristici i modul de comportare a sistemului real. Observaie: Dac parametrii modelului nu pot fi interpretai, atunci ei nu pot fi msurai n sistemul real.
Universitatea Politehnica din Timioara 30

10

Modele i analogii
Strategia modelrii: impune respectarea ctorva principii de baz: - alegerea nivelului optim de complexitate; - planificarea dezvoltrii modelului; - eliminarea tentaiei de a ncorpora toate informaiile disponibile n model; - urmrirea de obiective specifice, fr a se ncerca construcia unui model universal valabil; - ncorporarea pe ct posibil n model a unor alte modele deja existente. Universitatea Politehnica din 31
Timioara

tiina tiin
Potrivit empirismului, teoriile tiinifice sunt obiective, verificabile prin experien i sunt predicii ale rezultatelor anterioare care pot fi confirmate sau infirmate prin falsificabilitate. Falsificabil = Proprietatea unei ipoteze tiinifice de a putea fi contrazis i dovedit fals printr-un experiment. Este corect s se afirme c adevrul tiinific este falsificabil, adic nu poate fi probat n mod absolut.

Universitatea Politehnica din Timioara

32

tiin Problema tiinific


Se refer la existena n domeniul unei tiine a unor necunoscute, prin a cror identificare (activiti de cercetare sau aplicarea unor generalizri/deduceri teoretice), se realizeaz progresul cunoaterii. Focalizarea ariei cercetrii tiinifice n jurul unor regiuni problematice apare ca necesitate a restrngerii domeniului tiinific la un grup de fapte relevante.

Universitatea Politehnica din Timioara

33

11

cunoa tiin Procesul cunoaterii tiinifice


Consisten intern - lips de contradicii n cadrul teoriei. Consisten extern - lips de contradicii cu alte teorii recunoscute. Valoarea cercetrii - explicarea unor noi probleme care pn la ora respectiv nu au putut fi lmurite.
Universitatea Politehnica din Timioara 34

Ipotez
Afirma Afirmaie care nu a fost confirmat, nici infirmat prin experiment (caracter provizoriu, formulat pe baza datelor experimentale existente la un moment dat, pe baza intuiiei, impresiei etc). O lege fizic (lege a naturii) = o generalizare tiinific bazat pe observaii empirice. Ipotez se folosete n tiin pentru a se referi la grupe de idei care fac prognoze specifice. Spre deosebire de o dovad/ipotez matematic, o teorie tiinific dovedit este ntotdeauna susceptibil de a fi falsificat dac apar noi dovezi. Orice teorie fundamental poate fi imperfect dac observaiile noi sunt inconsistente. observa inconsistente
Universitatea Politehnica din Timioara 35

tiin Ipoteza tiinific


Este o soluie anticipativ: rezolvarea unei solu anticipativ: probleme definit de cunoaterea i tehnica existent, nu se caut la ntmplare, se tie ceea se se dorete, se proiecteaz instrumentele i se ordoneaz ideile n mod corespunztor. n relaia dintre problema tiinific i ipotez apare o anumit contradicie: presupunnd o cunoatere asupra realitii, problema conine implicit i propria ei soluie. Problemele tiinifice apar n urmtoarele cazuri: 1. n legtur cu obiectul cercetrii, atunci cnd presupunerile sau ateptrile noastre au fost diferite sau cnd se dorete obinerea noului; 2. Atunci cnd teoriile existente duc la contradicii, fie ntre teorii diferite, fie ntre teorii i observaii.
Universitatea Politehnica din Timioara 36

12

tiin Criteriile experimentului tiinific


Obiectivitate(reproductibilitate) - Un experiment este obiectiv, dac cercettori diferii, n condiii identice, ajung la acela rezultat. Fidelitate(repetabilitate) - Un experiment are aceast proprietate, dac n aceleai condiii, repetat, conduce la rezultate identice. Standardizare i comparabilitate Rezultatele unui experiment sunt comparabile dac se respect anumite criterii stabilite anterior.
Universitatea Politehnica din Timioara 37

tiin Criteriile experimentului tiinific (cont.)


Cunoaterea tiinific se dezvolt prin acumulri cantitative de fapte experimentale i formulri teoretice consistente cu teoriile general acceptate la un moment dat. Pe msur ce sunt descoperite noi fapte experimentale i tehnologia permite msurri mai exacte, unele dintre aceste date experimentale vin n contradicie cu teorii general acceptate. De cele mai multe ori aceste descoperiri /falsificri nu sunt intenionate i au loc n cursul proceselor tiinifice obinuite.
Universitatea Politehnica din Timioara 38

Modalitati/procedee de cercetare
Alegere de soluii la ntmplare Edison. Analogia observarea de asemnri ntre problema de rezolvat i o alta a crei soluionare este cunoscut. Generalizarea cnd o problem este complex se folosete o versiune simplificat, care s cuprind datele ei eseniale. mprirea divizarea problemei n subprobleme mai uor abordabile.
Universitatea Politehnica din Timioara 39

13

Modalitati/procedee de cercetare (cont.)


Particularizarea gsirea unui caz ce conine un set limitat de caracteristici (abordarea unui model 2D n cazul unei probleme 3D). Dilatarea/contracia unele probleme sunt mai uor de rezolvat dac se modific scara sau numrul de variabile. Inversarea privirea dintr-un punct de vedere opus.
Universitatea Politehnica din Timioara 40

tiin Metoda tiinific


Elementele principale 1. Recunoaterea i formularea clar a unei probleme. 2. Adunarea datelor prin observaie i experiment. 3. Formularea ipotezelor prin argumentare logic. 4. Verificarea acestor ipoteze.
Universitatea Politehnica din Timioara 41

tiin Metoda tiinific (cont.)


Nici o cercetare tiinific nu pleac de la zero. Orice cercetare pleac de la o anumit cunoatere a cercettorului, de la anumite mijloace i procedee de cercetare i de la un anumit ansamblu de cunotine. Faza apariiei problemei nu are loc n vid, ci se manifest n funcie de mijloacele de care dispune cercettorul (diferite date, norme etc.), care i pot permite sau nu, s rezolve problema.
Universitatea Politehnica din Timioara 42

14

tiin Metoda tiinific (cont.)


solu Testarea fiecrei soluii - Selectarea ariei de interes/identificarea problemei. identificarea - Studiul bibliografic de specialitate. - Formularea unor ipoteze/conturarea unei conturarea metodologii de lucru. - Decizia asupra procedurii (raionament deductiv). - Colectarea datelor experimentale/analiza lor. analiza - Interpretarea rezultatelor/formularea concluziilor. formularea
Universitatea Politehnica din Timioara 43

mul V mulumesc pentru aten atenie!

Universitatea Politehnica din Timioara

44

15