MIKÄ ON MATERIAALILOGIIKKA? - FILOSOFIA - 2026

Materiaalit logiikka on haara logiikka, joka analysoi sen toimitiloja, toisin kuin muodollinen logiikka, joka vain tutkii rakennetta ehdotuksia. Sitä kutsutaan myös sovelletuksi logiikaksi, koska se on suunniteltu johtamaan loogiseen johtopäätökseen, joka on hyödyllinen todellisessa maailmassa.

Perinteisesti logiikassa on kaksi päähaaraa: muodollinen logiikka (tunnetaan myös nimellä vähäinen logiikka) ja materiaalinen, sovellettu tai päälogiikka. Vaikka molemmat logiikatyypit ovat samankaltaisia, niiden käsittelemät ongelmat ovat täysin erilaisia.

Jotkut tutkijat puhuvat myös kolmannen tyyppisestä logiikasta, epävirallisesta logiikasta, jonka tehtävänä olisi tutkia oikeita päättelytapoja, mutta ottaa huomioon argumenttien ja ehdotusten konteksti ja sisältö.

Logiikan historia

Sana "logiikka" on peräisin muinaiskreikkalaisesta "logike", joka tarkoittaa "älyllistä tai riitaa". Se voi myös tulla sanasta "logot", joka tarkoittaa "sana tai ajatus".

Logiikka on filosofian haara, joka vastaa päättelymuotojen ja niiden pätevyyden tutkimisesta. Se on yksi kahdesta muodollisesta tieteestä yhdessä matematiikan kanssa, koska sillä ei ole todelliseen maailmaan perustuvaa sisältöä: se käsittelee vain päteviä päätelmämuotoja.

Toisin sanoen logiikka on tiede, joka on vastuussa tutkimisesta, mikä erottaa oikean päättelyn virheellisestä.

Sen päätehtävänä on löytää ihmisen ajattelun lait ja menetelmät, joita voimme käyttää niin, että ajattelumme johtaa oikeisiin johtopäätöksiin.

Tyypit logiikkaa

Vaikka logiikka tutkii aina eri elementtien tai "ehdotusten" välisiä suhteita, se voi tehdä niin useilla eri tavoilla. Perinteisesti logiikkaa on kahta tyyppiä:

• Muodollinen logiikka, joka tunnetaan myös nimellä puhdas logiikka. Sen tehtävänä on päättää, mitkä ovat oikeat ja pätevät ajattelutavat, ja tehdä päätelmiä.
• Sovellettu tai aineellinen logiikka, jossa ei analysoida vain tapaa tehdä johtopäätöksiä, vaan myös itse tilojen sisältöä siten, että lopulta on saavutettava todellisuuden mukainen tulos.

Erot muodollisen ja aineellisen logiikan välillä

Muodollinen logiikka on vastuussa deduktiivisten ehdotusten, lauseiden ja perusteiden abstraktista tutkimuksesta. Tämä kurinalaisuus poimii näiden elementtien sisällöstä ne muodostavat loogiset rakenteet. Kun tämä on tehty, tutkitaan onko argumentti pätevä sylogismin tai puhtaan logiikan kautta (korvaa symbolit ehdotuksille).

Vaikka argumentti voi olla pätevä loogisella tasolla, se ei tarkoita, että se olisi totta. Esimerkiksi seuraavaa syllogismia voi esiintyä:

• Kukaan ei tee väärin
• Tämä rikollinen on mies
• Silloin tämä rikollinen ei tee väärin

Vaikka muodollisen logiikan kannalta tämä argumentti olisi pätevä (koska johtopäätös voidaan tehdä sen tiloista), on selvää, että johtopäätös ei ole totta todellisessa maailmassa.

Juuri tästä johtuu sovellettu logiikka: tutkitaan, ovatko muodollisen logiikan avulla tehdyt päätelmät totta todellisessa maailmassa vai eivät.

Argumentatiiviset virheelliset väitteet

Yksi aineellisen logiikan tutkimisesta vastuussa olevilla aloilla on argumentoivat virheellisyydet. Nämä ovat argumentteja, jotka vaikuttavat loogisilta, mutta tarkkaan tutkittuina osoittautuvat vääriksi.

Tämän tyyppisiä argumentteja käytetään laajasti päivittäisissä keskusteluissa. Siksi heidän oppimisestaan ​​on erittäin hyötyä oppia väittämään tehokkaammin.

Huolimatta siitä, että väitettäviä virheitä on monen tyyppisiä ja että jotkut ovat muodollisen logiikan sisällä, näemme nyt joitain yleisimmistä tyypeistä, joista sovellettu logiikka on vastuussa.

1- virheellisyys ja tietämättömyys

Tämä väitteellinen virheellisyys koostuu yrittämisestä osoittaa, että jokin on totta yksinkertaisesti siksi, että sen varmuutta ei voida tietää väärin. Yksi uteliaimmista esimerkeistä tämän tyyppisestä virheestä on yliopiston professori keksimä "Flying Spaghetti Monster uskonto".

Se on väärä uskonto, jossa palvotaan näkymätöntä spagetti- ja lihapullista tehtyä hirviötä, joka loi maailmankaikkeuden imagoonsa ja samankaltaisuuteensa.

Tärkein argumentti sen olemassaolon todistamiseksi on, että "emme voi varmasti tietää, ettei sitä ole olemassa".

2 - Ad seurauksena virhe

Tämä virhe johtaa yrittämään vakuuttaa keskustelukumppani siitä, että jokin on totta tai vääriä riippuen siitä, ovatko seuraukset hyviä vai huonoja.

Sanoa, että leipä ei ole lihotusta, koska se olisi vakava isku viljelijöiden taloudelle, olisi esimerkki tällaisesta virheestä.

3- virheellisyys ad verecundiam

Tämän tyyppinen virhe, joka tunnetaan myös nimellä "auktoriteetin virheellisyys", koostuu väittämästä, että johtopäätös on pätevä vain siksi, että sitä puolustaa suuri merkitys, joko heidän tietämyksensä tai sosiaalisen asemansa takia.

Esimerkki ad verecundiam-virheestä olisi teeskennellä, että maa on litteä, koska kuuluisa henkilö sanoo sen.

4 - Hätäisen yleistyksen virheellisyys

Se perustuu hyppäämiseen johtopäätöksiin ilman, että sillä on tarpeeksi tietoa sen vahvistamiseksi. Klassinen esimerkki on stereotypiat: uskomukset tietystä rodusta, seksuaalisesta suuntautumisesta, kansallisuudesta tai sukupuolesta, väittäen, että kaikki ne ryhmät kuuluvat yhdellä tavalla.

Esimerkiksi usko, että kaikki andalusialaiset ovat laiskoja ja katalaanit ovat niukkoja, on kiireinen yleistäminen.

5- Ad hominem-virhe

Tämä virhe johtaa siihen, että henkilön väitteet hylätään virheellisinä henkilökohtaisen ominaisuuden takia. Esimerkiksi jonkun ideoiden hylkääminen, koska heillä ei ole hyvää omakuvaa, koska he puhuvat omituisesti tai koska heillä ei ole miellyttäviä piirteitä.

6- post hoc ergo propter -sovelluksen virhe

Tämä virhe (joka tarkoittaa kirjaimellisesti "sen vuoksi, siksi") tarkoittaa uskoa siihen, että jos jokin tapahtuma tapahtuu heti toisensa jälkeen, molempien on oltava suoraan yhteydessä toisiinsa, huolimatta todisteiden puutteesta vahvistaakseen jotain sellaista.

Esimerkiksi, jos joku koskettaa onnensa viehätysvoimaansa ennen arpajaisten pelaamista, ja hän voittaa, he voivat väittää voittaneensa palkinnon juuri sen vuoksi, että se on toiminut etukäteen. Tämä olisi post hoc ergo propter -tapaustapaus.

Viitteet

1. "Johdatus logiikkaan / Mikä on logiikka?" osoitteessa: Wikiversity. Haettu: 17. tammikuuta 2018 osoitteesta Wikiversity: es.wikiversity.org.
2. "Muodollinen logiikka" julkaisussa: Britannica. Haettu: 17. tammikuuta 2018 osoitteesta Britannica: britannica.com.