De 4 belangrijkste typen logica (en functies)

April 2, 2024

Logica is de studie van redeneren en gevolgtrekkingen . Het is een reeks vragen en analyses die ons hebben laten inzien hoe valide argumenten verschillen van denkfouten en hoe we tot hen komen.

Hiervoor was de ontwikkeling van verschillende systemen en vormen van onderzoek onmisbaar, die hebben geleid tot vier hoofdtypen logica. We zullen hieronder zien waar elk van hen over gaat.

Aanbevolen artikel: ["De 10 soorten logische en argumentatieve denkfouten"] (De 10 soorten logische en argumentatieve denkfouten)

Wat is logica?

Het woord 'logica' komt van de Griekse 'logo's' die op verschillende manieren kunnen worden vertaald: woord, gedachte, argument, principe of reden zijn enkele van de belangrijkste. In die zin is logica de studie van principes en redenering.

Deze studie heeft als doel om verschillende criteria van gevolgtrekkingen te begrijpen en hoe we tot geldige demonstraties komen, in tegenstelling tot de ongeldige demonstraties. Dus de fundamentele vraag van de logica is wat het juiste denken is en hoe kunnen we onderscheid maken tussen een geldig argument en een misvatting?

Om deze vraag te beantwoorden, stelt de logica verschillende manieren voor om uitspraken en argumenten te classificeren, ongeacht of deze in een formeel systeem of in een natuurlijke taal voorkomen. Het analyseert met name proposities (declaratieve zinnen) die waar of onwaar kunnen zijn, maar ook drogredenen, paradoxen, argumenten die causaliteit inhouden en, in het algemeen, de argumentatietheorie.

In algemene termen, om een systeem als logisch te beschouwen, moeten ze aan drie criteria voldoen:

consistentie (er is geen tegenspraak tussen de stellingen die deel uitmaken van het systeem)
soliditeit (de testsystemen bevatten geen valse gevolgtrekkingen)
volledigheid (alle echte zinnen moeten kunnen worden bewezen)

De 4 soorten logica

Zoals we hebben gezien, gebruikt de logica verschillende hulpmiddelen om de redenering te begrijpen die we gebruiken om iets te rechtvaardigen. Traditioneel worden vier hoofdtypen logica herkend, elk met een aantal subtypes en specifieke kenmerken. We zullen hieronder zien waar elk punt over gaat.

1. Formele logica

Ook bekend als traditionele logica of filosofische logica, het gaat om de studie van gevolgtrekkingen met puur formele en expliciete inhoud . Het gaat om het analyseren van de formele uitspraken (logisch of wiskundig), waarvan de betekenis niet intrinsiek is, maar de symbolen ervan betekenis hebben vanwege de nuttige toepassing die ze krijgen. De filosofische traditie waaraan deze laatste ontleent, wordt precies "formalisme" genoemd.

Op zijn beurt is een formeel systeem een systeem dat wordt gebruikt om een conclusie te trekken uit een of meer gebouwen. Dit laatste kunnen axioma's zijn (vanzelfsprekende proposities) of stellingen (conclusies van een vaste reeks regels van gevolgtrekkingen en axioma's).

2. Informele logica

De informele logica van zijn kant is een meer recente discipline, die bestuderen, evalueren en analyseren van de argumenten weergegeven in de natuurlijke of dagelijkse taal . Daarom krijgt het de categorie "informeel". Het kan gesproken of geschreven taal zijn of elk mechanisme en interactie die worden gebruikt om iets te communiceren. In tegenstelling tot formele logica, die bijvoorbeeld zou gelden voor de studie en ontwikkeling van computertalen; formele taal verwijst naar talen en talen.

Zo kan informele logica analyseren van persoonlijke redeneringen en argumenten tot politieke debatten, juridische argumenten of premissen verspreid door de media, zoals kranten, televisie, internet, enzovoort.

3. Symbolische logica

Zoals de naam al aangeeft, analyseert symbolische logica de relaties tussen symbolen. Soms gebruikt het complexe mathematische taal, omdat het verantwoordelijk is voor het bestuderen van problemen die traditionele formele logica moeilijk of ingewikkeld vindt. Het is meestal verdeeld in twee subtypen:

Predicatieve logica of eerste orde : het is een formeel systeem dat bestaat uit formules en kwantificeerbare variabelen
propositionele : het is een formeel systeem dat is samengesteld uit proposities, die in staat zijn om andere proposities te creëren via connectoren die 'logische connectiviteit' worden genoemd. Hierin zijn er bijna geen kwantificeerbare variabelen.

4. Wiskundige logica

Afhankelijk van de auteur die het beschrijft, kan wiskundige logica worden beschouwd als een vorm van formele logica. Anderen menen dat de wiskundige logica zowel de toepassing van formele logica op de wiskunde omvat, als de toepassing van wiskundig redeneren op formele logica.

In grote lijnen maakt de toepassing van wiskundige taal bij de constructie van logische systemen het mogelijk om de menselijke geest te reproduceren. Dit is bijvoorbeeld zeer aanwezig geweest in de ontwikkeling van kunstmatige intelligentie en in de computationele paradigma's van de studie van cognitie.

Het is meestal verdeeld in twee subtypen:

logicism : het gaat om de toepassing van logica in de wiskunde. Voorbeelden van dit type zijn de theorie van het bewijs, de modeltheorie, de set-theorie en de theorie van recursie.
intuitivisme : betoogt dat zowel logica als wiskunde methoden zijn waarvan de toepassing consistent is om complexe mentale constructies uit te voeren. Maar hij zegt dat logica en wiskunde op zich de diepe eigenschappen van de elementen die ze analyseren niet kunnen verklaren.

Inductief, deductief en modaal redeneren

Aan de andere kant Er zijn drie soorten redeneringen die ook als logische systemen kunnen worden beschouwd . Dit zijn mechanismen die ons in staat stellen conclusies te trekken uit de premissen. Deductief redeneren maakt een dergelijke extractie van een algemeen uitgangspunt naar een bepaald uitgangspunt. Een klassiek voorbeeld is het voorstel van Aristoteles: alle mensen zijn sterfelijk (dit is de algemene premisse); Socrates is een mens (het is het belangrijkste uitgangspunt) en ten slotte is Socrates sterfelijk (dit is de conclusie).

Een inductieve redenering is van haar kant het proces waarbij een conclusie in de tegenovergestelde richting wordt getrokken: van het specifieke naar het algemene. Een voorbeeld hiervan is "Alle kraaien die ik kan zien, zijn zwart" (bepaalde premisse); dan zijn alle kraaien zwart (conclusie).

Ten slotte is redenering of modale logica gebaseerd op probabilistische argumenten, dat wil zeggen, ze drukken een mogelijkheid uit (een modaliteit). Het is een formeel logisch systeem dat termen bevat als "zou kunnen", "kan", "zou moeten zijn", "uiteindelijk".

Bibliografische referenties:

Groarke, L. (2017). Informele logica. Stanford Encyclopedia of Philosophy. Opgehaalde 2 oktober 2018. Beschikbaar op //plato.stanford.edu/entries/logic-informal/
Logica (2018). De basis van filosofie. Opgehaalde 2 oktober 2018. Beschikbaar op //www.philosophybasics.com/branch_logic.html
Shapiro, S. en Kouri, S. (2018). Klassieke logica. Opgehaalde 2 oktober 2018. Beschikbaar in Logic (2018). De basis van filosofie. Opgehaalde 2 oktober 2018. Beschikbaar op //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modale logica. Stanford Encyclopedia of Philosophy. Opgehaalde 2 oktober 2018. Beschikbaar op //plato.stanford.edu/entries/logic-modal/