De 7 mest utmärkta logiska egenskaperna

Logik karaktäriseras som en studie av de metoder och principer som används för att urskilja den ogiltiga giltiga resonemanget.

Det bör noteras att denna disciplin endast är intresserad av hur det är idealiskt motiverat och inte hur varje person förklarar (den senare är psykologins arbete).

Logik erbjuder helt enkelt en uppsättning regler som reglerar resonemang och ger de nödvändiga verktygen för att göra skillnad mellan kvalitetsargument och dåliga argument.

Enligt graden av formalitet skiljer sig två typer av logik: formella och informella.

Den formella logiken präglas av tillämpningen av inferens för förståelsen av vissa uttalanden. För sin del är informell logik ansvarig för att studera naturligt språk, det som används av högtalare i vardagssituationer.

Å andra sidan kan logiken också vara induktiv och deduktiv. I det första fallet kommer resultaten av den logiska processen att vara acceptabla men inte avgörande. I det andra fallet kommer resultaten att verifieras och gälla.

Huvudegenskaper hos logiken

1- Resultaten av logiken är giltiga eller ogiltiga

Logiken består av resonemang för att framställa argument. Dessa argument utvärderas med avseende på giltighet.

Det betyder att ur logikens synvinkel finns det inga korrekta eller felaktiga argument, men giltiga eller ogiltiga.

2- Det kan vara deduktivt, induktivt, abduktivt eller analogt

Logik följer en serie mönster för att ge en giltig resonemang. Dessa mönster är avdrag, induktion, bortförande och analogi.

Var och en av tre modeller tillämpas enligt omständigheterna i det kommunikativa sammanhanget.

Deductiv logik

Den deduktiva logiken är en där en slutsats dras från två lokaler. Av dessa två lokaler representerar den första en universell proposition (eftersom den är generell) och den andra är ett specifikt uttalande (eftersom det är speciellt).

Giltigheten av resultaten av deduktiv logik beror på värdigheten hos de lokaler som ligger till grund för. Om lokalerna är ogiltiga, kommer slutsatsen också att vara ogiltig.

Det traditionella exemplet på denna typ av logik är följande:

-Alla människor är dödliga.

-Aristotle är en människa.

-Den Aristoteles är dödlig.

Induktiv logik

Induktiv logik består av processen i motsats till deduktiv logik. Generellt sett syftar denna typ av logik till att extrahera lokaler från en redan befintlig slutsats.

Det innebär att denna typ av logik förutsätter lokaler som stöder en observerbar slutsats. På så sätt kan de erhållna lokalerna vara sannolika och acceptabla men inte helt sanna.

Därefter presenteras ett exempel på induktiv logik:

- Observerbar slutsats: Valpen sover i huset på regniga dagar.

-Premisa: Varje gång det regnar sover valpen i huset.

Abduktiv logik

Denna typ av logik liknar induktiv logik genom att den syftar till att extrahera lokaler från en slutsats.

Skillnaden mellan dessa två processer är att bortförande ger bästa möjliga förklaring till slutsatsen som presenteras. Resultaten kan dock vara felaktiga.

Till exempel:

-Ljusen i min systers rum är på. Då måste hon vara vaken.

analogi

Denna logiska process uppträder när likhetsförhållanden etableras mellan en situation som observeras och en annan som är känd.

Till exempel: Min väns katt skrapar husets dörr. När min katt vill gå en promenad, skrapar dörren till mitt hus. Kanske vill min väns katt gå en promenad.

3- Logiken kan vara formell och informell

Logiken är uppdelad i två huvudgrenar: formell logik och informell logik.

Den formella logiken är filosofisk och traditionell. Den är ansvarig för att studera deduktiva argument, de som används för att dra slutsatser.

Å andra sidan är informell logik den som ansvarar för att studera argumenten som uttrycks i naturligt språk (dagligen och icke-specialiserat).

Den fokuserar på analysen av resonemanget som kan hittas i samtal med vänner, annonser, tidningsartiklar, nyheter, bland andra.

4- De logiska uttalandena motsäger inte

Logiken styrs av principen om icke-motsägelse. Detta säger att två motsägelsefulla förslag inte kan vara giltiga samtidigt. Det betyder att du inte kan vara och inte vara samtidigt.

Tänk på följande propositioner:

-Torget har fyra sidor.

-Torget har fem sidor.

När två motsägelsefulla uttalanden presenteras måste man nödvändigtvis vara ogiltig. I det här fallet är det andra förslaget ogiltigt eftersom det står emot matematisk logik.

5- tredje utesluten

Logik präglas av principen om den uteslutna tredje. Denna princip bygger på klassisk logik, som säger att ett förslag endast kan vara sant eller falskt, utan att det finns möjlighet att det finns ett tredje alternativ.

Denna princip är relaterad till icke-motsägelse. Medan principen om motstridighet säger att två motsägelsefulla propositioner inte kan vara sanna samtidigt, påpekar den uteslutna tredje parten att båda motsägelsefulla propositioner inte kan vara falska. Med våld måste man vara sant.

6- Förslagets giltighet utvärderas med beaktande av vissa bestämmelser

Det finns olika modaliteter som logiken tar hänsyn till när man bestämmer om en proposition är giltig eller ej. Bland dessa är:

- Den tidsmässiga skillnaden: några propositioner var falska tidigare men nu är de sanna i nuet och vice versa.

- Den epistemologiska skillnaden: i vissa fall är det känt att propositionerna är sanna eller falska. I andra fall antas det att propositionerna är sanna eller inte.

7- De logiska uttalandena är enheter

De logiska uttalandena, antingen deductiva, induktiva, abduktiva eller analoga, representerar en enhet. Därför kan de inte delas upp.

Denna egenskap försvaras av propositionell logik. Denna logikgren säger att dela enkla uttalanden, de som bildas av två lokaler och en slutsats, skulle vara ett fel eftersom det skulle förringa propositionen.