De formell logikk, Også kalt teoretisk logikk eller matematisk logikk, bestemmer den hva som er gyldige og riktige former for resonnement. Gjennom denne praksisen søker vi å skille hva som er riktig fra det som er feil.
I formell logikk brukes symboler entydig og så tydelig som mulig, slik at de ikke kan manipuleres. Takket være denne praksisen er det mulig å utvikle dine egne ideer.
Ordet "logikk" kommer fra gammelgresk λογικήlogikog, som betyr "utstyrt med intellektuell, dialektisk, argumenterende grunn." Logikk er en av grenene til filosofi og matematikk, og regnes som veldig nyttig for disse fagene.
Generelt studerer logikken tankens form. De første verkene som ble utført i forhold til logikk tilskrives den greske filosofen Aristoteles, og det er derfor han er kjent som grunnleggeren til dette tankegangen..
Gjennom historien har forskjellige filosofer, matematikere og logikere forsvart formell logikk. Blant dem kan vi nevne 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, blant andre, har også vært store forsvarere..
Artikkelindeks
Formell logikk bruker aspekter som resonnement, konsept, dommer og demonstrasjon som et gjenstand for studier. Fra disse elementene analyserer og studerer alle ressurser innen språk og semantikk, for å nå en konklusjon.
I denne forstand er det fastslått at i formell logikk resonnement studeres fra det strukturerte synspunktet, fra dets gyldighet eller ugyldighet.
Formell logikk er ikke en empirisk studie av resonnementprosessen. Det skal heller ikke forveksles med overtalelse, siden det tar strukturen i argumentene for å få en konklusjon.
Denne logikken er også kjent som teoretisk eller ren logikk, og søker å utføre en abstrakt studie av innholdet eller de logiske formene til deduktive argumenter, uttalelser, proposisjoner og selvsagt brukte setninger..
Gjennomføring av en uttømmende studie av de formelle logiske mønstrene vil tillate hver enkelt å vite nøyaktig prosedyrene knyttet til deres tenkning..
Nedenfor er de mest spesielle egenskapene som skiller formell logikk fra andre typer logikk:
-Det er en vitenskap som studerer premissets form, i motsetning til andre typer logikk som bare studerer materialet.
-Det er en struktur uten materie.
-Den er etablert under en delmengde av formelle systemer.
-Bruker metoder så effektive at du gjennom formell logikk kan skille hva som er galt fra det som er riktig.
-Konklusjonene av riktig eller gyldig resonnement oppstår fordi strukturen til de sanne premissene blir analysert.
-Studer og analyser mennesker for å komme direkte til tankene, og dermed være i stand til å etablere nye mønstre i tankene til hver enkelt.
-Det er preget av å være symbolsk.
-Fra synspunktet til 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 strukturer, det er derfor det sammenlignes med matematikk.
-Det er også relatert til psykologi fordi det fokuserer på studiet av tanken til hver enkelt.
Kommer fra eldgamle gresk δέον [τος] déon [hoste] og det betyr "hva som skyldes" eller "hva som er nødvendig." Den østerrikske logikeren Alois Höffler er pioneren for dette konseptet, som refererer til studiet og analysen av normer.
Det er typen logikk som bare støtter sanne og falske verdier. Han tror ikke på nyanser, alt er svart eller hvitt; gråtoner er umulige i denne typen logikk.
Prinsippene er basert på aristotelisk logikk, som er identitet, ikke-selvmotsigelse og den ekskluderte tredje..
Denne typen logikk ble til som et resultat av studiene som ble utført av filosofene Jan Łukasiewicz og Emil Post, der de sier at andre verdier enn det som allerede er vanlig "sant" og "usant" kan innrømmes, og at disse verdier kan praktisk talt nå til uendelig.
I denne forstand skiller den seg fra bivalent logikk, som bare innrømmer to verdier. Studier viser at multivalent eller flerbrukslogikk håndterer verdier som mulighet, nødvendighet, ikke-nødvendighet, sannhet, løgn og umulighet.
På samme måte har denne typen formell logikk også ansvaret for å studere de filosofiske og strukturelle aspektene av argumentene..
Gjennom formell logikk er det mulig å tilføre en spesifikk resonnement en verdi av sannhet eller løgn.
Som vi har forklart tidligere, fokuserer ikke formell logikk på alle mulighetene som kan trekkes ut av et argument; det fokuserer bare på om dette er sant eller usant. I den forstand viser vi nedenfor noen eksempler basert på formell logikk:
-Buenos Aires er hovedstaden i Argentina; Så alle de som er født i Buenos Aires er argentinske.
-Joao snakker portugisisk. Joao ble født i Portugal. Alle i Portugal snakker portugisisk.
-Kyr gir melk. Kyr er pattedyr. Alle pattedyr gir melk.
-Pedro er hvit og María er brunette, så det er hvite og brune mennesker.
-Maria spiller i rockorkesteret. Musikerne er de som spiller i rockorkesteret. Maria er musiker.
-José har svart hår. Elena har brunt hår. Datteren deres kunne bli født med svart eller brunt hår.
-Foten har fem tær. Mennesker har høyre og venstre fot. Hver person har ti tær..
-Spania er et land. Spania forblir i Europa. Alle spanjoler er europeiske.
- Ana er et levende vesen. Ana er dødelig. Alle levende ting er dødelige.
- José ble våt av vann. Vannet blir vått.
- Maria spiste sin varme mat. Maria ble brent og spiste den varme maten. Varm mat brenner.
- Jorden er en del av universet. Det er planeter i universet. Jorden er en planet.
- Det elektriske lyset tennes. Det er elektrisk lys i gatene. Elektrisk lys belyser gatene.
Ingen har kommentert denne artikkelen ennå.