FORMELE LOGICA: OBJECT VAN STUDIE, KENMERKEN EN VOORBEELDEN - FILOSOFIE - 2025

De formele logica , ook wel logische theoretische of wiskundige logica genoemd, die geldige en correcte redeneervormen bepaalt, is. 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.

Alfred North Whitehead was een van de voorstanders van formele logica. Bron: Wellcome Trust

Het woord "logica" komt van het oude Griekse λογικήlogik ḗ, wat betekent "begiftigd met intellectuele, dialectische, argumentatieve rede". Logica is een van de takken van filosofie en wiskunde, en wordt van groot nut geacht voor deze disciplines.

Over het algemeen bestudeert logica de vorm van het denken. De eerste werken die in relatie tot 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.

Studieobject

Formele logica gebruikt aspecten als redenering, concept, oordelen en demonstratie als studieobject. Uit deze elementen analyseert en bestudeert hij 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. Evenmin mag het worden verward met overtuigingskracht, aangezien de structuur van de argumenten nodig is om tot een conclusie te komen.

Deze logica wordt ook wel theoretische of zuivere logica genoemd, 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 de patronen van de formele logica grondig te bestuderen, zal elk individu precies de procedures kennen die bij zijn denken horen.

kenmerken

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 ingesteld onder een subset van formele systemen.

-Pas methoden toe die zo efficiënt zijn dat je door middel van formele logica kunt onderscheiden wat fout is en wat goed is.

-De conclusies van correct redeneren of validiteit ontstaan ​​doordat de structuur van de ware premissen wordt geanalyseerd.

-Bestudeer en analyseer mensen om direct tot nadenken te komen en zo nieuwe patronen in de geest van elk individu te kunnen vaststellen.

-Het wordt gekenmerkt door symbolisch te zijn.

-Vanuit het standpunt 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.

-Studiestructuren, 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.

Soorten

Deontische logica

Het komt uit het oude Griekse δέον déon en betekent "wat moet worden betaald" 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.

Bivalente logica

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 de aristotelische logica, namelijk identiteit, niet-tegenspraak en de uitgesloten derde partij.

Multivalente of multifunctionele logica

Dit type logica werd geboren als resultaat van de studies die werden uitgevoerd door 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 praktisch kunnen bereiken tot het oneindige.

In die zin verschilt het van bivalente logica, die slechts twee waarden toelaat. Studies tonen aan dat multivalente of multifunctionele logica omgaat met waarden als 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.

Voorbeelden

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ë; allen die in Buenos Aires zijn geboren, zijn dan ook Argentijns.

-Joao spreekt Portugees. Joao is geboren in Portugal. Iedereen in Portugal spreekt Portugees.

-De 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.

-María 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é is nat geworden van water. Het water wordt nat.

Maria heeft haar warme eten opgegeten. Maria brandde tijdens het eten van haar warme eten. Heet voedsel verbrandt.

- De aarde maakt deel uit van het universum. In het universum zijn er planeten. De aarde is een planeet.

- Het elektrische lampje gaat branden. Er is elektrisch licht in de straten. Elektrisch licht verlicht de straten.

Referenties

1. "Formele logica" in de nieuwe wereld encyclopedie. Opgehaald op 21 april 2019 uit New world encyclopedia: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes "Formele logica" opgehaald op 21 april 2019 van Britannica: britannica.com.
3. "De logica en zijn classificatie" in Academie. Opgehaald op 23 april 2019 van Academia: academia.edu.
4. "Formele logica" in Philosophical Dictionary. Opgehaald op 23 april 2019 van Philosophical Dictionary: filosofie.org.
5. "Polyvalente logica" in Philosophical Dictionary. Opgehaald op 23 april 2019 van Philosophical Dictionary: filosofie.org.
6. "Algemene aspecten van logica" in Club Essays (18 augustus 2013). Opgehaald op 23 april 2019 uit Club-proeven: clubensayos.com.
7. "Deontische logica" in wikipedia . Opgehaald op 23 april 2019 van Wikipedia: es.wikipedia.org.
8. "Multifunctionele logica" in wikipedia . Opgehaald op 23 april 2019 van Wikipedia: es.wikipedia.org.
9. "Bivalente logica" in wikipedia . Opgehaald op 23 april 2019 van Wikipedia: es.wikipedia.org