Formellt logiskt föremål för studier, egenskaper och exempel

De formell logik, Kallas också teoretisk logik eller matematisk logik, den bestämmer vad som är giltiga och korrekta resonemangsformer. Genom denna praxis strävar den efter att differentiera korrektheten hos felaktiga.

I formell logik används symboler utan tvetydighet och på det tydligaste sättet, så att de inte kan manipuleras. Tack vare denna praxis kan de utveckla sina egna idéer.

Alfred North Whitehead var en av försvararna av formell logik. Källa: Wellcom Trust [CC BY-SA 4.0 (https: // CreativeCommons.Org/licenser/BY-SA/4.0)]

Ordet "logik" kommer från forntida grekiska λογικήlogikoch, Vilket betyder "begåvad med intellektuell anledning, dialektisk, argumenterande". Logik är en av grenarna i filosofi och matematik och anses vara mycket användbar för dessa discipliner.

I allmänhet studerar logik tanken. De första verk som utförs i förhållande till logik tillskrivs den grekiska filosofen Aristoteles, varför han är känd som den grundande fadern till detta tänkande område.

Genom historien har flera filosofer, matematik och logik försvarat formell logik. Bland dem kan vi namnge matematikern och den logiska Alonzo -kyrkan; filosofen, matematikern och logisk Gottlob Frege; Och även matematikern och filosofen Alfred North Whitehead.

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

[TOC]

Studieobjekt

Formell logik använder aspekter som resonemang, koncept, bedömningar och demonstration som ett objekt för studie. Från dessa element analyserar och studerar alla resurser för språk och semantik för att nå en slutsats.

I detta avseende konstateras att den formella logiken studeras från den strukturerade punkten, från dess giltighet eller funktionshinder.

Formell logik är inte en empirisk studie av resonemangsprocessen. Det bör inte heller förväxlas med övertalning, eftersom det tar strukturen i argumenten för att få en slutsats.

Kan tjäna dig: filosofins ursprung: hur och när ägde det rum?

Denna logik är också känd som teoretisk eller ren logik och syftar till att genomföra en abstrakt studie av innehållet eller logiska former av deduktiva argument, uttalanden, förslag och meningar som assertivt används.

Genom att genomföra en uttömmande studie av formella logiska mönster gör det möjligt för varje individ att veta exakt de tillhörande förfarandena som deras tänkande.

Egenskaper

Nedan är de mest speciella egenskaperna som skiljer den formella logiken från de andra typerna av logik:

-Det är en vetenskap som studerar formen av förutsättningen, 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.

-Tillämpar sådana effektiva metoder att genom formell logik kan rättigheten av rätten särskiljas.

-Slutsatserna från rätt eller giltig resonemang uppstår eftersom strukturen i de verkliga lokalerna 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.

-Kännetecknas av att vara symbolisk.

-Ur en formell vetenskap spelar det en viktig roll i matematik, filosofi, datavetenskap och statistik.

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

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

-Det hänför sig också till psykologi eftersom det fokuserar på studien av varje individs tanke.

Grabbar

Deontisk logik

Det kommer från forntida grekiska Δέον [τος] Donon [hosta] Och det betyder "förfallet" eller "det nödvändiga". Den österrikiska logiken Alois Höffler är slagverkaren i detta koncept, som hänvisar till studien och analysen av normerna.

Kan tjäna dig: René Descartes: Biografi, filosofi och bidrag

Bivalent logik

Det är den typ av logik som endast medger värdena på sant och falskt. Han tror inte på nyanser, allt är svart eller vitt; Den grå skalan är omöjlig i denna typ av logik.

Dess principer är baserade på aristotelisk logik, som är identitet, icke -kontradiktion och den tredje uteslutna.

Multivalent eller mångsidig logik

Denna typ av logik föddes till följd av studierna genomförda av filosoferna Jan łukasiewicz och Emil Post, där de förklarar att andra värden kan antas från de "sanna" och "falska" vanliga, och att dessa Värden kan nästan komma till oändligheten.

I detta avseende skiljer det sig från den bivalenta logiken, som endast medger två värden. Studier visar att multivalent eller mångsidig logik hanterar värden som möjlighet, behov, inget behov, sanning, falskhet och omöjlighet.

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

Exempel

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

Som vi har förklarat ovan fokuserar inte formell logik på alla möjligheter som kan extraheras från ett argument; Det fokuserar bara på detta är sant eller falskt. I den meningen listar vi några exempel baserade på formell logik:

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

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

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

-Pedro är Blanco och María Morena, så det finns vita och brunettfolk.

Kan tjäna dig: humanistiska tänkare

-Maria berör i rockorkestern. Musiker är de som spelar i rockorkestern. Maria är musiker.

-José har svart hår. Elena har brunt hår. Dotter till dem kunde föds med svart eller brunt hår.

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

-Spanien är ett land. Spanien förblir i Europa. Alla spanjor är europeiska.

- Ana är en levande varelse. Ana är dödlig. Alla levande varelser är dödliga.

- José våt med vatten. Vattnet blir vått.

- Maria åt hennes varma mat. Maria brände när hon ätit sin varma mat. Varm mat brinner.

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

- Elektriskt ljus belyser. Det finns elektriskt ljus på gatorna. Elektriskt ljus belyser gatorna.

Referenser

1. "Formell logik" på New World Encyclopedia. Hämtad den 21 april 2019 från New World Encyclopedia: Newworldyclopedia.org.
2. Morton l. Schagrin Ge Hughes "Formell logik" återhämtade sig den 21 april 2019 från Britannica: Britannica.com.
3. "Logik och dess klassificering" i akademin. Hämtad den 23 april 2019 från Academia: Academy.Edu.
4. "Formell logik" i filosofisk ordbok. Hämtad den 23 april 2019 av Philosophical Dictionary: Philosophy.org.
5. "Multipurpose Logic" i filosofisk ordbok. Hämtad den 23 april 2019 av Philosophical Dictionary: Philosophy.org.
6. “Allmänna aspekter av logik” i klubb essayos (18 augusti 2013). Hämtad den 23 april 2019 från klubbuppsatser: Clubansayos.com.
7. "Deontica Logic" i Wikipedia. Hämtad den 23 april 2019 från Wikipedia: Det är.Wikipedia.org.
8. "Multipurpose Logic" i Wikipedia. Hämtad den 23 april 2019 från Wikipedia: Det är.Wikipedia.org.
9. "Bivalent Logic" på Wikipedia. Hämtad den 23 april 2019 från Wikipedia: Det är.Wikipedia.org