[L01] Hva er logikken?

Så hva er logikken? Kort sett, kan vi definere logikk som studiet av prinsippene for riktig resonnement. Dette er en grov definisjon, fordi hvordan logikk bør være riktig definert er faktisk ganske en kontroversiell sak. Imidlertid, i den hensikt av denne turen, og vi tenkte det ville være nyttig å gi deg minst noen grove idé om emnet som du skal studere. Så dette er hva vi skal prøve å gjøre på denne siden.

§1., Logikken er ikke psykologi resonnement

En ting du bør være oppmerksom på om denne definisjonen er at logikk er opptatt med prinsippene for riktig resonnement. Å studere den riktige prinsipper for resonnement er ikke det samme som å studere psykologi resonnement. Logikken er den tidligere disiplin, og det forteller oss hvordan vi bør resonnere hvis vi ønsker å resonnere riktig. Om folk faktisk følger disse reglene for riktig resonnement er et empirisk spørsmål, noe som ikke er bekymring for logikk.

psykologi resonnement, på den annen side, er en empirisk vitenskap., Det forteller oss om den faktiske begrunnelsen vaner av mennesker, inkludert deres feil. En psykolog å studere resonnement kan være interessert i hvordan mennesker er evnen til å resonnere, varierer med alder. Men slike empiriske fakta er av ingen interesse for logician.

§2. Prinsippene i logikk

Så hva er disse prinsippene resonnement som er en del av logikken? Det er mange slike prinsipper, men den viktigste (ikke bare) ting som vi studerer i logikk er prinsipper som regulerer gyldigheten av argumentene – om visse konklusjoner følger fra noen gitte forutsetninger., For eksempel, tenk deg følgende tre argumenter :

Disse tre argumentene her er åpenbart gode argumenter i den forstand at deres konklusjoner som følge av de forutsetningene. Hvis antagelser om argumentet er sant, inngåelse av argumentet må også være til stede. En logician vil fortelle oss at de er alle saker av en bestemt form for argument kjent som «modus ponens» :

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

– Vi skal være med å diskutere gyldigheten på nytt senere. Det bør bemerkes at logikken er ikke bare opptatt av gyldigheten av argumentene., Logikk også studier konsistens, og logiske sannheter, og egenskapene til logiske systemer som fullstendighet og fasthet. Men vi skal se at disse begrepene er også veldig mye knyttet til begrepet om gyldighet.

§3. Emnet nøytralitet

Modus ponens og kan brukes til å illustrere to funksjoner aboutthe regler for reasoing i logikk. Den første funksjonen er itstopic-nøytralitet. Som de fire eksempler foreslår, modus ponenscan brukes i resonnementet om ulike emner. Dette er sant for alle theprinciples av argumentasjon i logikk., Lovene i biologi kan være trueonly av levende skapninger, og de lover og økonomi er bare applicableto samlinger av agenter som enagage i finansielle transaksjoner. Butthe prinsipper logikk er universelle prinsipper som er mer generalthan biologi og økonomi. Dette er i en del hva som er implisert i thefollowing definisjoner av logikk med to svært kjente logicians :

– >

… navnet på en disiplin som analyserer themeaning av begreper felles for alle vitenskaper, og etablerer thegeneral lover som regulerer konsepter.,

§4. Nødvendighet i logikk

En annen funksjon av prinsippene i logikk isthat de er ikke-kontingent, i den forstand at de ikke er avhengige onany spesielle tiltak ved utilsiktede funksjoner av verden., Fysikk og otherempirical sciences undersøke hvordan verden faktisk er.Fysikere kan fortelle oss at ingen signal kan reise raskere enn thespeed av lys, men hvis lovene i fysikk har vært forskjellige, thenperhaps dette ville ikke ha vært ekte. På samme måte, biologer mightstudy hvordan delfiner kommunisere med hverandre, men hvis kurset ofevolution hadde vært annerledes, så kanskje delfiner kan ikke haveexisted. Så teoriene i den empiriske vitenskaper er betinget inthe forstand at de kunne ha vært annerledes., Prinsippene i logikk,på den annen side, er avledet ved hjelp av resonnement, og deres validitydoes ikke avhengig av noen betingede funksjoner av verden.

For eksempel, logikk forteller oss at alle utsagn på formen «IfP deretter P.» er nødvendigvis sant. Dette er et prinsipp i den andre typen som logician studie. Dette prinsippet forteller oss at et utsagn som «hvis det regner, så det regner» må være sann. Vi kan lett seethat dette er faktisk tilfelle, hvorvidt det faktisk er å regne.,Videre, selv om lovene i fysikk eller været var tochange dette utsagnet skal være sant. Dermed kan vi si at scientifictruths (matematikk til side) er betinget mens logiske sannheter er nødvendig. Igjen viser dette hvordan logikk er forskjellig fra den empiriske vitenskaper som fysikk, kjemi eller biologi.

§5. Formell og uformell logikk

noen Ganger skilles mellom uformell logikk og formell logikk.Begrepet «uformell logikk» er ofte brukt til å bety det samme ascritical tenkning., Noen ganger er det brukt for å referere til studiet ofreasoning og tankefeil i sammenheng i hverdagen. «Formell logikk»er hovedsakelig opptatt med formelle systemer av logikk. Disse er speciallyconstructed systemer for gjennomføring av bevisene, hvor språk andrules resonnement er presist og godt definert. Sentential logikk (også kjent som «Proposisjonale logic») og Predikat Logikk er begge eksempler på formelle systemer av logikk.

Det er mange grunner for å studere formell logikk., Det ene er at formallogic hjelper oss med å identifisere mønstre av god begrunnelse og mønstre av badreasoning, slik at vi vet hvilke som skal følge og hvilke å unngå. Dette er whystudying grunnleggende formell logikk kan bidra til å forbedre kritisk tenkning. Formalsystems logikk er også brukt av lingvister å studere naturlige språk.Datamaskinen forskere også benytte formelle systemer av logikk i researchrelating å Aritificial Intelligens. Til slutt, mange filosofer alsolike å bruke formell logikk når du arbeider med kompliserte philosophicalproblems, for å få deres begrunnelse mer eksplisitt og presist.

§6., Ytterligere målinger

• Bidrag på logicin Stanford Encyclopedia of Philosophy. Disse er vanskelige artikler om filosofi logikk.