Tutkimuksen, ominaisuuksien ja esimerkkien muodollinen logiikkaobjekti

Se muodollinen logiikka, Kutsutaan myös teoreettisesti logiikkaksi tai matemaattiseksi logiikkaan, se määrittää, mitkä ovat päättelyn pätevät ja oikeat muodot. Tämän käytännön kautta se pyrkii erottamaan väärän oikeellisuuden.

Muodollisessa logiikassa symboleja käytetään ilman epäselvyyttä ja selkeästi mahdollisella tavalla, jotta niitä ei voida manipuloida. Tämän käytännön ansiosta he voivat kehittää omia ideoitaan.

Alfred North Whitehead oli yksi muodollisen logiikan puolustajista. Lähde: Wellcom Trust [CC BY-SA 4.0 (https: // creativecommons.Org/lisenssit/by-SA/4.0)]

Sana "logiikka" tulee muinaiskreikasta λογικήlogikja, mikä tarkoittaa "älyllistä syytä, dialektiikkaa, argumentatiivista". Logiikka on yksi filosofian ja matematiikan haaroista, ja sitä pidetään erittäin hyödyllisenä näille tieteenaloille.

Yleensä logiikka tutkii ajatuksen muotoa. Ensimmäiset logiikan suhteen toteutetut teokset johtuvat kreikkalaisesta filosofista Aristotelesista, minkä vuoksi hänet tunnetaan tämän ajattelun perustaja -isänä.

Koko historian ajan monet filosofit, matematiikka ja logiikka ovat puolustaneet muodollista logiikkaa. Heistä voimme nimetä matemaatikkojen ja loogisen Alonzon kirkon; filosofi, matemaatikko ja looginen Gottlob Frege; Ja myös matemaatikko ja filosofi Alfred North Whitehead.

He ovat myös olleet suuria puolustajia Alfred Tarski, Kurtgödel, Bertrand Russell ja Willard Van Orman Quine, muun muassa.

[TOC]

Tutkimuskohde

Muodollinen logiikka käyttää näkökohtia, kuten päättelyä, käsitettä, tuomioita ja esittelyä tutkimuksen kohteena. Näistä elementeistä analysoivat ja tutkivat kaikkia kielen ja semantiikan resursseja johtopäätöksen tekemiseksi.

Tässä mielessä todetaan, että muodollista logiikkaa tutkitaan jäsennellystä pisteestä sen pätevyydestä tai vammaisuudesta.

Muodollinen logiikka ei ole empiirinen tutkimus perusteluprosessista. Sitä ei myöskään pidä sekoittaa vakuuttamiseen, koska päätelmän saaminen vie argumenttien rakenteen.

Voi palvella sinua: filosofian alkuperä: miten ja milloin se tapahtui?

Tätä logiikkaa tunnetaan myös nimellä teoreettinen tai puhdas logiikka, ja pyritään suorittamaan abstraktin tutkimuksen deduktiivisten argumenttien, lausuntojen, ehdotusten ja lauseiden sisällöstä tai loogisista muodoista.

Muodollisten logiikkakuvioiden tyhjentävä tutkimus antaa jokaiselle yksilölle tietää tarkalleen heidän ajattelunsa liittyvät menettelyt.

Ominaisuudet

Alla on erityisimmät ominaisuudet, jotka erottavat muodollisen logiikan muun tyyppisistä logiikoista:

-Se on tiede, joka tutkii lähtökohdan muotoa, toisin kuin muun tyyppiset logiikat, jotka vain tutkivat materiaalia.

-Se on rakenne ilman asiaa.

-Se on perustettu muodollisten järjestelmien alajoukkoon.

-Sovelletaan sellaisia ​​tehokkaita menetelmiä, että muodollisen logiikan avulla oikean virheellisyys voidaan erottaa.

-Oikean tai pätevyyden päättelyn päätelmät syntyvät, koska todellisten tilojen rakenne analysoidaan.

-Tutki ja analysoi ihmisiä pääsemään suoraan ajatukseen ja siten pystyä luomaan uusia malleja kunkin yksilön mielessä.

-On ominaista symboliseksi.

-Muodollisen tieteen kannalta sillä on tärkeä rooli matematiikassa, filosofiassa, tietotekniikassa ja tilastoissa.

-Se liittyy kielioppiin semantiikan tutkimuksen vuoksi.

-Tutki rakenteita, minkä vuoksi sitä verrataan matematiikkaan.

-Se liittyy myös psykologiaan, koska se keskittyy kunkin yksilön ajatuksen tutkimukseen.

Kaverit

Deontic -logiikka

Se tulee muinaiskreikasta Δέον [τος] Donon [yskä] Ja se tarkoittaa "erääntymistä" tai "tarvittavaa". Itävallan logiikka Alois Höffler on tämän käsitteen percussori, joka viittaa normien tutkimukseen ja analysointiin.

Voi palvella sinua: René Descartes: Elämäkerta, filosofia ja panokset

Kaksiarvoinen logiikka

Se on logiikan tyyppi, joka myöntää vain todellisen ja väärän arvot. Hän ei usko vivahteisiin, kaikki on mustaa tai valkoista; Harmaa asteikko on mahdoton tämän tyyppisessä logiikassa.

Sen periaatteet perustuvat aristotelilaiseen logiikkaan, jotka ovat identiteetti, ei -kontradiction ja kolmas suljettu.

Monivaltinen tai monipuolinen logiikka

Tämän tyyppinen logiikka syntyi filosofien Jan łukasiewiczin ja Emil Postin suorittamien tutkimusten seurauksena, joissa he selittävät, että muut arvot voidaan hyväksyä "todellisista" ja "vääristä" tavallisista ja että nämä nämä Arvot voivat melkein saapua äärettömyyteen.

Tässä mielessä se eroaa kaksitahoisesta logiikasta, joka myöntää vain kaksi arvoa. Tutkimukset osoittavat, että moniarvoinen tai monipuolinen logiikka käsittelee arvoja, kuten mahdollisuuden, tarve, ei tarvetta, totuutta, valheellisuutta ja mahdottomuutta.

Samoin tämäntyyppinen muodollinen logiikka on myös vastuussa argumenttien filosofisten ja rakenteellisten näkökohtien tutkimisesta.

Esimerkit

Muodollisen logiikan avulla on mahdollista lisätä totuuden tai vääryyden arvo tiettyyn perusteluun.

Kuten olemme selittäneet, muodollinen logiikka ei keskity kaikkiin mahdollisuuksiin, jotka voidaan purkaa väitteestä; Se keskittyy vain tähän on totta tai väärä. Tässä mielessä luetellaan joitain esimerkkejä muodollisen logiikan perusteella:

-Buenos Aires on Argentiinan pääkaupunki; Joten kaikki Buenos Airesissa syntyneet ovat argentiinalaisia.

-Joao puhuu portugaliksi. 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 Blanco ja María Morena, joten on valkoisia ja ruskeaverikkö ihmisiä.

Voi palvella sinua: humanistiset ajattelijat

-Maria koskettaa kallioorkesteria. Muusikot ovat niitä, jotka soittavat rock -orkesterissa. Maria on muusikko.

-Josélla on mustat hiukset. Elenalla on ruskeat hiukset. Heidän tytär voi syntyä mustilla tai ruskeilla hiuksilla.

-Jalalla on viisi sormea. Ihmisillä on oikea jalka ja vasen. Jokaisella henkilöllä on kymmenen sormea ​​jaloillaan.

-Espanja on maa. Espanja on Euroopassa. Kaikki espanjalaiset ovat eurooppalaisia.

- Ana on elävä olento. Ana on kuolevainen. Kaikki elävät olennot ovat kuolevaisia.

- José märkä vedellä. Vesi kastuu.

- Maria söi kuumaa ruokaa. Maria paloi syödessään kuumaa ruokaa. Kuuma ruoan palovamma.

- Maa on osa maailmankaikkeutta. Universumissa on planeettoja. Maa on planeetta.

- Sähkövalo valaisee. Kaduilla on sähkövaloa. Sähkövalo valaisee kadut.

Viitteet

1. "Muodollinen logiikka" New World Encyclopedia. Haettu 21. huhtikuuta 2019 New World Encyclopedia: NewworldyClopedia.org.
2. Morton L. Schagrin Ge Hughesin ”muodollinen logiikka” palautettiin 21. huhtikuuta 2019 Britannicasta: Britannica.com.
3. "Logiikka ja sen luokittelu" yliopistossa. Haettu 23. huhtikuuta 2019 Akatemiasta: Akatemia.Edu.
4. "Muodollinen logiikka" filosofisessa sanakirjassa. Haettu 23. huhtikuuta 2019 filosofisesta sanakirjasta: filosofia.org.
5. "Monikäyttölogiikka" filosofisessa sanakirjassa. Haettu 23. huhtikuuta 2019 filosofisesta sanakirjasta: filosofia.org.
6. ”Logiikan yleiset näkökohdat” klubin esseissä (18. elokuuta 2013). Haettu 23. huhtikuuta 2019 klubin esseistä: Clubansayos.com.
7. "Deontica Logic" Wikipediassa. Haettu 23. huhtikuuta 2019 Wikipediasta: Se on.Wikipedia.org.
8. "Monikäyttölogiikka" Wikipediassa. Haettu 23. huhtikuuta 2019 Wikipediasta: Se on.Wikipedia.org.
9. "Bivalent Logic" Wikipediassa. Haettu 23. huhtikuuta 2019 Wikipediasta: Se on.Wikipedia.org