6 päälogiikkatyyppiä

On olemassa useita logiikan tyypit ja kaikki keskittyvät tutkimukseensa ymmärtämisen ymmärtämiseen ja tunnistamaan, milloin ne ovat oikein tai virheellisiä.

Logiikan tutkimus on kehittynyt kreikkalaisen filosofin Aristoteleen aikoina nykypäivään, ja tätä on mukautettu aikomuksena olla tarkempi ja samalla paremmin mukautettu ihmisen jokapäiväiseen elämään, joka mahdollistaa sen konkreettisempi sovellus eri aloilla.

Logiikka pyrkii systemaattiseen tutkimukseen argumenteista ja ehdotuksista, ja eri logiikkatyypit mahdollistavat sekä näiden lausuntojen puhtaasti muodollisen rakenteen tutkimisen, että mitä on sisällön ja mainitun sisällön tehon kanssa.

Vaikka logiikka perustuu lausuntojen tutkimukseen, siinä ei keskity selkeästi luonnolliseen kieleen (kieli kuten tiedämme), mutta sen hyödyllisyys on saavuttanut erilaisia ​​alueita ja erilaisia ​​rakenteita, kuten matematiikkaa ja tietojenkäsittely.

Merkittävimmät logiikan tyypit

muodollinen

Muodollinen logiikka, joka tunnetaan myös nimellä klassinen logiikka tai aristotelainen logiikka, on ehdotusten, argumenttien, lausuntojen tai lauseiden tutkiminen rakenteellisesta näkökulmasta.

Se on menetelmä ajatuksen jäsentämiseksi ja tietyn lähestymistavan oikeiden tai virheellisten muotojen määrittämiseksi.

Muodollinen logiikka ei keskity tietyn argumentin sisällön totuuteen tai virheellisyyteen vaan keskittyy sen muodon rakentamisen pätevyyteen tai muuhun..

Toisin sanoen muodollisen logiikan tutkimuksen kohde ei ole empiirinen, sillä logiikalle ei ole merkitystä määrittää, onko esitetty argumentti todellinen ja todistettu; mutta että hänen tutkimuksensa keskittyy selkeästi mainitun väitteen rakenteeseen.

Muodollisessa logiikassa on kaksi hyvin tärkeää luokitusta: deduktiivinen logiikka ja induktiivinen logiikka.

Deduktiivinen logiikka viittaa niihin erityisiin lausuntoihin, jotka on generoitu yleisistä käsitteistä. Tämäntyyppisen logiikan avulla voidaan tehdä jo olemassa olevia käsitteitä tai teorioita.

Esimerkiksi deduktiivisessa logiikassa voisi sanoa, että jos ihmisillä on jalat ja Clara on ihminen, Claralla on jalat.

Induktiivisen logiikan tapauksessa argumenttien rakentaminen tapahtuu päinvastoin; toisin sanoen yleiset käsitteet luodaan tietyistä argumenteista.

Esimerkiksi induktiivisessa logiikassa voisi sanoa, että jos joku kissa tykkää kalasta, ja toinen tykkää siitä, ja toinen myös, sitten kaikki kissat kuten kalat.

epävirallinen

Epävirallinen logiikka on tutkimuksen ala, joka keskittyy kieleen ja semanttisista rakenteista ja argumenteista peräisin olevaan viestiin.

Tämä logiikka eroaa muodollisesta logiikasta, sillä muodollisessa logiikassa tutkitaan lauseiden ja ehdotusten rakenteita; ja epävirallinen logiikka keskittyy lähetetyn viestin taustaan.

Sen tarkoituksena on kiistellä halutun tuloksen saaminen. Epävirallinen logiikka vahvistaa loogiset argumentit, jotka ovat johdonmukaisempia muun muassa heikomman argumentatiivisen rakenteen kanssa.

Ei klassista

Ei-klassinen logiikka tai moderni logiikka on peräisin 1800-luvulta, ja se syntyy vastakohtana klassisen logiikan lausuntoihin.

Se luo muita analyysimuotoja, jotka voivat kattaa enemmän näkökohtia kuin on mahdollista sisällyttää logiikan klassiseen lähestymistapaan.

Näin sisällytetään matemaattiset ja symboliset elementit, uudet lausunnot tai teoreemat, jotka tulivat korvaamaan virallisen logiikkajärjestelmän puutteet.

Ei-klassisessa logiikassa on muun muassa erilaisia ​​logiikan alatyyppejä, kuten modaalisia, matemaattisia, kolmiarvoisia..

Kaikki nämä logiikkatyypit poikkeavat jossain määrin muodollisesta logiikasta tai sisältävät uusia elementtejä, jotka ovat toisiaan täydentäviä, ja sallivat tietyn lausunnon loogisen tutkimuksen tarkemman ja mukautuneen arkipäivän hyödyllisyyteen.

symbolinen

Symbolista logiikkaa kutsutaan myös ensimmäisen asteen logiikaksi tai matemaattiseksi logiikaksi, ja sille on tunnusomaista, että käytetään symboleja, jotka muodostavat uuden kielen, jonka avulla "kääntää" argumentteja.

Symbolisen logiikan tarkoitus on muuntaa abstraktit ajatukset muodollisemmiksi rakenteiksi.

Itse asiassa se ei käytä luonnollista kieltä (kieli), vaan käyttää teknistä kieltä, joka muuntaa lauseet osiksi, jotka ovat alttiita tarkempien sääntöjen soveltamiseen kuin mitä voidaan soveltaa luonnollisessa kielessä..

Sitten symbolinen logiikka mahdollistaa ehdotusten käsittelyn laskentalakien kautta sekaannusten tai epätarkkuuksien välttämiseksi.

Se pyrkii sisällyttämään matemaattiset elementit muodollisten logiikkarakenteiden analysointiin. Matemaattisessa kentässä käytetään logiikkaa teoreettien todistamiseen.

Lyhyesti sanottuna symbolinen tai matemaattinen logiikka pyrkii ilmaisemaan ihmisen ajattelua matemaattisella kielellä.

Tämä logiikan matemaattinen käyttö sallii argumenttien ja rakenteiden tarkkuuden.

modaalinen

Modaalilogiikassa keskitytään argumenttien tutkimiseen, mutta lisätään elementtejä, jotka liittyvät siihen, että kyseinen lausunto on tosi tai väärä.

Modaalilogiikka teeskentelee olevansa enemmän yhteensopiva ihmisen ajattelun kanssa, joten se sisältää sellaisten rakenteiden käytön kuin "voisi", "mahdollisesti", "joskus", "ehkä", "luultavasti", "todennäköisesti", "ehkä" ", Mm.

Modaalisessa logiikassa on kyse siitä, että on otettava huomioon skenaario, jossa on mahdollisuus, ja pyritään ottamaan huomioon kaikki mahdolliset mahdollisuudet, loogisesta näkökulmasta.

laskennallinen

Laskennallinen logiikka on symbolinen tai matemaattisesta logiikasta johdettu logiikka, vain sitä käytetään tietojenkäsittelyn alueella.

Tietokoneohjelmat käyttävät ohjelmoinnin kieltä niiden kehittämisessä ja logiikan avulla on mahdollista työskennellä näillä kielijärjestelmillä, määrätä tiettyjä tehtäviä ja suorittaa varmennustoimia..

viittaukset

1. "Logic" Encyclopedia Britannicassa. Haettu 4. elokuuta 2017 alkaen Encyclopedia Britannica: britannica.com
2. "Muodollinen logiikka" Encyclopedia Britannicassa. Haettu 4. elokuuta 2017 alkaen Encyclopedia Britannica: britannica.com
3. Hernández, F. "Laskennallinen logiikka" Meksikon kansallisessa yliopistossa. Haettu 4. elokuuta 2017 National Autonomous University of Mexico: unam.mx
4. Muñoz, C. "Ei-klassinen logiikka" Madridin Complutense-yliopistossa. Haettu 4. elokuuta 2017 alkaen Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Mikä on symbolinen logiikka?" EHow en Españolissa. Haettu 4. elokuuta 2017 alkaen eHow fi Español: ehowenespanol.com
6. Oller, C. "Muodollinen logiikka ja argumentointi" (2006) La Platan kansallisessa yliopistossa. Haettu 4. elokuuta 2017 alkaen La Platan kansallinen yliopisto: rfytp.fahce.unlp.edu.ar
7. "Johtavat ja induktiiviset päätelmät" Junta de Extremadurassa. Haettu 4. elokuuta 2017 Junta de Extremadurassa: educarex.es.