4 najdôležitejšie typy logiky (a funkcie)

Marec 24, 2024

Logika je štúdium úvah a záverov , Je to súbor otázok a analýz, ktoré nám umožnili pochopiť, ako sa odlišujú platné argumenty od klamov a ako ich prichádzame.

Preto je nevyhnutný rozvoj rôznych systémov a foriem štúdia, ktoré viedli k štyrom hlavným typom logiky. Uvidíme nižšie, čo je každý z nich.

Odporúčaný článok: ["10 typov logických a argumentatívnych klamov"] (10 typov logických a argumentatívnych klamov)

Čo je to logika?

Slovo "logika" pochádza z gréckeho "loga", ktoré možno preložiť rôznymi spôsobmi: slovo, myšlienka, argument, princíp alebo rozum sú niektoré z hlavných. V tomto zmysle logika je štúdium zásad a úvah.

Táto štúdia má za cieľ pochopiť rôzne kritériá záverov a ako prichádzame k platným demonštráciám, na rozdiel od neplatných demonštrácií. Takže základnou otázkou logiky je to, čo je správne myslenie a ako môžeme rozlišovať medzi platným argumentom a klamstvom?

Na odpoveď na túto otázku logika navrhuje rôzne spôsoby klasifikácie vyjadrení a argumentov, či sa vyskytujú vo formálnom systéme alebo v prirodzenom jazyku. Konkrétne analyzuje návrhy (deklaratívne vety), ktoré môžu byť pravdivé alebo nepravdivé, ako aj chyby, paradoxy, argumenty, ktoré zahŕňajú kauzalitu a vo všeobecnosti teóriu argumentácie.

Vo všeobecnosti, aby systém považoval za logický, musia spĺňať tri kritériá:

konzistencia (neexistuje rozpor medzi vety, ktoré tvoria systém)
pevnosť (testovacie systémy nezahŕňajú falošné závery)
úplnosť (všetky skutočné vety musia byť dokázateľné)

4 typy logiky

Ako sme videli, logika používa rôzne nástroje na pochopenie úvah, ktoré používame na ospravedlnenie niečoho. Tradične sa rozpoznávajú štyri hlavné typy logiky, z ktorých každý má niektoré podtypy a špecifiká. Uvidíme nižšie, o čom je každý.

1. Formálna logika

Tiež známy ako tradičná logika alebo filozofická logika, ide o štúdium záverov s čisto formálnym a explicitným obsahom , Ide o analýzu formálnych vyhlásení (logických alebo matematických), ktorých význam nie je vnútorný, ale jeho symboly majú zmysel pre užitočnú aplikáciu, ktorú im dávajú. Filozofická tradícia, z ktorej vychádza, sa nazýva presne "formalizmus".

Na druhej strane formálny systém je ten, ktorý sa používa na vyvodenie záverov z jedného alebo viacerých priestorov. Tieto môžu byť axiómy (samozrejmé návrhy) alebo vety (závery pevného súboru pravidiel záverov a axiómov).

2. Neformálna logika

Z neho je neformálna logika novšia disciplína, ktorá študovať, vyhodnocovať a analyzovať argumenty zobrazované v prírodnom alebo každodennom jazyku , Preto dostáva kategóriu "neformálne". Môže to byť buď hovorený alebo písaný jazyk, alebo akýkoľvek mechanizmus a interakcia, ktoré sa používajú na komunikáciu niečoho. Na rozdiel od formálnej logiky, ktorá by sa napríklad vzťahovala na štúdium a vývoj počítačových jazykov; formálny jazyk sa vzťahuje na jazyky a jazyky.

Neformálna logika teda môže analyzovať z osobných úvah a argumentov na politické diskusie, právne argumenty alebo priestory šírené médiami, ako sú noviny, televízia, internet a tak ďalej.

3. Symbolická logika

Ako naznačuje názov, symbolická logika analyzuje vzťahy medzi symbolmi. Niekedy používa zložitý matematický jazyk, pretože je zodpovedný za štúdium problémov, ktoré tradičná formálna logika považuje za zložité alebo ťažko riešiť. Zvyčajne sa delí na dva podtypy:

Predikatívna logika alebo prvý poriadok : ide o formálny systém zložený z vzorcov a kvantifikovateľných premenných
výrokovej : je to formálny systém zložený z návrhov, ktoré sú schopné vytvoriť iné návrhy pomocou konektorov nazývaných "logické spojenie". V tomto prípade neexistujú takmer žiadne kvantifikovateľné premenné.

4. Matematická logika

V závislosti od autora, ktorý ho opisuje, môže byť matematická logika považovaná za formálnu logiku. Iné sa domnievajú, že matematická logika zahŕňa tak aplikáciu formálnej logiky na matematiku, ako aj aplikáciu matematického uvažovania na formálnu logiku.

Všeobecne povedané, použitie matematického jazyka pri konštrukcii logických systémov umožňuje reprodukovať ľudskú myseľ. Napríklad to bolo veľmi prítomné vo vývoji umelej inteligencie av počítačových paradigme štúdie poznania.

Zvyčajne sa delí na dva podtypy:

logicism : ide o aplikáciu logiky v matematike. Príklady tohto typu sú teória dôkazov, teória modelov, teória množín a teória rekurzie.
intuicionismus : argumentuje, že logika a matematika sú metódy, ktorých aplikácia je konzistentná pri vykonávaní komplexných mentálnych konštrukcií. Ale sám hovorí, že logika a matematika samy o sebe nemôžu vysvetliť hlboké vlastnosti prvkov, ktoré analyzujú.

Indukčné, deduktívne a modálne zdôvodnenie

Na druhej strane, Existujú tri typy úvah, ktoré možno považovať za logické systémy , Sú to mechanizmy, ktoré nám umožňujú vyvodiť závery z priestorov. Dedukčné zdôvodnenie robí takúto extrakciu zo všeobecného predpokladu na konkrétny predpoklad. Klasickým príkladom je to, čo navrhuje Aristotle: Všetci ľudia sú smrteľní (to je všeobecný predpoklad); Sokrates je človek (je to hlavný predpoklad) a nakoniec, Socrates je smrteľný (to je záver).

Z jeho strany je induktívna argumentácia procesom, pomocou ktorého sa vyvodzuje záver v opačnom smere: od konkrétneho k všeobecnému. Príkladom toho by bolo "všetky vrany, ktoré vidím, sú čierne" (konkrétny predpoklad); potom všetky vrány sú čierne (záver).

Nakoniec, argumentácia alebo logika modelu je založená na pravdepodobnostných argumentoch, tj vyjadrujú možnosť (modalitu). Je to formálny logický systém, ktorý obsahuje výrazy ako "mohol", "môže", "mal", "nakoniec".

Bibliografické odkazy:

Groarke, L. (2017). Neformálna logika. Stanfordská encyklopédia filozofie. Načrtnuté 2. októbra 2018. K dispozícii na adrese //plato.stanford.edu/entries/logic-informal/
Logika (2018). Základy filozofie. Získané 2. októbra 2018. K dispozícii na //www.philosophybasics.com/branch_logic.html
Shapiro, S. a Kouri, S. (2018). Klasická logika. Získané 2. októbra 2018. K dispozícii v Logic (2018). Základy filozofie. Získané 2. októbra 2018. K dispozícii na //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modálna logika. Stanfordská encyklopédia filozofie. Načrtnuté 2. októbra 2018. K dispozícii na adrese //plato.stanford.edu/entries/logic-modal/