Formell logik: Föremål för studier, egenskaper, typer och exempel

Den formella logiken, även kallad teoretisk logik eller matematisk logik, bestämmer vilka är de giltiga och korrekta formerna av resonemang. Genom denna övning försöker vi skilja rätten från fel.

I formella logiska symboler används otvetydigt och så klart som möjligt, så att de inte kan manipuleras. Tack vare denna övning är det möjligt att utveckla egna idéer.

Ordet "logik" kommer från den antika grekiska λογικήlogik ḗ, som betyder "begåvad med intellektuell, dialektisk, argumentativ anledning". Logik är en av filosofins och matematikens grunder, och anses vara mycket användbar för dessa discipliner.

I allmänhet studerar logiken tankesättet. De första verk som görs i relation till logiken tillskrivs den grekiska filosofen Aristoteles, varför han är känd som grundare till detta område av tänkande.

Under hela historien har flera filosofer, matematiker och logiker försvarat formell logik. Bland dem kan vi namnge matematiker och logiker Alonzo-kyrkan; filosofen, matematiker och logiker Gottlob Frege; och matematiker och filosof Alfred North Whitehead.

De har också varit stora försvarare Alfred Tarski, KurtGödel, Bertrand Russell och Willard Van Orman Quine, bland andra.

Objekt av studie

Den formella logiken används som ett objekt av studieaspekter som resonemang, koncept, bedömningar och demonstration. Från dessa element analyseras och studeras alla resurser i språket och semantiken för att nå fram till en slutsats.

I den meningen är det uppenbart att i den formella logiken studeras resonemanget från den strukturerade punkten, från dess giltighet eller invaliditet.

Formell logik är inte en empirisk studie av resonemangsprocessen. Inte heller förväxlas med övertalning, eftersom det tar argumentets struktur att få en slutsats.

Denna logik är också känd som teoretisk eller ren logik och syftar till att utföra en abstrakt studie av innehållet eller de logiska formerna av deduktiva argument, uttalanden, propositioner och meningar som används på ett strikt sätt.

Genom att utföra en uttömmande studie av formella logiska mönster kan varje enskild person känna till exakt vilka procedurer som är förknippade med deras tänkande.

särdrag

Följande är de mest särdrag som skiljer formell logik från andra typer av logik:

-Det är en vetenskap som studerar formen av premissen, till skillnad från andra typer av logik som bara studerar materialet.

-Det är en struktur utan materia.

-Det är etablerat under en delmängd av formella system.

-Applicerar metoder så effektiva att genom formell logik kan man skilja sig från fel från höger.

Slutsatserna av rätt eller giltigt resonemang uppstår på grund av att strukturen hos de sanna lokalerna analyseras.

- Studera och analysera människor för att komma direkt till tanken och därmed kunna skapa nya mönster i varje enskild persons sinne.

-Det kännetecknas av att vara symboliskt.

-Från en formell vetenskaplig synpunkt spelar en viktig roll i matematik, filosofi, datavetenskap och statistik.

-Det är relaterat till grammatik på grund av studie av semantik.

- Studera strukturerna, varför det jämförs med matematik.

-Det handlar också om psykologi eftersom den fokuserar på studier av varje individs tänkande.

Typ

Deontisk logik

Det kommer från den antika grekiska δέον [τος] déon [hosta] och betyder "vad som händer" eller "vad som är nödvändigt". Den österrikiska logiker Alois Höffler är det här begreppets författare, som refererar till studier och analys av standarder.

Bivalent logik

Det är den typ av logik som bara tillåter värdena sant och falskt. Han tror inte på nyanser, allt är svart eller vitt; Gråskala är omöjligt i denna typ av logik.

Dess principer är baserade på aristotelisk logik, som är identitet, motsägelse och utesluten tredje.

Plurivalent eller polyvalent logik

Denna typ av logik föddes från de studier som filosoferna Jan Łukasiewicz och Emil Post utförde, där de säger att andra värden än de vanliga "sanna" och "falska" kan antas och att nämnda värden nästan kan nås till oändligheten.

I den meningen skiljer sig den från den bivalenta logiken, som endast tillåter två värden. Studier visar att den plurivalenta eller flervärda logiken hanterar värden som möjlighet, nödvändighet, icke-nödvändighet, sanning, lögn och omöjlighet.

På samma sätt är denna typ av formell logik också ansvarig för att studera de filosofiska och strukturella aspekterna av argumenten.

exempel

Genom formell logik är det möjligt att lägga till ett värde av sanning eller falskhet till en specifik resonemang.

Som vi tidigare har förklarat fokuserar inte formell logik på alla möjligheter som kan utvinnas ur ett argument; Det fokuserar bara på om detta är sant eller felaktigt. I den meningen är det några exempel på formell logik:

-Buenos Aires är huvudstaden i Argentina; då är alla som är födda i Buenos Aires argentiner.

-Joao talar portugisiska. Joao föddes i Portugal. Alla i Portugal talar portugisiska.

-Korna ger mjölk. Kor är däggdjur. Alla däggdjur ger mjölk.

-Pedro är vit och María Morena, så det finns vita och bruna människor.

-María spelar i rockorkestern. Musikerna är de som spelar i rockorkestern. María är en musiker.

-Jose har svart hår. Elena har brunt hår. Deras dotter kan födas med svart eller brunt hår.

-Foten har fem fingrar Människor har en högra fot och en vänster fot. Varje person har tio tår på fötterna.

-Spain är ett land. Spanien är i Europa. Alla spanjorer är europeiska.

- Ana är ett levande väsen. Ana är dödlig. Alla levande varelser är dödliga.

- José blev våt med vatten. Vattenslagret.

- Maria åt henne varm mat. Maria brände sig själv genom att äta sin heta mat. Varm mat brinner.

- Jorden är en del av universum. I universum finns planeter. Jorden är en planet.