KAS YRA MATERIALIOJI LOGIKA? - FILOSOFIJA - 2025

Medžiagos logika yra logikos šaka, kuri analizuoja savo patalpose turinį, priešingai nei formalios logikos, kuri tik tyrimuose teiginių struktūrą. Jis taip pat žinomas kaip taikoma logika, nes yra skirtas padaryti logiškas išvadas, naudingas realiame pasaulyje.

Tradiciškai yra dvi pagrindinės logikos šakos: formalioji logika (dar vadinama smulkiąja logika) ir materialioji, taikomoji arba pagrindinė logika. Nors abiejų tipų logikos pagrindai yra panašūs, jų sprendžiamos problemos yra visiškai skirtingos.

Kai kurie mokslininkai taip pat kalba apie trečiojo tipo logiką, neoficialią logiką, kuri būtų atsakinga už teisingų samprotavimo būdų tyrimą, tačiau atsižvelgiant į argumentų ir teiginių kontekstą ir turinį.

Logikos istorija

Žodis „logika“ kilęs iš senovės graikų kalbos „logike“, reiškiančio „intelektuali ar argumentuojanti“. Tai taip pat gali kilti iš žodžio „logotipai“, kuris reiškia „žodis ar mintis“.

Logika yra filosofijos šaka, atsakinga už samprotavimo formų ir jų pagrįstumo tyrimus. Tai yra vienas iš dviejų formaliųjų mokslų kartu su matematika, nes jis neturi turinio, pagrįsto realiuoju pasauliu: jame nagrinėjamos tik pagrįstos išvadų formos.

Kitaip tariant, logika yra mokslas, atsakingas už tyrimą, išskiriantį teisingą samprotavimą iš neteisingo.

Jos pagrindinė misija yra atrasti žmogaus minties dėsnius, taip pat metodus, kuriuos galime naudoti, kad mūsų mąstymas leistų padaryti teisingas išvadas.

Logikos tipai

Nors logika visada tiria skirtingų elementų ar „teiginių“ ryšius, ji tai gali padaryti keliais skirtingais būdais. Tradiciškai yra dviejų tipų logika:

• Formali logika , dar vadinama gryna logika. Jis yra atsakingas už teisingų ir pagrįstų mąstymo būdų nustatymą ir išvadų darymą.
• Taikomoji arba materialioji logika , kurioje analizuojamas ne tik būdas daryti išvadas, bet ir pačių patalpų turinys tokiu būdu, kad galų gale turi būti pasiektas realybę atitinkantis rezultatas.

Formalios ir materialinės logikos skirtumai

Formali logika yra atsakinga už abstraktų dedukcinių teiginių, frazių ir argumentų tyrimą. Ši disciplina iš šių elementų turinio išskiria logines struktūras, kurios juos formuoja. Kai tai bus padaryta, bus tiriama, ar argumentas pagrįstas skiemenimis, ar gryna logika (teiginių pakaitalai).

Tačiau nors argumentas gali būti pagrįstas loginiu lygmeniu, tai nereiškia, kad jis yra teisingas. Pvz., Gali pasireikšti šie skiemenys:

• Nė vienas žmogus neteisus
• Šis nusikaltėlis yra vyras
• Tada šis nusikaltėlis nieko blogo nedaro

Nors formalios logikos požiūriu šis argumentas būtų pagrįstas (nes išvadą galima padaryti iš jo patalpų), akivaizdu, kad išvada tikrovėje netiesa.

Būtent už tai atsakinga taikomoji logika: tiriama, ar per formaliąją logiką padarytos išvados yra realios tikrovėje, ar ne.

Argumentaciniai klaidingi teiginiai

Viena iš sričių, atsakingų už materialinės logikos studijas, yra argumentuojančios klaidos. Tai argumentai, kurie atrodo logiški, tačiau atidžiai ištyrus paaiškėja, kad klaidingi.

Šie argumentai yra plačiai naudojami kasdienėse diskusijose. Todėl jų mokymasis yra labai naudingas norint išmokti veiksmingiau ginčytis.

Nepaisant to, kad yra daugybė ginčijamų klaidų tipų ir kad kai kurie iš jų yra formali logika, dabar pamatysime keletą labiausiai paplitusių tipų, už kuriuos atsakinga taikomoji logika.

1 - klaidingas skelbimas ir nežinojimas

Šis ginčijamas klastingumas susideda iš bandymo parodyti, kad kažkas yra tiesa vien todėl, kad negali būti tiksliai žinoma, kad tai melaginga. Vienas įdomiausių šio tipo klaidingumo pavyzdžių yra „Skraidančio spagečių pabaisos religija“, kurią išrado universiteto profesorius.

Tai yra klaidinga religija, kurioje garbinamas nematomas monstras, pagamintas iš spagečių ir kotletų, kuris savo įvaizdžiu ir panašumu sukūrė visatą.

Pagrindinis argumentas, įrodantis jo egzistavimą, yra tas, kad „mes negalime tiksliai žinoti, kad jo nėra“.

2 - Skelbimo pasekmių klaidingumas

Ši klaida susideda iš bandymo įtikinti pašnekovą, kad kažkas yra tiesa ar netiesa, atsižvelgiant į tai, ar pasekmės yra geros, ar blogos.

Sakyti, kad duona nėra penėjimas, nes tai būtų rimtas smūgis ūkininkų ekonomikai, būtų tokio tipo klaidingumo pavyzdys.

3 - klaidingas skelbimas

Šis klaidinimo tipas, dar vadinamas „valdžios klaidingumu“, reiškia apsimetimą, kad išvada galioja tik todėl, kad ją gina kažkas, kas turi didelę reikšmę, dėl savo žinių ar dėl savo socialinės padėties.

Ad verecundiam klaidingumo pavyzdys būtų apsimesti, kad Žemė yra plokščia, nes tai sako garsus asmuo.

4 - Skubaus apibendrinimo klaidinimas

Tai pagrįsta perėjimu prie išvadų neturint pakankamai duomenų tai patvirtinti. Klasikinis pavyzdys yra stereotipai: įsitikinimai apie tam tikros rasės žmones, seksualinę orientaciją, tautybes ar lytis, patvirtinantys, kad visi tie, kurie priklauso toms grupėms, yra vienaip.

Pavyzdžiui, įsitikinimas, kad visi Andalūzijos gyventojai yra tingūs ir katalonai erzina, yra skubotas apibendrinimas.

5 - Ad hominem klaidingumas

Šis klaidinimas reiškia, kad asmens argumentai atmetami kaip klaidingi dėl asmeninės savybės. Pavyzdžiui, atmesti kažkieno idėjas, nes jie neturi gero savęs įvaizdžio, dėl to, kad kalba keistai arba dėl to, kad neturi malonių bruožų.

6- post hoc ergo propter hoc klaidingumas

Šis klaidinimas (kuris tiesiogine prasme reiškia „paskui, todėl dėl“) reiškia tikėjimą, kad jei vienas įvykis įvyksta iškart po kito, abu turi būti tiesiogiai susiję, nepaisant įrodymų, kad būtų galima patvirtinti ką nors panašaus, trūkumo.

Pvz., Jei kas nors prieš žaisdamas loterijoje paliečia savo sėkmingą žavesį ir laimi, jis gali tvirtinti, kad laimėjo prizą būtent už tai, kad anksčiau ėmėsi šio veiksmo. Tai būtų post hoc ergo propter hoc atvejis.

Nuorodos

1. "Įvadas į logiką / kas yra logika?" at: Wikiversity. Gauta: 2018 m. Sausio 17 d. Iš „Wikiversity“: es.wikiversity.org.
2. „Formalioji logika“: Britannica. Gauta: 2018 m. Sausio 17 d. Iš „Britannica“: britannica.com.