Kas yra materialinė logika?

Materialinė logika yra logikos filialas, atsakingas už savo patalpų turinio analizę, priešingai nei formali logika, kuri tik tiria pasiūlymų struktūrą. Jis taip pat žinomas kaip taikomoji logika, nes jis sukurtas siekiant sukurti logišką išvadą, kuri būtų naudinga realiame pasaulyje.

Tradiciškai kalbame apie dvi pagrindines logikos šakas: formalią logiką (taip pat žinomą kaip nedidelę logiką) ir materialinę logiką, taikomą ar didesnę. Nors abiejų rūšių logikos pagrindai yra panašūs, problemos, su kuriomis jie susiduria, yra visiškai skirtingos.

Kai kurie mokslininkai taip pat kalba apie trečiąjį logikos, neoficialios logikos tipą, kuris būtų atsakingas už teisingų argumentavimo būdų tyrimą, bet atsižvelgiant į argumentų ir pasiūlymų kontekstą ir turinį.

Logikos istorija

Žodis „logika“ kilęs iš senovės graikų „logiko“, kuris reiškia „intelektualų ar argumentuotą“. Jis taip pat gali kilti iš žodžio „logos“, kuris reiškia „žodį ar mintį“.

Logika yra filosofijos filialas, atsakingas už motyvacijos formų tyrimą ir jo pagrįstumą. Jis yra vienas iš dviejų formalaus mokslų, kartu su matematika, nes neturi turinio, pagrįsto realiu pasauliu: jis susijęs tik su galiojančiomis išvadų formomis.

Kitaip tariant, logika yra mokslas, kuris yra atsakingas už tai, kad būtų ištirta, kas skiriasi nuo neteisingo argumentavimo.

Jos pagrindinė misija yra atrasti žmogaus minties įstatymus, be metodų, kuriuos galime naudoti, kad mūsų mąstymas sukeltų teisingas išvadas.

Logikos tipai

Nors logika visada tiria ryšius tarp skirtingų elementų ar „pasiūlymų“, ji gali tai padaryti keliais skirtingais būdais. Tradiciškai manoma, kad yra dviejų rūšių logika:

  • Formali logika, taip pat žinoma kaip gryna logika. Ji yra atsakinga už tai, kad būtų nustatyti teisingi ir galiojantys mąstymo būdai ir išvados.
  • Taikoma logika ar medžiaga, kuri analizuoja ne tik išvadų sudarymo būdą, bet ir patį patalpų turinį, kad galų gale jūs turite gauti rezultatą, atitinkantį tikrovę.

Skirtumai tarp formalios logikos ir materialinės logikos

Oficiali logika yra atsakinga už abstrakčią pasiūlymų, frazių ir dedukcinių argumentų studiją. Ši disciplina ištraukia iš šių elementų turinio jų logines struktūras. Kai tai bus padaryta, tiriama, ar argumentas galioja silylizmu, ar grynąja logika (pakeičiant pasiūlymus su simboliais).

Tačiau, nors motyvavimas gali būti pagrįstas loginiu lygmeniu, tai nereiškia, kad tai tiesa. Pvz., Gali pasireikšti toks sillogizmas:

  • Niekas neteisingai
  • Šis nusikaltėlis yra žmogus
  • Tada šis nusikalstamasis asmuo nepadaro blogo

Nors oficialios logikos požiūriu šis argumentas būtų galiojantis (kadangi išvadą galima padaryti iš jo patalpų), akivaizdu, kad faktinė situacija realiame pasaulyje netiesa.

Būtent tai yra logika: ištirti, ar formalios logikos padarytos išvados yra realiame pasaulyje, ar ne.

Argumentaciniai kritimai

Viena iš sričių, kuri yra atsakinga už materialinės logikos tyrimą, yra argumentų klaidingumas. Tai argumentai, kurie yra akivaizdžiai logiški, bet atidžiai išnagrinėti jie atskleidžiami kaip klaidingi.

Šie argumentai yra plačiai naudojami kasdieninėse diskusijose. Todėl jų mokymasis yra labai naudingas, kad galėtumėte efektyviau mokytis ginčytis.

Nors yra daug tipiškų argumentacinių klaidų, o kai kurios yra formalios logikos, žemiau matysime keletą dažniausiai taikomų logikos tipų.

1 - „Fallacy ad ignorantiam“

Šis argumentinis klaidingumas - tai bandymas įrodyti, kad kažkas yra teisinga, nes nesate tikri, kad jis yra klaidingas. Vienas iš įdomiausių tokio tipo klaidingumo pavyzdžių yra „Skraidančios spageti monstras“, kurią išrado universiteto profesorius.

Tai melaginga religija, kurioje garbinamas nematomas monstras, pagamintas iš spageti ir mėsos, ir sukūrė visatą savo paveiksle ir panašumu.

Pagrindinis argumentas, įrodantis jo egzistavimą, yra tas, kad „mes tikrai nežinome, kad tai neegzistuoja“.

2

Šis klaidingumas - tai bandymas įtikinti pašnekovą, kad kažkas yra teisinga ar klaidinga, priklausomai nuo to, ar pasekmės yra geros, ar blogos.

Sakydamas, kad duona nesuteikia riebalų, nes tai būtų didelis smūgis ūkininkų ekonomikai būtų tokio tipo klaidingumo pavyzdys.

3 - Fallacy ad verecundiam

Tokio tipo klaidingumas, dar vadinamas „valdžios klaidingumu“, reiškia apsimesti, kad išvada galioja tik todėl, kad ją gina kažkas, kas yra labai svarbi, dėl savo žinių ar socialinės padėties.

Piktnaudžiavimo ad verecundiam pavyzdys būtų apsimesti, kad Žemė yra plokščia, nes ją sako garsus žmogus.

4 - Skubėjusio apibendrinimo išlikimas

Jis grindžiamas skubotomis išvadomis, neturint pakankamai duomenų patvirtinimui. Klasikinis pavyzdys yra stereotipai: įsitikinimai apie tam tikrų rasių, seksualinių orientacijų, tautybių ar lyčių žmones, patvirtinantys, kad visi tie, kurie priklauso šioms grupėms, yra vienas iš būdų.

Pavyzdžiui, tikėjimas, kad visi Andalūzijos gyventojai yra neaiškūs, ir katalonų šykštumas yra apie skubotą apibendrinimą.

5 - „Fallacy ad hominem“

Šis klaidingumas reiškia, kad asmens argumentai yra klaidingi dėl asmeninės jo charakteristikos. Pavyzdžiui, atminkite kažkieno idėjas, nes jie neturi geros asmeninės įvaizdžio, nes jie keistai kalba arba nes neturi gražių savybių.

6- Fallacy post hoc ergo propter hoc

Šis nesąžiningumas (kuris tiesiog reiškia „po to, todėl dėl“) reiškia tikėjimą, kad jei vienas įvykis įvyksta po kito, abu turi būti tiesiogiai susiję, nepaisant to, kad trūksta įrodymų, patvirtinančių kažką panašaus.

Pavyzdžiui, jei kas nors paliečia savo laimingą žavesį prieš loteriją ir laimi, jis gali teigti, kad jis laimėjo prizą tiksliai atlikdamas šį veiksmą iš anksto. Tai būtų post hoc ergo propter hoc atvejis.