De 6 belangrijkste typen logica

Er zijn er verschillende soorten logica en alle richten hun object van studie op het begrijpen van de redenering en identificeren wanneer ze correct of incorrect zijn.

De studie van de logica is geëvolueerd uit de tijd van de Griekse filosoof Aristoteles tot heden, en dit is aangepast met de bedoeling om specifieker te zijn en tegelijkertijd meer aangepast aan het dagelijks leven van de mens, waardoor het mogelijk wordt om meer tastbare toepassing op verschillende gebieden.

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

Hoewel de logica gebaseerd is op het bestuderen van uitspraken, is de focus niet duidelijk op natuurlijke taal (zoals we die kennen), maar zijn bruikbaarheid heeft verschillende gebieden en met verschillende structuren, zoals wiskunde en gegevensverwerking.

De meest relevante soorten logica

formeel

De formele logica, ook bekend als klassieke logica of Aristotelische logica, is de studie van proposities, argumenten, uitspraken of zinnen vanuit structureel oogpunt.

Het is een methode om het denken te structureren en de juiste of onjuiste vormen van een specifieke benadering te bepalen.

De formele logica richt zich niet op de waarheid of de onjuistheid van de inhoud van een bepaald argument, maar richt zich op de geldigheid of anderszins van de constructie van zijn vorm.

Dat wil zeggen dat het object van onderzoek naar formele logica niet empirisch is, want de logicus is niet relevant om te bepalen of het gepresenteerde argument reëel en bewezen is; maar dat zijn studie duidelijk gericht is op de structuur van dat argument.

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

De deductieve logica verwijst naar die specifieke uitspraken die zijn gegenereerd op basis van algemene begrippen. Door dit type logica kunnen conclusies worden getrokken uit concepten of theorieën die al bestaan.

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

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

Bijvoorbeeld, binnen de inductieve logica zou je kunnen zeggen dat, als een kat van vis houdt, en een andere het ook leuk vindt, en een andere ook, dan houden alle katten van vissen.

informele

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

Deze logica verschilt van formele logica, in die zin dat formele logica de structuren van zinnen en proposities bestudeert; en informele logica richt zich op de achtergrond van het verzonden bericht.

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

Niet klassiek

Niet-klassieke logica, of moderne logica, vindt zijn oorsprong in de negentiende eeuw en ontstaat in tegenstelling tot de uitspraken van de klassieke logica.

Het stelt andere vormen van analyse vast die meer aspecten kunnen omvatten dan mogelijk is door de klassieke benadering van logica.

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

Binnen niet-klassieke logica zijn er verschillende subtypes van logica, zoals modaal, wiskundig, trivalent, onder anderen..

Al deze soorten logica verschillen enigszins in formele logica, of bevatten nieuwe elementen die complementair zijn, en maken het mogelijk dat de logische studie van een bepaalde uitspraak nauwkeuriger is en is aangepast aan het nut in het dagelijks leven.

symbolisch

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 waardoor de argumenten "vertaald" worden.

De bedoeling van symbolische logica is om abstracte gedachten om te zetten in meer formele structuren.

In feite gebruikt het geen natuurlijke taal (taal), maar gebruikt het een technische taal die zinnen omzet in elementen die vatbaar zijn voor de toepassing van meer exacte regels dan in natuurlijke taal kunnen worden toegepast..

Vervolgens maakt symbolische logica het mogelijk om proposities te behandelen via de berekeningswetten, om verwarring of onnauwkeurigheden te voorkomen.

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

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

Deze wiskundige toepassing van logica zorgt ervoor dat argumenten en constructies nauwkeuriger zijn.

modaal

Modale logica richt zich op het bestuderen van argumenten, maar voegt elementen toe die verband houden met de mogelijkheid dat de verklaring in kwestie waar of onwaar is.

Modale logica beweert 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 anderen.

In de modale logica is het een kwestie van een scenario overwegen waarin een mogelijkheid bestaat, en men neigt ernaar om alle mogelijke mogelijkheden te overwegen, vanuit het logische oogpunt.

computational

Computationele logica is een type logica dat is afgeleid van symbolische of wiskundige logica, alleen wordt het toegepast op het gebied van informatica.

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

referenties

1. "Logica" in Encyclopedia Britannica. Opgeroepen op 4 augustus 2017 van Encyclopedia Britannica: britannica.com
2. "Formele logica" in Encyclopedia Britannica. Opgeroepen op 4 augustus 2017 van Encyclopedia Britannica: britannica.com
3. Hernández, F. "Computational Logic" aan de Nationale Autonome Universiteit van Mexico. Opgeroepen op 4 augustus 2017 van de National Autonomous University of Mexico: unam.mx
4. Muñoz, C. "Non-Classical Logics" aan de Complutense Universiteit van Madrid. Opgeroepen op 4 augustus 2017 van Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Wat is symbolische logica?" In eHow en Español. Opgehaald op 4 augustus 2017 van eHow en Español: ehowenespanol.com
6. Oller, C. "Formele logica en argumentatie" (2006) aan de Nationale Universiteit van La Plata. Opgeroepen op 4 augustus 2017 van de National University of 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.