FORMALI LOGIKA: TYRIMO OBJEKTAS, CHARAKTERISTIKOS IR PAVYZDŽIAI - FILOSOFIJA - 2025

Formalioji logika , taip pat vadinamas logiška teorinis arba matematinės logikos, kuri nustato tinkamus ir teisingus formas motyvavimo. Šia praktika siekiame atskirti, kas teisinga, nuo to, kas neteisinga.

Formalioje logikoje simboliai naudojami nedviprasmiškai ir kiek įmanoma aiškiau, kad jais nebūtų galima manipuliuoti. Šios praktikos dėka galima vystyti savo idėjas.

Alfredas North Whiteheadas buvo vienas iš formaliosios logikos šalininkų. Šaltinis: „Wellcome Trust“

Žodis „logika“ kilęs iš senovės graikų λογικήlogik ḗ, reiškiančio „intelektualinę, dialektinę, argumentuojančią priežastį“. Logika yra viena iš filosofijos ir matematikos šakų, ir manoma, kad šiose disciplinose ji yra labai naudinga.

Apskritai logika tiria minties formą. Pirmieji darbai, atlikti atsižvelgiant į logiką, priskiriami graikų filosofui Aristoteliui, todėl jis yra žinomas kaip šios minties srities įkūrėjas.

Per visą istoriją įvairūs filosofai, matematikai ir logikai gynė formalią logiką. Tarp jų galime įvardyti matematiko ir logiko Alonzo bažnyčią; filosofas, matematikas ir logikas Gottlobas Frege; o taip pat matematikas ir filosofas Alfredas North Whiteheadas.

Alfredas Tarski, KurtGödel, Bertrand Russell ir Willard Van Orman Quine, be kitų, taip pat buvo puikūs gynėjai.

Tyrimo objektas

Formaliojoje logikoje tyrimo objektas yra tokie aspektai kaip samprotavimas, samprata, sprendimai ir demonstravimas. Remdamasis šiais elementais jis analizuoja ir nagrinėja visus kalbos ir semantikos išteklius, kad būtų padaryta išvada.

Šia prasme nustatyta, kad formaliojoje logikoje samprotavimai nagrinėjami struktūriniu požiūriu, atsižvelgiant į jų pagrįstumą ar negaliojimą.

Formali logika nėra empirinis samprotavimo proceso tyrimas. Tai taip pat neturėtų būti painiojama su įtikinėjimu, nes norint padaryti išvadą reikia argumentų struktūros.

Ši logika dar vadinama teorine arba grynąja logika ir siekia atlikti abstraktų dedukcinių argumentų, teiginių, teiginių ir tvirtinamai vartojamų sakinių turinio ar loginių formų tyrimą.

Išsamus formaliosios logikos modelių tyrimas leis kiekvienam asmeniui tiksliai žinoti su jo mąstymu susijusias procedūras.

charakteristikos

Žemiau yra konkrečios savybės, išskiriančios formalią logiką iš kitų logikos tipų:

- Tai yra mokslas, tiriantis prielaidos formą, skirtingai nuo kitų tipų logikos, nagrinėjančios tik medžiagą.

-Tai yra struktūra be materijos.

-Jis yra įsteigtas pagal formalių sistemų pogrupį.

- Taikykite metodus taip efektyviai, kad pagal formalią logiką galite atskirti, kas negerai, nuo to, kas teisinga.

-Teisinio samprotavimo ar pagrįstumo išvados kyla todėl, kad analizuojama tikrųjų patalpų struktūra.

- Tyrinėkite ir analizuokite žmones, kad galėtumėte tiesiogiai mąstyti ir tokiu būdu galėtumėte nustatyti naujus kiekvieno žmogaus mintis.

-Jis pasižymi tuo, kad yra simbolinis.

- Formaliojo mokslo požiūriu, jis vaidina svarbų vaidmenį matematikoje, filosofijoje, informatikoje ir statistikoje.

-Jis susijęs su gramatika dėl semantikos studijų.

- Studijų struktūros, todėl ji lyginama su matematika.

- Tai taip pat yra susijusi su psichologija, nes joje pagrindinis dėmesys skiriamas kiekvieno žmogaus minčių tyrimui.

Tipai

Deontinė logika

Jis kilęs iš senovės graikų δέον déon ir reiškia „kas atsiskaito“ arba „kas būtina“. Šios sąvokos, susijusios su normų tyrimu ir analize, pradininkas yra austrų logikas Aloisas Höffleris.

Dvivalentė logika

Tai logikos tipas, palaikantis tik tikras ir klaidingas reikšmes. Jis netiki atspalviais, viskas yra juoda arba balta; pilkos spalvos tokios logikos neįmanoma.

Jos principai grindžiami aristotelio logika, kuri yra tapatumas, neprieštaravimas ir pašalinta trečioji šalis.

Daugiavalentė ar daugiafunkcinė logika

Šis logikos tipas gimė po filosofų Jano Łukasiewicziaus ir Emilio Posto atliktų tyrimų, kuriuose teigiama, kad gali būti pripažįstamos kitos vertybės nei jau įprasta „tikra“ ir „klaidinga“ ir kad šios vertybės gali praktiškai pasiekti iki begalybės.

Šia prasme jis skiriasi nuo dvivalentės logikos, kuri pripažįsta tik dvi vertybes. Tyrimai rodo, kad daugiavalenčioji ar daugiafunkcinė logika valdo tokias vertybes kaip galimybė, būtinumas, nebūtinumas, tiesa, melagingumas ir negalimumas.

Panašiai šios rūšies formalioji logika taip pat atsakinga už argumentų filosofinių ir struktūrinių aspektų nagrinėjimą.

Pavyzdžiai

Pasitelkiant formalią logiką, prie konkretaus samprotavimo galima pridėti tiesos ar klaidingumo vertę.

Kaip jau paaiškinome anksčiau, formali logika nesureikšmina visų galimybių, kurias galima išgauti iš argumento; dėmesys sutelkiamas tik į tai, ar tai tiesa, ar klaidinga. Šia prasme žemiau pateikiame keletą pavyzdžių, pagrįstų formalia logika:

-Buenos Airės yra Argentinos sostinė; tada visi Buenos Airėse gimusieji yra argentiniečiai.

-Joao kalba portugalų kalba. Joao gimė Portugalijoje. Visi Portugalijoje kalba portugalų kalba.

-Karvės duoda pieno. Karvės yra žinduoliai. Visi žinduoliai duoda pieną.

-Pedro yra baltas, o María - brunetė, todėl yra baltų ir rudų žmonių.

-María groja roko orkestre. Muzikantai yra tie, kurie groja roko orkestre. Marija yra muzikantė.

-Josė turi juodus plaukus. Elena turi rudus plaukus. Jų dukra galėjo gimti su juodais arba rudais plaukais.

-Pėda turi penkis pirštus. Žmonės turi dešinę ir kairę pėdas. Kiekvienas žmogus turi dešimt pirštų.

- Ispanija yra šalis. Ispanija išlieka Europoje. Visi ispanai yra europiečiai.

- Ana yra gyva būtybė. Ana yra mirtinga. Visi gyvi dalykai yra mirtingi.

- Chosė sušlapo vandeniu. Vanduo sušlampa.

- Marija valgė karštą maistą. Marija sudegė valgydama karštą maistą. Karštas maistas dega.

- Žemė yra visatos dalis. Visatoje yra planetų. Žemė yra planeta.

- Šviečia elektrinė lemputė. Gatvėse yra elektrinė šviesa. Elektrinė šviesa apšviečia gatves.

Nuorodos

1. „Formalioji logika“ Naujojo pasaulio enciklopedijoje. Gauta 2019 m. Balandžio 21 d. Iš Naujosios pasaulio enciklopedijos: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes „Formal logic“, gauta 2019 m. Balandžio 21 d. Iš „Britannica“: britannica.com.
3. „Logika ir jos klasifikacija“ akademijoje. Gauta 2019 m. Balandžio 23 d. Iš „Academia“: academia.edu.
4. „Formal Logic“ filosofiniame žodyne. Gauta 2019 m. Balandžio 23 d. Iš Filosofinio žodyno: philosophy.org.
5. „Daugiavalentė logika“ filosofiniame žodyne. Gauta 2019 m. Balandžio 23 d. Iš Filosofinio žodyno: philosophy.org.
6. „Bendrieji logikos aspektai“ klubų esė (2013 m. Rugpjūčio 18 d.). Gauta 2019 m. Balandžio 23 d. Iš „Club Trials“: clubensayos.com.
7. „Deontinė logika“ vikipedijoje . Gauta 2019 m. Balandžio 23 d. Iš Vikipedijos: es.wikipedia.org.
8. „Daugiafunkcinė logika“ vikipedijoje . Gauta 2019 m. Balandžio 23 d. Iš Vikipedijos: es.wikipedia.org.
9. „Dvilypė logika“ vikipedijoje . Gauta 2019 m. Balandžio 23 d. Iš Vikipedijos: es.wikipedia.org