Core Logic PDF
Preview Core Logic
(cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page i — #1 (cid:105) (cid:105) Core Logic (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page ii — #2 (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page iii — #3 (cid:105) (cid:105) Core Logic Neil Tennant 1 (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page iv — #4 (cid:105) (cid:105) 3 GreatClarendonStreet,Oxford,OX26DP, UnitedKingdom OxfordUniversityPressisadepartmentoftheUniversityofOxford. ItfurtherstheUniversity’sobjectiveofexcellenceinresearch,scholarship, andeducationbypublishingworldwide. Oxfordisaregisteredtrademarkof OxfordUniversityPressintheUKandincertainothercountries (cid:13)c NeilTennant2017 Themoralrightsoftheauthorhavebeenasserted Firsteditionpublishedin2017 Impression: 1 Allrightsreserved. Nopartofthispublicationmaybereproduced,storedin aretrievalsystem,ortransmitted,inanyformorbyanymeans,withoutthe priorpermissioninwritingofOxfordUniversityPress,orasexpresslypermitted bylaw,bylicenceorundertermsagreedwiththeappropriatereprographics rightsorganization. Enquiriesconcerningreproductionoutsidethescopeofthe aboveshouldbesenttotheRightsDepartment,OxfordUniversityPress,atthe addressabove Youmustnotcirculatethisworkinanyotherform andyoumustimposethissameconditiononanyacquirer PublishedintheUnitedStatesofAmericabyOxfordUniversityPress 198MadisonAvenue,NewYork,NY10016,UnitedStatesofAmerica BritishLibraryCataloguinginPublicationData Dataavailable LibraryofCongressControlNumber: 2017944010 ISBN978–0–19–877789–2 Printedandboundby CPIGroup(UK)Ltd,Croydon,CR04YY LinkstothirdpartywebsitesareprovidedbyOxfordingoodfaithand forinformationonly. Oxforddisclaimsanyresponsibilityforthematerials containedinanythirdpartywebsitereferencedinthiswork. (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page v — #5 (cid:105) (cid:105) For Timothy Smiley (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page vi — #6 (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page vii — #7 (cid:105) (cid:105) Preface core, n. The central or innermost part, the ‘heart’ of anything. logic, n. The branch of philosophy that treats of the forms of thinking in general, and more especially of inference and of scientific method. (Prof. J. Cook Wilson.) Also, since the work of Gottlob Frege (1848–1925), a formal system using symbolic techniques and mathematical methods to establish truth-values in the physical sciences, in language, and in philo- sophical argument. Oxford English Dictionary (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page viii — #8 (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) (cid:105) “book˙with˙index˙all˙em˙spacings” — 2017/7/26 — 16:37 — page ix — #9 (cid:105) (cid:105) Acknowledgments This book arises from a desire to bring together, between two covers, and in a more systematic way, new material along with old material that would otherwise have had to remain scattered over different venues and dates of publication. The system of Core Logic needs a definitive statement, expla- nation, and justification in one up-to-date work, and I hope to provide that here. I am grateful to the editor, Peter Momtchiloff, and two anonymous readers for sage advice on how best to reach my intended readership. If I fail to do so, it will be my fault. For permission to reuse some of the material from my previous publi- cations, I thank Oxford University Press itself, as well as the editors and publishersofThe Review of Symbolic Logic,Philosophia Mathematica,Notre Dame Journal of Formal Logic, and Synthese. My work on different aspects of Core Logic has benefited from com- ments from various scholarly audiences over many years, in Britain, the United States, Europe, and Australasia. I acknowledge with gratitude all theconstructivefeedbackthathashelpedmyworkalong,afterpresentations spanning a considerable period. I am indebted to many other scholars for their private comments, criti- cism, and encouragement ever since I began developing the ideas set out in thisbook. Someofthemhavepassedaway, asindicatedwith†. Ishouldlike to thank Jimmy Altham, Nuel Belnap, John Burgess, Jon Cogburn, Julian Cole, Roy Cook, Roy Dyckhoff, Salvatore Florio, Curtis Franks, Torkel Franzen†, Harvey Friedman, Dov Gabbay, Nathan Kellen, Seppo Keronen, Robert Kraut, Jonathan Lear, David McCarty, Michael MacRobbie, Robert Meyer†, Peter Milne, Pierluigi Miraglia, Julien Murzi, Alex Oliver, Adam Podlaskowski, John Pollock†, Dag Prawitz, Graham Priest, Stephen Read, Patrick Reeder, Alan Robinson†, Gemma Robles, Gil Sagi, Joseph Salerno, Kevin Scharp, Richard Schienes, Peter Schroeder-Heister, George Schumm, Stewart Shapiro, Wilfried Sieg, John Slaney, Jack Smart†, Timothy Smiley, Peter Smith, Matthew Souba, Florian Steinberger, Tadeusz Szubka, Joseph Vidal-Rosset, Heinrich Wansing, Alan Weir, and Crispin Wright. (cid:105) (cid:105) (cid:105) (cid:105)
The list of books you might like
