[L01] vad är logik?

Så vad är logik? Kort sagt kan vi definiera logik som studiet av principerna för korrekt resonemang. Detta är en grov definition, för hur logik ska definieras korrekt är faktiskt en ganska kontroversiell fråga. Men för syftet med denna turné trodde vi att det skulle vara användbart att ge dig åtminstone en grov idé om ämnet som du kommer att studera. Så detta är vad vi ska försöka göra på denna sida.

§1., Logik är inte Psykologi resonemang

en sak du bör notera om denna definition är att logiken handlar om principerna för korrekt resonemang. Att studera de korrekta principerna för resonemang är inte detsamma som att studera resonemangets Psykologi. Logiken är den tidigare disciplinen, och den berättar hur vi borde resonera om vi vill resonera korrekt. Huruvida människor faktiskt följer dessa regler för korrekt resonemang är en empirisk fråga, något som inte är logikens angelägenhet.

resonemangets psykologi är å andra sidan en empirisk vetenskap., Det berättar om de faktiska resonemangsvanorna hos människor, inklusive deras misstag. En psykolog som studerar resonemang kan vara intresserad av hur människors förmåga att resonera varierar med åldern. Men sådana empiriska fakta är inte av intresse för logikern.

§2. Principerna för logik

Så vad är dessa principer för resonemang som ingår i logiken? Det finns många sådana principer, men det viktigaste (inte det enda) som vi studerar i logik är principer som styr argumentens giltighet – om vissa slutsatser följer av vissa givna antaganden., Tänk till exempel på följande tre argument:

dessa tre argument här är uppenbarligen goda argument i den meningen att deras slutsatser följer av antagandena. Om antagandena i argumentet är sanna måste slutsatsen av argumentet också vara sann. En logiker kommer att berätta för oss att de är alla fall av en viss form av argument som kallas ”modus ponens”:

om P, då Q. P. Därför Q.

Vi kommer att diskutera giltigheten igen senare. Det bör påpekas att logiken inte bara handlar om argumentens giltighet., Logic studerar också konsistens och logiska sanningar och egenskaper hos logiska system som fullständighet och sundhet. Men vi kommer att se att dessa andra begrepp också är mycket relaterade till begreppet giltighet.

§3. Ämnesneutralitet

Modus ponens kan användas för att illustrera två funktioner om reglerna för reasoing i logiken. Den första funktionen är desstopisk-neutralitet. Som de fyra exemplen föreslår, modus ponenskan användas i resonemang om olika ämnen. Detta gäller för allaprinciper för resonemang i logik., Biologins lagar kan vara sannaendast av levande varelser, och ekonomins lagar är endast tillämpligatill samlingar av agenter som går i finansiella transaktioner. Men logikens principer är universella principer som är mer allmänna än biologi och ekonomi. Detta är delvis vad som är underförstått iföljande definitioner av logik av två mycket kända logiker:

… namnet på en disciplin som analyserar betydelsen av begreppen som är gemensamma för alla vetenskaper och etablerarallmänna lagar som styr begreppen.,

§4. Nödvändighet i logik

en andra egenskap hos logikens principer äratt de inte är kontingenta, i den meningen att de inte är beroende avnågra speciella oavsiktliga egenskaper i världen., Fysik och andratempiriska vetenskaper undersöker hur världen faktiskt är.Fysiker kan berätta för oss att ingen signal kan resa snabbare än ljusets hastighet, men om fysikens lagar har varit olika, dåkan detta inte ha varit sant. På samma sätt undersöker biologer hur delfiner kommunicerar med varandra, men om evolutionens förlopp hade varit annorlunda, kanske delfiner kanske inte har existerat. Så teorierna i de empiriska vetenskaperna är kontingenta iden meningen att de kunde ha varit annars., Principerna för logik, å andra sidan, härleds endast med resonemang, och deras validitetberor inte på några kontingenta egenskaper i världen.

logic säger till exempel att ett uttalande av formuläret ”IfP then P.” nödvändigtvis är sant. Detta är en princip av den andra typen som logiker studerar. Denna princip säger oss att ett uttalande som ”om det regnar, då regnar det” måste vara sant. Vi kan lätt se att detta verkligen är fallet, vare sig det faktiskt regnar eller inte.,Dessutom, även om fysikens lagar eller vädermönster var tochange, kommer detta uttalande att förbli sant. Således säger vi att scientifictruths (matematik åt sidan) är kontingenta medan logiska sanningar är nödvändiga. Återigen visar detta hur logik skiljer sig från de empiriska vetenskaperna som fysik, kemi eller biologi.

§5. Formell och informell logik

ibland görs en skillnad mellan informell logik och formell logik.Termen ”informell logik” används ofta för att betyda samma sakkritiskt tänkande., Ibland används det för att hänvisa till studien avreasoning och felaktigheter i samband med vardagen. ”Formell logik” handlar främst om formella system av logik. Dessa är speciellastrukturerade system för att utföra bevis, där språken och resonemangsreglerna är exakt och noggrant definierade. Sententiell logik (även känd som” Propositional logic”) och predikatlogik är båda exempel på formella system av logik.

det finns många anledningar till att studera formell logik., En är att formallogic hjälper oss att identifiera mönster av bra resonemang och mönster av badreasoning, så vi vet vilka som ska följas och vilka som ska undvikas. Detta är närstudera grundläggande formell logik kan bidra till att förbättra kritiskt tänkande. Formalsystems of logic används också av lingvister för att studera naturliga språk.Dataforskare använder också formella system av logik i forskningrelatera till Aritificiell intelligens. Slutligen, många filosofer ocksåsom att använda formell logik när man hanterar komplicerade filosofiskaproblem, för att göra deras resonemang mer explicit och exakt.

§6., Ytterligare avläsningar

• Inträden på logicin Stanford Encyclopedia of Philosophy. Det här är svåra artiklar om logikens filosofi.