Neljä tärkeintä logiikan tyyppiä (ja ominaisuuksia)

Logiikka on perustelujen ja päätelmien tutkiminen. Se on joukko kysymyksiä ja analyysejä, joiden avulla voimme ymmärtää, kuinka pätevät argumentit eroavat harhaluuloista ja siitä, miten saavutamme ne.

Tätä varten on ollut välttämätöntä kehittää erilaisia ​​järjestelmiä ja tutkimusmuotoja, jotka ovat johtaneet neljään päätyyppiseen logiikkaan. Näemme alla, mitä kukin niistä on.

• Suositeltava artikkeli: [10 loogisten ja argumentatiivisten harhaluulojen tyyppiä] (10 loogisen ja argumentatiivisen harhaluulon tyyppiä)

Mikä on logiikka?

Sana "logiikka" tulee kreikkalaisista "logoista", jotka voidaan kääntää eri tavoin: sana, ajatus, argumentti, periaate tai syy ovat tärkeimpiä. Tässä mielessä logiikka on periaatteiden ja päättelyn tutkiminen.

Tässä tutkimuksessa pyritään ymmärtämään erilaisia ​​päätelmiä koskevia perusteita ja sitä, miten saavutamme päteviä mielenosoituksia, toisin kuin pätemättömät esittelyt. Niinpä logiikan peruskysymys on, mikä on oikea ajattelu ja miten voimme erottaa kelvollisen argumentin ja harhaanjohtavuuden??

Tähän kysymykseen vastaamiseksi logiikka esittää erilaisia ​​tapoja luokitella lausuntoja ja argumentteja riippumatta siitä, tapahtuvatko ne muodollisessa järjestelmässä tai luonnollisessa kielessä. Erityisesti se analysoi ehdotuksia (julistavia lauseita), jotka voivat olla totta tai vääriä, sekä harhaluuloja, paradokseja, syy-yhteyksiä sisältäviä argumentteja ja yleensä argumentointiteoriaa..

Yleisesti ottaen järjestelmän katsotaan olevan looginen, joten niiden on täytettävä kolme kriteeriä:

• johdonmukaisuus (järjestelmää muodostavien teoreettien välillä ei ole ristiriitaa)
• kiinteys (testijärjestelmät eivät sisällä vääriä päätelmiä)
• täydellisyys (kaikki todelliset lauseet on voitava todistaa)

Neljä logiikan tyyppiä

Kuten olemme nähneet, logiikka käyttää erilaisia ​​työkaluja ymmärtääkseen perustelut, joita käytämme perustelemaan jotain. Perinteisesti tunnistetaan neljä päätyyppiä logiikkaa, joista jokaisella on joitakin alatyyppejä ja spesifisyyksiä. Näemme alla, mitä kukin on.

1. Muodollinen logiikka

Tunnetaan myös nimellä perinteinen logiikka tai filosofinen logiikka, kyse on selvityksistä, joissa on puhtaasti muodollinen ja selkeä sisältö. Kyse on muodollisten lausuntojen (loogisten tai matemaattisten) analysoinnista, joiden merkitys ei ole luontainen, vaan sen symbolit ovat järkeviä annetulla hyödyllisellä sovelluksella. Filosofista perinnettä, josta jälkimmäinen syntyy, kutsutaan nimenomaan "muodollisuudeksi".

Virallinen järjestelmä on puolestaan ​​sellainen, jota käytetään johtopäätöksen tekemiseen yhdestä tai useammasta tilasta. Jälkimmäiset voivat olla aksiaomisia (itsestäänselviä ehdotuksia) tai teoreemeja (johtopäätöksiä päätelmien ja aksioomien kiinteästä joukosta).

2. Epävirallinen logiikka

Epävirallinen logiikka puolestaan ​​on uudempi kurinalaisuus tutkia, arvioida ja analysoida luonnollisessa tai arjen kielessä esitettyjä argumentteja. Siksi se saa luokkaan "epäviralliset". Se voi olla joko puhuttu tai kirjoitettu kieli, tai minkä tahansa tyyppinen mekanismi ja vuorovaikutus, jota käytetään viestintään. Toisin kuin muodollinen logiikka, jota esimerkiksi sovellettaisiin tietokoneiden kielten opiskeluun ja kehittämiseen; virallisella kielellä tarkoitetaan kieliä ja kieliä.

Näin epävirallinen logiikka voi analysoida henkilökohtaisista perusteluista ja argumenteista poliittisiin keskusteluihin, oikeudellisiin argumentteihin tai tiedotusvälineiden levittämiin tiloihin, kuten sanomalehtiin, televisioon, internetiin jne..

3. Symbolinen logiikka

Kuten sen nimi viittaa, symbolinen logiikka analysoi symbolien välisiä suhteita. Joskus se käyttää monimutkaista matemaattista kieltä, koska se vastaa ongelmien tutkimisesta, joita perinteinen muodollinen logiikka on vaikea tai vaikea käsitellä. Se on yleensä jaettu kahteen alatyyppiin:

• Ennustava logiikka tai ensimmäinen järjestys: se on muodollinen järjestelmä, joka koostuu kaavoista ja kvantifioitavista muuttujista
• propositional: Se on muodollinen järjestelmä, joka koostuu ehdotuksista, jotka pystyvät luomaan muita ehdotuksia liittimien kautta, joita kutsutaan "loogiseksi sidokseksi". Tässä ei ole lainkaan määrällisiä muuttujia.

4. Matemaattinen logiikka

Riippuen kirjoittajasta, joka kuvaa sitä, matemaattista logiikkaa voidaan pitää muodoltaan logiikkana. Toiset katsovat, että matemaattinen logiikka sisältää sekä muodollisen logiikan soveltamisen matematiikkaan että matemaattisen päättelyn soveltamisen muodolliseen logiikkaan.

Yleisesti ottaen matemaattisen kielen soveltaminen loogisten järjestelmien rakentamiseen mahdollistaa ihmisen mielen toistamisen. Esimerkiksi tämä on ollut hyvin läsnä keinotekoisen älykkyyden kehittämisessä ja kognition tutkimuksen laskennallisissa paradigmissa.

Se on yleensä jaettu kahteen alatyyppiin:

• logisismi: Kyse on logiikan soveltamisesta matematiikassa. Tällaisia ​​esimerkkejä ovat testin teoria, mallien teoria, sarjateoria ja rekursioteoria.
• intuitionismi: väittää, että sekä logiikka että matematiikka ovat menetelmiä, joiden soveltaminen on johdonmukaista monimutkaisten henkisten rakenteiden toteuttamiseksi. Mutta hän sanoo, että itsessään logiikka ja matematiikka eivät voi selittää analysoitavien elementtien syviä ominaisuuksia.

Induktiivinen, deduktiivinen ja modaalinen päättely

Toisaalta, On olemassa kolmenlaisia ​​perusteluja, joita voidaan pitää myös loogisina järjestelminä. Nämä ovat mekanismeja, joiden avulla voimme tehdä johtopäätöksiä tiloista. Deduktiivinen päättely tekee tällaisesta poimimisesta yleisestä lähtökohtasta tiettyyn lähtökohtaan. Klassinen esimerkki on Aristoteleen ehdottama: Kaikki ihmiset ovat kuolevaisia ​​(tämä on yleinen lähtökohta); Sokrates on ihminen (se on tärkein lähtökohta), ja lopuksi Sokrates on kuolevainen (tämä on johtopäätös).

Toisaalta induktiivinen päättely on prosessi, jonka avulla tehdään johtopäätös vastakkaiseen suuntaan: erityisestä yleiseen. Esimerkkinä tästä olisi "Kaikki variat, joita näen, ovat mustia" (erityisesti lähtökohta); sitten kaikki variat ovat mustia (päätelmä).

Lopuksi perustelut tai modaalilogiikka perustuvat todennäköisyysperusteisiin argumentteihin, eli ne ilmaisevat mahdollisuuden (modaliteetin). Se on muodollinen logiikkajärjestelmä, joka sisältää sanat "voisi", "voi", "pitäisi", "lopulta".

Kirjalliset viitteet:

• Groarke, L. (2017). Epävirallinen logiikka. Stanford Encyclopedia of Philosophy. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa https://plato.stanford.edu/entries/logic-informal/
• Logiikka (2018). Filosofian perusteet. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. ja Kouri, S. (2018). Klassinen logiikka. Haettu 2. lokakuuta 2018. Saatavana logiikassa (2018). Filosofian perusteet. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal Logic. Stanford Encyclopedia of Philosophy. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa https://plato.stanford.edu/entries/logic-modal/