De formell logik, Även kallad teoretisk logik eller matematisk logik, bestämmer den vilka som är giltiga och korrekta resonemang. Genom denna praxis försöker vi skilja på vad som är korrekt från vad som är felaktigt.
I formell logik används symboler entydigt och så tydligt som möjligt så att de inte kan manipuleras. Tack vare denna praxis är det möjligt att utveckla dina egna idéer.
Ordet "logik" kommer från forntida grekiska λογικήlogikoch, vilket betyder "utrustad med intellektuell, dialektisk, argumenterande anledning." Logik är en av grenarna inom filosofi och matematik och anses vara mycket användbar för dessa discipliner.
Generellt studerar logiken tankens form. De första verken som utfördes i förhållande till logiken tillskrivs den grekiska filosofen Aristoteles, varför han är känd som grundaren till detta tankeområde..
Genom historien har olika filosofer, matematiker och logiker försvarat formell logik. Bland dem kan vi nämna matematikern och logikern Alonzo Church. filosofen, matematikern och logikern Gottlob Frege; och även matematikern och filosofen Alfred North Whitehead.
Bland annat Alfred Tarski, KurtGödel, Bertrand Russell och Willard Van Orman Quine har varit stora försvarare..
Artikelindex
Formell logik använder aspekter som resonemang, koncept, bedömningar och demonstration som ett studieobjekt. Från dessa element analyserar och studerar man alla resurser inom språk och semantik för att nå en slutsats.
I denna mening är det fastställt att i formell logik resonemang studeras från den strukturerade synvinkeln, från dess giltighet eller ogiltighet.
Formell logik är inte en empirisk studie av resonemangsprocessen. Det bör inte heller förväxlas med övertalning, eftersom det krävs strukturen för argumenten för att få en slutsats.
Denna logik är också känd som teoretisk eller ren logik och syftar till att genomföra en abstrakt studie av innehållet eller de logiska formerna för deduktiva argument, uttalanden, propositioner och påståenden som används..
Genom att genomföra en uttömmande studie av de formella logikmönstren kommer varje individ att veta exakt de förfaranden som är förknippade med deras tänkande..
Nedan följer de mest speciella egenskaper som skiljer formell logik från andra typer av logik:
-Det är en vetenskap som studerar premissformen, till skillnad från andra typer av logik som endast studerar materialet.
-Det är en struktur utan materia.
-Det är etablerat under en delmängd av formella system.
-Tillämpar metoder så effektiva att du genom formell logik kan skilja vad som är fel från vad som är rätt.
-Slutsatserna av det korrekta eller giltiga resonemanget uppstår eftersom strukturen i de verkliga förutsättningarna analyseras.
-Studera och analysera människor för att komma direkt till tanken och därmed kunna skapa nya mönster i varje individs sinne.
-Det kännetecknas av att vara symboliskt.
-Ur formell vetenskapssynpunkt spelar den en viktig roll i matematik, filosofi, datavetenskap och statistik..
-Det är relaterat till grammatik på grund av studiet av semantik.
-Studera strukturer, varför det jämförs med matematik.
-Det är också relaterat till psykologi eftersom det fokuserar på studiet av varje individs tankar.
Kommer från forntida grekiska δέον [τος] déon [hosta] och det betyder "vad som ska" eller "vad som är nödvändigt." Den österrikiska logikern Alois Höffler är pionjären för detta koncept, som hänvisar till studier och analys av normer.
Det är den typ av logik som endast stöder sanna och falska värden. Han tror inte på nyanser, allt är svart eller vitt; gråskala är omöjligt i denna typ av logik.
Dess principer bygger på aristotelisk logik, som är identitet, icke-motsägelse och den uteslutna tredje..
Denna typ av logik föddes som ett resultat av studierna utförda av filosoferna Jan Łukasiewicz och Emil Post, där de anger att andra värden än det redan vanliga "sanna" och "falska" kan erkännas, och att dessa värden kan praktiskt taget nå oändligheten.
I denna mening skiljer det sig från tvåvärd logik, som endast medger två värden. Studier visar att multivalent eller multifunktionell logik hanterar värden som möjlighet, nödvändighet, icke-nödvändighet, sanning, falskhet och omöjlighet.
På samma sätt ansvarar denna typ av formell logik också för att studera argumentens filosofiska och strukturella aspekter..
Genom formell logik är det möjligt att lägga till ett värde av sanning eller falskhet i ett specifikt resonemang.
Som vi har förklarat tidigare fokuserar formell logik inte på alla möjligheter som kan extraheras från ett argument; det fokuserar bara på om detta är sant eller falskt. I den meningen, nedan listar vi några exempel baserade på formell logik:
-Buenos Aires är Argentinas huvudstad. Så alla födda i Buenos Aires är argentinska.
-Joao talar portugisiska. Joao föddes i Portugal. Alla i Portugal talar portugisiska.
-Kor ger mjölk. Kor är däggdjur. Alla däggdjur ger mjölk.
-Pedro är vit och María är brunett, så det finns vita och bruna människor.
-Maria spelar i rockorkestern. Musikerna är de som spelar i rockorkestern. Maria är musiker.
-José har svart hår. Elena har brunt hår. Deras dotter kunde födas med svart eller brunt hår.
-Foten har fem tår. Människor har en höger och en vänster fot. Varje person har tio tår..
-Spanien är ett land. Spanien förblir i Europa. Alla spanjorer är europeiska.
- Ana är en levande varelse. Ana är dödlig. Alla levande saker är dödliga.
- José blev våt av vatten. Vattnet blir blött.
- Maria åt sin varma mat. Maria brändes och åt sin varma mat. Varm mat brinner.
- Jorden är en del av universum. Det finns planeter i universum. Jorden är en planet.
- Det elektriska ljuset tänds. Det finns elektriskt ljus på gatorna. Elektriskt ljus belyser gatorna.
Ingen har kommenterat den här artikeln än.