- Tutkimuksen kohde
- ominaisuudet
- Tyypit
- Deontinen logiikka
- Kaksiarvoinen logiikka
- Moniarvoinen tai monikäyttöinen logiikka
- esimerkit
- Viitteet
Muodollinen logiikka, jota kutsutaan myös looginen teoreettinen tai matemaattinen logiikka, joka määrittää pätevä ja oikeiden perustelut ovat. Tämän käytännön avulla pyrimme erottamaan oikean ja väärän.
Muodollisessa logiikassa symboleja käytetään yksiselitteisesti ja mahdollisimman selvästi, jotta niitä ei voida manipuloida. Tämän käytännön ansiosta on mahdollista kehittää omia ideoitasi.

Alfred North Whitehead oli yksi muodollisen logiikan kannattajista. Lähde: Wellcome Trust
Sana "logiikka" on peräisin muinaiskreikkalaisesta λογικήlogik which, joka tarkoittaa "älyllistä, murreellista, väitteellistä syytä". Logiikka on yksi filosofian ja matematiikan aloista, ja sitä pidetään erittäin hyödyllisenä näillä tieteenaloilla.
Yleensä logiikka tutkii ajattelun muotoa. Ensimmäiset logiikkaan liittyvät teokset omistavat kreikkalaisen filosofin Aristoteleen, minkä vuoksi hänet tunnetaan tämän ajatusalueen perustajana.
Eri filosofit, matemaatikot ja logiikit ovat historian aikana puolustaneet muodollista logiikkaa. Niistä voimme nimetä matemaatikon ja logiikan Alonzon kirkon; filosofi, matemaatikko ja logistiikka Gottlob Frege; ja myös matemaatikko ja filosofi Alfred North Whitehead.
Muun muassa Alfred Tarski, KurtGödel, Bertrand Russell ja Willard Van Orman Quine ovat olleet hyviä puolustajia.
Tutkimuksen kohde
Muodollinen logiikka käyttää tutkimuskohteena esimerkiksi päättelyä, käsitettä, tuomioita ja demonstraatiota. Näiden elementtien perusteella hän analysoi ja tutkii kaikkia kielen ja semantiikan resursseja päätelmän tekemiseksi.
Tässä mielessä on todettu, että muodollisessa logiikassa päättelyä tutkitaan jäsennellystä näkökulmasta sen pätevyyden tai pätemättömyyden kannalta.
Muodollinen logiikka ei ole empiirinen tutkimus päättelyprosessista. Sitä ei myöskään pidä sekoittaa vakuuttamiseen, koska päätelmien tekemiseen tarvitaan perusteiden rakenne.
Tätä logiikkaa kutsutaan myös teoreettiseksi tai puhtaana logiikkana, ja sillä pyritään suorittamaan abstrakti tutkimus deduktiivisten argumenttien, lausuntojen, ehdotusten ja vakuuttavasti käytettyjen lauseiden sisällöstä tai loogisista muodoista.
Suorittamalla tyhjentävä tutkimus muodollisen logiikan malleista antaa jokaisen yksilön tietää tarkalleen ajatteluun liittyvät menettelyt.
ominaisuudet
Alla on erityisimmät ominaisuudet, jotka erottavat muodollisen logiikan muun tyyppisestä logiikasta:
- Se on tiede, joka tutkii lähtökohdan muotoa, toisin kuin muun tyyppiset logiikat, jotka tutkivat vain materiaalia.
- Se on rakenne ilman asiaa.
-Se on perustettu muodollisten järjestelmien alajoukkoon.
- Sovelletaan menetelmiä niin tehokkaasti, että muodollisen logiikan avulla voit erottaa väärät ja oikeat.
- Päätelmät oikeasta päättelystä tai pätevyydestä ilmenevät, koska todellisten tilojen rakennetta analysoidaan.
- Opiskele ja analysoi ihmisiä pääsemään suoraan ajatukseen ja siten pystymään luomaan uusia malleja kunkin yksilön mielessä.
- Sille on tunnusomaista, että se on symbolinen.
-Muodollisen tieteen kannalta sillä on tärkeä rooli matematiikassa, filosofiassa, tietotekniikassa ja tilastoinnissa.
-Se liittyy kielioppiin semantiikan tutkimuksen takia.
- Opintorakenteet, minkä vuoksi sitä verrataan matematiikkaan.
-Se liittyy myös psykologiaan, koska se keskittyy kunkin yksilön ajatuksen tutkimukseen.
Tyypit
Deontinen logiikka
Se tulee muinaiskreikkalaisesta δέον-déonista ja tarkoittaa "mitä johtuu" tai "mikä on välttämätöntä". Itävallan logiikka Alois Höffler on edelläkävijä tässä käsitteessä, joka viittaa normien tutkimukseen ja analysointiin.
Kaksiarvoinen logiikka
Se on logiikan tyyppi, joka tukee vain tosi ja vääriä arvoja. Hän ei usko sävyihin, kaikki on mustaa tai valkoista; harmaasävy on mahdotonta tällaisessa logiikassa.
Sen periaatteet perustuvat aristotelilaiseen logiikkaan, joka on identiteetti, ristiriitaisuus ja ulkopuolinen ulkopuolinen osapuoli.
Moniarvoinen tai monikäyttöinen logiikka
Tämäntyyppinen logiikka syntyi filosofien Jan Łukasiewiczin ja Emil Postin suorittamien tutkimusten tuloksena, joissa he väittävät, että muut arvot kuin jo yleinen "tosi" ja "vääriä" voidaan hyväksyä ja että nämä arvot voivat käytännössä saavuttaa äärettömään.
Tässä mielessä se eroaa kaksiarvoisesta logiikasta, joka myöntää vain kaksi arvoa. Tutkimukset osoittavat, että moniarvoinen tai moniarvoinen logiikka käsittelee arvoja, kuten mahdollisuutta, välttämättömyyttä, tarpeettomuutta, totuutta, valheellisuutta ja mahdotonta.
Samoin tämäntyyppinen muodollinen logiikka vastaa myös perustelujen filosofisten ja rakenteellisten näkökohtien tutkimisesta.
esimerkit
Muodollisen logiikan avulla on mahdollista lisätä totuuden tai valheen arvo tiettyyn päättelyyn.
Kuten olemme aiemmin selittäneet, muodollinen logiikka ei keskity kaikkiin mahdollisuuksiin, jotka voidaan poimia argumentista; se keskittyy vain siihen, onko tämä totta vai vääriä. Tässä mielessä luetellaan alla joitain esimerkkejä muodollisen logiikan perusteella:
-Buenos Aires on Argentiinan pääkaupunki; sitten kaikki Buenos Airesissa syntyneet ovat argentiinalaisia.
-Joao puhuu portugalia. Joao syntyi Portugalissa. Kaikki Portugalissa puhuvat portugalia.
-Lehmät antavat maitoa. Lehmät ovat nisäkkäitä. Kaikki nisäkkäät antavat maitoa.
-Pedro on valkoinen ja María on ruskeaverikkö, joten on valkoisia ja ruskeita ihmisiä.
-María soittaa rockorkesterissa. Muusikot pelaavat rockorkesterissa. Maria on muusikko.
-José on mustat hiukset. Elenalla on ruskeat hiukset. Heidän tyttärensä saattoi syntyä mustilla tai ruskeilla hiuksilla.
-Jalkassa on viisi varpaa. Ihmisillä on oikea jalka ja vasen jalka. Jokaisella henkilöllä on kymmenen varpaa.
-Espanja on maa. Espanja pysyy Euroopassa. Kaikki espanjalaiset ovat eurooppalaisia.
- Ana on elävä olento. Ana on kuolevainen. Kaikki elävät asiat ovat kuolevaisia.
- José kastui vedellä. Vesi kastuu.
- Maria söi kuumaa ruokaa. Maria poltettiin syömällä kuumaa ruokaa. Kuuma ruoka palaa.
- Maa on osa maailmankaikkeutta. Universumissa on planeettoja. Maa on planeetta.
- Sähkövalo palaa. Kaduilla on sähkövaloa. Sähkövalo valaisee kadut.
Viitteet
- "Muodollinen logiikka" Uuden maailman tietosanakirjassa. Haettu 21. huhtikuuta 2019 Uudesta maailman tietosanakirjasta: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes “Muodollinen logiikka” Haettu 21. huhtikuuta 2019 Britannicasta: britannica.com.
- "Logiikka ja sen luokittelu" akatemiassa. Haettu 23. huhtikuuta 2019 osoitteesta Academia: academia.edu.
- "Muodollinen logiikka" filosofisessa sanakirjassa. Haettu 23. huhtikuuta 2019 Filosofisesta sanakirjasta: philosophy.org.
- "Moniarvoinen logiikka" filosofisessa sanakirjassa. Haettu 23. huhtikuuta 2019 Filosofisesta sanakirjasta: philosophy.org.
- "Yleiset logiikan näkökohdat" Club Esseissä (18. elokuuta 2013). Haettu 23. huhtikuuta 2019 Club-kokeiluista: clubensayos.com.
- "Deontinen logiikka" wikipediassa . Haettu 23. huhtikuuta 2019 Wikipediasta: es.wikipedia.org.
- "Monikäyttöinen logiikka" wikipediassa . Haettu 23. huhtikuuta 2019 Wikipediasta: es.wikipedia.org.
- "Kaksiarvoinen logiikka" wikipediassa . Haettu 23. huhtikuuta 2019 Wikipediasta: es.wikipedia.org
