<section id="container"><div role="main" id="main" class=""><div id="sectionContent"><fieldset><h3 class="b-head"><span id="w70700" class="werd">Further</span><span id="w70701" class="werd"> Reading</span></h3><span id="w70702" class="werd"><br/></span><p class="basal-type"><span id="w70703" class="werd">Here</span><span id="w70704" class="werd"> are</span><span id="w70705" class="werd"> some</span><span id="w70706" class="werd"> suggested</span><span id="w70707" class="werd"> readings</span><span id="w70708" class="werd"> in</span><span id="w70709" class="werd"> logic,</span><span id="w70710" class="werd"> arranged</span><span id="w70711" class="werd"> by</span><span id="w70712" class="werd"> the</span><span id="w70713" class="werd"> topics</span><span id="w70714" class="werd"> they</span><span id="w70715" class="werd"> cover.</span><span id="w70716" class="werd"> Within</span><span id="w70717" class="werd"> each</span><span id="w70718" class="werd"> sub-section,</span><span id="w70719" class="werd"> texts</span><span id="w70720" class="werd"> are</span><span id="w70721" class="werd"> listed</span><span id="w70722" class="werd"> in</span><span id="w70723" class="werd"> order</span><span id="w70724" class="werd"> of</span><span id="w70725" class="werd"> increasing</span><span id="w70726" class="werd"> difficulty.</span></p><span id="w70727" class="werd"><br/></span><h3 class="b-head"><span id="w70728" class="werd">Logic</span><span id="w70729" class="werd"> Puzzles;</span><span id="w70730" class="werd"> Paradoxes</span></h3><span id="w70731" class="werd"><br/></span><span id="w70732" class="werd"><br/></span><span id="w70744" class="werd"><br/></span><span id="w70750" class="werd"><br/></span><span id="w70763" class="werd"><br/></span><span id="w70781" class="werd"><br/></span><span id="w70786" class="werd"><br/></span><table class="plain"><tbody><tr><td width="28%" class="invisible"><strong><span id="w70733" class="werd">Carroll,</span><span id="w70734" class="werd"> L.</span></strong></td><td width="72%" class="invisible"><span id="w70735" class="werd">"What</span><span id="w70736" class="werd"> the</span><span id="w70737" class="werd"> Tortoise</span><span id="w70738" class="werd"> Said</span><span id="w70739" class="werd"> to</span><span id="w70740" class="werd"> Achilles"</span><span id="w70741" class="werd"> [in</span><span id="w70742" class="werd"> many</span><span id="w70743" class="werd"> collections]</span></td></tr><tr><td class="invisible"><strong><span id="w70745" class="werd">Gardner,</span><span id="w70746" class="werd"> M.</span></strong></td><td class="invisible"><em><span id="w70747" class="werd">Entertaining</span><span id="w70748" class="werd"> Mathematical</span><span id="w70749" class="werd"> Puzzles</span></em></td></tr><tr><td class="invisible"><span id="w70751" class="werd"> </span></td><td class="invisible"><em><span id="w70752" class="werd">New</span><span id="w70753" class="werd"> Mathematical</span><span id="w70754" class="werd"> Diversions:</span><span id="w70755" class="werd"> More</span><span id="w70756" class="werd"> Puzzles,</span><span id="w70757" class="werd"> Problems,</span><span id="w70758" class="werd"> Games,</span><span id="w70759" class="werd"> and</span><span id="w70760" class="werd"> Other</span><span id="w70761" class="werd"> Mathematical</span><span id="w70762" class="werd"> Diversions</span></em></td></tr><tr><td class="invisible"><strong><span id="w70764" class="werd">Smullyan,</span><span id="w70765" class="werd"> R.</span></strong></td><td class="invisible"><em><span id="w70766" class="werd">What</span><span id="w70767" class="werd"> Is</span><span id="w70768" class="werd"> the</span><span id="w70769" class="werd"> Name</span><span id="w70770" class="werd"> of</span><span id="w70771" class="werd"> This</span><span id="w70772" class="werd"> Book?:</span><span id="w70773" class="werd"> The</span><span id="w70774" class="werd"> Riddle</span><span id="w70775" class="werd"> of</span><span id="w70776" class="werd"> Dracula</span><span id="w70777" class="werd"> and</span><span id="w70778" class="werd"> Other</span><span id="w70779" class="werd"> Logical</span><span id="w70780" class="werd"> Puzzles</span></em></td></tr><tr><td class="invisible"><strong><span id="w70782" class="werd">Sainsbury,</span><span id="w70783" class="werd"> R.</span><span id="w70784" class="werd"> M.</span></strong></td><td class="invisible"><em><span id="w70785" class="werd">Paradoxes</span></em></td></tr></tbody></table><br><br><span id="w70787" class="werd"><br/></span><h3 class="b-head"><span id="w70788" class="werd">Symbolic</span><span id="w70789" class="werd"> Logic</span></h3><span id="w70790" class="werd"><br/></span><span id="w70791" class="werd"><br/></span><span id="w70798" class="werd"><br/></span><span id="w70811" class="werd"><br/></span><span id="w70825" class="werd"><br/></span><span id="w70833" class="werd"><br/></span><span id="w70840" class="werd"><br/></span><table class="plain"><tbody><tr><td width="28%" class="invisible"><strong><span id="w70792" class="werd">Quine,</span><span id="w70793" class="werd"> W.</span><span id="w70794" class="werd"> V.</span></strong></td><td width="72%" class="invisible"><em><span id="w70795" class="werd">Methods</span><span id="w70796" class="werd"> of</span><span id="w70797" class="werd"> Logic</span></em></td></tr><tr><td class="invisible"><strong><span id="w70799" class="werd">Crossley,</span><span id="w70800" class="werd"> J.</span><span id="w70801" class="werd"> N.</span><span id="w70802" class="werd"> (et</span><span id="w70803" class="werd"> al.)</span></strong></td><td class="invisible"><em><span id="w70804" class="werd">What</span><span id="w70805" class="werd"> Is</span><span id="w70806" class="werd"> Mathematical</span><span id="w70807" class="werd"> Logic?</span><span id="w70808" class="werd"> Mates,</span><span id="w70809" class="werd"> B. Elementary</span><span id="w70810" class="werd"> Logic</span></em></td></tr><tr><td class="invisible"><strong><span id="w70812" class="werd">Hunter,</span><span id="w70813" class="werd"> G.</span></strong></td><td class="invisible"><em><span id="w70814" class="werd">Metalogic:</span><span id="w70815" class="werd"> An</span><span id="w70816" class="werd"> Introduction</span><span id="w70817" class="werd"> to</span><span id="w70818" class="werd"> the</span><span id="w70819" class="werd"> Metatheory</span><span id="w70820" class="werd"> of</span><span id="w70821" class="werd"> Standard</span><span id="w70822" class="werd"> First</span><span id="w70823" class="werd"> Order</span><span id="w70824" class="werd"> Logic</span></em></td></tr><tr><td class="invisible"><strong><span id="w70826" class="werd">Enderton,</span><span id="w70827" class="werd"> H.</span></strong></td><td class="invisible"><em><span id="w70828" class="werd">A</span><span id="w70829" class="werd"> Mathematical</span><span id="w70830" class="werd"> Introduction</span><span id="w70831" class="werd"> to</span><span id="w70832" class="werd"> Logic</span></em></td></tr><tr><td class="invisible"><strong><span id="w70834" class="werd">Mendelson,</span><span id="w70835" class="werd"> E.</span></strong></td><td class="invisible"><em><span id="w70836" class="werd">Introduction</span><span id="w70837" class="werd"> to</span><span id="w70838" class="werd"> Mathematical</span><span id="w70839" class="werd"> Logic</span></em></td></tr></tbody></table><br><br><span id="w70841" class="werd"><br/></span><h3 class="b-head"><span id="w70842" class="werd">Philosophy</span><span id="w70843" class="werd"> of</span><span id="w70844" class="werd"> Logic</span></h3><span id="w70845" class="werd"><br/></span><span id="w70846" class="werd"><br/></span><span id="w70852" class="werd"><br/></span><span id="w70860" class="werd"><br/></span><span id="w70867" class="werd"><br/></span><table class="plain"><tbody><tr><td width="28%" class="invisible"><strong><span id="w70847" class="werd">Haack,</span><span id="w70848" class="werd"> S.</span></strong></td><td width="72%" class="invisible"><em><span id="w70849" class="werd">Philosophy</span><span id="w70850" class="werd"> of</span><span id="w70851" class="werd"> Logics</span></em></td></tr><tr><td class="invisible"><strong><span id="w70853" class="werd">Strawson,</span><span id="w70854" class="werd"> P.</span><span id="w70855" class="werd"> F.</span></strong></td><td class="invisible"><em><span id="w70856" class="werd">Introduction</span><span id="w70857" class="werd"> to</span><span id="w70858" class="werd"> Logical</span><span id="w70859" class="werd"> Theory</span></em></td></tr><tr><td class="invisible"><strong><span id="w70861" class="werd">Engel,</span><span id="w70862" class="werd"> P.</span></strong></td><td class="invisible"><em><span id="w70863" class="werd">The</span><span id="w70864" class="werd"> Norm</span><span id="w70865" class="werd"> of</span><span id="w70866" class="werd"> Truth</span></em></td></tr></tbody></table><br><br><span id="w70868" class="werd"><br/></span><h3 class="b-head"><span id="w70869" class="werd">The</span><span id="w70870" class="werd"> Foundation</span><span id="w70871" class="werd"> of</span><span id="w70872" class="werd"> Mathematics</span></h3><span id="w70873" class="werd"><br/></span><span id="w70874" class="werd"><br/></span><span id="w70881" class="werd"><br/></span><span id="w70889" class="werd"><br/></span><span id="w70896" class="werd"><br/></span><span id="w70907" class="werd"><br/></span><span id="w70916" class="werd"><br/></span><span id="w70924" class="werd"><br/></span><span id="w70933" class="werd"><br/></span><table class="plain"><tbody><tr><td width="28%" class="invisible"><strong><span id="w70875" class="werd">Russell,</span><span id="w70876" class="werd"> B.</span></strong></td><td width="72%" class="invisible"><em><span id="w70877" class="werd">Introduction</span><span id="w70878" class="werd"> to</span><span id="w70879" class="werd"> Mathematical</span><span id="w70880" class="werd"> Philosophy</span></em></td></tr><tr><td class="invisible"><strong><span id="w70882" class="werd">Kitcher,</span><span id="w70883" class="werd"> P.</span></strong></td><td class="invisible"><em><span id="w70884" class="werd">The</span><span id="w70885" class="werd"> Nature</span><span id="w70886" class="werd"> of</span><span id="w70887" class="werd"> Mathematical</span><span id="w70888" class="werd"> Knowledge</span></em></td></tr><tr><td class="invisible"><strong><span id="w70890" class="werd">Körner,</span><span id="w70891" class="werd"> S.</span></strong></td><td class="invisible"><em><span id="w70892" class="werd">The</span><span id="w70893" class="werd"> Philosophy</span><span id="w70894" class="werd"> of</span><span id="w70895" class="werd"> Mathematics</span></em></td></tr><tr><td class="invisible"><strong><span id="w70897" class="werd">Benacerraf,</span><span id="w70898" class="werd"> P.</span><span id="w70899" class="werd"> &</span><span id="w70900" class="werd"> Putnam,</span><span id="w70901" class="werd"> H.</span></strong></td><td class="invisible"><em><span id="w70902" class="werd">Philosophy</span><span id="w70903" class="werd"> of</span><span id="w70904" class="werd"> Mathematics:</span><span id="w70905" class="werd"> Selected</span><span id="w70906" class="werd"> Readings</span></em></td></tr><tr><td class="invisible"><strong><span id="w70908" class="werd">Wittgenstein,</span><span id="w70909" class="werd"> L.</span></strong></td><td class="invisible"><em><span id="w70910" class="werd">Remarks</span><span id="w70911" class="werd"> on</span><span id="w70912" class="werd"> the</span><span id="w70913" class="werd"> Foundations</span><span id="w70914" class="werd"> of</span><span id="w70915" class="werd"> Mathematics</span></em></td></tr><tr><td class="invisible"><strong><span id="w70917" class="werd">van</span><span id="w70918" class="werd"> Heijenoort,</span><span id="w70919" class="werd"> J.</span></strong></td><td class="invisible"><em><span id="w70920" class="werd">From</span><span id="w70921" class="werd"> Frege</span><span id="w70922" class="werd"> to</span><span id="w70923" class="werd"> Gödel</span></em></td></tr><tr><td class="invisible"><strong><span id="w70925" class="werd">Krivine,</span><span id="w70926" class="werd"> J.</span><span id="w70927" class="werd"> L.</span></strong></td><td class="invisible"><em><span id="w70928" class="werd">Introduction</span><span id="w70929" class="werd"> to</span><span id="w70930" class="werd"> Axiomatic</span><span id="w70931" class="werd"> Set</span><span id="w70932" class="werd"> Theory</span></em></td></tr></tbody></table><br><br><span id="w70934" class="werd"><br/></span><h3 class="b-head"><span id="w70935" class="werd">Inductive</span><span id="w70936" class="werd"> Logic;</span><span id="w70937" class="werd"> Philosophy</span><span id="w70938" class="werd"> of</span><span id="w70939" class="werd"> Science;</span><span id="w70940" class="werd"> Miscellaneous</span></h3><span id="w70941" class="werd"><br/></span><span id="w70942" class="werd"><br/></span><span id="w70948" class="werd"><br/></span><span id="w70954" class="werd"><br/></span><span id="w70964" class="werd"><br/></span><span id="w70969" class="werd"><br/></span><span id="w70976" class="werd"><br/></span><span id="w70983" class="werd"><br/></span><table class="plain"><tbody><tr><td width="28%" class="invisible"><strong><span id="w70943" class="werd">Poundstone,</span><span id="w70944" class="werd"> W.</span></strong></td><td width="72%" class="invisible"><em><span id="w70945" class="werd">Labyrinths</span><span id="w70946" class="werd"> of</span><span id="w70947" class="werd"> Reason</span></em></td></tr><tr><td class="invisible"><strong><span id="w70949" class="werd">Skyrms,</span><span id="w70950" class="werd"> B.</span></strong></td><td class="invisible"><em><span id="w70951" class="werd">Choice</span><span id="w70952" class="werd"> and</span><span id="w70953" class="werd"> Chance</span></em></td></tr><tr><td class="invisible"><strong><span id="w70955" class="werd">Carnap,</span><span id="w70956" class="werd"> R.</span></strong></td><td class="invisible"><em><span id="w70957" class="werd">An</span><span id="w70958" class="werd"> Introduction</span><span id="w70959" class="werd"> to</span><span id="w70960" class="werd"> the</span><span id="w70961" class="werd"> Philosophy</span><span id="w70962" class="werd"> of</span><span id="w70963" class="werd"> Science</span></em></td></tr><tr><td class="invisible"><strong><span id="w70965" class="werd">Cherniak,</span><span id="w70966" class="werd"> C.</span></strong></td><td class="invisible"><em><span id="w70967" class="werd">Minimal</span><span id="w70968" class="werd"> Rationality</span></em></td></tr><tr><td class="invisible"><strong><span id="w70970" class="werd">Goodman,</span><span id="w70971" class="werd"> N.</span></strong></td><td class="invisible"><em><span id="w70972" class="werd">Fact,</span><span id="w70973" class="werd"> Fiction</span><span id="w70974" class="werd"> and</span><span id="w70975" class="werd"> Forecast</span></em></td></tr><tr><td class="invisible"><strong><span id="w70977" class="werd">Jeffrey,</span><span id="w70978" class="werd"> R.</span></strong></td><td class="invisible"><em><span id="w70979" class="werd">The</span><span id="w70980" class="werd"> Logic</span><span id="w70981" class="werd"> of</span><span id="w70982" class="werd"> Decision</span></em></td></tr></tbody></table><span id="w70984" class="werd"><br/></span><br/> <br/> </fieldset><br/><br/></div><br/> <br/><br/><script type="text/javascript"><br/><br/> Constellation.Data.init.publisherList = null;<br/></script><br/><br/><br/> </div><br/> </section><br/><br/> <br/><script type="text/html" id="topic-template"><br/> <article id="{{ topic.htmlId }}" class="discussion"><br/> <header class="topic"><br/> <img title="{{ topic.createdBy }}" alt="{{ topic.createdBy }}" src="{{ topic.avatarPath }}" class="avatar" /><br/> <h4 title="{{ topic.createdBy }}">{{ topic.createdBy }}</h4><br/> </header><br/> <time datetime="{{ topic.createdOn }}"></time> <br/> <span class="topic-section">{{ topic.section }}</span><span style="float:right;">{{ topic.createdOnText }}</span><br/> <div class="clear"></div><br/> <em>[[ print(unescape(topic.text)); ]]</em><br/> <input type="hidden" value="0" /><br/> <section class="replies-container"><br/> [[ if(parseInt(topic["numReplies"]) > 0){ ]]<br/> <a rel="nofollow" href="#" class="mir toggle replies-closed">toggle</a><br/> <span class="lastReplied">{{ topic.mostRecentReplyDate }}</span><br/> [[} else {]]<br/> <br/> [[}]]<br/> <span class="countReplies"><br/> <span>{{ topic.numReplies }}</span>|<br/> <a rel="nofollow" href="#" class="reply">reply</a><br/> <div class="caret"></div><br/> </span><br/> <ol class="replies"></ol><br/> <form><br/> <fieldset class="reply"><br/> <input type="hidden" value="q905/jLFsVfQlJnEUpwwLstbFP0cDUQw" name="__RequestVerificationToken"></input><br/> <img src="{{ topic.avatarPath }}" class="avatar reply" /><br/> <textarea maxlength="350" id="reply-Text{{ topic.htmlId }}" placeholder="Type here to reply to this discussion."></textarea><br/> <div class="clear"></div><br/> <span class="maxReply"><span class="character-count">350</span> of 350 characters left</span><br/> <a rel="nofollow" href="#" class="mir cancel">cancel</a><br/> <input type="submit" id="reply-{{ topic.htmlId }}" value="Reply" class="btn action" /><br/> </fieldset> <br/> </form> <br/> </section> <br/> </article> <br/> </script><br/><br/> <script type="text/html" id="reply-template"><br/> <article class="reply"><br/> <img title="{{ reply.createdBy }}" alt="{{ reply.createdBy }}" src="{{ reply.avatar }}" class="avatar" /><br/> <h4 title="{{ reply.createdBy }}">{{ reply.createdBy }}</h4><br/> <time datetime="{{ reply.createdOn }}"></time><br/> <span style="float:right;">{{ reply.createdOnText }}</span> <br/> <div class="clear"></div><br/> <em>[[ print(unescape(reply.text)); ]]</em> <br/> </article> <br/> </script><br/><br/> <section style="display:none;" id="discussion-popup" class="footer-popover"><br/> <b class="popover-header"></b><br/> <b class="tr"></b><br/> <b class="tl"></b><br/> <div class="popover-title"><br/> Discussions<br/> <a rel="nofollow" href="#" class="close"></a> <br/> </div><br/> <div class="popover-list-shell"><br/> <br/> <br/><br/><div id="discussion-activity-indicator"><img alt="" src="/images/search-loader.gif"> Loading Discussions</div><br/><section id="discussion"><br/> <header id="discussion-header" class="discussion"><br/> <form action="Discussions/CreateTopic" id="newTopicForm" method="POST"><br/> <fieldset class="discussion"><br/> <input type="hidden" value="q905/jLFsVfQlJnEUpwwLstbFP0cDUQw" name="__RequestVerificationToken"><br/> <img alt="Your avatar" class="avatar"><br/> <textarea maxlength="350" id="newTopicText"></textarea><br/> <div class="clear"></div><br/> <span class="maxTopic"><span class="character-count">350</span> of 350 characters left</span><br/> <input type="submit" id="newTopic" value="Submit" class="btn action"><br/> </fieldset><br/> </form> <br/> </header><br/> <input type="hidden" id="discussion-state" value="0"><br/> <ol id="discussions-container"></ol> <br/></section><br/> </div> <br/> <b class="bl"></b> <br/> <b class="popover-footer"></b><br/> <b class="br"></b> <br/> <div class="arrow-bottom"></div> <br/> </section> <br/><br/> <!--TODO: Move into TOC/Annotations menu area --><br/><br/> <!-- TODO: Clean up/move out --><br/> <div style="display: none;" id="book-header"><br/> <br/> <a rel="nofollow" accesskey="P" style="position: absolute; display: inline; top: 2072px;" title="Previous section" href="/books/AUPHI103.11.2/sections/ch07" id="previous" class="mir btn-prev navButton">Previous section</a> <span id="book-title">7.1: Logic as the Study of Reasoning</span> <a rel="nofollow" accesskey="N" style="position: absolute; display: inline; top: 2072px;" title="Next section" href="/books/AUPHI103.11.2/sections/biographies" id="next" class="mir btn-next navButton">Next section</a><br/><br/><br/> <div id="book-search"><br/><br/><br/><br/> <fieldset><br/> <form action="" id="searchForm" method="post"><br/> <p><br/> <input type="hidden" value="q905/jLFsVfQlJnEUpwwLstbFP0cDUQw" name="__RequestVerificationToken"><br/> <input type="text" id="searchTextInput" value="Search..." tabindex="1" name="searchText"><br/> <input title="Search" type="image" src="/images/1x1.gif" value="Search" class="search-btn"><br/> </p><br/> </form><br/> </fieldset><br/><br/> <div id="searchResults" class="hidden"><br/> <div id="localResults"></div><br/> <div id="remoteResults"></div><br/> </div><br/> </div><br/> <br/> <div id="book-print"></div><br/> <div id="book-download"><br/> <br/><br/><div style="display: none;" id="downloadForm"></div></div><br/> </div>