FORMEL LOGIK: GENSTAND FOR UNDERSØGELSE, KARAKTERISTIKA OG EKSEMPLER - FILOSOFI - 2025

Den formelle logik, også kaldet logisk teoretisk eller matematisk logik, der bestemmer gyldige og korrekte resonneringsformer er. Gennem denne praksis søger vi at skelne mellem hvad der er korrekt og hvad der er ukorrekt.

I formel logik bruges symboler utvetydigt og på den mest mulig klare måde, så de ikke kan manipuleres. Takket være denne praksis er det muligt at udvikle dine egne ideer.

Alfred North Whitehead var en af ​​fortalerne for den formelle logik. Kilde: Wellcome Trust

Ordet "logik" stammer fra den antikke græske λογικήlogik ḗ, som betyder "udstyret med intellektuel, dialektisk, argumenterende grund." Logik er en af ​​filialerne og matematikens grene og betragtes som en stor brug for disse discipliner.

Generelt studerer logik formen for tanker. De første værker, der er udført i relation til logik, tilskrives den græske filosof Aristoteles, hvorfor han er kendt som grundlæggeren til dette tankeområde.

Gennem historien har forskellige filosoffer, matematikere og logikere forsvaret formel logik. Blandt dem kan vi navngive matematikeren og logikeren Alonzo Church; filosofen, matematikeren og logikeren Gottlob Frege; og også matematikeren og filosofen Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell og Willard Van Orman Quine, blandt andre, har også været store forsvarere.

Studiens genstand

Formel logik bruger aspekter som resonnement, koncept, vurderinger og demonstration som genstand for undersøgelse. Fra disse elementer analyserer og studerer han alle ressourcerne i sprog og semantik for at nå frem til en konklusion.

I denne forstand er det fastslået, at man i formel logik resonnerer studeret ud fra det strukturerede synspunkt, ud fra dens gyldighed eller ugyldighed.

Formel logik er ikke en empirisk undersøgelse af ræsonnementet. Det må heller ikke forveksles med overtalelse, da det tager strukturen af ​​argumenterne for at få en konklusion.

Denne logik er også kendt som teoretisk eller ren logik og søger at gennemføre en abstrakt undersøgelse af indholdet eller de logiske former for de deduktive argumenter, udsagn, propositioner og assertivt anvendte sætninger.

At gennemføre en udtømmende undersøgelse af de formelle logiske mønstre giver hver enkelt mulighed for at kende nøjagtigt de procedurer, der er forbundet med deres tænkning.

egenskaber

Nedenfor er de mest særlige karakteristika, der adskiller formel logik fra andre typer logik:

-Det er en videnskab, der studerer formen af ​​antagelsen, i modsætning til andre typer logik, der kun studerer materialet.

-Det er en struktur uden materie.

-Det er etableret under en undergruppe af formelle systemer.

-Anvend metoder så effektive, at du gennem formel logik kan skelne mellem hvad der er galt og hvad der er rigtigt.

-Konklusionerne af korrekt ræsonnement eller gyldighed opstår, fordi strukturen af ​​de sande premisser analyseres.

-Studer og analyser mennesker for at komme direkte til tankerne og således være i stand til at etablere nye mønstre i hvert enkelt sinn.

-Det er kendetegnet ved at være symbolsk.

-Fra synspunktet på en formel videnskab spiller det en vigtig rolle i matematik, filosofi, datalogi og statistik.

-Det er relateret til grammatik på grund af studiet af semantik.

-Studystrukturer, hvorfor det sammenlignes med matematik.

-Det er også relateret til psykologi, fordi det fokuserer på studiet af den enkelte persons tanke.

typer

Deontisk logik

Det kommer fra det antikke græske δέον déon og betyder "hvad der skyldes" eller "hvad der er nødvendigt". Den østrigske logiker Alois Höffler er banebrydende for dette koncept, der henviser til undersøgelse og analyse af normer.

Bivalent logik

Det er den type logik, der kun understøtter sande og falske værdier. Han tror ikke på nuancer, alt er sort eller hvidt; gråtoner er umulig i denne form for logik.

Dens principper er baseret på den aristoteliske logik, som er identitet, ikke-modsigelse og den udelukkede tredjepart.

Multivalent eller multifunktionslogik

Denne type logik blev født som et resultat af undersøgelserne foretaget af filosoferne Jan Łukasiewicz og Emil Post, hvor de siger, at andre værdier end den allerede almindelige "sande" og "falske" kan indrømmes, og at disse værdier praktisk talt kan nå til evighed.

I denne forstand adskiller det sig fra bivalent logik, som kun indrømmer to værdier. Undersøgelser viser, at multivalent eller multifunktionslogik håndterer værdier som mulighed, nødvendighed, ikke-nødvendighed, sandhed, usandhed og umulighed.

Ligeledes er denne form for formel logik også ansvarlig for at studere de filosofiske og strukturelle aspekter af argumenterne.

eksempler

Gennem formel logik er det muligt at tilføje en værdi af sandhed eller usandhed til en bestemt begrundelse.

Som vi tidligere har forklaret, fokuserer formel logik ikke på alle de muligheder, der kan udvindes fra et argument; det fokuserer kun på, om dette er sandt eller falsk. I den forstand viser vi nedenfor nogle eksempler baseret på formel logik:

-Buenos Aires er hovedstaden i Argentina; så er alle dem, der er født i Buenos Aires, argentinske.

-Joao taler portugisisk. Joao blev født i Portugal. Alle i Portugal taler portugisisk.

-Køerne giver mælk. Køer er pattedyr. Alle pattedyr giver mælk.

-Pedro er hvid, og María er brunette, så der er hvide og brune mennesker.

-María spiller i rockorkesteret. Musikerne er dem, der spiller i rockorkesteret. Maria er musiker.

-José har sort hår. Elena har brunt hår. Deres datter kunne være født med sort eller brunt hår.

-Foden har fem tæer. Mennesker har en højre fod og en venstre fod. Hver person har ti tæer.

-Spain er et land. Spanien forbliver i Europa. Alle spaniere er europæiske.

- Ana er et levende væsen. Ana er dødelig. Alle levende ting er dødelige.

- José blev våd af vand. Vandet bliver vådt.

- Maria spiste sin varme mad. Maria blev brændt og spiste sin varme mad. Varm mad brænder.

- Jorden er en del af universet. I universet er der planeter. Jorden er en planet.

- Det elektriske lys tændes. Der er elektrisk lys i gaderne. Elektrisk lys lyser op i gaderne.

Referencer

1. "Formel logik" i encyklopædi fra den nye verden. Hentet den 21. april 2019 fra New World encyklopædi: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes “Formel logik” hentet den 21. april 2019 fra Britannica: britannica.com.
3. "Logikken og dens klassificering" i Academy. Hentet den 23. april 2019 fra Academia: academia.edu.
4. "Formel logik" i filosofisk ordbog. Hentet den 23. april 2019 fra Philosophical Dictionary: philosoph.org.
5. "Polyvalent logik" i filosofisk ordbog. Hentet den 23. april 2019 fra Philosophical Dictionary: philosoph.org.
6. "Generelle aspekter af logik" i Club Essays (18. august 2013). Hentet den 23. april 2019 fra Klubforsøg: clubensayos.com.
7. "Deontisk logik" i wikipedia . Hentet den 23. april 2019 fra Wikipedia: es.wikipedia.org.
8. "Multifunktionslogik" i wikipedia . Hentet den 23. april 2019 fra Wikipedia: es.wikipedia.org.
9. "Bivalent logik" i wikipedia . Hentet den 23. april 2019 fra Wikipedia: es.wikipedia.org