6 logiikan tyyppiä ja niiden merkitys

On useita Logiikkatyypit ja kaikki keskittyvät opintokohteeseensa perustelun ymmärtämiseen ja tunnistamiseen, kun he ovat oikeat tai virheelliset. Logiikan tutkimus on kehittynyt kreikkalaisen filosofin Aristoteleen ajasta nykypäivään.

Etiikkaa on mukautettu tarkoituksella olla tarkempi ja samalla sopeutettu enemmän ihmisen jokapäiväiseen elämään, mikä mahdollistaa konkreettisemman sovelluksen eri alueilla.

Aristoteles, tunnustettu logiikan isäksi.

Logiikka etsii systemaattista argumenttien ja ehdotusten tutkimusta, ja erityyppiset logiikat antavat mahdollisuuden tutkia sekä näiden lausuntojen pelkästään muodollista rakennetta että mitä tekemistä sisällön kanssa että mainitun sisällön voima.

Vaikka logiikka perustuu lausuntojen tutkimukseen, se ei keskity selvästi luonnolliseen kieleen (kielen sellaisena kuin me sen tiedämme), mutta sen hyödyllisyys on saavuttanut erilaisia ​​alueita ja erilaisia ​​rakenteita, kuten matematiikka ja laskenta.

Merkittävimmät logiikkatyypit

Muodollinen logiikka

Muodollinen logiikka, joka tunnetaan myös nimellä klassinen tai looginen aristotelilainen logiikka, on ehdotusten, argumenttien, lausuntojen tai lauseiden tutkiminen rakenteellisesta näkökulmasta. Se on menetelmä ajattelun rakentamiseksi ja tietyn lähestymistavan oikeat tai väärät tapat.

Muodollinen logiikka ei keskity tietyn argumentin sisällön todenmukaisuuteen tai valheellisuuteen, vaan se on keskittynyt sen muodon rakentamiseen tai ei.

Toisin sanoen muodollisen logiikan tutkimuksen kohde ei ole empiirinen, logiikan kannalta ei ole merkitystä määrittää, onko esitetty väite todellinen ja todistettu; Mutta tutkimuksesi keskittyy selvästi mainitun väitteen rakenteeseen.

Voi palvella sinua: Empedocles

Muodollisen logiikan sisällä on kaksi erittäin tärkeää luokitusta: deduktiivinen logiikka ja induktiivinen logiikka.

Deduktiivinen logiikka viittaa niihin erityisiin lausuntoihin, jotka syntyy yleisistä käsitteistä. Tämän tyyppisen logiikan kautta niistä voi tulla päätelmiä jo olemassa olevista käsitteistä tai teorioista.

Esimerkiksi deduktiivisessa logiikassa voitaisiin sanoa, että jos ihmisillä on jalat ja selkeä, on ihminen, niin Clear on jalat.

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

Esimerkiksi induktiivisessa logiikassa voitaisiin sanoa, että jos kissa tykkää kalasta ja toinen myös tykkää, ja toinenkin, niin kaikki kissat kuten kalat.

Epävirallinen logiikka

Epävirallinen logiikka on tutkimuksen haara, joka keskittyy semanttisista rakenteista ja argumenteista johtuvaan kieleen ja viestiin.

Tämä logiikka eroaa muodollisesta logiikasta, siinä muodollisessa logiikassa tutkitaan rukousten ja ehdotusten rakenteita; Ja epävirallinen logiikka keskittyy lähetetyn viestin pohjaan.

Sen tutkimuskohde on tapa väittää halutun tuloksen saamiseksi. Epävirallinen logiikka antaa pätevyyden loogisille argumenteille, jotka ovat yhtenäisempiä muun muassa, joilla on heikompi argumentoiva rakenne.

Ei -klassinen logiikka

Ei -klassinen logiikka tai moderni logiikka on peräisin 1800 -luvulta ja syntyy toisin kuin klassisen logiikan lausunnot. Se vahvistaa muut analyysimuodot, jotka voivat kattaa enemmän näkökohtia, jotka on mahdollista kattaa klassisen logiikan lähestymistavan kautta.

Voi palvella sinua: moraalinen aihe

Näin matemaattiset ja symboliset elementit, uudet lausunnot tai lauseet, jotka tulivat toimittamaan muodollisen logiikkajärjestelmän puutteet.

Ei -klassisessa logiikassa on erilaisia ​​logiikan alatyyppejä, kuten modaalinen, matematiikka, kolmiulotteinen.

Kaikki tämän tyyppiset logiikat eroavat jossain määrin muodollisesta logiikasta tai sisältävät uusia täydentäviä elementtejä ja sallivat tietyn lausunnon loogisen tutkimuksen tarkemman ja sopeutuneena arjen hyödyllisyyteen.

Symbolinen logiikka

Tässä pelissä sinun on löydettävä jokainen keskimmäisen aukion pala eri hahmoihin

Symbolista logiikkaa kutsutaan myös ensimmäisen tilauksen logiikiksi tai matemaattiseksi logiikiksi, ja sille on ominaista symboleja, jotka muodostavat uuden kielen, jonka kautta ne "kääntävät" argumentit.

Symbolisen logiikan tarkoituksena on muuntaa abstraktit ajatukset muodollisiksi rakenteiksi. Itse asiassa se ei käytä luonnollista kieltä (kieli), vaan käyttää teknistä kieltä, joka muuntaa lauseet elementeiksi, jotka ovat alttiita tarkempien sääntöjen soveltamiselle, joita voidaan soveltaa luonnollisella kielellä.

Sitten symbolinen logiikka mahdollistaa ehdotusten hoidon laskentalakien avulla sekaannuksen tai epätarkkuuksien välttämiseksi.

Pyrkii sisällyttämään matemaattiset elementit muodollisen logiikan rakenteiden analysointiin. Matemaattisella alalla logiikkaa käytetään lauseiden osoittamiseen.

Lyhyesti sanottuna symbolinen tai matemaattinen logiikka pyrkii ilmaisemaan ihmisen ajattelua matemaattisen kielen kautta.

Tämä logiikan matemaattinen soveltaminen mahdollistaa argumenttien ja rakenteiden olevan tarkempia.

Modaalinen logiikka

Modaalinen logiikka keskittyy argumenttien tutkimiseen, mutta lisää elementtejä, jotka liittyvät mahdollisuuteen, että kyseinen lausunto on totta tai vääriä.

Voi palvella sinua: utilitarismi

Modaalilogiikan tavoitteena on olla johdonmukaisempi ihmisen ajattelun kanssa, siksi se kattaa rakenteiden, kuten "voisi", "mahdollisesti", "joskus", "ehkä", "todennäköisesti", ",", "ehkä", "ehkä", "ehkä", "ehkä", "ehkä", "ehkä", "ehkä", " muut.

Modaalisessa logiikassa on kyse skenaarion harkitsemisesta, jossa on mahdollista, ja kaikki mahdolliset mahdollisuudet loogisesta näkökulmasta,.

Laskennallinen logiikka

Laskennallinen logiikka on eräänlainen logiikka, joka on johdettu symbolisesta tai matemaattisesta logiikasta, vain että sitä käytetään laskenta -alueella.

Tietokoneohjelmat käyttävät ohjelmointikieliä niiden kehittämiseen ja logiikan kautta on mahdollista työskennellä näitä kielijärjestelmiä, määrittää erityiset tehtävät ja suorittaa todentamistoimenpiteet.

Viitteet

1. "Logiikka" Britannica Encyclopedia. Haettu Britannicassa.com
2. "Muodollinen logiikka" Britannica Encyclopedia. Haettu Britannicassa.com
3. Hernández, f. "Laskennallinen logiikka" Meksikon kansallisessa autonomisessa yliopistossa. Unamissa haettu.MX
4. Muñoz, c. ”Ei-klassinen logiikka” Complantense-yliopistossa Madridin yliopistossa. Haettu UCM: ssä.On
5. "Deduktiiviset ja induktiiviset päätelmät" Extremoduran hallituksessa. Haettu koulutuksessa.On.