Hva er logikk?

Logikk er et område av filosofi som har som mål å studere den formelle strukturen til utsagn (proposisjoner) og deres regler. Kort sagt, logikk tjener til å tenke riktig, og dermed være et verktøy for riktig tenkning.

Logikk kommer fra det greske ordet logoer, som betyr grunn, argumentasjon eller tale. Ideen om å snakke og krangle forutsetter at det som blir sagt har en betydning for lytteren.

Denne sansen er basert på den logiske strukturen, når noe "har logikk" betyr at det gir mening, er det et rasjonelt argument.

Logikk i filosofi

Det var den greske filosofen Aristoteles (384 a. C.-322 a. C.) som skapte studiet av logikk, kalte han det analytisk.

For ham bør all kunnskap som utgir seg for å være sann og universell kunnskap respektere noen prinsipper, logiske prinsipper.

Logikk (eller analyse) ble forstått som et instrument for riktig tenkning og definisjonen av logiske elementer som ligger til grunn for sann kunnskap.

De logiske prinsippene

Aristoteles utviklet seg tre grunnleggende prinsipper som styrer klassisk logikk.

1. identitetsprinsipp

Et vesen er alltid identisk med seg selv: DE é DE. Hvis vi bytter ut DE for Maria er det for eksempel: Maria er Maria.

2. Prinsippet om ikke selvmotsigelse

Det er umulig å være og ikke være samtidig, eller at en enkelt enhet også er det motsatte. det er umulig det DE være DE og ikke-A, samtidig. Eller etter det forrige eksemplet: det er umulig for Maria å være Maria og ikke være Maria.

3. Prinsipp for ekskludert tredjepart, eller ekskludert tredjepart

I proposisjoner (emne og predikat) er det bare to alternativer, enten bekreftende eller negative: DE é x eller DE é nei-x. Maria er lærer eller Maria er ikke lærer. Det er ingen tredje mulighet.

Se også:Aristotelian Logic.

Proposisjonen

I et argument kalles det som er sagt og har form av subjekt, verb og predikat en proposisjon. Proposisjoner er uttalelser, bekreftelser eller benektelser, og gyldigheten eller falsken blir logisk analysert.

Fra analysen av proposisjoner blir studiet av logikk et verktøy for korrekt tenkning. Å tenke riktig trenger (logiske) prinsipper som garanterer dens gyldighet og sannhet.

Alt som blir sagt i et argument er avslutningen på en mental prosess (tanke) som evaluerer og bedømmer noen mulige eksisterende forhold.

Syllogismen

Fra disse prinsippene har vi en deduktiv logisk resonnement, det vil si at fra to tidligere sikkerhet (antagelser) blir en ny konklusjon nådd, som ikke refereres direkte til i lokalene. Dette kalles en syllogisme.

Eksempel:

Hver mann er dødelig. (premiss 1)
Sokrates er en mann. (premiss 2)
Derfor er Sokrates dødelig. (konklusjon)

Dette er den grunnleggende strukturen i pensum og grunnlaget for logikken.

De tre begrepene i syllogismen kan klassifiseres i henhold til deres mengde (universell, bestemt eller entall) og deres kvalitet (bekreftende eller negativ)

Forslag kan variere med hensyn til kvalitet i:

• Bekreftelser: S er P. Hvert menneske er dødelig, Mary er en arbeider.
• Negativer: S er ikke P.Sokrates er ikke egypter.

De kan også variere i antall i:

• Universals: Hver S er P.alle menn er dødelige.
• Privat: Noen S er P. Noen menn er greske.
• Singler: Denne S er P.Sokrates er gresk.

Dette er grunnlaget for aristotelisk logikk og dens avledninger.

Se også: Hva er syllogisme?

Formell logikk

I formell logikk, også kalt symbolisk logikk, reduseres proposisjoner til veldefinerte begreper. På denne måten er ikke det som er sagt det viktigste, men dens form.

Påstandenes logiske form bearbeides gjennom (symbolsk) fremstilling av proposisjoner med bokstaver: P, hvaog r. Det vil også undersøke forholdet mellom proposisjoner gjennom deres logiske operatører: konjunksjoner, disjunksjoner og kondisjonering.

proposisjonslogikk

Dermed kan forslag bearbeides på forskjellige måter og tjene som grunnlag for den formelle validering av en uttalelse.

Logiske operatører etablerer forholdet mellom proposisjoner og muliggjør den logiske kjedingen av deres strukturer. Noen eksempler:

Benektelse

Det er det motsatte av et begrep eller en proposisjon, representert ved symbolet ~ eller ¬ (negasjon av P er ~ p eller ¬ P). I tabellen, for p true, har vi ~ p false. (det er solrikt = P, det er ikke solfylt = ~ P eller ¬ P).

Konjunksjon

Det er foreningen mellom proposisjoner, symbolet ∧ representerer ordet "og" (i dag er det solrikt og Jeg går til stranden, P ∧ hva). For at sammenhengen skal være sant, må begge være sanne.

Disjunksjon

Det er skillet mellom proposisjoner, symbolet v representerer "eller"(Jeg skal til stranden eller Bli hjemme, P v hva). For gyldighet, minst én (eller en annen) må være sant.

Betinget

Det er etableringen av et årsakssammenheng eller betingelse, symbolet ⇒ representerer "hvis... deretter..." (hvis å regne, deretter Jeg blir hjemme, P ⇒ hva).

bi-betinget

Det er etableringen av et toveis betingelsesforhold, det er en dobbel implikasjon, symbolet ⇔ representerer "hvis og bare hvis,". (Jeg går på klasse hvis og bare hvis jeg ikke er på ferie, P ⇔ hva).

Når vi bruker sannhetstabellen, har vi:

P	hva	~ s	~ hva	P ∧ hva	P v hva	P ⇒ hva	P ⇔ hva
V	V	F	F	V	V	V	V
V	F	F	V	F	V	F	F
F	V	V	F	F	V	V	F
F	F	V	V	F	F	V	V

Bokstavene F og V kan erstattes av null og en. Dette formatet er mye brukt i beregningslogikk (F = 0 og V = 1).

Se også: Sannhetstabell.

Andre typer logikk

Det er flere andre typer logikk. Disse typene er generelt avledninger av klassisk formell logikk, og presenterer en kritikk av den tradisjonelle modellen eller en ny tilnærming til problemløsning. Noen eksempler er:

1. Matematisk logikk

Matematisk logikk er avledet av aristotelisk formell logikk og utvikler seg fra dens verdiforhold av proposisjoner.

I det 19. århundre var matematikerne George Boole (1825-1864) og Augustus De Morgan (1806-1871) ansvarlig for å tilpasse aristoteliske prinsipper til matematikk, og gi opphav til et nytt vitenskap.

I det blir mulighetene for sannhet og løgn evaluert gjennom sin logiske form. Setninger blir transformert til matematiske elementer og analysert basert på deres forhold mellom logiske verdier.

Se også: Matematisk logikk.

2. Beregningslogikk

Beregningslogikk er hentet fra matematisk logikk, men går utover det og brukes på dataprogrammering. Uten den ville flere teknologiske fremskritt, for eksempel kunstig intelligens, være umulige.

Denne typen logikk analyserer forholdet mellom verdier og forvandler dem til algoritmer. For dette bruker den også logiske modeller som bryter med modellen som opprinnelig ble foreslått av Aristoteles.

Disse algoritmene er ansvarlige for en rekke muligheter, fra koding og dekoding av meldinger til oppgaver som ansiktsgjenkjenning eller muligheten for autonome biler.

Uansett, hele forholdet man har til datamaskiner, i dag, går gjennom denne typen logikk. Den fusjonerer grunnlaget for tradisjonell aristotelisk logikk med elementer fra den såkalte ikke-klassiske logikken.

3. Ikke-klassisk logikk

Ved ikke-klassisk eller antiklassisk anerkjennes logikk en serie logiske prosedyrer som forlater ett eller flere prinsipper utviklet av tradisjonell (klassisk) logikk.

For eksempel uklar logikk (uklar), mye brukt for utvikling av kunstig intelligens, bruker ikke det tredje prinsippet om utelukkelse. Den antar en hvilken som helst reell verdi mellom 0 (usann) og 1 (sann).

Eksempler på ikke-klassisk logikk er:

• Logikk uklar;
• Intuisjonistisk logikk;
• Parakonsistent logikk;
• Modal logikk.

Nysgjerrigheter

Langt før noen form for beregningslogikk tjente logikken som grunnlaget for alle eksisterende vitenskaper. Noen gir dette resonnementet uttrykt i sitt eget navn ved å bruke suffikset "logi", av gresk opprinnelse.

Biologi, sosiologi og psykologi er noen eksempler som gjør forholdet til logoer Gresk, forstått ut fra ideen om en logisk og systematisk studie.

Taksonomi, klassifisering av levende vesener (rike, fylum, klasse, orden, familie, slekt og art) følger, selv i dag, en logisk modell for klassifisering i kategorier foreslått av Aristoteles.

Se også:

• Logisk resonnement - Øvelser
• Filosofiøvelser