What do you think?
Rate this book
ABC i symbolisk logik - Logikens språk och grundbegrepp
ABC i symbolisk logik är en första inledning till logikens språk och grundbegrepp.
Den moderna logiken kännetecknas av att den infört särskilda symboler för olika logiska operationer. I de språk som härigenom skapats anges den logiska formen genom själva skrivsättet.
Att lära sig logik är därför som att lära sig ett nytt språk - man måste lära sig att tänka och uttrycka sig i det nya språket. Boken presenterar två av logikens mest grundläggande basspråk och visar genom exempel hur man översätter från vanlig svenska till de logiska språken och omvänt.
Men boken syftar framförallt till att ge en förståelse av vad det innebär att något är logiskt giltigt. Teorierna om sådana grundbegrepp som logisk sanning, logisk konsekvens och logiskt bevis ges en systematisk framställning.
ABC i symbolisk logik vänder sig till var och en som vill stifta bekantskap med modern logik och lära sig att stava i dess språk. Boken har länge använts i universitetskurser. Den utkommer nu i en andra upplaga i vilken flera revideringar gjorts för att tillfredsställa önskemål som framförts från olika håll.
Dag Prawitz är professor emeritus i teoretisk filosofi vid Stockholms universitet.
Den moderna logiken kännetecknas av att den infört särskilda symboler för olika logiska operationer. I de språk som härigenom skapats anges den logiska formen genom själva skrivsättet.
Att lära sig logik är därför som att lära sig ett nytt språk - man måste lära sig att tänka och uttrycka sig i det nya språket. Boken presenterar två av logikens mest grundläggande basspråk och visar genom exempel hur man översätter från vanlig svenska till de logiska språken och omvänt.
Men boken syftar framförallt till att ge en förståelse av vad det innebär att något är logiskt giltigt. Teorierna om sådana grundbegrepp som logisk sanning, logisk konsekvens och logiskt bevis ges en systematisk framställning.
ABC i symbolisk logik vänder sig till var och en som vill stifta bekantskap med modern logik och lära sig att stava i dess språk. Boken har länge använts i universitetskurser. Den utkommer nu i en andra upplaga i vilken flera revideringar gjorts för att tillfredsställa önskemål som framförts från olika håll.
Dag Prawitz är professor emeritus i teoretisk filosofi vid Stockholms universitet.
242 pages, Hardcover
First published January 1, 1968
4 people are currently reading
21 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 - 4 of 4 reviews
April 10, 2011
En kompakt men ändå pedagogisk introduktion till den symboliska logiken. I huvudsak behandlar boken satslogiken och predikatlogiken, men innehåller även kortare avsnitt om mängdläran (här under namnet klasslogik, vilken författaren särskiljer från mängdläran) samt relationer (under namnet relationslogik).
Logiken presenteras genomgående med exempel och med pedagogiska försök (dessutom lyckade sådana) att motivera begreppen, slutsatserna, definitionerna samt att med vardagsspråkliga resonemang förklara resultat och bevis. Vid sidan av detta genomförs visserligen också ganska grundliga formaliseringar av de system som avhandlas, även några ord om metalogiska resultat gällande sådana begrepp som sundhet och fullständighet presenteras kortfattat (utan genomgång av formella bevis för dessa). Ett annat plus i kanten måste sägas utgöras av författarens tendens att nämna alternativa logiker (icke-klassiska logiker av olika slag) som för att nämna att den tolkning av t.ex. logisk giltighet och konsekvens som ges i den klassiska logiken inte utgör det enda sättet att se på begreppen. Kortfattat nämns alltså något om den filosofiska diskussionen kring logiken och de olika ståndpunkter som har intagits av "avvikande" logiska system (intuitionistisk logik exempelvis).
En till synes något underlig och avvikande detalj i boken är att utöver de förmodligen för satslogikens bevisföring obligatoriska sanningsvärdestabellerna, så är den enda bevismetoden (härledningsmetoden) som presenteras den naturliga deduktionen. I den övriga introduktionslitteraturen i ämnet verkar visserligen den naturliga deduktionen ofta nämnas, men då endast som alternativ till den till synes vanligare trädmetoden (även kallad metoden med semantiska tablåer). Detta är i alla fall min tidigare erfarenhet. Då jag läste logik som en delkurs i programmet för data- och systemvetenskap togs trädmetoden och resolutionsmetoden upp (boken, Ekenbergs och Thorbiörnsons Logikens grunder nämnde även den naturliga deduktionen men denna togs inte upp i kursen) och i den introduktionskurs i logik som jag nu har läst på filosofiska institutionen så ignoreras just kapitlen om den naturliga deduktionen i denna bok (som alltså utgör kurslitteraturen i denna delkurs) till förmån för extra stenciler om trädmetoden, vilken är den enda metod vi går igenom där. Även den bok som tidigare användes i denna kurs (Ernest Lepores Meaning and Argument ) presenterade (såvitt jag minns) endast trädmetoden.
Som varande datavetare uppskattade jag att bekanta mig mer med den naturliga deduktionen då denna har intressanta kopplingar till lambda kalkylen, en koppling som (om jag inte har missförstått allt) ligger till grund för den så kallade Curry-Howard-korrespondensen. Dock är denna metod samtidigt intressant nog (nästan ironiskt) mindre mekanisk än trädmetoden och därmed svårare att tillämpa i och med att den verkar kräva mer intuition gällande tillämpningen av regler i en pågående härledning/bevis. Man tillämpar i denna metod ibland en regel för att man vill kunna härleda något ur denna senare. Detta kan tydligt kontrasteras mot trädmetoden där tillvägagångssättet i stort sätt kan beskrivas i form av en punktlista. Dock medför den naturliga deduktionens därmed antydda intuitivitet kanske även något gott, nämligen att slutledningsreglerna (och kanske i mindre utsträckning även härledningsreglerna) kommer närmare våra intuitioner av hur något kan härledas ut något annat, medan trädmetodens regler kan verkar något mer abstrakta och svårare att försvara intuitivt.
Nu är detta dock ett sidospår från den faktiska recensionen av boken, vilken måste avslutas med omdömet att detta är en mycket god introduktionsbok till logiken vilken rekommenderas för den som vill ha lite mer filosofiska motivationer för symboliken och regelsystemen och inte nöjer sig en rent formell, matematisk presentation av den samma (vilket dessvärre är det enda som ges i Ekenbergs och Thorbiörnsons bok).
Logiken presenteras genomgående med exempel och med pedagogiska försök (dessutom lyckade sådana) att motivera begreppen, slutsatserna, definitionerna samt att med vardagsspråkliga resonemang förklara resultat och bevis. Vid sidan av detta genomförs visserligen också ganska grundliga formaliseringar av de system som avhandlas, även några ord om metalogiska resultat gällande sådana begrepp som sundhet och fullständighet presenteras kortfattat (utan genomgång av formella bevis för dessa). Ett annat plus i kanten måste sägas utgöras av författarens tendens att nämna alternativa logiker (icke-klassiska logiker av olika slag) som för att nämna att den tolkning av t.ex. logisk giltighet och konsekvens som ges i den klassiska logiken inte utgör det enda sättet att se på begreppen. Kortfattat nämns alltså något om den filosofiska diskussionen kring logiken och de olika ståndpunkter som har intagits av "avvikande" logiska system (intuitionistisk logik exempelvis).
En till synes något underlig och avvikande detalj i boken är att utöver de förmodligen för satslogikens bevisföring obligatoriska sanningsvärdestabellerna, så är den enda bevismetoden (härledningsmetoden) som presenteras den naturliga deduktionen. I den övriga introduktionslitteraturen i ämnet verkar visserligen den naturliga deduktionen ofta nämnas, men då endast som alternativ till den till synes vanligare trädmetoden (även kallad metoden med semantiska tablåer). Detta är i alla fall min tidigare erfarenhet. Då jag läste logik som en delkurs i programmet för data- och systemvetenskap togs trädmetoden och resolutionsmetoden upp (boken, Ekenbergs och Thorbiörnsons Logikens grunder nämnde även den naturliga deduktionen men denna togs inte upp i kursen) och i den introduktionskurs i logik som jag nu har läst på filosofiska institutionen så ignoreras just kapitlen om den naturliga deduktionen i denna bok (som alltså utgör kurslitteraturen i denna delkurs) till förmån för extra stenciler om trädmetoden, vilken är den enda metod vi går igenom där. Även den bok som tidigare användes i denna kurs (Ernest Lepores Meaning and Argument ) presenterade (såvitt jag minns) endast trädmetoden.
Som varande datavetare uppskattade jag att bekanta mig mer med den naturliga deduktionen då denna har intressanta kopplingar till lambda kalkylen, en koppling som (om jag inte har missförstått allt) ligger till grund för den så kallade Curry-Howard-korrespondensen. Dock är denna metod samtidigt intressant nog (nästan ironiskt) mindre mekanisk än trädmetoden och därmed svårare att tillämpa i och med att den verkar kräva mer intuition gällande tillämpningen av regler i en pågående härledning/bevis. Man tillämpar i denna metod ibland en regel för att man vill kunna härleda något ur denna senare. Detta kan tydligt kontrasteras mot trädmetoden där tillvägagångssättet i stort sätt kan beskrivas i form av en punktlista. Dock medför den naturliga deduktionens därmed antydda intuitivitet kanske även något gott, nämligen att slutledningsreglerna (och kanske i mindre utsträckning även härledningsreglerna) kommer närmare våra intuitioner av hur något kan härledas ut något annat, medan trädmetodens regler kan verkar något mer abstrakta och svårare att försvara intuitivt.
Nu är detta dock ett sidospår från den faktiska recensionen av boken, vilken måste avslutas med omdömet att detta är en mycket god introduktionsbok till logiken vilken rekommenderas för den som vill ha lite mer filosofiska motivationer för symboliken och regelsystemen och inte nöjer sig en rent formell, matematisk presentation av den samma (vilket dessvärre är det enda som ges i Ekenbergs och Thorbiörnsons bok).
September 8, 2021
säkert användbar för folk som faktiskt intresserar sig för filosofisk logik.
Read
October 31, 2011Detta blir endast en kort notis. Jag har även läst den förra upplagan av boken samt har om denna skrivit en något längre recension vilken kan läsas här.
I senaste upplagan är materialet utökat. Det enda jag verkligen la märke till (och, så vitt jag förstår, den huvudsakliga anledningen till denna nya upplaga) är att trädmetoden (semantiska tablåer) nu behandlas som härledningsmetod vid sidan av den naturliga deduktionen. Behandlingen av denna är något underlig då symboliken skiljer sig från den jag har stött på i undervisningen då jag har studerat logik (vilket jag har gjort vid flera tillfällen, vid flera olika instutitioner, med flera olika böcker som kurslitteratur). Dessutom finns ett antal allvarligare fel i presentationen av härledningsreglerna för trädmetoden.
I vilket fall märks att behandlingen är mer utförlig och trädmetoden behövdes för att göra boken mer utförlig, bättre som introduktion till logiken samt mer passande för användning som kurslitteratur. Dock är läsning av denna upplaga inte direkt nödvändig för de som redan har läst den förra, det finns för övrigt bättre källor till just trädmetoden om det är denna nyhet som lockar läsare av den tidigare upplagan att köpa även denna.
I senaste upplagan är materialet utökat. Det enda jag verkligen la märke till (och, så vitt jag förstår, den huvudsakliga anledningen till denna nya upplaga) är att trädmetoden (semantiska tablåer) nu behandlas som härledningsmetod vid sidan av den naturliga deduktionen. Behandlingen av denna är något underlig då symboliken skiljer sig från den jag har stött på i undervisningen då jag har studerat logik (vilket jag har gjort vid flera tillfällen, vid flera olika instutitioner, med flera olika böcker som kurslitteratur). Dessutom finns ett antal allvarligare fel i presentationen av härledningsreglerna för trädmetoden.
I vilket fall märks att behandlingen är mer utförlig och trädmetoden behövdes för att göra boken mer utförlig, bättre som introduktion till logiken samt mer passande för användning som kurslitteratur. Dock är läsning av denna upplaga inte direkt nödvändig för de som redan har läst den förra, det finns för övrigt bättre källor till just trädmetoden om det är denna nyhet som lockar läsare av den tidigare upplagan att köpa även denna.
October 27, 2024
Utmärkt lärobok i symbolisk logik på universitetet!
Displaying 1 - 4 of 4 reviews