Logic/Philosophy of Mathematics : britac
/browse
Attitude Problems
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199274949.001.0001/acprof-9780199274949
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199274949.jpg" alt="Attitude ProblemsAn Essay On Linguistic Intensionality"/><br/></td><td><dl><dt>Author:</dt><dd>Graeme Forbes</dd><dt>ISBN:</dt><dd>9780199274949</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Philosophy of Language, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199274949.001.0001</dd><dt>Published in print:</dt><dd>2006</dd><dt>Published Online:</dt><dd>2011-10-03</dd></dl></td></tr></table><p>Ascriptions of mental states to oneself and others give rise to many interesting logical and semantic problems. This problem presents an original account of mental state ascriptions that are made using intensional transitive verbs such as ‘want’, ‘seek’, ‘imaginer’, and ‘worship’. This book offers a theory of how such verbs work that draws on ideas from natural language semantics, philosophy of language, and aesthetics.</p>Graeme Forbes2011-10-03Wittgenstein's Notes on Logic
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199215836.001.0001/acprof-9780199215836
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199215836.jpg" alt="Wittgenstein's Notes on Logic"/><br/></td><td><dl><dt>Author:</dt><dd>Michael Potter</dd><dt>ISBN:</dt><dd>9780199215836</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199215836.001.0001</dd><dt>Published in print:</dt><dd>2008</dd><dt>Published Online:</dt><dd>2009-01-01</dd></dl></td></tr></table><p>Wittgenstein's philosophical career began in 1911 when he went to Cambridge to work with Russell. He compiled the Notes on Logic two years later as a kind of summary of the work he had done so far. Russell thought that they were ‘as good as anything that has ever been done in logic’, but he had Wittgenstein himself to explain them to him. Without the benefit of Wittgenstein's explanations, most later scholars have preferred to treat the Notes solely as an interpretative aid in understanding the Tractatus (which draws on them for material), rather than as a philosophical work in their own right. This book demonstrates the philosophical and historical importance of the Notes. By teasing out the meaning of key passages, it shows how many of the most important insights in the Tractatus they contain. It discusses in detail how Wittgenstein arrived at these insights by thinking through ideas he obtained from Russell and Frege. And it uses a blend of biography and philosophy to illuminate the methods Wittgenstein used in his work. The book features the complete text of the Notes in a critical edition, with a detailed discussion of the circumstances in which they were compiled.</p>Michael Potter2009-01-01Set Theory and its Philosophy
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199269730.001.0001/acprof-9780199269730
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199269730.jpg" alt="Set Theory and its PhilosophyA Critical Introduction"/><br/></td><td><dl><dt>Author:</dt><dd>Michael Potter</dd><dt>ISBN:</dt><dd>9780199269730</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199269730.001.0001</dd><dt>Published in print:</dt><dd>2004</dd><dt>Published Online:</dt><dd>2011-09-22</dd></dl></td></tr></table><p>This book presents a philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. The book offers an account of cardinal and ordinal arithmetic, and the various axiom candidates. It discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set theory. The book offers a simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. The book interweaves a presentation of the technical material with a philosophical critique. The book does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true.</p>Michael Potter2011-09-22Reason's Nearest Kin
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199252619.001.0001/acprof-9780199252619
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199252619.jpg" alt="Reason's Nearest KinPhilosophies of Arithmetic from Kant to Carnap"/><br/></td><td><dl><dt>Author:</dt><dd>Michael Potter</dd><dt>ISBN:</dt><dd>9780199252619</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199252619.001.0001</dd><dt>Published in print:</dt><dd>2002</dd><dt>Published Online:</dt><dd>2007-05-01</dd></dl></td></tr></table><p>This book is a critical examination of the astonishing progress made in the philosophical study of the properties of the natural numbers from the 1880s to the 1930s. It reassesses the brilliant innovations of Frege, Russell, Wittgenstein, and others, which transformed philosophy as well as the understanding of mathematics. The book argues that through the problem of arithmetic participates in the larger puzzle of the relationship between thought, language, experience, and the world, we can distinguish accounts that look to each of these to supply the content we require: those that involve the structure of our experience of the world; those that explicitly involve our grasp of a ‘third realm’ of abstract objects distinct from the concrete objects of the empirical world and the ideas of the author's private Gedankenwelt; those that appeal to something non-physical that is nevertheless an aspect of reality in harmony with which the physical aspect of the world is configured; and finally those that involve only our grasp of language.</p>Michael Potter2007-05-01Vagueness and Degrees of Truth
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199233007.001.0001/acprof-9780199233007
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199233007.jpg" alt="Vagueness and Degrees of Truth"/><br/></td><td><dl><dt>Author:</dt><dd>Nicholas J. J. Smith</dd><dt>ISBN:</dt><dd>9780199233007</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199233007.001.0001</dd><dt>Published in print:</dt><dd>2008</dd><dt>Published Online:</dt><dd>2009-01-01</dd></dl></td></tr></table><p>This book argues that an adequate account of vagueness must involve degrees of truth. The basic idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. This idea is immediately appealing in the context of vagueness — yet it has fallen on hard times in the philosophical literature, with existing degree-theoretic treatments of vagueness facing apparently insuperable objections. The book seeks to turn the tide in favour of a degree-theoretic treatment of vagueness, by motivating and defending the basic idea that truth can come in degrees, by arguing that no theory of vagueness that does not countenance degrees of truth can be correct, and by developing a new degree-theoretic treatment of vagueness — fuzzy plurivaluationism — that solves the problems plaguing earlier degree theories.</p>Nicholas J. J. Smith2009-01-01Necessary Beings
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199669578.001.0001/acprof-9780199669578
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199669578.jpg" alt="Necessary BeingsAn Essay on Ontology, Modality, and the Relations Between Them"/><br/></td><td><dl><dt>Author:</dt><dd>Bob Hale</dd><dt>ISBN:</dt><dd>9780199669578</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199669578.001.0001</dd><dt>Published in print:</dt><dd>2013</dd><dt>Published Online:</dt><dd>2014-01-23</dd></dl></td></tr></table><p>This essay is concerned with two central areas of metaphysics: modality—the theory of necessity, possibility and other related notions; and ontology—the general study of what kinds of entities there are. Its overarching purpose is to develop and defend two quite general theses—that questions about what kinds of things there are cannot be properly understood or adequately answered without recourse to considerations about possibility and necessity, and that, conversely, questions about the nature and basis of necessity and possibility cannot be satisfactorily tackled without drawing on what might be called the methodology of ontology—specifically, on ideas about what is required for the existence of entities of various kinds. Taken together, these two theses claim that ontology and modality are mutually dependent upon one another, neither more fundamental than the other. Claims about what kinds of things there are require distinctions among different types of thing, such as objects, properties, relations, etc. The essay defends a broadly Fregean approach, according to which such ontological distinctions are to be drawn on the basis of prior distinctions between different logical types of expression. The claim that facts about what kinds of things exist depend upon facts about what is possible makes little sense unless one accepts that at least some modal facts are fundamental, and not reducible to facts of some other, non-modal, sort. It is argued that facts about what is absolutely necessary or possible have this character, and that they have their source or basis, not in meanings or concepts nor in facts about alternative ‘worlds’, but in the natures or essences of things.</p>Bob Hale2014-01-23Fuzzy Logic and Mathematics
//www.oxfordscholarship.com/view/10.1093/oso/9780190200015.001.0001/oso-9780190200015
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780190200015.jpg" alt="Fuzzy Logic and MathematicsA Historical Perspective"/><br/></td><td><dl><dt>Author:</dt><dd>Radim Belohlavek, Joseph W. Dauben, George J. Klir</dd><dt>ISBN:</dt><dd>9780190200015</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics, General</dd><dt>DOI:</dt><dd>10.1093/oso/9780190200015.001.0001</dd><dt>Published in print:</dt><dd>2017</dd><dt>Published Online:</dt><dd>2017-06-22</dd></dl></td></tr></table><p>The term “fuzzy logic” (FL) is a generic one, which stands for a broad variety of logical systems. Their common ground is the rejection of the most fundamental principle of classical logic—the principle of bivalence—according to which each declarative sentence has exactly two possible truth values—true and false. Each logical system subsumed under FL allows for additional, intermediary truth values, which are interpreted as degrees of truth. These systems are distinguished from one another by the set of truth degrees employed, its algebraic structure, truth functions chosen for logical connectives, and other properties. The book examines from the historical perspective two areas of research on fuzzy logic known as fuzzy logic in the narrow sense (FLN) and fuzzy logic in the broad sense (FLB), which have distinct research agendas. The agenda of FLN is the development of propositional, predicate, and other fuzzy logic calculi. The agenda of FLB is to emulate commonsense human reasoning in natural language and other unique capabilities of human beings. In addition to FL, the book also examines mathematics based on FL. One chapter in the book is devoted to overviewing successful applications of FL and the associated mathematics in various areas of human affairs. The principal aim of the book is to assess the significance of FL and especially its significance for mathematics. For this purpose, the notions of paradigms and paradigm shifts in science, mathematics, and other areas are introduced and employed as useful metaphors.</p>Radim Belohlavek, Joseph W. Dauben, and George J. Klir2017-06-22Reflections on the Liar
//www.oxfordscholarship.com/view/10.1093/oso/9780199896042.001.0001/oso-9780199896042
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199896042.jpg" alt="Reflections on the Liar"/><br/></td><td><dl><dt>Author:</dt><dd>BradleyArmour-GarbBradley Armour-GarbUniversity of Albany</dd><dt>ISBN:</dt><dd>9780199896042</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics, Philosophy of Language</dd><dt>DOI:</dt><dd>10.1093/oso/9780199896042.001.0001</dd><dt>Published in print:</dt><dd>2017</dd><dt>Published Online:</dt><dd>2017-08-24</dd></dl></td></tr></table><p>In recent years there have been a number of books—both anthologies and monographs—that have focused on the liar paradox and, more generally, on the semantic paradoxes, either offering proposed treatments to those paradoxes or critically evaluating ones that occupy logical space. At the same time, there are a number of people who do great work in philosophy, who have various semantic, logical, metaphysical, and/or epistemological commitments that suggest that they should say something about the liar paradox, yet who have said very little, if anything, about that paradox or about the extant projects involving it. The purpose of this volume is to afford those philosophers the opportunity to address what might be described as reflections on the Liar.</p>Bradley Armour-Garb2017-08-24The Philosophy of Information
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199232383.001.0001/acprof-9780199232383
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199232383.jpg" alt="The Philosophy of Information"/><br/></td><td><dl><dt>Author:</dt><dd>Luciano Floridi</dd><dt>ISBN:</dt><dd>9780199232383</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, General, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199232383.001.0001</dd><dt>Published in print:</dt><dd>2011</dd><dt>Published Online:</dt><dd>2011-05-01</dd></dl></td></tr></table><p>This book brings together the outcome of ten years of research. It is based on a simple project, which was begun towards the end of the 1990s: information is a crucial concept, which deserves a thorough philosophical investigation. So the book lays down the conceptual foundations of a new area of research: the philosophy of information. It does so systematically, by pursuing three goals. The first is metatheoretical. The book describes what the philosophy of information is, its problems, and its method of levels of abstraction. These are the topics of the first part, which comprises chapters one, two and three. The second goal is introductory. In chapters four and five, the book explores the complex and diverse nature of several informational concepts and phenomena. The third goal is constructive. In the remaining ten chapters, the book answers some classic philosophical questions in information-theoretical terms. As a result, the book provides the first, unified and coherent research programme for the philosophy of information, understood as a new, independent area of research, concerned with (1) the critical investigation of the conceptual nature and basic principles of information, including its dynamics, utilization, and sciences; and (2) the elaboration and application of information-theoretic and computational methodologies to philosophical problems.</p>Luciano Floridi2011-05-01Bayes's Theorem
//britishacademy.universitypressscholarship.com/view/10.5871/bacad/9780197263419.001.0001/upso-9780197263419
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780197263419.jpg" alt="Bayes's Theorem"/><br/></td><td><dl><dt>Author:</dt><dd>RichardSwinburneRichard SwinburneEmeritus Nolloth Professor of the Philosophy of the Christian Religion, Oxford; Fellow of the British Academy</dd><dt>ISBN:</dt><dd>9780197263419</dd><dt>Publisher:</dt><dd>British Academy</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.5871/bacad/9780197263419.001.0001</dd><dt>Published in print:</dt><dd>2005</dd><dt>Published Online:</dt><dd>2012-01-31</dd></dl></td></tr></table><p>Bayes' theorem is a tool for assessing how probable evidence makes some hypothesis. The papers in this book consider the worth and applicability of the theorem. The book sets out the philosophical issues: Elliott Sober argues that there are other criteria for assessing hypotheses; Colin Howson, Philip Dawid, and John Earman consider how the theorem can be used in statistical science, in weighing evidence in criminal trials, and in assessing evidence for the occurrence of miracles; and David Miller argues for the worth of the probability calculus as a tool for measuring propensities in nature rather than the strength of evidence. The book ends with the original paper containing the theorem, presented to the Royal Society in 1763.</p>Richard Swinburne2012-01-31Philosophy of Mathematics
//www.oxfordscholarship.com/view/10.1093/0195139305.001.0001/acprof-9780195139303
<table><tr><td width="200px"><img width="150px" src="http://britishacademy.universitypressscholarship.com/assets/2ef7e5eeee58a4c6df5bf871060963609c30af4e/skins/upso/skin/images/default.gif" alt="Philosophy of MathematicsStructure and Ontology"/><br/></td><td><dl><dt>Author:</dt><dd>Stewart Shapiro</dd><dt>ISBN:</dt><dd>9780195139303</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/0195139305.001.0001</dd><dt>Published in print:</dt><dd>2000</dd><dt>Published Online:</dt><dd>2003-11-01</dd></dl></td></tr></table><p>The philosophy of mathematics articulated and defended in this book goes by the name of “structuralism”, and its slogan is that mathematics is the science of structure. The subject matter of arithmetic, for example, is the natural number structure, the pattern common to any countably infinite system of objects with a distinguished initial object and a successor relation that satisfies the induction principle. The essence of each natural number is its relation to the other natural numbers. One way to understand structuralism is to reify structures as ante rem universals. This would be a platonism concerning mathematical objects, which are the places within such structures. Alternatively, one can take an eliminative, in re approach, and understand talk of structures as shorthand for talk of systems of objects or, invoking modality, talk of possible systems of objects. Shapiro argues that although the realist, ante rem approach is the most perspicuous, in a sense, the various accounts are equivalent. Along the way, the ontological and epistemological aspects of the structuralist philosophies are assessed. One key aspect is to show how each philosophy deals with reference to mathematical objects. The view is tentatively extended to objects generally: to science and ordinary discourse.</p>Stewart Shapiro2003-11-01Realism in Mathematics
//www.oxfordscholarship.com/view/10.1093/019824035X.001.0001/acprof-9780198240358
<table><tr><td width="200px"><img width="150px" src="http://britishacademy.universitypressscholarship.com/assets/2ef7e5eeee58a4c6df5bf871060963609c30af4e/skins/upso/skin/images/default.gif" alt="Realism in Mathematics"/><br/></td><td><dl><dt>Author:</dt><dd>Penelope Maddy</dd><dt>ISBN:</dt><dd>9780198240358</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/019824035X.001.0001</dd><dt>Published in print:</dt><dd>1992</dd><dt>Published Online:</dt><dd>2003-11-01</dd></dl></td></tr></table><p>Many mathematicians understand their work as an effort to describe the denizens and features of an abstract mathematical world or worlds. Most philosophers of mathematics consider views of this sort highly problematic, largely due to two stark difficulties laid out by Benacerraf: first, if mathematical things are abstract, and thus not to be found in space and time, how can we come to know anything about them? Second, how can mathematics be the study of certain particular things, when all that seems to matter mathematically are various structural features and relations? The goal of this book is to develop a philosophically defensible version of the mathematician's pre‐theoretic realism (sometimes called ‘Platonism’) about mathematical things. Beginning from an analysis of the strengths and weaknesses of Quine's and Gödel's versions of mathematical realism, I propose an alternative called ‘set theoretic realism’ and argue that it avoids both of Benacerraf's problems. In their place, I raise a new problem: given that some open questions of mathematics (like Cantor's Continuum Hypothesis) cannot be settled on the basis of the standard axioms, how are we rationally to evaluate new candidates for axiomatic status (such as Gödel's Axiom of Constructibility or various large cardinal axioms)? Set theoretic realism and its realistic cousins are not the only positions that face this important new challenge—various popular versions of nominalism and structuralism do as well—which suggests that it taps into a fundamental issue.</p>Penelope Maddy2003-11-01Kant and the Science of Logic
//www.oxfordscholarship.com/view/10.1093/oso/9780190907136.001.0001/oso-9780190907136
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780190907136.jpg" alt="Kant and the Science of LogicA Historical and Philosophical Reconstruction"/><br/></td><td><dl><dt>Author:</dt><dd>Huaping Lu-Adler</dd><dt>ISBN:</dt><dd>9780190907136</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, History of Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/oso/9780190907136.001.0001</dd><dt>Published in print:</dt><dd>2018</dd><dt>Published Online:</dt><dd>2018-09-20</dd></dl></td></tr></table><p>This book is both a history of philosophy of logic told from the Kantian viewpoint and a reconstruction of Kant’s theory of logic from a historical perspective. Kant’s theory represents a turning point in a history of philosophical debates over the following questions: (1) Is logic a science, instrument, standard of assessment, or mixture of these? (2) If logic is a science, what is the subject matter that differentiates it from other sciences, particularly metaphysics? (3) If logic is a necessary instrument to all philosophical inquiries, how is it so entitled? (4) If logic is both a science and an instrument, how are these two roles related? Kant’s answer to these questions centers on three distinctions: general versus particular logic, pure versus applied logic, pure general logic versus transcendental logic. The true meaning and significance of each distinction becomes clear, this book argues, only if we consider two factors. First, Kant was mindful of various historical views on how logic relates to other branches of philosophy (viz. metaphysics and physics) and to the workings of common human understanding. Second, he first coined “transcendental logic” while struggling to secure metaphysics as a proper “science,” and this conceptual innovation would in turn have profound implications for his mature theory of logic. Against this backdrop, the book reassesses the place of Kant’s theory in the history of philosophy of logic and highlights certain issues that are still debated today, such as normativity of logic and the challenges posed by logical pluralism.</p>Huaping Lu-Adler2018-09-20Plural Logic
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780198744382.001.0001/acprof-9780198744382
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780198744382.jpg" alt="Plural LogicSecond Edition, Revised and Enlarged"/><br/></td><td><dl><dt>Author:</dt><dd>Alex Oliver, Timothy Smiley</dd><dt>ISBN:</dt><dd>9780198744382</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics, Philosophy of Language</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780198744382.001.0001</dd><dt>Published in print:</dt><dd>2016</dd><dt>Published Online:</dt><dd>2017-02-16</dd></dl></td></tr></table><p>This book tackles the logic of plural terms (‘Whitehead and Russell’, ‘the men who wrote Principia Mathematica’, ‘Henry VIII's wives’, ‘the real numbers’, ‘√—1’, ‘they’); plural predicates (‘surrounded the fort’, ‘are prime’, ‘are consistent’, ‘imply’); and plural quantification (‘some things’, ‘any things’). Current logic is singularist: it only allows terms to stand for at most one thing. By contrast, the foundational thesis of this book is that a particular term may legitimately stand for several things at once, in other words, there is such a thing as genuinely plural denotation. Plural logic is logic based on plural denotation. The book begins by making the case for taking plural phenomena seriously, and argues, by eliminating rival singularist strategies, that the only viable response is to adopt a plural logic. The subsequent development of the conceptual ground includes the distinction between distributive and collective predicates, the theory of plural descriptions, multivalued functions, and lists. A formal system of plural logic is then presented in three stages, before being applied to Cantorian set theory as an illustration. A system of higher-level plural logic is then outlined. It bears a striking similarlty to the set theory.</p>Alex Oliver and Timothy Smiley2017-02-16Core Logic
//www.oxfordscholarship.com/view/10.1093/oso/9780198777892.001.0001/oso-9780198777892
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780198777892.jpg" alt="Core Logic"/><br/></td><td><dl><dt>Author:</dt><dd>Neil Tennant</dd><dt>ISBN:</dt><dd>9780198777892</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/oso/9780198777892.001.0001</dd><dt>Published in print:</dt><dd>2017</dd><dt>Published Online:</dt><dd>2017-10-19</dd></dl></td></tr></table><p>Core Logic has unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. It is an elegant kernel lying deep within Classical Logic, a canon for constructive and relevant deduction furnishing faithful formalizations of informal constructive mathematical proofs. Its classicized extension provides likewise for non-constructive mathematical reasoning. Confining one’s search to core proofs affords automated reasoners great gains in efficiency. All logico-semantical paradoxes involve only core reasoning. Core proofs are in normal form, and relevant in a highly exigent ‘vocabulary-sharing’ sense never attained before. Essential advances on the traditional Gentzenian treatment are that core natural deductions are isomorphic to their corresponding sequent proofs, and make do without the structural rules of Cut and Thinning. This ensures relevance of premises to conclusions of proofs, without loss of logical completeness. Every core proof converts any verifications of its premises into a verification of its conclusion. Core Logic makes one reassess the dogma of ‘unrestricted’ transitivity of deduction, because any core ‘restriction’ of transitivity ensures a more than compensatory payoff of epistemic gain: A core proof of A from X and one of B from {A}∪Y effectively determine a proof of B or of absurdity from some subset of X∪Y. The primitive introduction and elimination rules governing the logical operators in Core Logic are subtly different from Gentzen’s. They are obtained by smoothly extrapolating protean rules for determining truth values of sentences under interpretations. Core rules are inviolable: One needs all of them in order to revise beliefs rationally in light of new evidence.</p>Neil Tennant2017-10-19Semantic Singularities
//www.oxfordscholarship.com/view/10.1093/oso/9780198791546.001.0001/oso-9780198791546
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780198791546.jpg" alt="Semantic SingularitiesParadoxes of Reference, Predication, and Truth"/><br/></td><td><dl><dt>Author:</dt><dd>Keith Simmons</dd><dt>ISBN:</dt><dd>9780198791546</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Philosophy of Language, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/oso/9780198791546.001.0001</dd><dt>Published in print:</dt><dd>2018</dd><dt>Published Online:</dt><dd>2018-07-19</dd></dl></td></tr></table><p>This book aims to provide a solution to the semantic paradoxes. It argues for a unified solution to the paradoxes generated by the concepts of reference or denotation, predicate extension, and truth. The solution makes two main claims. The first is that our semantic expressions ‘denotes’, ‘extension’, and ‘true’ are context-sensitive. The second, inspired by a brief, tantalizing remark of Gödel’s, is that these expressions are significant everywhere except for certain singularities, in analogy with division by zero. A formal theory of singularities is presented and applied to a wide variety of versions of the definability paradoxes, Russell’s paradox, and the Liar paradox. The book argues that the singularity theory satisfies the following desiderata: it recognizes that the proper setting of the semantic paradoxes is natural language, not regimented formal languages; it minimizes any revision to our semantic concepts; it respects as far as possible Tarski’s intuition that natural languages are universal; it responds adequately to the threat of revenge paradoxes; and it preserves classical logic and semantics. The book examines the consequences of the singularity theory for deflationary views of our semantic concepts, and concludes that if we accept the singularity theory, we must reject deflationism.</p>Keith Simmons2018-07-19The Construction of Logical Space
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199662623.001.0001/acprof-9780199662623
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199662623.jpg" alt="The Construction of Logical Space"/><br/></td><td><dl><dt>Author:</dt><dd>Agustín Rayo</dd><dt>ISBN:</dt><dd>9780199662623</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199662623.001.0001</dd><dt>Published in print:</dt><dd>2013</dd><dt>Published Online:</dt><dd>2013-09-26</dd></dl></td></tr></table><p>Our conception of logical space is the set of distinctions we use to navigate the world. This book defends the idea that one’s conception of logical space is shaped by one’s acceptance or rejection of ‘just is’-statements: statements like ‘to be composed of water just is to be composed of H2O’, or ‘for the number of the dinosaurs to be Zero just is for there to be no dinosaurs’. The resulting picture is used to articulate a conception of metaphysical possibility that does not depend on a reduction of the modal to the non-modal, and to develop a trivialist philosophy of mathematics, according to which the truths of pure mathematics have trivial truth-conditions.</p>Agustín Rayo2013-09-26Modality
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199565818.001.0001/acprof-9780199565818
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199565818.jpg" alt="ModalityMetaphysics, Logic, and Epistemology"/><br/></td><td><dl><dt>Author:</dt><dd>BobHaleBob HaleUniversity of Sheffieldhttp://www.shef.ac.uk/philosophy/staff/profiles/hale.htmlAvivHoffmannAviv HoffmannUniversity of Genevahttp://www.formalphilosophy.org/staff</dd><dt>ISBN:</dt><dd>9780199565818</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199565818.001.0001</dd><dt>Published in print:</dt><dd>2010</dd><dt>Published Online:</dt><dd>2010-09-01</dd></dl></td></tr></table><p>The philosophy of modality investigates necessity and possibility, and related notions — are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This book presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the chapters address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality.</p>Bob Hale and Aviv Hoffmann2010-09-01Reasons as Defaults
//www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199744077.001.0001/acprof-9780199744077
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780199744077.jpg" alt="Reasons as Defaults"/><br/></td><td><dl><dt>Author:</dt><dd>John F. Horty</dd><dt>ISBN:</dt><dd>9780199744077</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/acprof:oso/9780199744077.001.0001</dd><dt>Published in print:</dt><dd>2012</dd><dt>Published Online:</dt><dd>2012-09-20</dd></dl></td></tr></table><p>Although the study of reasons plays an important role in both epistemology and moral philosophy, little attention has been devoted to the question of how, exactly, reason interact to support the actions or conclusions they do. The goal of this book is to answer this question by providing a precise, concrete account of reasons and their interaction, based on the logic of default reasoning. The book begins with an intuitive, accessible introduction to default logic itself, and then argues that this logic can be adapted to serve as a foundation for a concrete theory of reasons. It then shows that the resulting theory helps to explain how the interplay among reasons can determine what we ought to do by developing two different deontic logics, capturing two different intuitions about moral conflicts. The central part of the book elaborates the basic theory to account for reasoning about the strength of our own reasons, and also about the related concepts of undercutting defeaters and exclusionary reasons. The theory is illustrated with an application to particularist arguments concerning the role of principles in moral theory. The book concludes by introducing a pair of issues new to the philosophical literature: the problem of determining the epistemic status of conclusions supported by separate but conflicting reasons, and the problem of drawing conclusions from sets of reasons that can vary aribtrarily in strength, or importance.</p>John F. Horty2012-09-20Foundations without Foundationalism
//www.oxfordscholarship.com/view/10.1093/0198250290.001.0001/acprof-9780198250296
<table><tr><td width="200px"><img width="150px" src="/view/covers/9780198250296.jpg" alt="Foundations without FoundationalismA Case for Second-Order Logic"/><br/></td><td><dl><dt>Author:</dt><dd>Stewart Shapiro</dd><dt>ISBN:</dt><dd>9780198250296</dd><dt>Publisher:</dt><dd>Oxford University Press</dd><dt>Subjects:</dt><dd>Philosophy, Logic/Philosophy of Mathematics</dd><dt>DOI:</dt><dd>10.1093/0198250290.001.0001</dd><dt>Published in print:</dt><dd>2000</dd><dt>Published Online:</dt><dd>2003-11-01</dd></dl></td></tr></table><p>A language is second‐order, or higher‐order, if it has bound variables that range over properties or sets of the items in the range of the ordinary, first‐order variables. This book presents a formal development of second‐ and higher‐order logic and an extended argument that higher‐order systems have an important role to play in the philosophy and foundations of mathematics. The development includes the languages, deductive systems, and model‐theoretic semantics for higher‐order languages, and the basic and advanced results in its meta‐theory: completeness, compactness, and the Löwenheim–Skolem theorems for Henkin semantics, and the failure of those results for standard semantics. Argues that second‐order theories and formalizations, with standard semantics, provide better models of important aspects of mathematics than their first‐order counterparts. Despite the fact that Quine is the main opponent of second‐order logic (arguing that second‐order logic is set‐theory in disguise), the present argument is broadly Quinean, proposing that there is no sharp line dividing mathematics from logic, especially the logic of mathematics. Also surveys the historical development in logic, tracing the emergence of first‐order logic as the de facto standard among logicians and philosophers. The connection between formal deduction and reasoning is related to Wittgensteinian issues concerning rule‐following. The book closes with an examination of several alternatives to second‐order logic: first‐order set theory, infinitary languages, and systems that are, in a sense, intermediate between first order and second order.</p>Stewart Shapiro2003-11-01