we leggen uit wat logica is en de kenmerken van filosofische, aristotelische, wiskundige, computationele, formele en informele logica.
¿Wat is logica?
logica is een formele wetenschap, onderdeel van filosofie en wiskunde. Het richt zich op de studie van geldige en ongeldige procedures van het denken, dat wil zeggen, processen zoals demonstratie, gevolgtrekking of deductie, evenals concepten zoals drogredenen, paradoxen en waarheid.
logica is een uiterst oude discipline, onafhankelijk geboren onder de denkers van de grote klassieke en oude beschavingen, zoals China, Griekenland of India. Vanaf het begin werd het begrepen als een manier om gedachten te beoordelen om de formele geldigheid ervan te controleren, dat wil zeggen om te erkennen wat de ideale procedure van redeneren is, degene die daadwerkelijk tot de waarheid leidt.
sinds de twintigste eeuw wordt het echter beschouwd als een terrein dat meer verband houdt met de wiskunde, aangezien de toepassingen van deze laatste van groot industrieel, sociaal en technologisch belang zijn geworden.
het woord” logica”heeft zijn oorsprong in het Griekse woord logiké (“begiftigd met rede”), afkomstig van de term logos, gelijk aan “woord” of “gedachte”.
in alledaagse taal gebruiken we dit woord echter als synoniem voor “gezond verstand”, dat wil zeggen, in een waardevolle Of gewaardeerde manier van denken, in hun respectieve mogelijke contexten. Het wordt ook gebruikt als een synoniem voor” manier van denken”, zoals bij het verwijzen naar” sport logica”,” militaire logica”, enz.
zie ook: Wiskundig denken
filosofische logica
deze term verwijst naar de gebieden van de filosofie waarin de methoden van de logica worden gebruikt om bepaalde filosofische dilemma ‘ s op te lossen of te bevorderen, en kan worden beheerd binnen de beschouwd traditionele logica of, integendeel, niet-klassieke logica. Dat wil zeggen, logica binnen het kader van de filosofie.
het is een discipline die zeer dicht bij de taalfilosofie ligt en in wezen een voortzetting is van de logica van de oudheid, gericht op het denken en de natuurlijke taal. We gebruiken deze naam vaak om het te onderscheiden van recentere wiskundige logica.Aristotelische logica
binnen de filosofische logica staat Aristotelische logica bekend als de traditie van het denken die begint met de werken van de Griekse filosoof Aristoteles van Stagyra (384-322 v.Chr.), beschouwd als de westerse grondlegger van de logica en een van de belangrijkste auteurs van de filosofische traditie van de wereld. Aristoteles ‘ belangrijkste werken over de logica zijn verzameld in zijn Organon (van het Griekse “instrument”), samengesteld door Andronicus van Rhodos enkele eeuwen na het schrijven. Ze tonen een heel logisch systeem dat tot na de Middeleeuwen zeer invloedrijk was in Europa en het Midden-Oosten.In dit werk postuleerde Aristoteles bovendien de fundamentele axioma ‘ s van de logica.:
- het principe van non-contradictie. Volgens welke iets niet kan zijn en niet tegelijkertijd kan zijn (A en A kunnen niet tegelijkertijd waar zijn).
- het identiteitsprincipe. Volgens welke iets altijd identiek is aan zichzelf (A is altijd gelijk aan A).
- het beginsel van de uitgesloten derde partij. Volgens welke iets wel of niet waar is, zonder dat er mogelijke gradaties zijn (A Of dan A).
wiskundige logica
wiskundige logica, ook wel symbolische logica, formele logica, theoretische logica of logistiek genoemd, is de toepassing van logisch denken op bepaalde gebieden van de wiskunde en de wetenschap.
dit omvat de studie van het proces van gevolgtrekking, door middel van formele systemen van representatie, zoals propositionele logica, modale logica of eerste orde logica, die de “vertaling” van natuurlijke taal in wiskundige taal mogelijk maken om rigoureuze demonstraties te ontwikkelen.
de wiskundige logica omvat vier belangrijke gebieden::
- Modeltheorie. Die stelt de studie van axiomatische theorieën en wiskundige logica door middel van wiskundige structuren bekend als groepen, lichamen of grafieken, waardoor een semantische inhoud toe te schrijven aan de zuiver formele constructies van de logica.
- Bewijstheorie. Ook wel bewijstheorie genoemd, stelt het bewijzen voor met behulp van wiskundige objecten en wiskundige technieken als de manier om logische problemen te verifiëren. Dus, waar de modeltheorie zich bezighoudt met het geven van een semantiek (betekenis) aan de formele structuren van de logica, houdt de bewijstheorie zich eerder bezig met hun syntaxis (ordening).
- verzamelingenleer. Gericht op de studie van abstracte collecties van objecten, op zichzelf begrepen als objecten, evenals hun basisoperaties en onderlinge relaties. Deze tak van de wiskundige logica is een van de meest fundamentele die bestaat, zozeer zelfs dat het een basisinstrument van elke wiskundige theorie vormt.
- berekenbaarheidstheorie. Gedeeld gebied tussen wiskunde en computing, het bestudeert de beslissingsproblemen die een algoritme (equivalent aan een Turing machine) kan worden geconfronteerd. Om dit te doen, gebruikt hij de verzamelingenleer, door ze te begrijpen als berekenbare of niet-berekenbare verzamelingen.
computationele logica
computationele logica is dezelfde wiskundige logica, maar wordt toegepast op het gebied van de informatica, dat wil zeggen op verschillende fundamentele niveaus van de informatica: computationele circuits, logische programmering en het beheer van algoritmen. Het omvat ook kunstmatige intelligentie, een relatief recent gebied in het gebied.Men zou kunnen zeggen dat in grote lijnen de computationele logica ernaar streeft een computersysteem te voeden door logische structuren die, in een wiskundige taal, de verschillende mogelijkheden van het menselijk denken uitdrukken, waardoor intelligente computersystemen worden gecreëerd.
formele en informele logica
het wordt ook vaak onderscheiden tussen twee verschillende gebieden van de logica: formele en informele, op basis van hun benadering van de taal waarin verklaringen worden uitgedrukt.
- formele logica. Het is degene die de formele taal volgt, dat wil zeggen de manier om de inhoud ervan uit te drukken, ze strikt te gebruiken, zonder dubbelzinnigheden, zodat het deductieve pad kan worden geanalyseerd vanuit de geldigheid van zijn vormen (vandaar zijn naam).
- informele logica. In plaats daarvan bestudeert hij zijn argumenten a posteriori en onderscheidt hij geldige en ongeldige vormen van de gegeven informatie, zonder rekening te houden met hun logische vorm of formele taal. Deze variant ontstond in het midden van de twintigste eeuw als een discipline binnen de filosofie.
volgen met: Epistemologie
referenties:
- “logica” in Wikipedia.
- ” Wat is logica?”(video) in de schoolzone.
- ” Wat is logica?”(video) in Educatina.”Introduction to logic” door Carlos Muñoz Gutiérrez aan de Universidad Complutense de Madrid.
- ” Wat is logica en waar is het voor?”in Southern Sciences.”Logic” in The Encyclopaedia Britannica.
Laatst gewijzigd: 22 September 2020. Hoe te citeren: “Logica”. Auteur: María Estela Raffino. Uit: Argentinië. Aan: Concepto.de. Beschikbaar op: https://concepto.de/logica/. Geraadpleegd Op 25 Maart 2021.