Er zijn meerdere soorten logica en ze richten hun studieobject allemaal op het begrijpen van de redenering en het identificeren wanneer deze juist of onjuist is. De studie van logica is geëvolueerd vanaf de tijd van de Griekse filosoof Aristoteles tot heden.
Ethiek is aangepast met de bedoeling specifieker te zijn en tegelijkertijd meer aangepast aan het dagelijkse leven van de mens, waardoor het een meer tastbare toepassing op verschillende gebieden mogelijk maakt..
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 zinnen, is het niet duidelijk gericht op natuurlijke taal (de taal zoals we die kennen), maar het nut ervan heeft verschillende gebieden bereikt en met verschillende structuren, zoals wiskunde en computergebruik..
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 aanpak 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; maar zijn studie is 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 dit soort logica kunnen conclusies worden getrokken uit concepten of theorieën die al bestaan..
Binnen 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 dat 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 van vis, en een andere ook, alle katten van vis houden..
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 de 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 valideert logische argumenten die meer coherent zijn onder andere met een zwakkere argumentatieve structuur.
Niet-klassieke logica, of moderne logica, vindt zijn oorsprong in de 19e 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 onder meer modaal, wiskundig, driewaardig..
Al deze soorten logica verschillen tot op zekere hoogte van de formele logica, of bevatten nieuwe elementen die complementair zijn, en maken het mogelijk dat de logische studie van een bepaalde bewering nauwkeuriger is en aangepast aan bruikbaarheid in het dagelijks leven..
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 de 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 (taal), 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. Op wiskundig gebied 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 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 overwegen waarin er een mogelijkheid is, en het neigt ertoe alle mogelijke mogelijkheden te overwegen, vanuit het logische oogpunt.
Computationele logica is een soort logica afgeleid van symbolische of wiskundige logica, alleen wordt het toegepast op het gebied van computergebruik.
Computerprogramma's gebruiken de programmeertaal voor hun ontwikkeling en door logica is het mogelijk om met die taalsystemen te werken, specifieke taken toe te wijzen en verificatieacties uit te voeren.
Niemand heeft nog op dit artikel gereageerd.