Det formel logik, Også kaldet teoretisk eller matematisk logik, det bestemmer, hvad der er de gyldige og korrekte former for ræsonnement. Gennem denne praksis søger vi at skelne mellem hvad der er korrekt og hvad der er forkert.
I formel logik bruges symboler utvetydigt og så klart som muligt, så de ikke kan manipuleres. Takket være denne praksis er det muligt at udvikle dine egne ideer.
Ordet "logik" kommer fra antikgræsk λογικήlogikog, hvilket betyder "udstyret med intellektuel, dialektisk, argumenterende grund." Logik er en af filialerne og matematikens grene og betragtes som meget nyttigt i disse discipliner.
Generelt studerer logik tankens form. De første værker, der udføres i relation til logik, tilskrives den græske filosof Aristoteles, hvorfor han er kendt som den grundlæggende far 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.
Blandt andre Alfred Tarski, KurtGödel, Bertrand Russell og Willard Van Orman Quine har også været store forsvarere..
Artikelindeks
Formel logik bruger aspekter såsom ræsonnement, koncept, domme og demonstration som et genstand for undersøgelse. Fra disse elementer analyserer og studerer det alle ressourcer inden for sprog og semantik for at nå en konklusion.
I denne forstand er det fastslået, at i formel logisk ræsonnering studeres fra det strukturerede synspunkt, fra dets gyldighed eller ugyldighed.
Formel logik er ikke en empirisk undersøgelse af ræsonnementsprocessen. Det bør heller ikke forveksles med overtalelse, da det kræver strukturen i argumenterne for at opnå 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..
Gennemførelse af en udtømmende undersøgelse af de formelle logiske mønstre gør det muligt for hver enkelt at kende nøjagtigt de procedurer, der er forbundet med deres tænkning..
Nedenfor er de mest specielle egenskaber, der adskiller formel logik fra andre typer logik:
-Det er en videnskab, der studerer udgangspunktet i modsætning til andre typer logik, der kun studerer materialet.
-Det er en struktur uden materie.
-Det er etableret under en delmængde af formelle systemer.
-Anvender metoder så effektive, at du gennem formel logik kan skelne mellem hvad der er galt og hvad der er rigtigt.
-Konklusionerne af den korrekte eller gyldige begrundelse opstår, fordi strukturen i de sande lokaler analyseres.
-Undersøg og analyser mennesker for at komme direkte til tanken og dermed være i stand til at etablere nye mønstre i hver enkelt sind.
-Det er karakteriseret ved at være symbolsk.
-Fra en formel videnskabs synspunkt spiller den en vigtig rolle i matematik, filosofi, datalogi og statistik..
-Det er relateret til grammatik på grund af studiet af semantik.
-Undersøg strukturer, hvorfor det sammenlignes med matematik.
-Det er også relateret til psykologi, fordi det fokuserer på studiet af hver enkelt tanke.
Kommer fra gammel græsk δέον [τος] déon [hoste] og det betyder "hvad der skal" eller "hvad der er nødvendigt." Den østrigske logiker Alois Höffler er pioner for dette koncept, der refererer til undersøgelse og analyse af normer.
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 umulige i denne form for logik.
Dens principper er baseret på aristotelisk logik, som er identitet, ikke-modsigelse og den udelukkede tredje..
Denne type logik blev født som et resultat af de undersøgelser, der blev udført af filosofferne Jan Łukasiewicz og Emil Post, hvor de siger, at andre værdier end det allerede almindelige "sande" og "falske" kan indrømmes, og at disse værdier kan praktisk talt nå ud til uendelig.
I denne forstand adskiller den sig fra bivalent logik, som kun tillader to værdier. Undersøgelser viser, at multivalent eller multipurpose logik håndterer værdier som mulighed, nødvendighed, ikke-nødvendighed, sandhed, falskhed og umulighed.
Ligeledes er denne form for formel logik også ansvarlig for at studere de filosofiske og strukturelle aspekter af argumenterne..
Gennem formel logik er det muligt at tilføje en værdi af sandhed eller løgn til en bestemt ræsonnement.
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å alle dem, der er født i Buenos Aires, er argentinske.
-Joao taler portugisisk. Joao blev født i Portugal. Alle i Portugal taler portugisisk.
-Køer 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.
-Maria spiller i rockorkestret. Musikerne er dem, der spiller i rockorkestret. Maria er musiker.
-José har sort hår. Elena har brunt hår. Deres datter kunne blive 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..
-Spanien 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. Der er planeter i universet. Jorden er en planet.
- Det elektriske lys tændes. Der er elektrisk lys i gaderne. Elektrisk lys oplyser gaderne.
Endnu ingen kommentarer