Professional Documents
Culture Documents
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
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.
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
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
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
- 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
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.
32
33
11
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
12
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
14
44
15