De 6 soorten logica en hun betekenis

Er zijn meerdere Soorten logica en alle richten hun onderzoeksobject op het begrijpen van redeneren en identificeren wanneer ze correct of onjuist zijn. De studie van logica is geëvolueerd sinds de tijd van de Griekse filosoof Aristoteles tot heden.

Ethiek is aangepast met de bedoeling om specifieker te zijn en tegelijkertijd meer aangepast aan het dagelijkse leven van de mens, waardoor een meer tastbare toepassing op verschillende gebieden mogelijk is.

Aristoteles, erkend als de vader van logica.

Logica streeft naar de systematische studie van argumenten en stellingen, en de verschillende soorten logica stellen het mogelijk om zowel de louter formele structuur van deze uitspraken te bestuderen als wat met de inhoud te maken heeft, en de kracht van genoemde inhoud.

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

De meest relevante soorten logica

Formele logica

De formele logica, ook bekend als klassieke of logische Aristotelische logica, is de studie van proposities, argumenten, verklaringen of zinnen vanuit structureel oogpunt. Het is een methode om het denken te structureren en de juiste of onjuiste manieren van een specifieke aanpak te bepalen.

De formele logica richt zich niet op de waarheidsgetrouwheid of valsheid van de inhoud van een bepaald argument, maar is geconcentreerd in de geldigheid of niet op de constructie van zijn vorm.

Dat wil zeggen, het object van de studie van formele logica is niet empirisch, voor logica is het niet relevant om te bepalen of het gepresenteerde argument reëel en bewezen is; Maar je studie is duidelijk gericht op de structuur van het argument.

Kan u van dienst zijn: empedocles

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

Deductieve logica verwijst naar die specifieke verklaringen die worden gegenereerd uit algemene noties. Door dit soort logica kunnen ze conclusies worden van concepten of theorieën die al bestaan.

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

In het geval van inductieve logica treedt de constructie van de argumenten voor in tegenstelling; dat wil zeggen, algemene concepten zijn gemaakt van specifieke argumenten.

In de inductieve logica zou je bijvoorbeeld kunnen zeggen dat, als een kat van vis houdt, en een ander ook leuk vindt, en ook een ander, dan alle katten zoals vissen.

Informele logica

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

Deze logica verschilt van formele logica, in die formele logica bestudeert de structuren van gebeden en stellingen; En informele logica richt zich op de onderkant van het verzonden bericht.

Het onderzoeksobject is de manier om te beweren het gewenste resultaat te verkrijgen. Informele logica geeft geldigheid aan de logische argumenten die coherenter zijn onder andere die een zwakkere argumentatieve structuur hebben.

Niet -klassieke logica

Niet -klassieke logica, of moderne logica, ontstaat in de 19e eeuw en ontstaat in tegenstelling tot de verklaringen van de klassieke logica. Het stelt andere vormen van analyse vast die meer aspecten kunnen behandelen die mogelijk zijn om te omvatten via de klassieke logische benadering.

Kan u dienen: moreel onderwerp

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

Binnen niet -klassieke logica zijn er verschillende subtypen van logica, zoals modale, wiskunde, drievoudig, onder andere.

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

Symbolische logica

In dit spel moet je elk stuk van het centrale vierkant vinden in de verschillende figuren rond

Symbolische logica wordt ook wel eerste -order logica of wiskundige logica genoemd en wordt gekenmerkt door symbolen te gebruiken die een nieuwe taal vormen waardoor ze de argumenten "vertalen".

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

Vervolgens staat symbolische logica de behandeling van proposities toe door de berekeningswetten, om verwarring of onnauwkeurigheden te voorkomen.

Probeert wiskundige elementen op te nemen in de analyse van de structuren van formele logica. In het wiskundige veld wordt logica gebruikt om stellingen aan te tonen.

Kortom, symbolische of wiskundige logica probeert de menselijke gedachten uit te drukken door wiskundige taal.

Met deze wiskundige toepassing van logica kunnen argumenten en constructies meer exact zijn.

Modale logica

Modale logica richt zich op de studie van argumenten, maar voegt elementen toe met betrekking tot de mogelijkheid dat de verklaring in kwestie waar of onwaar is.

Kan u van dienst zijn: utilitarisme

Modale logica wil meer consistent zijn met het menselijk denken, daarom omvat het het gebruik van constructies zoals "kan", "mogelijk", "soms", "misschien", "waarschijnlijk", "is waarschijnlijk", "misschien", onder ander.

In modale logica gaat het om het overwegen van een scenario waarin een mogelijkheid is, en alle mogelijkheden die kunnen bestaan, vanuit logisch oogpunt,.

Computationele logica

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

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

Referenties

1. "Logica" in Britannica Encyclopedia. Ontvangen in Britannica.com
2. "Formele logica" in Britannica Encyclopedia. Ontvangen in Britannica.com
3. Hernández, f. "Computational Logic" aan de National Autonomous University of Mexico. Opgehaald in Unam.mx
4. Muñoz, c. "Niet-klassieke logica" aan de Complutense University of Madrid. Opgehaald in UCM.is
5. "Deductieve en inductieve conclusies" in het bestuur van Extremadura. Opgehaald in Educarex.is.