DE 6 SOORTEN LOGICA EN HUN BETEKENIS - FILOSOFIE - 2026

Er zijn verschillende soorten logica en ze zijn allemaal gericht op het begrijpen van redeneringen en het identificeren wanneer ze juist of onjuist zijn. De studie van logica is geëvolueerd vanaf de tijd van de Griekse filosoof Aristoteles tot heden.

Ethiek heeft zich aangepast met de bedoeling specifieker te zijn en tegelijkertijd meer aangepast aan het dagelijkse leven van de mens, wat een meer tastbare toepassing op verschillende gebieden mogelijk maakt.

Aristoteles, erkend als de vader van de logica.

Logica zoekt de systematische studie van argumenten en proposities, en de verschillende soorten logica maken het mogelijk om zowel de louter formele structuur van deze uitspraken te bestuderen, als wat te maken heeft met de inhoud en de kracht van die inhoud.

Hoewel logica is gebaseerd op de studie van uitspraken, is het niet duidelijk gericht op natuurlijke taal (taal zoals we die kennen), maar het nut ervan heeft verschillende gebieden bereikt en met verschillende structuren, zoals wiskunde en computergebruik.

De meest relevante soorten logica

Formele logica

Formele logica, ook wel klassieke logica of aristotelische logica genoemd, is de studie van proposities, argumenten, uitspraken of zinnen vanuit een structureel oogpunt. Het is een methode om het denken te structureren en de juiste of onjuiste vormen van een specifieke benadering te bepalen.

Formele logica richt zich niet op de waarheidsgetrouwheid of onwaarheid van de inhoud van een bepaald argument, maar richt zich eerder op de geldigheid of niet van de constructie van zijn vorm.

Dat wil zeggen, het object van studie van de formele logica is niet empirisch, voor de logicus is het niet relevant om te bepalen of het gepresenteerde argument echt en bewezen is; Zijn studie is eerder duidelijk gericht op de structuur van genoemd argument.

Binnen de formele logica zijn er twee zeer belangrijke classificaties: deductieve logica en inductieve logica.

Deductieve logica verwijst naar die specifieke uitspraken die worden gegenereerd op basis van algemene noties. Door middel van dit soort logica kunnen gevolgtrekkingen worden gemaakt uit concepten of theorieën die al bestaan.

Binnen de deductieve logica zou je bijvoorbeeld kunnen zeggen dat als mensen benen hebben en Clara een mens is, Clara benen heeft.

In het geval van inductieve logica gebeurt de constructie van de argumenten op de tegenovergestelde manier; dat wil zeggen, algemene concepten worden gecreëerd op basis van specifieke argumenten.

Binnen inductieve logica zou je bijvoorbeeld kunnen zeggen dat, als de ene kat van vis houdt, en de andere ook van vis, en een andere ook, alle katten van vis houden.

Informele logica

Informele logica is de tak van studie die zich richt op taal en de boodschap die uitgaat van semantische constructies en argumenten.

Deze logica verschilt van de formele logica, doordat formele logica de structuren van zinnen en proposities bestudeert; en informele logica richt zich op de inhoud van de overgebrachte boodschap.

Het object van studie is de manier van argumenteren om het gewenste resultaat te verkrijgen. Informele logica geeft geldigheid aan logische argumenten die meer coherent zijn onder andere met een zwakkere argumentatieve structuur.

Niet-klassieke logica

Niet-klassieke logica, of moderne logica, vindt zijn oorsprong in de negentiende eeuw en komt op tegen de uitspraken van de klassieke logica. Het stelt andere vormen van analyse vast die meer aspecten kunnen omvatten dan die welke kunnen worden behandeld met de klassieke benadering van logica.

Dit is hoe wiskundige en symbolische elementen worden opgenomen, nieuwe uitspraken of stellingen die de tekortkomingen van een formeel logisch systeem compenseerden.

Binnen de niet-klassieke logica zijn er verschillende subtypen van logica, zoals modaal, wiskundig, driewaardig, onder anderen.

Al deze soorten logica verschillen tot op zekere hoogte van de formele logica, of bevatten nieuwe elementen die complementair zijn, waardoor de logische studie van een bepaalde bewering nauwkeuriger kan zijn en kan worden aangepast aan de bruikbaarheid in het dagelijks leven.

Symbolische logica

Symbolische logica wordt ook wel eerste-orde logica of wiskundige logica genoemd, en wordt gekenmerkt door het gebruik van symbolen die een nieuwe taal vormen waarmee argumenten worden "vertaald".

De bedoeling van symbolische logica is om abstracte gedachten om te zetten in meer formele structuren. Het gebruikt in feite geen natuurlijke taal (idioom), maar gebruikt een technische taal die zinnen omzet in elementen die vatbaar zijn voor de toepassing van meer exacte regels dan in natuurlijke taal kan worden toegepast.

De symbolische logica maakt het dus mogelijk om proposities te behandelen door middel van de wetten van de calculus, om verwarring of onnauwkeurigheden te voorkomen.

Het probeert wiskundige elementen op te nemen in de analyse van de structuren van formele logica. In de wiskundige wereld wordt logica gebruikt om stellingen te bewijzen.

Kortom, symbolische of wiskundige logica probeert het menselijk denken uit te drukken door middel van wiskundige taal.

Door deze wiskundige toepassing van logica kunnen argumenten en constructies nauwkeuriger zijn.

Modale logica

Modale logica richt zich op de studie van argumenten, maar voegt elementen toe die verband houden met de mogelijkheid dat de betreffende bewering waar of onwaar is.

Modale logica pretendeert meer in overeenstemming te zijn met het menselijk denken, daarom omvat het het gebruik van constructies zoals 'zou kunnen', 'mogelijk', 'soms', 'misschien', 'waarschijnlijk', 'is waarschijnlijk', 'misschien' ", onder andere.

In de modale logica gaat het erom een ​​scenario te beschouwen waarin er een mogelijkheid is, en het neigt ertoe om alle mogelijke mogelijkheden te beschouwen, vanuit een logisch oogpunt.

Computationele logica

Computationele logica is een soort logica die is afgeleid van symbolische of wiskundige logica, alleen wordt deze toegepast op het gebied van computergebruik.

Computerprogramma's gebruiken de programmeertaal voor hun ontwikkeling en door middel van logica is het mogelijk om aan die taalsystemen te werken, specifieke taken toe te wijzen en verificatieacties uit te voeren.

Referenties

1. "Logic" in Encyclopedia Britannica. Opgehaald op 4 augustus 2017 uit Encyclopedia Britannica: britannica.com
2. "Formele logica" in Encyclopedia Britannica. Opgehaald op 4 augustus 2017 uit Encyclopedia Britannica: britannica.com
3. Hernández, F. "Computational Logic" aan de Nationale Autonome Universiteit van Mexico. Opgehaald op 4 augustus 2017 van de National Autonomous University of Mexico: unam.mx
4. Muñoz, C. "Niet-klassieke logica" aan de Complutense Universiteit van Madrid. Opgehaald op 4 augustus 2017 van de Complutense Universiteit van Madrid: ucm.es
5. Julia, J. "Wat is symbolische logica?" in eHow in het Spaans. Opgehaald op 4 augustus 2017 van eHow in het Spaans: ehowenespanol.com
6. Oller, C. "Formele logica en argumentatie" (2006) aan de Nationale Universiteit van La Plata. Opgehaald op 4 augustus 2017 van de Nationale Universiteit van La Plata: rfytp.fahce.unlp.edu.ar
7. "Deductieve en inductieve gevolgtrekkingen" in Junta de Extremadura. Opgehaald op 4 augustus 2017 in Junta de Extremadura: educarex.es.