FORMELL LOGIK: STUDIEOBJEKT, EGENSKAPER OCH EXEMPEL - FILOSOFI - 2025

Den formella logiken , även kallad logisk teoretisk eller matematisk logik, som bestämmer giltiga och korrekta resonemang är. Genom denna praxis försöker vi skilja det som är korrekt från det som är felaktigt.

I formell logik används symboler otvetydigt och på det tydligaste sättet så att de inte kan manipuleras. Tack vare denna praxis är det möjligt att utveckla dina egna idéer.

Alfred North Whitehead var en av förespråkarna för den formella logiken. Källa: Wellcome Trust

Ordet "logik" kommer från den antika grekiska λογικήlogik ḗ, vilket betyder "begåvad med intellektuellt, dialektiskt och argumenterande skäl." Logik är en av filialerna och matematikens grenar, och den anses vara till stor nytta för dessa discipliner.

I allmänhet studerar logik formen av tankar. De första verk som utförts i relation till logik tillskrivs den grekiska filosofen Aristoteles, varför han är känd som grundaren till detta tankeområde.

Under hela historien har olika filosofer, matematiker och logiker försvarat formell logik. Bland dem kan vi namnge matematiker och logiker Alonzo Church; filosofen, matematikern och logikern Gottlob Frege; och även matematikern och filosofen Alfred North Whitehead.

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

Studieobjekt

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

I denna mening är det fastställt att man i formell logik resonerar utifrån strukturerad synvinkel, 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 försöker genomföra en abstrakt studie av innehållet eller logiska formerna för de deduktiva argumenten, uttalanden, uttalanden och assertivt använda meningar.

Genom att genomföra en uttömmande studie av mönstren med formell logik kan varje individ veta exakt vilka förfaranden som är förknippade med deras tänkande.

egenskaper

Nedan är de mest specifika egenskaperna som skiljer formell logik från andra typer av logik:

-Det är en vetenskap som studerar formen på 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.

-Använd metoder så effektiva att du genom formell logik kan skilja vad som är fel och vad som är rätt.

-Slutsatserna av korrekt resonemang eller giltighet uppstår eftersom strukturen för de verkliga lokalerna analyseras.

-Studiera 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 det är symboliskt.

-Fram synen på en formell vetenskap spelar den en viktig roll i matematik, filosofi, datavetenskap och statistik.

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

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

-Det är också relaterat till psykologi eftersom det fokuserar på att studera tanken på varje individ.

typer

Deontisk logik

Det kommer från det antika grekiska έον déon och betyder "vad som är förfallet" eller "vad som är nödvändigt". Den österrikiska logikern Alois Höffler är pionjären i detta koncept, som hänvisar till studier och analys av normer.

Bivalent logik

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 är baserade på Aristoteliansk logik, som är identitet, icke-motsägelse och den uteslutna tredje parten.

Multivalent eller mångsidig logik

Denna typ av logik föddes som ett resultat av de studier som genomförts av filosoferna Jan Łukasiewicz och Emil Post, där de säger att andra värden än de redan vanliga "sanna" och "falska" kan erkännas, och att dessa värden praktiskt taget kan nå till oändligheten.

I den meningen skiljer det sig från bivalent logik, som endast medger två värden. Studier visar att multivalent eller flervärd logik hanterar värden som möjlighet, nödvändighet, icke-nödvändighet, 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 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 har förklarat tidigare fokuserar formell logik inte på alla möjligheter som kan dras ut från ett argument; det fokuserar bara på om detta är sant eller falskt. I den meningen listar vi nedan några exempel baserade på formell logik:

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

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

-Korna 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.

-María 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öds med svart eller brunt hår.

-Foten har fem tår. Människor har en höger fot och en vänster fot. Varje person har tio tår.

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

- Ana är ett 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 heta mat. Maria brann och ätde sin heta mat. Varm mat bränner.

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

- Det elektriska ljuset tänds. Det finns elektriskt ljus på gatorna. Elektriskt ljus lyser upp gatorna.

referenser

1. "Formell logik" i encyklopedin i den nya världen. Hämtad den 21 april 2019 från New World encyclopedia: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes “Formell logik” i Hämtad 21 april 2019 från Britannica: britannica.com.
3. "Logiken och dess klassificering" i Academy. Hämtad 23 april 2019 från Academia: academia.edu.
4. "Formell logik" i filosofisk ordbok. Hämtad 23 april 2019 från Philosophical Dictionary: philosoph.org.
5. "Polyvalent logik" i Philosophical Dictionary. Hämtad 23 april 2019 från Philosophical Dictionary: philosoph.org.
6. "Allmänna aspekter av logik" i Club Essays (18 augusti 2013). Hämtad 23 april 2019 från klubbförsök: clubensayos.com.
7. "Deontisk logik" i wikipedia . Hämtad 23 april 2019 från Wikipedia: es.wikipedia.org.
8. "Multifunktionslogik" i wikipedia . Hämtad 23 april 2019 från Wikipedia: es.wikipedia.org.
9. "Bivalent logik" i wikipedia . Hämtad 23 april 2019 från Wikipedia: es.wikipedia.org