Vad är materiallogik?

Materiallogik är en logikgren som är ansvarig för att analysera innehållet i sina lokaler, i motsats till formell logik, som endast studerar propositionernas struktur. Det är också känt som tillämpat logik, eftersom det är utformat för att leda till en logisk slutsats som har nytta i den verkliga världen.

Traditionellt talar vi om två huvudgrenar av logik: formell logik (även känd som mindre logik) och materiallogik, tillämpad eller större. Även om grunden för båda typerna av logik är likartade, är problemen de hanterar helt annorlunda.

Vissa forskare talar också om en tredje typ av logik, informell logik, som skulle vara ansvarig för att studera de rätta sätten att räkna ut men ta hänsyn till sammanhanget och innehållet i argumenten och propositionerna.

Logikhistoria

Ordet "logik" kommer från den antika grekiska "logiken", som betyder "intellektuell eller argumenterande". Det kan också komma från ordet "logotyper", vilket betyder "ord eller tanke".

Logik är filosofins gren som är ansvarig för att studera formerna av resonemang och dess validitet. Det är en av de två formella vetenskaperna, tillsammans med matematik, eftersom det inte har något innehåll baserat på den verkliga världen: det handlar bara om giltiga former av inferens.

Med andra ord är logik vetenskapen som ansvarar för att studera vad som skiljer sig direkt från felaktig resonemang.

Dess huvuduppgift är att upptäcka mänskliga tankar lagar utöver de metoder som vi kan använda så att vårt tänkande leder till rätta slutsatser.

Typer av logik

Även om logiken alltid studerar relationerna mellan olika element eller "propositioner", kan det göra det på flera olika sätt. Traditionellt anses det att det finns två typer av logik:

  • Formell logik, även känd som ren logik. Det är ansvarigt att bestämma vilka rätta och giltiga sätt att tänka och dra slutsatser.
  • Tillämpad logik eller material, som analyserar inte bara sättet att dra slutsatser, men själva innehållet i lokalerna, så att man i slutändan måste få ett resultat som överensstämmer med verkligheten.

Skillnader mellan formell logik och materiallogik

Den formella logiken är ansvarig för den abstrakta studien av propositioner, fraser och deduktiva argument. Denna disciplin utdrag ur innehållet i dessa element de logiska strukturerna som bildar dem. När detta är gjort studeras huruvida argumentet är giltigt med hjälp av syllogism eller genom ren logik (ersätter propositioner med symboler).

Men även om en resonemang kan vara giltig på logisk nivå, innebär det inte att det är sant. Till exempel kan följande syllogism inträffa:

  • Ingen man gör fel
  • Denna kriminella är en man
  • Då gör den här kriminella inte dåligt

Även om det ur den logiska logikens synvinkel skulle detta argument vara giltigt (eftersom slutsatsen kan dras från dess lokaler) är det uppenbart att slutsatsen inte är sann i den verkliga världen.

Exakt är det logiken som tillämpas: att studera om slutsatserna i formell logik är sanna i den verkliga världen eller ej.

Argumentativa felaktigheter

Ett av de fält som är ansvariga för att studera materiallogik är den av argumenterande felaktigheter. Det här är argument som tydligen är logiska, men när de noggrant undersökts är de avslöjade som falska.

Dessa typer av argument används ofta i vardagliga diskussioner. Därför är deras lärande mycket användbart för att lära sig att argumentera mer effektivt.

Även om det finns många typer av argumentativa felsökningar, och att vissa ligger inom formell logik, kommer vi att se nedan några av de vanligaste typerna av tillämpad logik.

1- Fallacy ad ignorantiam

Denna argumentativa felaktighet består i att försöka bevisa att något är sant, helt enkelt för att man inte säkert vet att det är falskt. Ett av de mest nyfikna exemplen på denna typ av fel är "The Flying Spaghetti Monster", som uppfanns av en universitetsprofessor.

Det är en falsk religion där ett osynligt monster av spagetti och köttbullar dyrkas och som skapade universum i hans bild och likhet.

Huvudargumentet för att bevisa sin existens är att "vi kan inte säkert veta att det inte existerar".

2- Fallacy ad consequentiam

Denna felaktighet består i att försöka övertyga samtalaren om att något är sant eller falskt beroende på om konsekvenserna är goda eller dåliga.

Att säga att bröd inte blir tjockt eftersom det skulle vara ett stort slag mot jordbrukarnas ekonomi skulle vara ett exempel på denna typ av felaktighet.

3- Fallacy ad verecundiam

Denna typ av felaktighet, även känd som "auktoritetens misslyckande", består i att låtsas att en slutsats endast är giltig för att den försvaras av någon som är av stor betydelse, antingen på grund av sin kunskap eller hans sociala ställning.

Ett exempel på felaktigt ad verecundiam skulle vara att låtsas att jorden är platt eftersom det sägs av en berömd person.

4- Fallacy av den förhastade generaliseringen

Den bygger på att dra slutsatser utan att ha tillräckligt med data för att bekräfta det. Det klassiska exemplet är stereotyper: övertygelser om personer av vissa raser, sexuella orienteringar, nationaliteter eller könen, och bekräftar att alla som tillhör dessa grupper är en väg.

Till exempel är tron ​​att alla andalusier är vaga och katalaner snedvrider om en förhastad generalisering.

5- Fallacy ad hominem

Denna felaktighet består i att avvisa en persons argument som falska på grund av en personlig egenskap hos hans. Avvisa till exempel någons idéer eftersom de inte har en bra personlig bild, eftersom de pratar konstigt eller eftersom de inte har fina funktioner.

6- Fallacy post hoc ergo propter hoc

Denna felaktighet (som bokstavligen betyder "efter därför på grund av") består i att tro att om en händelse inträffar rätt efter varandra, måste båda vara direkt relaterade, trots att det saknas bevis för att bekräfta något sådant.

Till exempel, om någon berör sin lyckliga charm innan han spelar lotteriet och vinner, kan han argumentera för att han har vunnit priset exakt genom att utföra den åtgärden i förväg. Detta skulle vara ett fall av posthoc ergo propter hoc.