Formell logikkobjekt for studier, egenskaper og eksempler

De Formell logikk, Også kalt teoretisk logikk eller matematisk logikk, den bestemmer hva som er de gyldige og riktige resonnementformene. Gjennom denne praksisen søker den å skille riktigheten av feil.

I formell logikk brukes symboler uten tvetydighet og på en tydelig mulig måte, slik at de ikke kan manipuleres. Takket være denne praksisen kan de utvikle sine egne ideer.

Alfred North Whitehead var en av forsvarerne av formell logikk. Kilde: Wellcom Trust [CC BY-SA 4.0 (https: // creativecommons.Org/lisenser/by-SA/4.0)]

Ordet "logikk" kommer fra eldgamle gresk λογικήlogikog, som betyr "utstyrt med intellektuell grunn, dialektikk, argumenterende". Logikk er en av grenene til filosofi og matematikk, og regnes som veldig nyttig for disse fagområdene.

Generelt studerer logikk formen for tanker. De første verkene som ble utført i forhold til logikk tilskrives den greske filosofen Aristoteles, og det er grunnen til at han er kjent som grunnleggeren til dette tankegangen.

Gjennom historien har flere filosofer, matematikk og logikk forsvart formell logikk. Blant dem kan vi navngi matematikeren og den logiske Alonzo -kirken; Filosofen, matematikeren og logisk Gottlob Frege; Og også matematikeren og filosofen Alfred North Whitehead.

De har også vært store forsvarere Alfred Tarski, Kurtgödel, Bertrand Russell og Willard Van Orman Quine, blant andre.

[TOC]

Studiens objekt

Formell logikk bruker aspekter som resonnement, konsept, vurderinger og demonstrasjon som studieobjekt. Fra disse elementene analyserer og studerer alle ressursene til språk og semantikk, for å komme til en konklusjon.

I denne forstand er det fastslått at den formelle logikken studeres fra det strukturerte punktet, fra dets gyldighet eller funksjonshemming.

Formell logikk er ikke en empirisk studie av resonnementsprosessen. Det skal heller ikke forveksles med overtalelse, siden det tar strukturen i argumentene for å få en konklusjon.

Kan tjene deg: Filosofiens opprinnelse: Hvordan og når fant det sted?

Denne logikken er også kjent som teoretisk eller ren logikk, og søker å gjennomføre en abstrakt studie av innholdet eller logiske former for deduktive argumenter, uttalelser, proposisjoner og setninger som er assertivt brukt.

Å gjennomføre en uttømmende studie av formelle logiske mønstre vil tillate hver enkelt å vite nøyaktig de tilknyttede prosedyrene deres tenkning.

Kjennetegn

Nedenfor er de mest spesielle egenskapene som skiller den formelle logikken fra de andre typene logikk:

-Det er en vitenskap som studerer formen for forutsetningen, i motsetning til andre typer logikk som bare studerer materialet.

-Det er en struktur uten saken.

-Det er etablert under en undergruppe av formelle systemer.

-Bruker slike effektive metoder som gjennom formell logikk er feilen i høyre kan skilles.

-Konklusjonene av riktig eller gyldighets resonnement oppstår fordi strukturen i de sanne premissene blir analysert.

-Studere og analysere folk for å komme direkte til tanker, og dermed være i stand til å etablere nye mønstre i hver enkelt persons sinn.

-Er preget av å være symbolsk.

-Fra en formell vitenskap, spiller den en viktig rolle i matematikk, filosofi, informatikk og statistikk.

-Det er relatert til grammatikk på grunn av studiet av semantikk.

-Studer strukturene, og det er derfor det sammenlignes med matematikk.

-Det forholder seg også til psykologi fordi den fokuserer på studiet av hver enkeltes tanke.

Folkens

Deontisk logikk

Det kommer fra eldgamle gresk Δέον [τος] Donon [hoste] Og det betyr "forfallet" eller "det nødvendige". Den østerrikske logikken Alois Höffler er perkussøren for dette konseptet, som refererer til studien og analysen av normene.

Kan tjene deg: René Descartes: Biografi, filosofi og bidrag

Bivalent logikk

Det er den typen logikk som bare innrømmer verdiene av ekte og usant. Han tror ikke på nyanser, alt er svart eller hvitt; Den grå skalaen er umulig i denne typen logikk.

Prinsippene er basert på aristotelisk logikk, som er identitet, ikke -kontrakts og den tredje ekskluderte.

Multivalent eller allsidig logikk

Denne typen logikk ble født som et resultat av studiene utført av filosofene Jan łukasiewicz og Emil Post, der de forklarer at andre verdier kan innrømmes fra de "sanne" og "falske" vanlige, og at disse Verdier kan nesten komme til uendelig.

I denne forstand skiller den seg fra den bivalente logikken, som bare innrømmer to verdier. Studier viser at multivalent eller allsidig logikk håndterer verdier som muligheten, behovet, ikke behov, sannhet, usannhet og umulighet.

På samme måte er denne typen formell logikk også ansvarlig for å studere de filosofiske og strukturelle aspektene som argumentene har.

Eksempler

Gjennom formell logikk er det mulig å tilføre en verdi av sannhet eller falskhet til en spesifikk resonnement.

Som vi har forklart ovenfor, fokuserer ikke formell logikk på alle mulighetene som kan hentes ut fra et argument; Det fokuserer bare på dette er sant eller usant. I den forstand lister vi opp noen eksempler basert på formell logikk:

-Buenos Aires er hovedstaden i Argentina; Så alle de som er født i Buenos Aires er argentinere.

-Joao snakker portugisisk. Joao ble født i Portugal. Alt i Portugal snakker portugisisk.

-Kyr gir melk. Kyrne er pattedyr. Alle pattedyr gir melk.

-Pedro er Blanco og María Morena, så det er hvite og brunette mennesker.

Kan tjene deg: humanistiske tenkere

-Maria berører i rockorkesteret. Musikere er de som spiller i rockorkesteret. Maria er musiker.

-José har svart hår. Elena har brunt hår. Datteren til dem kan bli født med svart eller brunt hår.

-Foten har fem fingre. Mennesker har en høyre fot og en venstre. Hver person har ti fingre på føttene.

-Spania er et land. Spania forblir i Europa. Alle spanjoler er europeiske.

- Ana er et levende vesen. Ana er dødelig. Alle levende vesener er dødelige.

- José våt av vann. Vannet blir vått.

- Maria spiste den varme maten hennes. Maria brant når han spiste den varme maten hennes. Varm mat brenner.

- Jorden er en del av universet. I universet er det planeter. Jorden er en planet.

- Elektrisk lys lyser opp. Det er elektrisk lys på gatene. Elektrisk lys lyser opp gatene.

Referanser

1. "Formell logikk" på New World Encyclopedia. Hentet 21. april 2019 fra New World Encyclopedia: Newworldyclopedia.org.
2. Morton l. Schagrin Ge Hughes “Formell logikk” i utvunnet 21. april 2019 fra Britannica: Britannica.com.
3. "Logikk og dens klassifisering" i akademia. Hentet 23. april 2019 fra Academia: Academy.Edu.
4. "Formell logikk" i filosofisk ordbok. Hentet 23. april 2019 av filosofisk ordbok: Filosofi.org.
5. "Multipurpose Logic" i filosofisk ordbok. Hentet 23. april 2019 av filosofisk ordbok: Filosofi.org.
6. “Generelle aspekter av logikk” i klubbens essayos (18. august 2013). Hentet 23. april 2019 fra Club Essays: Clubansayos.com.
7. "Deontica Logic" i Wikipedia. Hentet 23. april 2019 fra Wikipedia: det er.Wikipedia.org.
8. "Multipurpose Logic" i Wikipedia. Hentet 23. april 2019 fra Wikipedia: det er.Wikipedia.org.
9. "Bivalent logikk" på Wikipedia. Hentet 23. april 2019 fra Wikipedia: det er.Wikipedia.org