FORMAI LOGIKA: A TANULMÁNY TÁRGYA, JELLEMZŐI ÉS PÉLDÁI - FILOZÓFIA - 2026

A formális logika, más néven logikai elméleti vagy matematikai logika, amely meghatározza az érvelés érvényes és helyes formáit. Ezen gyakorlat révén arra törekszünk, hogy megkülönböztessük a helyes és mi helyt.

A formális logikában a szimbólumokat egyértelmûen és a lehetõ legtisztább módon használják, hogy azok ne lehessen manipulálni. Ennek a gyakorlatnak köszönhetően kifejlesztheti saját ötleteit.

Alfred North Whitehead a formális logika egyik támogatója volt. Forrás: Wellcome Trust

A "logika" szó az ókori görög λογικήlogik ḗ-ből származik, ami azt jelenti, hogy "intellektuális, dialektikus, érvelő indokkal rendelkezik". A logika a filozófia és a matematika egyik ága, és ezeknek a tudományágaknak nagy hasznát tekintik.

A logika általában a gondolkodás formáját vizsgálja. Az első, a logikával kapcsolatos munkákat Arisztotelész görög filozófusnak tulajdonítják, ezért ismerték ezen gondolatterület alapító atyjának.

A történelem során számos filozófus, matematikus és logikus védte a formális logikát. Közülük a matematikus és logikus Alonzo templomot nevezhetjük; Gottlob Frege filozófus, matematikus és logikus; valamint a matematikus és filozófus, Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell és Willard Van Orman Quine - többek között - nagyszerű védők is.

A tanulmány tárgya

A formális logika olyan szempontokat használ, mint az érvelés, a koncepció, az ítéletek és a demonstráció a tanulmány tárgya. Ezen elemek alapján elemzi és tanulmányozza a nyelv és a szemantika összes forrását a következtetés levonása érdekében.

Ebben az értelemben bebizonyosodott, hogy a formális logikában az érvelést strukturált szempontból, érvényességének vagy érvénytelenségének szempontjából vizsgálják.

A formális logika nem az érvelési folyamat empirikus vizsgálata. Nem szabad összetéveszteni a meggyőzéssel, mivel az érvek felépítéséhez a következtetés levonása szükséges.

Ezt a logikát elméleti vagy tiszta logikának is nevezik, és célja a deduktív érvek, állítások, állítások és állítólag használt mondatok tartalmának vagy logikai formáinak elvont tanulmányozása.

A formális logika mintáinak kimerítő tanulmányozása lehetővé teszi az egyének számára, hogy pontosan megismerjék a gondolkodásukhoz kapcsolódó eljárásokat.

jellemzők

Az alábbiakban mutatjuk be a legjellemzőbb jellemzőket, amelyek megkülönböztetik a formális logikát a többi logikától:

- Ez egy tudomány, amely megvizsgálja az előfeltevés formáját, ellentétben a többi olyan logikával, amely csak az anyagot vizsgálja.

- Ez egy anyag nélküli anyagszerkezet.

-A formális rendszerek egy részhalmaza alatt jön létre.

-A módszereket olyan hatékonyan alkalmazza, hogy a formális logika segítségével megkülönböztetheti a hibát a helyestől.

-A helyes érvelés vagy érvényesség következtetései azért merülnek fel, mert a valódi helyiségek szerkezetét elemezzük.

- Tanulmányozza és elemezze az embereket, hogy közvetlenül átjuthassanak a gondolkodáshoz, és így képesek legyenek új mintákat létrehozni az egyes egyének elméjében.

- Jellemzője, hogy szimbolikus.

-A formális tudomány szempontjából fontos szerepet játszik a matematikában, a filozófiában, a számítástechnikában és a statisztikában.

-A szemantika tanulmányozása miatt kapcsolódik a nyelvtanhoz.

- Tanulási struktúrák, ezért hasonlítják össze a matematikával.

- Ez a pszichológiához is kapcsolódik, mivel az egyes egyének gondolatának vizsgálatára összpontosít.

típusai

Deontikus logika

Az ókori görög δέον déonból származik, és azt jelenti: "mi esedékes" vagy "mi szükséges". Alois Höffler osztrák logikus az úttörője ennek a fogalomnak, amely a normák tanulmányozására és elemzésére utal.

Kétértékű logika

Ez a logika típusa, amely csak a valódi és a hamis értékeket támogatja. Nem hisz az árnyalatokban, minden fekete vagy fehér; a szürkeárnyalatos lehetetlen az ilyen logikában.

Alapelvei az arisztotelészi logikán alapulnak, amelyek identitás, ellentmondás és a kizárt harmadik fél.

Többértékű vagy többcélú logika

Ez a fajta logika Jan Łukasiewicz és Emil Post filozófusok tanulmányainak eredményeként született, amelyekben kijelenti, hogy a már szokásos „igaz” és „hamis” -on kívüli értékek elfogadhatók, és ezek az értékek gyakorlatilag elérhetik a végtelenig.

Ebben az értelemben különbözik a kétértékű logikától, amely csak két értéket elismer. A tanulmányok azt mutatják, hogy a többértékű vagy többcélú logika olyan értékeket kezel, mint a lehetőség, a szükségesség, a nem szükségszerűség, az igazság, a hamisság és a lehetetlenség.

Hasonlóképpen, az ilyen formális logika felel az érvek filozófiai és szerkezeti szempontjainak vizsgálatáért is.

Példák

A formális logika révén hozzáadható az igazság vagy a hamisság értéke egy adott érveléshez.

Mint korábban kifejtettük, a formális logika nem összpontosít minden olyan lehetőségre, amelyet egy érvből ki lehet vonni; csak arra összpontosít, hogy ez igaz vagy hamis. Ebben az értelemben az alábbiakban felsorolunk néhány példát formális logika alapján:

-Buenos Aires Argentína fővárosa; akkor minden Buenos Aires-ben született argentin.

-Joao portugálul beszél. Joao Portugáliában született. Portugáliában mindenki beszél portugálul.

-A tehenek tejet adnak. A tehenek emlősök. Minden emlős tejet ad.

-Pedro fehér és María barna, tehát vannak fehér és barna emberek.

-María játszik a rock zenekarban. A zenészek azok, akik a rockzenekarban játszanak. Maria zenész.

-José fekete haja van. Elena barna haja van. A lányuk fekete vagy barna hajjal született.

-A lábnak öt lábujja van. Az embereknek jobb és bal lábuk van. Minden embernek tíz lábujja van.

- Spanyolország egy ország. Spanyolország Európában marad. Minden spanyol európaiak.

- Ana egy élő lény. Ana halandó. Minden élőlény halandó.

- José megnedvesült a vízzel. A víz nedves lesz.

- Maria meleg ételt evett. Maria megégett és meleg ételeit fogyasztotta. Meleg ételek égnek.

- A Föld az univerzum része. Az univerzumban vannak bolygók. A Föld egy bolygó.

- Az elektromos fény világít. Elektromos fény van az utcákon. Elektromos fény világítja meg az utcákat.

Irodalom

1. "Formai logika" az újvilági enciklopédiaban. Beolvasva 2019. április 21-én az Újvilági enciklopédia oldalról: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes „Formai logika”, beolvasva 2019. április 21-én, a Britannica-tól: britannica.com.
3. "A logika és osztályozása" az Akadémián. Beolvasva: 2019. április 23-án, az Academia-tól: academia.edu.
4. "Formai logika" a filozófiai szótárban. Beolvasva: 2019. április 23-án a Filozófiai szótárból: philosophy.org.
5. "Többértékű logika" a filozófiai szótárban. Beolvasva: 2019. április 23-án a Filozófiai szótárból: philosophy.org.
6. "A logika általános szempontjai" a Club Essays-ben (2013. augusztus 18.). Visszakeresve: 2019. április 23-án a Club próbákból: clubensayos.com.
7. "Deontikus logika" a wikipédiaban . Visszakeresve: 2019. április 23-án a Wikipedia-ról: es.wikipedia.org.
8. "Többcélú logika" a wikipédiaban . Visszakeresve: 2019. április 23-án a Wikipedia-ról: es.wikipedia.org.
9. "Bivalens logika" a wikipédiaban . Visszakeresve: 2019. április 23-án a Wikipedia-ról: es.wikipedia.org