{"id":173,"date":"2011-10-06T01:33:28","date_gmt":"2011-10-06T01:33:28","guid":{"rendered":"http:\/\/www.vince-inc.com\/vincent\/?p=173"},"modified":"2011-10-10T21:54:58","modified_gmt":"2011-10-10T21:54:58","slug":"moderne-elementaer-logik","status":"publish","type":"post","link":"https:\/\/www.vince-inc.com\/vincent\/?p=173","title":{"rendered":"Moderne element\u00e6r logik"},"content":{"rendered":"

Vincent F. Hendricks<\/strong>
\nStig Andur Pedersen<\/strong>
\nForlaget H\u00f8st & S\u00f8n, 2002, 392 s., 300 kr.
\nAutomatic Press \/ VIP, 2011, 2. rev. udgave, 390 s., 150 kr.<\/p>\n

Indledning<\/a>
\nEnglish Summary<\/a>
\nOm forfatterne<\/a>
\nIndholdsfortegnelse<\/a>
\nForside<\/a>
\nErrata<\/a>
\nBrochure<\/a>
\nTable of Contents<\/a><\/span><\/p>\n

\n

2. reviderede udgave<\/strong><\/p>\n

Moderne\u00a0element\u00e6r logik er netop kommet i en 2. reviderede udgave i marts\u00a02011<\/span><\/p>\n

\"\"<\/p>\n


\nAnmeldelse\u00a001 – RUC NYT 13, 2002<\/a><\/span><\/p>\n

Anmeldelse\u00a002 – Mathilde 13, 2002<\/a><\/span><\/p>\n

Anmeldelse\u00a003 – Sandhedens Sider, oktober 2002<\/a><\/span><\/p>\n

<\/a>
\nIndledning<\/strong><\/p>\n

Alle\u00a0mennesker er i stand til at udf\u00f8re korrekte logiske slutninger, men vi\u00a0g\u00f8r os sj\u00e6ldent klart, hvordan vi b\u00e6rer os ad. Det kan logikken til\u00a0geng\u00e6ld fort\u00e6lle, og derfor spiller den s\u00e5 vigtig en rolle i mange\u00a0moderne videnskaber.<\/span><\/p>\n

Med
\nudgangspunkt i simple argumenter og slutningskemaer f\u00f8rer Moderne element\u00e6r logik l\u00e6seren gennem den moderne logik og dens\u00a0systemer \u0096 fra klassisk udsagnslogik over f\u00f8rste ordens pr\u00e6dikatslogik\u00a0til modallogik, herunder aletisk, temporal og epistemisk logik. Desuden\u00a0indeholder bogen kapitler af mere avanceret karakter om formelle\u00a0strukturer, modelteori og metateoretiske unders\u00f8gelser af udsagnslogik\u00a0samt f\u00f8rste og h\u00f8jere ordens logik.<\/span><\/p>\n


\nModerne\u00a0element\u00e6r logik\u00a0<\/span>er tilrettelagt med henblik p\u00e5 universiteternes\u00a0grunduddannelser i bl.a. filosofi, matematik, datalogi, lingvistik og\u00a0retorik, men henvender sig ogs\u00e5 til studerende p\u00e5\u00a0overbygningsuddannelsernes specialkurser \u0096 og i det hele taget enhver,\u00a0der interesserer sig for \u0094t\u00e6nkningens grundlove\u0094.<\/span><\/span><\/p>\n

<\/a>
\nENGLISH\u00a0SUMMARY<\/strong><\/p>\n

We are all capable of drawing logically valid inferences. Rarely however do we concern ourselves with how we are able to do so. That’s the business of logic and one of the main reasons why logic plays such a paramount role in many different sciences\u00a0today.<\/span><\/p>\n

Beginning with simple arguments and inferences Modern Elementary Logic takes the reader on a systematic tour of contemporary logic – from the propositional calculus, through the first order predicate calculus to non-standard logics like alethic, temporal and epistemic logic. The book also includes advanced chapters on formal structures, model theory and meta-theoretical discussions of the propositional, first and high order calculi including soundness and completeness, compactness, Tarski’s theorem, G\u00f6del’s incompleteness theorems, L\u00f6venheim-Skolem’s theorem, Lindstr\u00f6m’s theorem, categorisity and logical paradoxes most notably Russell’s, Cantor’s, Richard’s and Tarski’s\u00a0paradoxes.<\/span><\/p>\n

Modern Elementary Logic is a university textbook which can be used at the undergraduate level in philosophy, mathematics, computer science and linguistics but may also be used at the graduate level. Then again, the book is also intended for anybody interested in the fundamental laws of\u00a0thought.<\/span><\/p>\n

<\/a>
\nOM\u00a0FORFATTERNE<\/strong><\/p>\n


\nVincent\u00a0F. Hendricks<\/strong>, f\u00f8dt 1970, PhD 1997, lektor i erkendelsesteori, logik\u00a0og metodologi ved Afdelingen for Filosofi og Videnskabsteori, Roskilde\u00a0Universitetscenter. Han er forfatter til en r\u00e6kke b\u00f8ger og artikler om\u00a0formel erkendelsesteori, logik og videnskabsteori. \u00a0<\/span>Blandt\u00a0andet b\u00f8gerne The Convergence of Scientific Knowledge (2001), FORCING\u00a0\u0096 Epistemology (2002), og Philosophy and Philosophers\u00a0(2002). Han er medudgiver af Proof Theory \u0096 History and\u00a0Philosophical Significance (2000), Probability Theory \u0096Philosophy, Recent History and Relations to Science (2001), og Knowledge\u00a0\u0096 Logical Foundations and Applications (2002).<\/span><\/span><\/span><\/p>\n


\nStig\u00a0Andur Pedersen<\/strong>, f\u00f8dt 1943, professor i videnskabsteori ved\u00a0Afdelingen for Filosofi og Videnskabsteori, Roskilde Universitetscenter.\u00a0Han er forfatter til en r\u00e6kke b\u00f8ger og artikler om naturvidenskabernes\u00a0videnskabsteori, medicinsk videnskabsteori, logik og erkendelsesteori.\u00a0Blandt andet b\u00f8gerne Naturvidenskabernes videnskabsteori (1981,\u00a01991) og Philosophy of Medicine: An Introduction (1986). \u00a0<\/span>Han\u00a0har redigeret Thomas S. Kuhn \u0096 Videnskabens Revolutioner (1995)\u00a0og er medudgiver af Proof Theory \u0096 History and Philosophical\u00a0Significance (2000), Probability Theory \u0096 Philosophy, Recent\u00a0History and Relations to Science (2001), og Knowledge \u0096 Logical\u00a0Foundations and Applications (2002).<\/span><\/span><\/span><\/p>\n

<\/a>
\nIndholdsfortegnelse<\/strong><\/p>\n

Forord<\/span><\/p>\n

\n

Kapitel 1. Logisk\u00a0gyldighed
\n<\/span>1.1 Introduktion
\n1.2 Organisering<\/p>\n<\/blockquote>\n

Del I – Klassisk logik<\/span><\/p>\n

\n

Kapitel 2. Formelle\u00a0sprog
\n<\/span>2.1 Syntax
\n2.2 Semantik
\n2.3 (*) Ad\u00e6kvate m\u00e6ngder af konnektiver
\n2.3 Logisk form og\u00a0 formalisering<\/p>\n

Kapitel 3. Udsagnslogik
\n3.1 Modeksempler
\n3.2 Sandhedstavler
\n3.3 Konnektiver, forgreninger og tr\u00e6er
\n3.4 Semantiske tableauer
\n3.5 Gentzens sekventkalkyle
\n3.6 Naturlig deduktion
\n3.7 Hilbert-stil bevisteori
\n3.8 Anbefaling
\n3.9 (*) Metateori<\/p>\n

Kapitel 4. Strukturer og sprog
\n<\/span>4.1 Fra L til LFOL
\n<\/sub>4.2 Objekter, egenskaber, relations og dom\u00e6ner
\n4.3 Syntax
\n4.4 Semantik
\n4.5 Logisk form og formalisering
\n4.6 (*) Formelle strukturer
\n4.7 (*) F\u00f8rste-ordens modeller
\n4.8 (*) Logik og algebra<\/p>\n

Kapitel 5. F\u00f8rsteordens Pr\u00e6dikatslogik
\n<\/span>5.1 Semantiske tableauer
\n5.2 Gentzens sekventkalkyle
\n5.3 Naturlig deduktion
\n5.4 Hilbert-stil bevisteori
\n5.5 Syllogismel\u00e6ren
\n5.6 (*) Metateori<\/p>\n<\/blockquote>\n

Del II – Andre logikker<\/span><\/p>\n

\n

Kapitel 7. Aletisk\u00a0logik
\n<\/span><\/span>6.1 Syntax
\n6.2 Semantik
\n6.3 Mulig verdens semantik
\n6.4 Modale tableaur
\n6.5 Eksempler
\n6.6 Nogle vigtige modallogikker
\n6.7 Bevisteori for modallogik
\n6.8 (*) Metateori: Kanoniske modeller og fuldst\u00e6ndighed
\n6.9 Kvantifikation og\u00a0aletiske modaliteter.<\/p>\n

Kapitel 8. Temporal\u00a0og epistemisk logik
\n<\/span>8.1 Temporal logik
\n8.2 Epistemisk\u00a0 logik<\/p>\n<\/blockquote>\n

Appendix A:\u00a0Sandhedstabeller for de logiske konnektiver<\/span><\/p>\n

Appendix B: Forgreningsregler for semantiske tableauer<\/p>\n

Appendix C: Bevissystemer og slutningsregler<\/p>\n

Appendix D: Formalisering<\/p>\n

Appendix E: Axiomer<\/p>\n

Appendix F:\u00a0Logik p\u00e5 WWW<\/p>\n

Appendix G:\u00a0Logikprogrammer til Mac, PC og Linux<\/p>\n

Appendix H: Atter andre logikker.<\/p>\n

Index<\/span><\/p>\n

Litteratur<\/p>\n

<\/a>
\nFORSIDE<\/strong><\/p>\n

\"\"<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Vincent F. Hendricks Stig Andur Pedersen Forlaget H\u00f8st & S\u00f8n, 2002, 392 s., 300 kr. Automatic Press \/ VIP, 2011, 2. rev. udgave, 390 s., 150 kr. Indledning English Summary Om forfatterne Indholdsfortegnelse Forside Errata Brochure Table of Contents 2. reviderede udgave Moderne\u00a0element\u00e6r logik er netop kommet i en 2. reviderede udgave i marts\u00a02011 Anmeldelse\u00a001 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"om_disable_all_campaigns":false,"_exactmetrics_skip_tracking":false,"_uf_show_specific_survey":0,"_uf_disable_surveys":false,"footnotes":""},"categories":[5,4,3],"tags":[],"class_list":["post-173","post","type-post","status-publish","format-standard","hentry","category-books","category-posts","category-publications"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t