De formele logica, Ook wel theoretische logica of wiskundige logica genoemd, het bepaalt wat de geldige en correcte vormen van redenering zijn. Door deze oefening proberen we onderscheid te maken tussen wat correct is en wat incorrect is.
In de formele logica worden symbolen ondubbelzinnig en zo duidelijk mogelijk gebruikt, zodat ze niet kunnen worden gemanipuleerd. Dankzij deze praktijk is het mogelijk om uw eigen ideeën te ontwikkelen.
Het woord "logica" komt uit het Oudgrieks λογικήlogiken, wat betekent "begiftigd met intellectuele, dialectische, argumentatieve rede". Logica is een van de takken van filosofie en wiskunde en wordt voor deze disciplines als zeer nuttig beschouwd.
Over het algemeen bestudeert logica de vorm van het denken. De eerste werken die in verband met logica worden uitgevoerd, worden toegeschreven aan de Griekse filosoof Aristoteles, en daarom staat hij bekend als de grondlegger van dit denkgebied.
Door de geschiedenis heen hebben verschillende filosofen, wiskundigen en logici de formele logica verdedigd. Onder hen kunnen we de wiskundige en logicus Alonzo Church noemen; de filosoof, wiskundige en logicus Gottlob Frege; en de eveneens wiskundige en filosoof Alfred North Whitehead.
Onder anderen Alfred Tarski, KurtGödel, Bertrand Russell en Willard Van Orman Quine waren ook geweldige verdedigers..
Artikel index
Formele logica gebruikt aspecten als redenering, concept, oordelen en demonstratie als studieobject. Uit deze elementen analyseert en bestudeert het alle bronnen van taal en semantiek om tot een conclusie te komen.
In die zin staat vast dat in de formele logica het redeneren wordt bestudeerd vanuit het gestructureerde standpunt, vanuit zijn geldigheid of ongeldigheid..
Formele logica is geen empirische studie van het redeneerproces. Het mag ook niet worden verward met overtuigingskracht, aangezien de structuur van de argumenten nodig is om tot een conclusie te komen.
Deze logica staat ook bekend als theoretische of zuivere logica, en tracht een abstracte studie uit te voeren van de inhoud of logische vormen van de deductieve argumenten, uitspraken, proposities en assertief gebruikte zinnen..
Door een grondige studie van de formele logische patronen uit te voeren, zal elk individu precies de procedures kennen die verband houden met zijn denken..
Hieronder staan de meest specifieke kenmerken die formele logica onderscheiden van andere soorten logica:
-Het is een wetenschap die de vorm van de premisse bestudeert, in tegenstelling tot andere soorten logica die alleen het materiaal bestuderen.
-Het is een structuur zonder materie.
-Het is tot stand gebracht onder een subset van formele systemen.
-Past methoden toe die zo efficiënt zijn dat je door middel van formele logica onderscheid kunt maken tussen wat fout is en wat goed is.
-De conclusies van de juiste of geldige redenering ontstaan doordat de structuur van de ware premissen wordt geanalyseerd.
-Bestudeer en analyseer mensen om direct tot nadenken te komen, en zo in staat te zijn om nieuwe patronen in de geest van elk individu vast te stellen.
-Het wordt gekenmerkt door symbolisch te zijn.
-Vanuit het oogpunt van een formele wetenschap speelt het een belangrijke rol in wiskunde, filosofie, informatica en statistiek..
-Het is gerelateerd aan grammatica vanwege de studie van semantiek.
-Bestudeer structuren, daarom wordt het vergeleken met wiskunde.
-Het is ook gerelateerd aan psychologie omdat het zich richt op de studie van het denken van elk individu.
Komt uit het oude Grieks δέον [τος] déon [hoest] en het betekent "wat verschuldigd is" of "wat nodig is." De Oostenrijkse logicus Alois Höffler is de pionier van dit concept, dat verwijst naar de studie en analyse van normen.
Het is het type logica dat alleen true en false waarden ondersteunt. Hij gelooft niet in tinten, alles is zwart of wit; grijstinten is onmogelijk in dit soort logica.
De principes zijn gebaseerd op aristotelische logica, namelijk identiteit, niet-tegenspraak en het uitgesloten derde..
Dit soort logica is ontstaan als resultaat van de studies van de filosofen Jan Łukasiewicz en Emil Post, waarin ze stellen dat andere waarden dan de reeds gebruikelijke 'waar' en 'onwaar' kunnen worden toegegeven, en dat deze waarden kunnen praktisch tot in het oneindige reiken.
In die zin verschilt het van bivalente logica, die slechts twee waarden toelaat. Studies tonen aan dat multivalente of multifunctionele logica omgaat met waarden zoals mogelijkheid, noodzaak, niet-noodzaak, waarheid, onwaarheid en onmogelijkheid.
Evenzo is dit type formele logica ook verantwoordelijk voor het bestuderen van de filosofische en structurele aspecten van de argumenten..
Door middel van formele logica is het mogelijk om een waarde van waarheid of onwaarheid toe te voegen aan een specifieke redenering.
Zoals we eerder hebben uitgelegd, concentreert de formele logica zich niet op alle mogelijkheden die uit een argument kunnen worden gehaald; het richt zich alleen op de vraag of dit waar of niet waar is. In die zin geven we hieronder enkele voorbeelden op basis van formele logica:
-Buenos Aires is de hoofdstad van Argentinië; Al degenen die in Buenos Aires zijn geboren, zijn dus Argentijnen.
-Joao spreekt Portugees. Joao is geboren in Portugal. Iedereen in Portugal spreekt Portugees.
-Koeien geven melk. Koeien zijn zoogdieren. Alle zoogdieren geven melk.
-Pedro is blank en María is brunette, dus er zijn blanke en bruine mensen.
-Maria speelt in het rockorkest. De muzikanten zijn degenen die in het rockorkest spelen. Maria is een muzikant.
-José heeft zwart haar. Elena heeft bruin haar. Hun dochter kan worden geboren met zwart of bruin haar.
-De voet heeft vijf tenen. Mensen hebben een rechtervoet en een linkervoet. Elke persoon heeft tien tenen..
-Spanje is een land. Spanje blijft in Europa. Alle Spanjaarden zijn Europees.
- Ana is een levend wezen. Ana is sterfelijk. Alle levende wezens zijn sterfelijk.
- José werd nat van water. Het water wordt nat.
- Maria at haar warme eten. Maria brandde tijdens het eten van haar warme eten. Heet voedsel verbrandt.
- De aarde maakt deel uit van het universum. Er zijn planeten in het universum. De aarde is een planeet.
- Het elektrische licht gaat branden. Er is elektrisch licht in de straten. Elektrisch licht verlicht de straten.
Niemand heeft nog op dit artikel gereageerd.