- Merkittävimmät logiikatyypit
- Muodollinen logiikka
- Epävirallinen logiikka
- Ei-klassinen logiikka
- Symbolinen logiikka
- Modaalinen logiikka
- Laskennallinen logiikka
- Viitteet
Logiikkaa on useita tyyppejä, ja kaikki keskittyvät tutkimuksensa tavoitteiden ymmärtämiseen ja niiden tunnistamiseen, kun ne ovat oikeita tai vääriä. Logiikan tutkimus on kehittynyt kreikkalaisen filosofin Aristoteleen ajoista nykypäivään.
Etiikka on mukautumassa tarkoituksenaan olla tarkempi ja samalla sopeutua paremmin ihmisen jokapäiväiseen elämään, mikä mahdollistaa konkreettisemman soveltamisen eri alueilla.

Aristoteles, tunnustettu logiikan isäksi.
Logiikka pyrkii perusteellisesti tutkimaan argumentteja ja ehdotuksia, ja erityyppiset logiikat antavat mahdollisuuden tutkia näiden lausuntojen pelkästään muodollista rakennetta sekä sen sisältöä ja mainitun sisällön voimaa.
Vaikka logiikka perustuu lauseiden tutkimukseen, siinä ei keskitytä selvästi luonnolliseen kieleen (kieli sellaisena kuin sen tunnemme), mutta sen hyödyllisyys on saavuttanut eri alueet ja rakenteet, kuten matematiikka ja computing.
Merkittävimmät logiikatyypit
Muodollinen logiikka
Muodollinen logiikka, joka tunnetaan myös nimellä klassinen logiikka tai aristotelilainen logiikka, on ehdotusten, argumenttien, lauseiden tai lauseiden tutkimus rakenteellisesta näkökulmasta. Se on menetelmä ajatuksen jäsentämiseen ja tietyn lähestymistavan oikeiden tai väärien muotojen määrittämiseen.
Muodollinen logiikka ei keskity tietyn argumentin sisällön oikeellisuuteen tai virheellisyyteen, vaan keskittyy sen muodon rakenteen pätevyyteen tai ei.
Toisin sanoen muodollisen logiikan tutkimuksen kohde ei ole empiirinen, logistiikan kannalta ei ole merkitystä määritettäessä esitetyn väitteen todellisuutta ja todistusta; Pikemminkin hänen tutkimuksessaan keskitytään selvästi mainitun väitteen rakenteeseen.
Muodollisessa logiikassa on kaksi erittäin tärkeää luokitusta: deduktiivinen logiikka ja induktiivinen logiikka.
Johtava logiikka viittaa niihin erityisiin lauseisiin, jotka generoidaan yleisistä käsityksistä. Tämän tyyppisen logiikan avulla voidaan päätellä jo olemassa olevista käsitteistä tai teorioista.
Esimerkiksi deduktiivisen logiikan puitteissa voitaisiin sanoa, että jos ihmisillä on jalat ja Clara on ihminen, niin Claralla on jalat.
Induktiivisen logiikan tapauksessa argumenttien rakentaminen tapahtuu päinvastaisella tavalla; ts. yleiset käsitteet luodaan tietyistä argumenteista.
Esimerkiksi induktiivisen logiikan puitteissa voitaisiin sanoa, että jos yksi kissa tykkää kalasta, ja toinen tykkää siitä, ja toinenkin, niin kaikki kissat pitävät kaloista.
Epävirallinen logiikka
Epävirallinen logiikka on tutkimushaara, joka keskittyy kieleen ja semanttisista rakenteista ja argumenteista lähtevään viestiin.
Tämä logiikka eroaa muodollisesta logiikasta siinä, että muodollinen logiikka tutkii lauseiden ja ehdotusten rakenteita; ja epävirallinen logiikka keskittyy välitetyn viestin sisältöön.
Sen tutkimuskohde on tapa väittää, että haluttu tulos saadaan. Epävirallinen logiikka antaa perusteltavuuden loogisille argumenteille, jotka ovat johdonmukaisempia muun muassa heikomman argumentoivan rakenteen kanssa.
Ei-klassinen logiikka
Epäklassinen logiikka, tai moderni logiikka, on peräisin 1800-luvulta ja syntyy vastakohtana klassisen logiikan väitteille. Se perustaa muut analyysimuodot, jotka voivat kattaa enemmän näkökohtia kuin ne, joita voidaan kattaa klassisen logiikan avulla.
Näin sisällytetään matemaattiset ja symboliset elementit, uudet lausunnot tai lauseet, jotka tulivat korvaamaan muodollisen logiikkajärjestelmän puutteet.
Ei-klassisessa logiikassa on erilaisia logiikan alatyyppejä, kuten muun muassa modaalinen, matemaattinen, kolmiarvoinen.
Kaikki nämä logiikatyypit eroavat jossain määrin muodollisesta logiikasta tai sisältävät uusia elementtejä, jotka täydentävät toisiaan, ja antavat tietyn lausunnon loogisen tutkimuksen olla tarkempia ja mukauttaa hyödyllisyyteen jokapäiväisessä elämässä.
Symbolinen logiikka
Symbolista logiikkaa kutsutaan myös ensimmäisen asteen logiikaksi tai matemaattiseksi logiikaksi, ja sille on tunnusomaista symbolien käyttö, jotka muodostavat uuden kielen, jonka kautta argumentit "käännetään".
Symbolisen logiikan tarkoituksena on muuttaa abstraktit ajatukset muodollisemmiksi rakenteiksi. Itse asiassa se ei käytä luonnollista kieltä (idioomaa), mutta käyttää teknistä kieltä, joka muuttaa lauseet elementeiksi, joihin voidaan soveltaa tarkempia sääntöjä kuin mitä luonnollisessa kielessä voidaan soveltaa.
Joten symbolinen logiikka sallii ehdotusten käsittelyn laskentalakien avulla sekaannusten ja epätarkkuuksien välttämiseksi.
Sillä pyritään sisällyttämään matemaattiset elementit muodollisen logiikan rakenteiden analysointiin. Matemaattisessa valtakunnassa logiikkaa käytetään todistamaan lauseita.
Lyhyesti sanottuna symbolinen tai matemaattinen logiikka pyrkii ilmaisemaan ihmisen ajattelun matemaattisen kielen avulla.
Tämä logiikan matemaattinen sovellus antaa argumentit ja rakenteet olla tarkempia.
Modaalinen logiikka
Modaalinen logiikka keskittyy argumenttien tutkimukseen, mutta lisää elementtejä, jotka liittyvät mahdollisuuteen, että kyseinen lausunto on totta tai vääriä.
Modaalinen logiikka yrittää olla paremmin ihmisen ajattelun kanssa, siksi se kattaa sellaisten konstruktioiden käytön kuin "voisi", "mahdollisesti", "joskus", "ehkä", "todennäköisesti", "on todennäköinen", "ehkä ", muun muassa.
Modaalilogiikassa on kyse sellaisen skenaarion harkinnasta, jossa on mahdollista, ja pyrkii pohtimaan kaikkia mahdollisia mahdollisuuksia loogisesta näkökulmasta.
Laskennallinen logiikka
Laskennallinen logiikka on tyyppistä logiikkaa, joka johdetaan symbolisesta tai matemaattisesta logiikasta, vain sitä käytetään laskennan alueella.
Tietokoneohjelmat käyttävät ohjelmointikieltä kehittämiseen ja logiikan avulla on mahdollista työskennellä kyseisillä kielijärjestelmillä, antaa erityistehtäviä ja suorittaa varmistustoimia.
Viitteet
- "Logic" Encyclopedia Britannicassa. Haettu 4. elokuuta 2017 Encyclopedia Britannicasta: britannica.com
- "Muodollinen logiikka" Encyclopedia Britannicassa. Haettu 4. elokuuta 2017 Encyclopedia Britannicasta: britannica.com
- Hernández, F. "Laskennallinen logiikka" Meksikon kansallisessa autonomisessa yliopistossa. Haettu 4. elokuuta 2017 Meksikon itsenäiseltä yliopistolta: unam.mx
- Muñoz, C. "Ei-klassinen logiikka" Madridin Complutense-yliopistossa. Haettu 4. elokuuta 2017 Madridin Complutense-yliopistosta: ucm.es
- Julia, J. "Mikä on symbolinen logiikka?" in eHow espanjaksi. Haettu 4. elokuuta 2017 eHow: sta espanjaksi: ehowenespanol.com
- Oller, C. "Muodollinen logiikka ja argumentaatio" (2006) La Plata -yliopistossa. Haettu 4. elokuuta 2017 La Plata -yliopistosta: rfytp.fahce.unlp.edu.ar
- "Johtavia ja induktiivisia päätelmiä" Junta de Extremadurassa. Haettu 4. elokuuta 2017 Junta de Extremadurassa: educarex.es.
