- Studieobjekt
- kjennetegn
- typer
- Deontisk logikk
- Bivalent logikk
- Multivalent eller flerbrukslogikk
- eksempler
- referanser
Den formelle logikken , også kalt logisk teoretisk eller matematisk logikk, som bestemmer gyldige og korrekte resonnementformer er. Gjennom denne praksisen søker vi å skille det som er riktig fra det som er feil.
I formell logikk brukes symboler utvetydig og på en tydeligst mulig måte, slik at de ikke kan manipuleres. Takket være denne praksisen er det mulig å utvikle egne ideer.
Alfred North Whitehead var en av talsmenn for formell logikk. Kilde: Wellcome Trust
Ordet "logikk" kommer fra den eldgamle greske λογικήlogik ḗ, som betyr "utstyrt med intellektuell, dialektisk, argumenterende grunn." Logikk er en av grenene til filosofi og matematikk, og den regnes som til stor nytte for disse fagområdene.
Generelt studerer logikk tankegangen. De første verkene som er utført i forhold til logikk, tilskrives den greske filosofen Aristoteles, og det er grunnen til at han er kjent som grunnleggeren til dette tankeregionen.
Gjennom historien har forskjellige filosofer, matematikere og logikere forsvart formell logikk. Blant dem kan vi navngi 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.
Studieobjekt
Formell logikk bruker aspekter som resonnement, konsept, vurderinger og demonstrasjon som gjenstand for studie. Fra disse elementene analyserer og studerer han alle ressursene til språk og semantikk, for å komme til en konklusjon.
I denne forstand er det slått fast at i formell logikk resonnement studeres fra det strukturerte synspunktet, fra dens gyldighet eller ugyldighet.
Formell logikk er ikke en empirisk studie av resonnementprosessen. Det skal heller ikke forveksles med overtalelse, siden det tar strukturen til argumentene for å få en konklusjon.
Denne logikken er også kjent som teoretisk eller ren logikk, og søker å gjennomføre en abstrakt studie av innholdet eller logiske formene til deduktive argumenter, utsagn, proposisjoner og assertivt brukte setninger.
Gjennomføring av en uttømmende studie av mønstrene for formell logikk vil tillate hver enkelt å vite nøyaktig prosedyrene forbundet med deres tenkning.
kjennetegn
Nedenfor er de mest spesielle egenskapene som skiller formell logikk fra andre typer logikk:
-Det er en vitenskap som studerer formen til forutsetningen, i motsetning til andre typer logikk som kun studerer materialet.
-Det er en struktur uten materie.
-Det er etablert under en undergruppe av formelle systemer.
- Bruk metoder så effektive at du gjennom formell logikk kan skille hva som er galt fra det som er riktig.
-Konklusjonene om korrekt resonnement eller gyldighet oppstår fordi strukturen til de sanne premissene blir analysert.
-Studier og analyser mennesker for å komme direkte til tankene, og dermed være i stand til å etablere nye mønstre i hvert enkelt sinn.
-Det er preget av å være symbolsk.
-Fra synspunktet på en formell vitenskap spiller den en viktig rolle i matematikk, filosofi, informatikk og statistikk.
-Det er relatert til grammatikk på grunn av studium av semantikk.
-Study strukturer, og det er grunnen til at det sammenlignes med matematikk.
-Det er også relatert til psykologi fordi det fokuserer på studiet av tanken til hvert enkelt individ.
typer
Deontisk logikk
Det kommer fra det eldgamle greske έέον déon og betyr "hva som skyldes" eller "hva som er nødvendig". Den østerrikske logikeren Alois Höffler er pioneren i dette konseptet, som viser til studier og analyse av normer.
Bivalent logikk
Det er den typen logikk som bare støtter sanne og falske verdier. Han tror ikke på nyanser, alt er svart eller hvitt; gråtoner er umulig i denne typen logikk.
Prinsippene er basert på aristotelisk logikk, som er identitet, ikke-selvmotsigelse og den ekskluderte tredjeparten.
Multivalent eller flerbrukslogikk
Denne typen logikk ble født som et resultat av studiene utført av filosofene Jan Łukasiewicz og Emil Post, der de oppgir at andre verdier enn den allerede vanlige "sanne" og "falske" kan innrømmes, og at disse verdiene praktisk talt kan nå til uendelig.
I denne forstand skiller den seg fra bivalent logikk, som bare innrømmer to verdier. Studier viser at multivalent eller flerverdig logikk håndterer verdier som mulighet, nødvendighet, ikke-nødvendighet, sannhet, usannhet og umulighet.
På samme måte er denne typen formell logikk også ansvarlig for å studere de filosofiske og strukturelle aspektene av argumentene.
eksempler
Gjennom formell logikk er det mulig å tilføre en verdi av sannhet eller usannhet til en spesifikk begrunnelse.
Som vi har forklart tidligere, fokuserer ikke formell logikk på alle mulighetene som kan trekkes ut fra et argument; den fokuserer bare på om dette er sant eller usant. I den forstand lister vi nedenfor noen eksempler basert på formell logikk:
-Buenos Aires er hovedstaden i Argentina; da er alle de som er født i Buenos Aires argentinske.
-Joao snakker portugisisk. Joao ble født i Portugal. Alle i Portugal snakker portugisisk.
-Kyrne gir melk. Kor er pattedyr. Alle pattedyr gir melk.
-Pedro er hvit og María er brunette, så det er hvite og brune mennesker.
-María spiller i rockeorkesteret. 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 en høyre fot og en venstre fot. Hver person har ti tær.
-Spanje 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 sin varme mat. Varm mat brenner.
- Jorden er en del av universet. I universet er det planeter. Jorden er en planet.
- Det elektriske lyset lyser. Det er elektrisk lys i gatene. Elektrisk lys lyser opp gatene.
referanser
- "Formell logikk" i New World-leksikon. Hentet 21. april 2019 fra Nytt verdens leksikon: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes “Formell logikk” i Hentet 21. april 2019 fra Britannica: britannica.com.
- "Logikken og dens klassifisering" i Academy. Hentet 23. april 2019 fra Academia: academia.edu.
- "Formell logikk" i filosofisk ordbok. Hentet 23. april 2019 fra Philosophical Dictionary: philosoph.org.
- "Polyvalent logic" i Philosophical Dictionary. Hentet 23. april 2019 fra Philosophical Dictionary: philosoph.org.
- "Generelle aspekter ved logikk" i Club Essays (18. august 2013). Hentet 23. april 2019 fra Klubbforsøk: clubensayos.com.
- "Deontisk logikk" i wikipedia . Hentet 23. april 2019 fra Wikipedia: es.wikipedia.org.
- "Flerbrukslogikk" i wikipedia . Hentet 23. april 2019 fra Wikipedia: es.wikipedia.org.
- "Bivalent logikk" i wikipedia . Hentet 23. april 2019 fra Wikipedia: es.wikipedia.org