De 4 belangrijkste soorten logica (en kenmerken)

Logica is de studie van redeneren en gevolgtrekkingen. Het is een reeks vragen en analyses die het mogelijk hebben gemaakt te begrijpen hoe geldige argumenten verschillen van drogredenen en hoe we daartoe komen.

Hiervoor is de ontwikkeling van verschillende systemen en studievormen essentieel geweest, die hebben geresulteerd in vier hoofdtypen logica. We zullen hieronder zien waar elk van hen over gaat.

• Aanbevolen artikel: "De 10 soorten logische en argumentatieve drogredenen"

Wat is logica?

Het woord "logica" komt van het Griekse "logos" dat op verschillende manieren kan worden vertaald: woord, gedachte, argument, principe of reden zijn enkele van de belangrijkste. In die zin is logica de studie van principes en redeneren.

Deze studie heeft tot doel de verschillende criteria van gevolgtrekkingen te begrijpen en hoe we tot geldige bewijzen komen, in tegenstelling tot de ongeldige bewijzen. Dus de basisvraag van logica is wat correct denken is en hoe kunnen we onderscheid maken tussen een geldig argument en een drogreden?

Om deze vraag te beantwoorden, stelt de logica verschillende manieren voor om uitspraken en argumenten te classificeren, of ze nu voorkomen in formele systemen of in natuurlijke taal. In het bijzonder analyseert het proposities (declaratieve zinnen) die waar of onwaar kunnen zijn, evenals: drogredenen, paradoxen, argumenten met betrekking tot causaliteit en, in het algemeen, de theorie van argumentatie.

Om een ​​systeem als logisch te beschouwen, moeten ze in het algemeen aan drie criteria voldoen:

• Consistentie (er is geen tegenstrijdigheid tussen de stellingen waaruit het systeem bestaat)
• Stevigheid (testsystemen bevatten geen valse gevolgtrekkingen)
• Volledigheid (alle ware zinnen moeten toetsbaar zijn)

De 4 soorten logica

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

1. formele logica

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

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

De conclusies die we bereikten door middel van formele logica, als ze gebaseerd zijn op geldige premissen en er geen fouten zijn in de logische bewerkingen, zijn ze op zichzelf waar. In feite leidt dit tot een open debat over de vraag of formele logica tot de wereld van de wetenschap behoort. of ze behoren tot een ander kennisgebied, omdat ze niet de werkelijkheid beschrijven, maar eerder hun eigen regels van functioneren.

2. Informele logica

Van haar kant is informele logica een meer recente discipline, die bestudeert, evalueert en analyseert de argumenten die in natuurlijke of alledaagse taal worden gebruikt. Daarom krijgt het de categorie "informeel". Het kan zowel gesproken als geschreven taal zijn, of elk type mechanisme en interactie die wordt gebruikt om iets te communiceren. In tegenstelling tot formele logica, die bijvoorbeeld van toepassing zou zijn op de studie en ontwikkeling van computertalen; formele taal verwijst naar talen en talen.

Zo kan informele logica alles analyseren, van persoonlijke redeneringen en argumenten tot politieke debatten, juridische argumenten of premissen die worden verspreid door de media zoals de krant, televisie, internet, enz.

3. Symbolische logica

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

• Predicatieve of eerste-orde logica: het is een formeel systeem dat bestaat uit formules en kwantificeerbare variabelen
• Propositioneel: het is een formeel systeem bestaande uit proposities, die in staat zijn om andere proposities te creëren door middel van connectoren die "logische connectieven" worden genoemd. Hierin zijn bijna geen kwantificeerbare variabelen.

4. Wiskundige logica

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

In grote lijnen gaat het om de toepassing van wiskundige taal bij de constructie van logische systemen die het mogelijk maken 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:

• Logica: het gaat over de toepassing van logica in de wiskunde. Voorbeelden van dit type zijn bewijstheorie, modeltheorie, verzamelingenleer en recursietheorie.
• Intuïtionisme: stelt 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 zichzelf 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 waarmee we conclusies kunnen trekken uit premissen. Deductief redeneren maakt deze extractie van een algemene premisse naar een bepaalde premisse. Een klassiek voorbeeld is dat van Aristoteles: Alle mensen zijn sterfelijk (dit is de algemene premisse); Socrates is een mens (het is de belangrijkste premisse), en ten slotte is Socrates sterfelijk (dit is de conclusie).

Van haar kant is inductief redeneren het proces waarbij een conclusie wordt getrokken in de tegenovergestelde richting: van het bijzondere naar het algemene. Een voorbeeld hiervan zou zijn: "Alle kraaien die ik kan zien zijn zwart" (bepaald uitgangspunt); dus alle kraaien zijn zwart (conclusie).

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

Bibliografische referenties:

• Groarke, L. (2017). Informele logica. Stanford Encyclopedia of Philosophy. Ontvangen 2 oktober 2018. Beschikbaar in https://plato.stanford.edu/entries/logic-informal/
• Logica (2018). De basis van de filosofie. Ontvangen 2 oktober 2018. Beschikbaar in https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Ontvoering, rede en wetenschap: processen van ontdekking en verklaring. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logische eigenschappen: identiteit, bestaan, voorspelling, noodzaak, waarheid. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filosofie van de logica. Cambridge, MA.: Harvard University Press.
• Shapiro, S. en Kouri, S. (2018). Klassieke logica. Ontvangen 2 oktober 2018. Beschikbaar in Logica (2018). De basis van de filosofie. Ontvangen 2 oktober 2018. Beschikbaar in https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modale logica. Stanford Encyclopedia of Philosophy. Ontvangen 2 oktober 2018. Beschikbaar in https://plato.stanford.edu/entries/logic-modal/