[L01] Hvad er logik?

Så hvad er logik? Kort sagt kan vi definere logik som studiet af principperne om korrekt ræsonnement. Dette er en grov definition, for hvordan logik skal defineres korrekt, er faktisk en ganske kontroversiel sag. Imidlertid, med henblik på denne tur, vi troede, det ville være nyttigt at give dig i det mindste en ID.om det emne, du vil studere. Så det er, hvad vi skal forsøge at gøre på denne side.

§1., Logik er ikke psykologien i ræsonnement

en ting du bør bemærke om denne definition er, at logik er bekymret for principperne om korrekt ræsonnement. At studere de korrekte principper for ræsonnement er ikke det samme som at studere psykologien i ræsonnement. Logik er den tidligere disciplin, og den fortæller os, hvordan vi burde resonnere, hvis vi vil resonnere korrekt. Hvorvidt folk rent faktisk følger disse regler for korrekt ræsonnement er en empirisk sag, noget der ikke er logikens bekymring.

psykologien i ræsonnement er på den anden side en empirisk videnskab., Det fortæller os om de faktiske ræsonnementsvaner hos mennesker, herunder deres fejl. En psykolog, der studerer ræsonnement, kan være interesseret i, hvordan folks evne til at begrunde varierer med alderen. Men sådanne empiriske fakta er ingen bekymring for logician.

2 2. Principperne for logik

Så hvad er disse principper for ræsonnement, der er en del af logikken? Der er mange sådanne principper, men det vigtigste (ikke det eneste), vi studerer i logik, er principper, der styrer argumenternes gyldighed – om visse konklusioner følger af nogle givne antagelser., Overvej for eksempel følgende tre argumenter :

disse tre argumenter her er naturligvis gode argumenter i den forstand, at deres konklusioner følger af antagelserne. Hvis antagelserne af argumentet er sande, konklusionen af argumentet skal også være sandt. En logiker vil fortælle os, at de alle er tilfælde af en bestemt form for argument kendt som “modus ponens”:

Hvis P, så Q. P. Derfor discussing.

Vi skal diskutere gyldighed igen senere. Det skal påpeges, at logik ikke kun vedrører argumenternes gyldighed., Logik studerer også konsistens og logiske sandheder og egenskaber ved logiske systemer som fuldstændighed og soliditet. Men vi skal se, at disse andre begreber også i høj grad hænger sammen med begrebet gyldighed.

3 3. Emne neutralitet

Modus ponens kan bruges til at illustrere to funktioner omkring regler for reasoing i logik. Den første funktion er denstopisk neutralitet. Som de fire eksempler antyder, kan modus ponens bruges til ræsonnement om forskellige emner. Dette gælder for alleprincipper for ræsonnement i logik., Biologiens love kan være sandtkun af levende væsener, og økonomiens love er kun anvendelige til samlinger af agenter, der enagage i finansielle transaktioner. Men principperne for logik er universelle principper, som er mere generelleend biologi og økonomi. Dette er delvis, hvad der er underforstået ifølgende definitioner af logik af to meget berømte logikere:

… navnet på en disciplin, der analyserer betydningen af de begreber, der er fælles for alle videnskaber, og fastlægger de generelle love, der regulerer begreberne.,

§4. Nødvendighed i logik

et andet træk ved principperne om logik erat de er ikke-betingede, i den forstand, at de ikke er afhængige afeventuelle særlige utilsigtede træk i verden., Fysik og de andreempiriske videnskaber undersøger, hvordan verden faktisk er.Fysikere kan fortælle os, at intet signal kan rejse hurtigere end lysets hastighed, men hvis fysikkens love har været forskellige, såmåske ville dette ikke have været sandt. På samme måde kan biologer undersøge, hvordan delfiner kommunikerer med hinanden, men hvis løbet af Evolution havde været anderledes, så måske delfiner måske ikke haveeksisterede. Så teorierne i de empiriske videnskaber er betingede iden forstand, at de kunne have været ellers., Logikens principper er derimod afledt ved hjælp af kun ræsonnement, og deres validitetafhænger ikke af nogen betingede træk i verden.

for eksempel fortæller logic os, at enhver erklæring om formularen “IfP derefter P.” nødvendigvis er sandt. Dette er et princip af den anden art, logician undersøgelse. Dette princip fortæller os, at en erklæring som “hvis det regner, så regner det” skal være sandt. Vi kan nemt se, at dette er tilfældet, uanset om det rent faktisk regner eller ej.,Desuden, selvom fysikkens love eller vejrmønstre var atændre, vil denne erklæring forblive sand. Således siger vi, at scientifictruths (matematik til side) er betinget, mens logiske sandheder er nødvendige. Igen viser dette, hvordan logik er forskellig fra de empiriske videnskaber som fysik, kemi eller biologi.

5 5. Formel og uformel logik

Nogle gange skelnes der mellem uformel logik og formel logik.Udtrykket” uformel logik ” bruges ofte til at betyde det samme somkritisk tænkning., Nogle gange er det vant til at henvise til undersøgelsen afårsager og fejlslutninger i forbindelse med hverdagen. “Formel logik” beskæftiger sig hovedsageligt med formelle logiske systemer. Der er tale om specialkonstruerede bevissystemer, hvor sprogene og reglerne for ræsonnement er præcist og nøje defineret. Sentential logik (også kendt som “Propositionelle logik”) og Prædikat Logik er begge eksempler på formelle systemer af logik.

Der er mange grunde til at studere formel logik., Den ene er, at formallogic hjælper os med at identificere mønstre af god ræsonnement og mønstre af dårlig begrundelse, så vi ved, hvilke vi skal følge, og hvilke vi skal undgå. Dette er whhystudying grundlæggende formel logik kan hjælpe med at forbedre kritisk tænkning. Formalsystemer af logik bruges også af lingvister til at studere naturlige sprog.Computerforskere anvender også formelle logiksystemer i forskning, der vedrører Aritificial Intelligence. Endelig, mange filosoffer ogsåkan lide at bruge formel logik, når der beskæftiger sig med komplicerede filosofiske problemer, for at gøre deres ræsonnement mere eksplicit og præcis.

6 6., Yderligere aflæsninger

• indlæg på logicin Stanford Encyclopedia of Philosophy. Disse er vanskelige artikler om logikens filosofi.