logiikan käsite

selitämme mitä logiikka on ja filosofisen, aristoteelisen, matemaattisen, laskennallisen, formaalin ja epämuodollisen logiikan ominaisuudet.

¿mitä logiikka on?

logiikka on formaali tiede, osa filosofiaa ja matematiikkaa. Se keskittyy pätevien ja kelvottomien ajatustapojen eli sellaisten prosessien kuin demonstraation, päättelyn tai deduktion tutkimiseen sekä käsitteiden kuten harhaluulojen, paradoksien ja totuuden tutkimiseen.

logiikka on äärimmäisen vanha tieteenala, joka on syntynyt itsenäisesti suurten klassisen ja antiikin sivilisaatioiden, kuten Kiinan, Kreikan tai Intian, ajattelijoiden keskuudessa. Se käsitettiin alusta alkaen ajattelun tuomitsemistavaksi sen muodollisen pätevyyden tarkistamiseksi, So.sen tunnustamiseksi, mikä on ihanteellinen päättelytapa, se, joka todellisuudessa johtaa totuuteen.

kuitenkin 1900-luvulta lähtien sitä on pidetty Alana, joka liittyy enemmän matematiikkaan, sillä jälkimmäisen sovellutuksilla tuli olemaan suuri teollinen, sosiaalinen ja teknologinen merkitys.

sana” logiikka”on peräisin kreikan sanasta logiké (’järjen avulla varustettu’), joka tulee sanasta logos, joka vastaa yhtä lailla”sanaa” tai” ajatusta”.

arkikielessä tätä sanaa käytetään kuitenkin synonyyminä ”maalaisjärjelle”, eli arvokkaassa tai arvostetussa ajattelutavassa, niiden mahdollisissa yhteyksissä. Sitä käytetään myös synonyyminä ”ajattelutavalle”, kuten viitattaessa” urheilulogiikkaan”,” sotilaslogiikkaan ” jne.

Katso myös: Matemaattinen ajattelu

filosofinen logiikka

tällä termillä tarkoitetaan niitä filosofian alueita, joilla logiikan menetelmiä käytetään tiettyjen filosofisten dilemmojen ratkaisemiseen tai edistämiseen ja joita voidaan hallita perinteisen logiikan tai päinvastoin ei-klassisen logiikan puitteissa. Eli logiikkaa filosofian puitteissa.

se on oppiaine, joka on hyvin lähellä kielifilosofiaa, ja on pohjimmiltaan jatkumoa antiikin logiikalle, joka keskittyy ajatteluun ja luonnolliseen kieleen. Käytämme yleisesti tätä nimeä erottaaksemme sen uudemmasta matemaattisesta logiikasta.

aristoteelinen logiikka

filosofisen logiikan piirissä aristoteelinen logiikka tunnetaan ajatteluperinteenä, joka alkaa kreikkalaisen filosofin Aristoteles Stagyralaisen (384-322 eaa.) teoksista.

Aristoteleen logiikkaa käsittelevät pääteokset on koottu hänen Organoniinsa (kreikkalaisesta ”instrumentista”), jonka Andronikos Rhodoslainen kokosi useita vuosisatoja kirjoittamisen jälkeen. Niissä näkyy kokonainen looginen järjestelmä, joka vaikutti suuresti Euroopassa ja Lähi-idässä keskiajan jälkeen.

tässä teoksessa Aristoteles postuloi lisäksi logiikan perusaksioomat:

• ristiriidattomuuden periaate. Jonka mukaan jokin ei voi olla eikä voi olla samaan aikaan (A ja A eivät voi olla totta samaan aikaan).
• identiteettiperiaate. Jonka mukaan jokin on aina identtinen itsensä kanssa (A on aina yhtä kuin A).
• poissuljettu kolmannen osapuolen periaate. Jonka mukaan jokin on tai ei ole totta, ilman että on olemassa mahdollisia asteikkoja (A tai sitten A).

Matemaattinen logiikka

Matemaattinen logiikka, jota kutsutaan myös symboliseksi logiikaksi, formaaliksi logiikaksi, teoreettiseksi logiikaksi tai logistiikaksi, on loogisen ajattelun soveltamista tietyille matematiikan ja luonnontieteiden alueille.

tähän liittyy päättelyprosessin tutkiminen formaalien esitysjärjestelmien, kuten propositiologiikan, modaalilogiikan tai ensimmäisen kertaluvun logiikan avulla, jotka mahdollistavat luonnollisen kielen ”kääntämisen” matemaattiseksi kieleksi, jotta voidaan kehittää tiukkoja demonstraatioita.

Matemaattinen logiikka käsittää neljä pääaluetta, jotka ovat:

• Malliteoria. Jossa ehdotetaan aksiomaattisten teorioiden ja matemaattisen logiikan tutkimista matemaattisten rakenteiden avulla, jotka tunnetaan ryhminä, kehikkoina tai kuvaajina, jolloin semanttinen sisältö liitetään logiikan puhtaasti formaaleihin konstruktioihin.
• Todistusteoria. Kutsutaan myös todistusteoria, se ehdottaa vedoksia käyttäen matemaattisia objekteja ja matemaattisia tekniikoita keinona tarkistaa loogisia ongelmia. Niinpä, kun malliteoria on huolissaan semantiikan (merkitys) antamisesta logiikan muodollisille rakenteille, todistusteoria on huolissaan pikemminkin niiden syntaksista (tilaus).
• joukko-oppi. Keskittyi tutkimaan abstrakteja esinekokoelmia, jotka itsessään ymmärretään objekteiksi, sekä niiden perustoimintoja ja keskinäisiä suhteita. Tämä haara matemaattisen logiikan on yksi perustavanlaatuisimmista, että on olemassa, niin paljon, että se muodostaa perustyökalu tahansa matemaattinen teoria.
• laskettavuuden teoria. Jaettu alue matematiikan ja tietojenkäsittelyn välillä, se tutkii päätösongelmia, joita algoritmi (vastaa Turingin konetta) voi kohdata. Tähän hän käyttää joukko-oppia ymmärtäen ne laskennallisiksi tai ei-laskennallisiksi joukoiksi.

laskennallinen logiikka

laskennallinen logiikka on samaa matemaattista logiikkaa, mutta sitä sovelletaan tietojenkäsittelyn alaan, toisin sanoen tietojenkäsittelyn eri perustasoihin: laskennallisiin piireihin, loogiseen ohjelmointiin ja algoritmien hallintaan. Siihen kuuluu myös tekoäly, joka on suhteellisen tuore ala alueella.

voidaan sanoa, että yleisesti ottaen laskennallinen logiikka pyrkii ruokkimaan tietokonejärjestelmää sellaisten loogisten rakenteiden kautta, jotka matemaattisella kielellä ilmaisevat ihmisen ajattelun erilaisia mahdollisuuksia ja luovat siten älykkäitä tietokonejärjestelmiä.

formaali ja epämuodollinen logiikka

se erotetaan usein myös kahdesta erillisestä logiikan alasta: formaalista ja epämuodollisesta sen perusteella, miten ne suhtautuvat siihen kieleen, jolla lauseet ilmaistaan.

• formaali logiikka. Se on se, joka huolehtii muodollisesta kielestä, eli tavasta ilmaista sen sisältö, käyttäen niitä tiukasti, ilman epäselvyyksiä, niin että deduktiivinen polku voidaan analysoida sen muotojen pätevyydestä (siitä sen nimi).
• epävirallinen logiikka. Sen sijaan hän tutkii argumenttejaan jälkikäteen erottaen validit ja virheelliset muodot annetusta tiedosta niiden loogisesta muodosta tai formaalista kielestä välittämättä. Tämä variantti syntyi 1900-luvun puolivälissä filosofian oppialana.

seuraa: Tietoteoria

viitteet:

• ”Logic” Wikipediassa.
• ” mitä on logiikka?”(video) koulun alueella.
• ” mitä on logiikka?”(video) teoksessa Educatina.
• Carlos Muñoz Gutiérrezin” Introduction to logic ” Universidad Complutense de Madridissa.
• ” mitä on logiikka ja mitä varten?”eteläisissä tieteissä.
• ”logiikka” Encyclopaedia Britannicassa.

Viimeksi muokattu: 22. syyskuuta 2020. Miten lainata: ”logiikka”. Kirjoittaja: María Estela Raffino. Alkaen: Argentiina. Vastaanottaja: Concepto.de. Saatavilla: https://concepto.de/logica/. Viitattu 25. Maaliskuuta 2021.