Formeel logisch object van studie, kenmerken en voorbeelden

De formele logica, Ook wel theoretische logica of wiskundige logica genoemd, het bepaalt wat de geldige en correcte vormen van redeneren zijn. Door deze praktijk wil het de juistheid van de onjuist onderscheiden.

In formele logica worden symbolen gebruikt zonder dubbelzinnigheid en op de duidelijkst mogelijke manier, zodat ze niet kunnen worden gemanipuleerd. Dankzij deze praktijk kunnen ze hun eigen ideeën ontwikkelen.

Alfred North Whitehead was een van de verdedigers van formele logica. Bron: Wellcom Trust [CC BY-SA 4.0 (https: // creativeCommons.Org/licenties/by-sa/4.0)]

Het woord "logica" komt uit het oude Grieks λογικήlogikEn, wat betekent "begiftigd met intellectuele reden, dialectiek, argumentatief". Logica is een van de takken van filosofie en wiskunde en wordt voor deze disciplines zeer nuttig geacht.

Over het algemeen bestudeert logica de vorm van denken. De eerste werken die worden uitgevoerd met betrekking tot logica worden toegeschreven aan de Griekse filosoof Aristoteles, en daarom staat hij bekend als de grondvader van dit denkgebied.

Door de geschiedenis heen hebben verschillende filosofen, wiskunde en logica formele logica verdedigd. Onder hen kunnen we de wiskundige en logische Alonzo -kerk noemen; de filosoof, wiskundige en logische Gottlob Frege; En ook de wiskundige en filosoof Alfred North Whitehead.

Ze zijn ook geweldige verdedigers Alfred Tarski, Kurtgödel, Bertrand Russell en Willard van Orman Quine, onder anderen.

[TOC]

Studieobject

Formele logica maakt gebruik van aspecten zoals redeneren, concept, oordelen en demonstratie als een object van studie. Uit deze elementen analyseren en bestuderen alle middelen van taal en semantiek, om tot een conclusie te komen.

In deze zin wordt vastgesteld dat de formele logica wordt bestudeerd vanuit het gestructureerde punt, vanuit de geldigheid of handicap.

Formele logica is geen empirische studie van het redeneringsproces. Het moet ook niet worden verward met overtuiging, omdat het de structuur van de argumenten nodig heeft om een ​​conclusie te krijgen.

Kan u van dienst zijn: de oorsprong van de filosofie: hoe en wanneer vond het plaats?

Deze logica staat ook bekend als theoretische of pure logica en beoogt een abstracte studie uit te voeren van de inhoud of logische vormen van deductieve argumenten, verklaringen, stellingen en zinnen die assertief worden gebruikt.

Door een uitputtende studie van formele logische patronen uit te voeren, kan elk individu precies de bijbehorende procedures kennen.

Kenmerken

Hieronder staan ​​de meest specifieke kenmerken die de formele logica onderscheiden van de andere soorten logica:

-Het is een wetenschap die de vorm van het uitgangspunt bestudeert, in tegenstelling tot andere soorten logica die alleen het materiaal bestuderen.

-Het is een structuur zonder materie.

-Het is vastgesteld onder een subset van formele systemen.

-Past zulke efficiënte methoden toe dat door formele logica de onjuistheid van het recht kan worden onderscheiden.

-De conclusies van de juiste of geldigheidsredenen ontstaan ​​omdat de structuur van het ware gebouwen wordt geanalyseerd.

-Bestudeer en analyseer mensen om rechtstreeks na te denken en zo in staat te zijn om nieuwe patronen in de geest van elk individu te vestigen.

-Wordt gekenmerkt door symbolisch te zijn.

-Vanuit het oogpunt van een formele wetenschap speelt het een belangrijke rol in wiskunde, filosofie, informatica en statistieken.

-Het is gerelateerd aan grammatica vanwege de studie van semantiek.

-Bestudeer de structuren, daarom wordt het vergeleken met wiskunde.

-Het heeft ook betrekking op psychologie omdat het zich richt op de studie van de gedachte van elk individu.

Jongens

Deontische logica

Het komt van het oude Grieks Δέον [τος] donon [hoest] En het betekent "de verschuldigde" of "de nodige". De Oostenrijkse logica Alois Höffler is de percussor van dit concept, die verwijst naar de studie en analyse van de normen.

Kan u dienen: René Descartes: biografie, filosofie en bijdragen

Bivalente logica

Het is het type logica dat alleen de waarden van waar en onwaar toelaat. Hij gelooft niet in nuances, alles is zwart of wit; De grijsschaal is onmogelijk in dit type logica.

De principes zijn gebaseerd op Aristotelische logica, die identiteit, niet -contradictie en de derde uitgesloten zijn.

Multivalente of veelzijdige logica

Dit type logica is geboren als gevolg van de studies die zijn uitgevoerd door de filosofen Jan łukasiewicz en Emil Post, waarin ze uitleggen dat andere waarden kunnen worden toegelaten uit de "ware" en "valse" gewone, en dat deze Waarden kunnen bijna in oneindig aankomen.

In die zin verschilt het van de bivalente logica, die slechts twee waarden toelaat. Studies tonen aan dat multivalente of veelzijdige logica waarden behandelt, zoals de mogelijkheid, behoefte, geen behoefte, waarheid, valsheid en onmogelijkheid.

Evenzo is dit type formele logica ook verantwoordelijk voor het bestuderen van de filosofische en structurele aspecten die de argumenten hebben.

Voorbeelden

Door middel van formele logica is het mogelijk om een ​​waarde van waarheid of valsheid toe te voegen aan een specifieke redenering.

Zoals we hierboven hebben uitgelegd, richt formele logica zich niet op alle mogelijkheden die uit een argument kunnen worden geëxtraheerd; Het richt zich hier alleen op waar of onwaar is. In die zin noemen we enkele voorbeelden op basis van formele logica:

-Buenos Aires is de hoofdstad van Argentinië; Dus al die geboren in Buenos Aires zijn Argentijnen.

-Joao spreekt Portugees. Joao werd geboren in Portugal. Alles in Portugal spreekt Portugees.

-Koeien geven melk. De koeien zijn zoogdieren. Alle zoogdieren geven melk.

-Pedro is Blanco en María Morena, dus er zijn blanke en brunette mensen.

Kan u van dienst zijn: humanistische denkers

-Maria raakt in het Rock Orchestra. Muzikanten zijn degenen die spelen in het rockorkest. Maria is een muzikant.

-José heeft zwart haar. Elena heeft bruin haar. De dochter van hen kan worden geboren met zwart of bruin haar.

-De voet heeft vijf vingers. Mensen hebben een rechtervoet en een linker. Elke persoon heeft tien vingers op de voeten.

-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é nat met water. Het water wordt nat.

- Maria at haar warme eten. Maria brandde bij het eten van haar warme eten. Warm eten brandwonden.

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

- Elektrisch licht verlicht. Er is elektrisch licht op straat. Elektrisch licht verlicht de straten.

Referenties

1. "Formele logica" op New World Encyclopedia. Ontvangen op 21 april 2019 uit New World Encyclopedia: NewworldyClopedia.borg.
2. Morton L. Schagrin GE Hughes "Formal Logic" in herstelde op 21 april 2019 vanuit Britannica: Britannica.com.
3. "Logica en zijn classificatie" in de academische wereld. Ontvangen op 23 april 2019 van Academia: Academy.Edu.
4. "Formele logica" in het filosofische woordenboek. Ontvangen op 23 april 2019 van Philosophical Dictionary: Philosophy.borg.
5. "Multifunctionele logica" in het filosofische woordenboek. Ontvangen op 23 april 2019 van Philosophical Dictionary: Philosophy.borg.
6. "Algemene aspecten van logica" in Club Essayos (18 augustus 2013). Ontvangen op 23 april 2019 van Club Essays: Clubansayos.com.
7. "Deontica Logic" in Wikipedia. Ontvangen op 23 april 2019 van Wikipedia: het is.Wikipedia.borg.
8. "Multipurpose Logic" in Wikipedia. Ontvangen op 23 april 2019 van Wikipedia: het is.Wikipedia.borg.
9. "Bivalent Logic" op Wikipedia. Ontvangen op 23 april 2019 van Wikipedia: het is.Wikipedia.borg