Formell logikk: Objekt av studie, egenskaper, typer og eksempler

Den formelle logikken, også kalt teoretisk logikk eller matematisk logikk, bestemmer hvilke er de gyldige og korrekte former for resonnement. Gjennom denne praksisen søker vi å skille rett fra feil.

I formelle logikk symboler brukes ubegrenset og så klart som mulig, slik at de ikke kan manipuleres. Takket være denne øvelsen er det mulig å utvikle egne ideer.

Ordet "logikk" kommer fra den gamle greske λογικήlogik ḗ, som betyr "utstyrt med intellektuell, dialektisk, argumentativ grunn". Logikk er en av filosofiens og matematikkens grener, og anses å være nyttig for disse fagområdene.

Generelt studerer logikken tankens form. De første verkene i forhold til logikk er tilskrevet den greske filosofen Aristoteles, derfor er han kjent som grunnleggeren av dette tankegangen.

Gjennom historien har flere filosofer, matematikere og logikere forsvart formell logikk. Blant dem kan vi nevne matematiker og logiker Alonzo kirke; filosofen, matematiker og logiker Gottlob Frege; og matematiker og filosof Alfred North Whitehead.

De har også vært gode forsvarere, blant annet Alfred Tarski, KurtGödel, Bertrand Russell og Willard Van Orman Quine.

Studieobjekt

Den formelle logikken bruker som et objekt av studieaspekter som resonnement, konsept, dommer og demonstrasjon. Fra disse elementene analyserer og analyseres alle ressursene i språket og semantikken for å komme til en konklusjon.

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

Formell logikk er ikke en empirisk studie av argumentasjonsprosessen. Det skal heller ikke forveksles med overtalelse, siden det tar argumenter 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 logiske former for deduktive argumenter, uttalelser, proposisjoner og setninger som er uttalt.

Gjennomføring av en uttømmende studie av formelle logikkmønstre vil tillate hver enkelt å vite nøyaktig prosedyrene knyttet til deres tenkning.

funksjoner

Følgende er de mest spesielle egenskaper som skiller formell logikk fra andre typer logikk:

-Det er en vitenskap som studerer formenes form, i motsetning til andre typer logikk som bare studerer materialet.

-Det er en struktur uten saken.

-Det er etablert under en del av formelle systemer.

-Applikerer metoder så effektive at gjennom formell logikk kan skille seg fra feil av høyre.

- Konklusjonene av riktig eller gyldig resonnement oppstår fordi strukturen av de sanne lokalene blir analysert.

- Undersøk og analyser folk for å komme direkte til tanken, og dermed kunne etablere nye mønstre i hver enkelt persons sinn.

-Det er preget av å være symbolsk.

- Fra et formidlingsperspektiv spiller en viktig rolle i matematikk, filosofi, datavitenskap og statistikk.

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

- Studer strukturen, og derfor sammenlignes det med matematikk.

-Det handler også om psykologi fordi det fokuserer på studiet av hver enkeltes tenkning.

typen

Deontisk logikk

Den kommer fra den gamle greske δέον [τος] déon [hoste] og betyr "hva som er på grunn" eller "hva som er nødvendig". Den østerrikske logiker Alois Höffler er percusoren til dette konseptet, som refererer til studier og analyse av standarder.

Bivalent logikk

Det er typen logikk som bare tillater sanne og falske verdier. Han tror ikke på nyansene, alt er svart eller hvitt; Gråskala er umulig i denne typen logikk.

Dens prinsipper er basert på aristotelisk logikk, som er identitet, ikke-motsigelse og utelukkende tredje.

Plurivalent eller polyvalent logikk

Denne typen logikk ble født fra studier utført av filosofer Jan Łukasiewicz og Emil Post, der de oppgir at andre verdier enn de vanlige "sanne" og "falske" kan innrømmes, og at nevnte verdier praktisk talt kan nås til uendelig.

I denne forstand er det forskjellig fra den bivalente logikken, som kun tillater to verdier. Studier viser at den plurivalente eller flervalslogikken styrer verdier som mulighet, nødvendighet, ikke-nødvendighet, sannhet, løgn 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 å legge til en verdi av sannhet eller falskhet til en bestemt resonnement.

Som vi tidligere har forklart, fokuserer den formelle logikken ikke på alle mulighetene som kan hentes ut fra et argument; det fokuserer bare på om dette er sant eller falskt. I den forstand er det noen eksempler på formell logikk:

-Buenos Aires er hovedstaden i Argentina; så er alle de som er født i Buenos Aires, argentiner.

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

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

-Pedro er hvit og María morena, så det er hvite og brune mennesker.

-María spiller i rockorkesteret. Musikerne er de som spiller i rockorkesteret. María er musiker.

-Jose har svart hår. Elena har brunt hår. Datteren deres kan bli født med svart eller brunt hår.

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

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

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

- José ble våt med vann. Vanntrådene.

- Maria spiste henne varm mat. Maria brente seg ved å spise henne varm mat. Varm mat brenner.

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