ABC i symbolisk logik : logikens språk och grundbegrepp (pocket)

Fler böcker inom

Matematik

Format: Inbunden
Språk: Svenska
Antal sidor: 273
Utgivningsdatum: 2010-10-04
Upplaga: 3
Förlag: Bokförlaget Thales
Medarbetare: Jacobsen, Ulf (form)
Dimensioner: 210 x 160 x 23 mm
Vikt
SAB: Dca
ISBN: 9789172350786

ABC i symbolisk logik : logikens språk och grundbegrepp

Name: ABC i symbolisk logik : logikens språk och grundbegrepp
Price: 259.00 SEK
Availability: InStock
Rating: 4 (1 reviews)
Author: Dag Prawitz
ISBN: 9789172350786

av Dag Prawitz

(4 röster) | Läs 1 recension

Inbunden, Svenska, 2010-10-04

259

Köp

Spara som favorit

Skickas från oss inom 2-3 vardagar.
Fri frakt över 249 kr för privatkunder i Sverige.

ABC i symbolisk logik är en första inledning till logikens språk och grundbegrepp. Den moderna logiken kännetecknas av att den har 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 språ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. Detta den tredje utökade upplagan med några nya avsnitt i vilka en enkel metod presenteras för att besvara frågor om logisk sanning och logisk konsekvens. Dag Prawitz är professor emeritus i teoretisk filosofi vid Stockholms universitet.

Visa hela texten

Passar bra ihop

De som köpt den här boken har ofta också köpt Stockholm, staden i kartor : 1590-1940 av Per Kallstenius (inbunden).

Köp båda 2 för 408 kr

Jag vet ingen bättre svensk lärobok än Dag Prawitz ABC...
MB, 16 juli 2013

Jag vet ingen bättre svensk lärobok än Dag Prawitz ABC i symbolisk logik. Den hastighet i vilken Prawitz presenterar nya idéer är skön, och den intuitiva beskrivningen av formella definitioner gör att man inte bara lär sig diskutera grundläggande logik men också komma ihåg det. Övningarna är aldrig svåra, de är ofta lätta till en början men sällan lätta in mot slutet; det finns alltid något att tänka på. Att bläddra tillbaks och studera Prawitz exempel är kul, jag blev ofta glad för klarheten... Läs hela recensionen

1 av 2 personer tyckte att den här recensionen var till hjälp.

Tyckte du att den här recensionen var till hjälp?
Ja Nej Anmäl

Visa alla 1 recensioner

Natural Deduction

Dag Prawitz

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating m...

169

Köp

Skickas inom vardagar.
Meaning and Interpretation

Dag Prawitz

This volume contains 16 papers on problems about meaning and interpretation. The themes treated range from general philosophical issues concerning meaning and interpretation to more specific questions about interpretation of historical events, Bib...

250

Köp

Skickas inom vardagar.