- Logika ir mokslas
- Kas yra logika?
- Kas yra mokslas?
- charakteristikos
- Kritikuokite indukcinę procedūrą
- Pavyzdžiai
- Apibrėžkite hipotezę kaip galimą nelogišką formulavimą
- Pavyzdys
- Siūlo dedukcinį teorijų patikrinimą
- Išvadų palyginimas
- Teorinės loginės formos tyrimas
- Palyginimas su kitomis teorijomis
- Empirinis pritaikymas
- Pavyzdys
- Nustato, kad mokslinis objektyvumas grindžiamas objektyviai prieštaringu dalyku
- Pavyzdys
- Nuorodos
Mokslinė logika yra vienas, kad yra atsakingas už metodą, kuris leistų naudotis mokslo žiniomis; tai yra, apie empirinės tiesos kūrimą. Mokslas ir logika turi vidinį ryšį.
Šis santykis suteikiamas kaip pasekmė to, kad pirmojo sisteminimas - tai yra tyrimo procesų organizavimas, hipotezių formulavimas ir patikrinimas - turi veikti pagal antrosios įstatymus, kad būtų užtikrintas eksperimento metu padarytų išvadų pagrįstumas. mokslo.
Karlas Popperis yra pagrindinis mokslinės logikos atstovas. Šaltinis: Lucinda Douglas-Menzies nuoroda
Norint geriau suprasti mokslinės logikos sąvoką, tikslinga nagrinėti dviejų žodžių, sudarančių daiktavardžio frazę, prasmę, tada nustatyti jų santykių pobūdį.
Logika ir mokslas
Kas yra logika?
Formalioji logika yra filosofijos ir matematikos šaka, tirianti teisingą mąstymą. Kai mes kalbame apie „teisingą mąstymą“, turime omenyje racionalią procedūrą, kuria žmogus gali generuoti išvadas iš tam tikrų patalpų, leidžiančias jam padaryti nuoseklias išvadas.
Loginį samprotavimą reglamentuoja keli principai; Tarp jų išsiskiria pakankamos priežasties tapatybė, neprieštaringumas ir priežastingumas
Formali logikos struktūra leidžia atskirti, ar kalboje pateikiami pagrįsti ar netinkami argumentai. Jei santykis tarp teiginio teiginių neatitinka logikos principų, šis argumentas turi būti laikomas klaidingu.
Kas yra mokslas?
Mokslą galime suprasti kaip žinių visumos susisteminimą, leidžiančią prieiti prie tiesos, kurią galima įrodyti empiriškai, žinios; tai yra objektyvi tikrovė.
charakteristikos
Savo traktate „Mokslinių tyrimų logika“ (1934) filosofas Karlas Popperis apibrėžė elementus ir problemas, apibūdinančias šiandien plačiausiai priimto mokslinio metodo logiką: hipotetinį-dedukcinį. Kai kurios jo savybės yra šios:
Kritikuokite indukcinę procedūrą
Induktyvus samprotavimas yra tas, kuris siūlo universalias išvadas iš tam tikrų reiškinių.
Nuo tada, kai empirikas Davidas Hume'as savo tyrime apie žmogaus žinias (1748) kritikavo indukcinės logikos priimtinumą, daugelis mokslinio metodo teoretikų ją plačiai uždraudė, nors ji vis dar naudojama kai kuriose metodologinio požiūrio formose. .
Hume'o kritika pabrėžia, kad indukcine logika bandoma pasitikėti patirtiniais stebėjimais, tarsi jie patvirtintų reiškinius, kurių neįmanoma patvirtinti patyrimu. Remiantis šia logika, įvykusių reiškinių dėsningumas pateisina išvadą, kad jie bus pakartoti vienodai.
Karlas Popperis teigia, kad indukcinė logika arba „tikimybės logika“ nepateisina savęs. Bandant tai padaryti, indukcinė procedūra pereina į regresijos procesą, kuris tęsiasi iki begalybės, jo teiginiai nepatvirtinami konkrečioje patirtyje.
Tokiu būdu netgi įmanoma patekti į Kantų apriorizmą - tendenciją, rodančią, kad žinios nepriklauso nuo jokios patirties.
Pavyzdžiai
- Tai, kad kelerius metus lyja 60% laiko tam tikromis atmosferos sąlygomis, dar nereiškia, kad šis modelis visada pasikartos.
- Tai, kad mes pastebėjome daugybę baltųjų gulbių, neužtikrina, kad visos egzistuojančios gulbės yra baltos.
Apibrėžkite hipotezę kaip galimą nelogišką formulavimą
Anot Popperio, „mokslininko darbas susideda iš teorijų siūlymo ir jų kontrastavimo“. Tačiau, jo požiūriu, hipotezės formulavimas nereiškia logikos naudojimo formaliąja prasme.
Teorijos principus apibūdinantys teiginiai yra kūrybinės idėjos arba intuicija, siūlantys galimą problemos, kylančios iš empirinės patirties, sprendimą.
Loginis mokslinio metodo griežtumas prasideda antruoju jo momentu, ty dedukciniu paneigimu ar pasiūlytos teorijos kontrastu.
Pavyzdys
- Metafizinės teorijos apie atomą graikų filosofijoje įkvėpė tokius atomistų mokslininkus kaip Rutherfordas.
Siūlo dedukcinį teorijų patikrinimą
Popperis nustato keturias procedūras, kurios sudaro logišką teorijos tikrinimo procesą:
Išvadų palyginimas
Išanalizuokite tarpusavyje įvairias išvadas, padarytas tyrime, siekiant patikrinti siūlomos sistemos darną; tai yra, kad tyrimo rezultatai palaiko loginius ryšius vienas su kitu (ekvivalentiškumas, atskaitomybė, suderinamumas ir kt.).
Teorinės loginės formos tyrimas
Tai lemia, ar teorijos pobūdis iš tikrųjų yra mokslinis (tai yra empirinis), ar, atvirkščiai, yra tautologinis (nereikalingas ar tuščias teiginys).
Palyginimas su kitomis teorijomis
Jei teorija išgyvena paneigimus, palyginimas su kitais to paties reiškinio tyrimais padės nustatyti, ar atliktas darbas reiškia pažangą.
Empirinis pritaikymas
Išvados, kuriomis remiasi teorija, turi būti patikrintos eksperimentuojant.
Jei paskutinės bandymo procedūros pabaigoje patikrinamos iš teorijos išvestos išvados, reikia pripažinti, kad kol kas nėra pagrindo jos atmesti.
Priešingu atveju - tai yra, jei bandymo procesas neigiamas - teorija turi būti laikoma klaidinga.
Pavyzdys
Astronomai Urbanas Le Verrieris ir Johnas Adamsas sugebėjo deduktyviai patikrinti hipotezę, kad nežinoma planeta paveikė Urano orbitą.
Jie atliko matematinius skaičiavimus, kad nustatytų tikėtiną žvaigždės masę ir vietą, o tada bandė empiriškai, naudodamiesi teleskopu, nukreiptu į išvestas koordinates. Iš tiesų eksperimentas įrodė, kad nustatytoje vietoje buvo planeta, kurią jie pavadino Neptūnu.
Nustato, kad mokslinis objektyvumas grindžiamas objektyviai prieštaringu dalyku
Remiantis moksline Popperio teorijos logika, mokslui būdingas objektyvumo principas neatitinka fakto, kad teorija gali būti pateisinama, nes dėl to, kad ji atmeta indukcinį metodą, teiginio niekada negalima visiškai patikrinti, tik kontrastuoja.
Šia prasme Popperis tvirtina, kad „mokslinių teiginių objektyvumas priklauso nuo to, kad jie gali būti prieštaringi priešingai“.
Interesubjektyvus testavimas kaip objektyvumo kriterijus vyrauja todėl, kad tik faktai, kuriuos galima tiksliai pakartoti reguliariai, laikantis tam tikrų modelių, yra tie, kuriuos gali kontrastuoti kiekvienas, atlikęs nustatytus veiksmus.
Kartojimas ir tvarkingumas pašalina galimybę, kad patirties rezultatai yra tik sutapimas. Dėl šios priežasties moksliniai eksperimentai vykdomi laikantis šių loginių nurodymų.
Pavyzdys
Jei visi klasės mokiniai, atlikdami eksperimentą, kuriame išbandomas pirmasis Niutono dėsnis, gauna tiksliai tuos pačius rezultatus, tiems studentams bus parodytas šio dėsnio principų objektyvumas.
Nuorodos
- Hume, D. „Žmogaus žinių tyrimai“. (1988). Madridas: Aljansas.
- Hutchinsas, R. "Adamsas, Johnas Couchas (1819–1892), astronomas." (2004 m. Rugsėjo mėn.) Oksfordo nacionalinės biografijos žodyne. Gauta 2019 m. Balandžio 1 d. Iš Oksfordo nacionalinės biografijos žodyno: oxforddnb.com
- Klimovsky, G. „dedukcinis hipotetinis metodas ir logika“. (1971). La Plata: UNLP. FAHCE. Mokslo logikos ir filosofijos institutas. (Mokslo logikos ir filosofijos instituto užrašų knygelės. „Celeste“ serija; 1). Akademinėje atmintyje. Gauta 2019 m. Balandžio 1 d. Iš „Akademinio pranešimo“: memoria.fahce.unlp.edu.ar
- Lorenzano, C. „Mokslo struktūra ir metodai. Pagrindiniai epistemologijos raštai “. (2014 m. Spalio mėn.), Adresu Academia.edu. Gauta 2019 m. Balandžio 1 d. Iš „Academia.edu“: Academia.edu
- Popperis, K. „Mokslinių tyrimų logika“ (1980). Madridas: „Tecnos“.