- Aktualiausios logikos rūšys
- Formali logika
- Neformali logika
- Neklasikinė logika
- Simbolinė logika
- Modalinė logika
- Skaičiavimo logika
- Nuorodos
Yra keletas logikos tipų ir visi savo tyrimo objektu sutelkia dėmesį į samprotavimų supratimą ir nustatymą, kai jie teisingi ar neteisingi. Logikos studijos vystėsi nuo graikų filosofo Aristotelio laikų iki šių dienų.
Etika buvo koreguojama ketinant būti konkretesnėms ir tuo pat metu labiau pritaikytoms kasdieniame žmogaus gyvenime, o tai leidžia labiau apčiuopiamą pritaikymą skirtingose srityse.
Aristotelis, pripažintas logikos tėvu.
Logika siekia sistemingo argumentų ir teiginių tyrimo, o skirtingos logikos rūšys leidžia ištirti tiek formalią šių teiginių struktūrą, tiek ir tai, kas turi ryšio su turiniu, ir minėto turinio galią.
Nors logika grindžiama teiginių tyrimu, joje nėra akcentuojama natūrali kalba (kalba, kokią mes ją žinome), tačiau jos naudingumas pasiekė skirtingas sritis ir su skirtingomis struktūromis, tokiomis kaip matematika ir skaičiavimas.
Aktualiausios logikos rūšys
Formali logika
Formalioji logika, dar vadinama klasikine arba aristotelio logika, yra teiginių, argumentų, teiginių ar sakinių tyrimas struktūriniu požiūriu. Tai metodas, skirtas susisteminti mintis ir nustatyti teisingas ar neteisingas konkretaus požiūrio formas.
Formaliojoje logikoje nekoncentruojamas dėmesys į konkretaus argumento turinio teisingumą ar melagingumą, o daugiau dėmesio skiriama jo formos konstrukcijos pagrįstumui ar ne.
T. y., Formaliosios logikos tyrimo objektas nėra empirinis, logikui nėra svarbu nustatyti, ar pateiktas argumentas yra tikras ir įrodytas; Atvirkščiai, jo tyrimas aiškiai sutelktas į minėto argumento struktūrą.
Formaliojoje logikoje yra dvi labai svarbios klasifikacijos: dedukcinė logika ir indukcinė logika.
Dedukcinė logika reiškia tuos konkrečius teiginius, kurie generuojami iš bendrųjų sąvokų. Remiantis šio tipo logika, galima daryti išvadas iš jau egzistuojančių sąvokų ar teorijų.
Pavyzdžiui, remiantis dedukcine logika, galima būtų pasakyti, kad jei žmonės turi kojas, o Klāra yra žmogus, tada Klarė turi kojas.
Indukcinės logikos atveju argumentų konstravimas vyksta priešingai; y., iš konkrečių argumentų kuriamos bendros sąvokos.
Pvz., Indukcinėje logikoje būtų galima pasakyti, kad jei vienai katei patinka žuvis, o kitai ji taip pat patinka, o kitai taip pat, tada visos katės mėgsta žuvį.
Neformali logika
Neformali logika yra studijų šaka, kurioje pagrindinis dėmesys skiriamas kalbai ir žiniai, sklindančiai iš semantinių konstrukcijų ir argumentų.
Ši logika skiriasi nuo formaliosios logikos, nes formalioji logika tiria sakinių ir teiginių struktūras; o neformali logika sutelkia dėmesį į perteikiamo pranešimo turinį.
Jo tyrimo objektas yra būdas argumentuoti, norint gauti norimą rezultatą. Neoficiali logika suteikia pagrįstumo logiškiems argumentams, kurie yra nuoseklesni tarp kitų, turinčių silpnesnę argumentacinę struktūrą.
Neklasikinė logika
Neklasikinė logika, arba moderni logika, atsirado XIX amžiuje ir kyla priešingai klasikinės logikos teiginiams. Ja nustatomos kitos analizės formos, apimančios daugiau aspektų nei tos, kurias galima aprėpti taikant klasikinį požiūrį į logiką.
Taip yra įtraukiami matematiniai ir simboliniai elementai, nauji teiginiai ar teoremos, kurios atsirado norint kompensuoti formalios logikos sistemos trūkumus.
Neklasikinėje logikoje yra skirtingi logikos potipiai, tokie kaip modalinė, matematinė, trivalentė.
Visos šios logikos rūšys tam tikru mastu skiriasi nuo formaliosios logikos arba jose yra naujų elementų, kurie papildo vienas kitą, ir leidžia konkretaus teiginio loginį tyrimą tikslinti ir pritaikyti kasdieniniame gyvenime.
Simbolinė logika
Simbolinė logika taip pat vadinama pirmosios eilės logika arba matematinė logika, kuriai būdingi simboliai, kurie sudaro naują kalbą, per kurią argumentai „išverčiami“.
Simbolinės logikos tikslas - abstrakčias mintis paversti labiau formaliomis struktūromis. Tiesą sakant, ji nenaudoja natūralios kalbos (idiomos), bet naudoja techninę kalbą, kuri paverčia sakinius elementais, kuriems gali būti taikomos tikslesnės taisyklės, nei galima pritaikyti natūralia kalba.
Taigi simbolinė logika leidžia traktuoti teiginius pagal skaičiavimo dėsnius, kad būtų išvengta painiavos ar netikslumų.
Ji siekia įtraukti matematinius elementus į formaliosios logikos struktūrų analizę. Matematinėje sferoje logika naudojama įrodyti teoremas.
Trumpai tariant, simbolinė ar matematinė logika siekia išreikšti žmogaus mintį matematinėmis kalbomis.
Šis matematinis logikos pritaikymas leidžia tiksliau išdėstyti argumentus ir konstrukcijas.
Modalinė logika
Modalinėje logikoje daugiausiai dėmesio skiriama argumentų tyrimui, tačiau pridedami elementai, susiję su galimybe, kad aptariamas teiginys yra teisingas ar klaidingas.
Modalinė logika bando labiau atitikti žmogaus mintis, todėl ji apima konstrukcijų, tokių kaip „galėtų“, „galbūt“, „kartais“, „galbūt“, „tikriausiai“, „tikėtina“, „galbūt“, naudojimą. ", tarp kitko.
Modalinėje logikoje siekiama apsvarstyti scenarijų, kuriame yra galimybė, ir loginiu požiūriu yra siekiama atsižvelgti į visas galimas galimybes.
Skaičiavimo logika
Skaičiavimo logika yra logikos rūšis, gauta iš simbolinės ar matematinės logikos, tik ji taikoma skaičiavimo srityje.
Kompiuterinės programos savo kūrimui naudoja programavimo kalbą ir pagal logiką galima dirbti su tomis kalbų sistemomis, priskirti konkrečias užduotis ir atlikti tikrinimo veiksmus.
Nuorodos
- „Logika“ enciklopedijoje „Britannica“. Gauta 2017 m. Rugpjūčio 4 d. Iš „Encyclopedia Britannica“: britannica.com
- „Formalioji logika“ enciklopedijoje „Britannica“. Gauta 2017 m. Rugpjūčio 4 d. Iš „Encyclopedia Britannica“: britannica.com
- Hernández, F. „Kompiuterinė logika“ Meksikos nacionaliniame autonominiame universitete. Gauta 2017 m. Rugpjūčio 4 d. Iš Meksikos nacionalinio autonominio universiteto: unam.mx
- Muñoz, C. „Neklasikinė logika“ Madrido „Complutense“ universitete. Gauta 2017 m. Rugpjūčio 4 d. Iš Madrido „Complutense“ universiteto: ucm.es
- Julia, J. "Kas yra simbolinė logika?" eHow ispanų kalba. Gauta 2017 m. Rugpjūčio 4 d. Iš „eHow“ ispanų kalba: ehowenespanol.com
- Oller, C. „Formalioji logika ir argumentacija“ (2006) Nacionaliniame La Plata universitete. Gauta 2017 m. Rugpjūčio 4 d. Iš Nacionalinio La Plata universiteto: rfytp.fahce.unlp.edu.ar
- „Dedukcinės ir indukcinės išvados“ Junta de Extremadura. Gauta 2017 m. Rugpjūčio 4 d. Junta de Extremadura: educarex.es.