Neljä tärkeintä logiikkaa (ja ominaisuuksia)

Huhtikuu 25, 2024

Logiikka on tutkimus päättelystä ja johtopäätöksistä . Se on joukko kysymyksiä ja analyyseja, jotka ovat antaneet meille mahdollisuuden ymmärtää, miten pätevät argumentit eroavat virheistä ja siitä, miten saavutamme heille.

Tämän vuoksi erilaisten järjestelmien ja tutkimusmuotojen kehittäminen on ollut välttämätöntä, mikä on johtanut neljään päätyyppiseen logiikkaan. Näemme alla, mitä kukin niistä koskee.

Suositeltu artikkeli: ["10 erilaista loogista ja argumentaalista fallacies"] (10 tyyppisiä loogisia ja argumentaarisia virheitä)

Mikä on logiikka?

Sana "logiikka" tulee kreikan "logos", joka voidaan kääntää eri tavoin: sana, ajatus, argumentti, periaate tai syy ovat joitain tärkeimpiä. Tässä mielessä logiikka on periaatteiden ja päättelyn tutkimus.

Tämän tutkimuksen tavoitteena on ymmärtää erilaisia johtopäätöksiä ja miten voimme saavuttaa päteviä mielenosoituksia, toisin kuin virheelliset mielenosoitukset. Joten logiikan peruskysymys on, mikä on oikea ajattelu ja miten voimme erottaa pätevän argumentin ja erehdyksen?

Vastauksena tähän kysymykseen logiikka ehdottaa erilaisia tapoja luokitella lausunnot ja argumentit, olivatpa ne sitten muodollisessa järjestelmässä tai luonnollisessa kielessä. Erityisesti se analysoi ehdotuksia (julki- sia lauseita), jotka voivat olla tosia tai vääriä, samoin kuin virheitä, paradokseja, argumentteja, joihin liittyy syy-seuraus ja yleisesti argumentaation teoria.

Yleisesti katsoen järjestelmän harkitseminen on loogista, mutta sen on täytettävä kolme kriteeriä:

johdonmukaisuus (järjestelmän muodostavien teoreatterien välillä ei ole ristiriitaa)
kiinteys (testijärjestelmissä ei ole vääriä johtopäätöksiä)
täydellisyys (kaikkien todellisten lauseiden on voitava todistaa)

4 logiikkaa

Kuten olemme nähneet, logiikka käyttää erilaisia työkaluja ymmärtämään perusteluja, joita käytämme perustelemaan jotain. Perinteisesti tunnistetaan neljä suurta logiikka-tyyppiä, joista kullakin on eräitä alatyyppejä ja spesifikaatioita. Alla näemme, mistä kukin on kyse.

1. Muodollinen logiikka

Tunnetaan myös perinteiseksi logiikaksi tai filosofiseksi logiikaksi, kyse on puhtaasti muodollisesta ja eksplisiittisestä sisällöstä johtuvista päätelmistä . Kyse on virallisten (loogisten tai matemaattisten) lausuntojen analysoinnista, joiden merkitys ei ole luontainen, mutta sen symboleilla on merkitystä hyödyllisen sovelluksensa ansiosta. Filosofinen perinne, josta jälkimmäinen johtuu, kutsutaan juuri "formalismiksi".

Muodoltaan muodollinen järjestelmä on sellainen, jota käytetään tekemään päätelmä yhdestä tai useammasta tilasta. Jälkimmäiset voivat olla aksioomia (itsestään selvät ehdotukset) tai teoreetit (johtopäätökset kiinteistä johtosääntöjen ja aksiomien sääntöistä).

2. epävirallinen logiikka

Sitä vastoin epävirallinen logiikka on uudempi kurinalaisuus, joka tutkia, arvioida ja analysoida luonnollisessa tai jokapäiväisessä kielessä esitettyjä argumentteja . Siksi se saa "epävirallisen" luokan. Se voi olla joko puhuttu tai kirjoitettu kieli tai minkä tyyppinen mekanismi ja vuorovaikutus, jota käytetään kommunikoimaan jotain. Toisin kuin muodollinen logiikka, joka olisi esimerkiksi sovellettavissa tietokoneiden kielten tutkimiseen ja kehittämiseen; virallisella kielellä tarkoitetaan kieliä ja kieliä.

Siksi epävirallinen logiikka voi analysoida henkilökohtaisista päättelyistä ja argumenteista poliittisiin keskusteluihin, oikeudellisiin argumentteihin tai tiedotusvälineiden levittämiin tiloihin, kuten sanomalehtiin, televisioon, Internetiin ja niin edelleen.

3. Symbolinen logiikka

Kuten nimestä käy ilmi, symbolinen logiikka analysoi symbolien väliset suhteet. Joskus se käyttää monimutkaista matemaattista kieltä, koska se on vastuussa sellaisten ongelmien tutkimisesta, jotka perinteinen muodollinen logiikka on monimutkainen tai vaikea käsitellä. Se on yleensä jaettu kahteen alatyyppiin:

Predikatiivinen logiikka tai ensimmäinen järjestys : se on muodollinen järjestelmä, joka koostuu kaavoista ja kvantitatiivisista 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 mitattavia muuttujia.

4. Matemaattinen logiikka

Riippuen kirjoittajalta, joka kuvaa sitä, matemaattista logiikkaa voidaan pitää muodollisena logiikkana. Toisten mielestä matemaattinen logiikka sisältää sekä muodollisen logiikan soveltamisen matematiikkaan että matemaattisen päättelyn soveltamisen muodolliseen logiikkaan.

Yleisesti ottaen matemaattisen kielen soveltaminen loogisten järjestelmien rakentamisessa mahdollistaa ihmisen mielen lisääntymisen. Esimerkiksi tämä on ollut hyvin läsnä keinotekoisen älykkyyden kehityksessä ja kognitiotutkimuksen laskennallisissa paradigmeissa.

Se on yleensä jaettu kahteen alatyyppiin:

logisismi : se koskee logiikan soveltamista matematiikassa. Tällaisia esimerkkejä ovat todisteen teoria, malliteoria, setteoria ja rekursion teoria.
intuitionismi : väittää, että sekä logiikka että matematiikka ovat menetelmiä, joiden soveltaminen on johdonmukainen monimutkaisten henkisten rakenteiden suorittamiseen. Mutta hän sanoo, että itse logiikka ja matematiikka eivät pysty selittämään analysoitavien elementtien syviä ominaisuuksia.

Induktiivinen, deduktiivinen ja modaalinen päättely

Toisaalta, On olemassa kolme tyyppistä päättelyä, joita voidaan pitää myös loogisina järjestelminä . Nämä ovat mekanismeja, joiden avulla voimme tehdä johtopäätöksiä tiloista. Hedelmälliset perustelut tekevät tällaisesta louhinnasta yleisen lähtökohdan tiettyyn lähtökohtaan. Klassinen esimerkki on Aristoteleen ehdotus: Kaikki ihmiset ovat kuolevia (tämä on yleinen lähtökohta); Sokrates on ihminen (se on tärkein lähtökohta), ja lopulta Sokrates on kuolevainen (tämä on johtopäätös).

Induktiivinen päättely on puolestaan prosessi, jolla päädytään päinvastaiseen suuntaan: erityisesti siitä yleisestä. Esimerkkinä tästä olisi "Kaikki näkemäni varikset ovat mustia" (erityinen lähtökohta); sitten kaikki varikset ovat mustia (päätelmä).

Lopuksi, perustelu tai modaalilogiikka perustuu probabilistisiin argumentteihin, eli ne ilmaisevat mahdollisuuden (modaliteetti). Se on muodollinen logiikkajärjestelmä, johon sisältyy termejä "voi", "voi", "pitäisi", "lopulta".

Kirjallisuusviitteet:

Groarke, L. (2017). Epävirallinen logiikka. Stanfordin filosofian tietosanakirja. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa //plato.stanford.edu/entries/logic-informal/
Logiikka (2018). Filosofian perusteet. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa //www.philosophybasics.com/branch_logic.html
Shapiro, S. ja Kouri, S. (2018). Klassinen logiikka. Haettu 2. lokakuuta 2018. Saatavana Logicissa (2018). Filosofian perusteet. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modal Logic. Stanfordin filosofian tietosanakirja. Haettu 2. lokakuuta 2018. Saatavilla osoitteessa //plato.stanford.edu/entries/logic-modal/