Results for 'Burgess John'

1000+ found
Order:
  1.  57
    Fixing Frege.John P. Burgess - 2005 - Princeton University Press.
    This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in ...
    Direct download  
     
    Export citation  
     
    Bookmark   70 citations  
  2.  51
    Platonism and Anti-Platonism in Mathematics.John P. Burgess - 2001 - Philosophical Review 110 (1):79.
    Mathematics tells us there exist infinitely many prime numbers. Nominalist philosophy, introduced by Goodman and Quine, tells us there exist no numbers at all, and so no prime numbers. Nominalists are aware that the assertion of the existence of prime numbers is warranted by the standards of mathematical science; they simply reject scientific standards of warrant.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  3.  43
    Truth and the Absence of Fact.John P. Burgess - 2002 - Philosophical Review 111 (4):602-604.
    This volume reprints a dozen of the author’s papers, most with substantial postscripts, and adds one new one. The bulk of the material is on topics in philosophy of language, but there are also two papers on philosophy of mathematics written after the appearance of the author’s collected papers on that subject, and one on epistemology. As to the substance of Field’s contributions, limitations of space preclude doing much more below than indicating the range of issues addressed, and the general (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  4. Why I Am Not a Nominalist.John P. Burgess - 1983 - Notre Dame Journal of Formal Logic 24 (1):93-105.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  5.  34
    Reconciling Anti-Nominalism and Anti-Platonism in Philosophy of Mathematics.John P. Burgess - 2022 - Disputatio 11 (20).
    The author reviews and summarizes, in as jargon-free way as he is capable of, the form of anti-platonist anti-nominalism he has previously developed in works since the 1980s, and considers what additions and amendments are called for in the light of such recently much-discussed views on the existence and nature of mathematical objects as those known as hyperintensional metaphysics, natural language ontology, and mathematical structuralism.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  78
    Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology. [REVIEW]John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (2):283-291.
  7.  79
    Quick Completeness Proofs for Some Logics of Conditionals.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):76-84.
  8. Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
    The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  9. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics.John P. Burgess & Gideon Rosen - 1997 - Oxford, England: Oxford University Press.
    Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   151 citations  
  10.  11
    Rigor and Structure.John P. Burgess - 2015 - Oxford, England: Oxford University Press UK.
    While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  11.  45
    A Subject with No Object.Zoltan Gendler Szabo, John P. Burgess & Gideon Rosen - 1999 - Philosophical Review 108 (1):106.
    This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   148 citations  
  12. Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 2002 - Cambridge University Press.
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   107 citations  
  13. Translating Names.John P. Burgess - 2005 - Analysis 65 (3):196-205.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  5
    From Mathematics to Philosophy.John P. Burgess - 1977 - Journal of Symbolic Logic 42 (4):579-580.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  15.  6
    Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press.
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  16.  43
    Relevance: A Fallacy?John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (2):97-104.
  17. Philosophical Logic.John P. Burgess - 2009 - Princeton, NJ, USA: Princeton University Press.
    Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  18. Hilary Putnam on Logic and Mathematics.John Burgess (ed.) - 2018 - Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  78
    Dummett's Case for Intuitionism.John P. Burgess - 1984 - History and Philosophy of Logic 5 (2):177-194.
    Dummett's case against platonism rests on arguments concerning the acquisition and manifestation of knowledge of meaning. Dummett's arguments are here criticized from a viewpoint less Davidsonian than Chomskian. Dummett's case against formalism is obscure because in its prescriptive considerations are not clearly separated from descriptive. Dummett's implicit value judgments are here made explicit and questioned. ?Combat Revisionism!? Chairman Mao.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20. Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
     
    Export citation  
     
    Bookmark   127 citations  
  21.  23
    Axioms for Tense Logic. I. "Since" and "Until".John P. Burgess - 1982 - Notre Dame Journal of Formal Logic 23 (4):367-374.
  22.  29
    The Decision Problem for Linear Temporal Logic.John P. Burgess & Yuri Gurevich - 1985 - Notre Dame Journal of Formal Logic 26 (2):115-128.
  23.  27
    On a Consistent Subsystem of Frege's Grundgesetze.John P. Burgess - 1998 - Notre Dame Journal of Formal Logic 39 (2):274-278.
    Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege's Grundgesetze is consistent. Here a constructive proof of the same result is presented.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24.  30
    A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.
    That the result of flipping quantifiers and negating what comes after, applied to branching-quantifier sentences, is not equivalent to the negation of the original has been known for as long as such sentences have been studied. It is here pointed out that this syntactic operation fails in the strongest possible sense to correspond to any operation on classes of models.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  25.  35
    Frege's Conception of Numbers as Objects. [REVIEW]John P. Burgess - 1984 - Philosophical Review 93 (4):638-640.
  26.  23
    Common Sense and "Relevance".John P. Burgess - 1983 - Notre Dame Journal of Formal Logic 24 (1):41-53.
  27.  37
    Predicative Logic and Formal Arithmetic.John P. Burgess & A. P. Hazen - 1998 - Notre Dame Journal of Formal Logic 39 (1):1-17.
    After a summary of earlier work it is shown that elementary or Kalmar arithmetic can be interpreted within the system of Russell's Principia Mathematica with the axiom of infinity but without the axiom of reducibility.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28.  34
    Abstract Objects.John P. Burgess - 1992 - Philosophical Review 101 (2):414.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   76 citations  
  29. Mathematics and Bleak House.John P. Burgess - 2004 - Philosophia Mathematica 12 (1):18-36.
    The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  30. The Truth is Never Simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
    The complexity of the set of truths of arithmetic is determined for various theories of truth deriving from Kripke and from Gupta and Herzberger.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  31. On a Derivation of the Necessity of Identity.John P. Burgess - 2014 - Synthese 191 (7):1-19.
    The source, status, and significance of the derivation of the necessity of identity at the beginning of Kripke’s lecture “Identity and Necessity” is discussed from a logical, philosophical, and historical point of view.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  32. E Pluribus Unum: Plural Logic and Set Theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
    A new axiomatization of set theory, to be called Bernays-Boolos set theory, is introduced. Its background logic is the plural logic of Boolos, and its only positive set-theoretic existence axiom is a reflection principle of Bernays. It is a very simple system of axioms sufficient to obtain the usual axioms of ZFC, plus some large cardinals, and to reduce every question of plural logic to a question of set theory.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  33. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics.John P. Burgess & Gideon Rosen - 2001 - Studia Logica 67 (1):146-149.
     
    Export citation  
     
    Bookmark   57 citations  
  34. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics.John Burgess & Gideon Rosen - 2000 - Philosophical Quarterly 50 (198):124-126.
    No categories
     
    Export citation  
     
    Bookmark   57 citations  
  35.  22
    Axioms for Tense Logic. II. Time Periods.John P. Burgess - 1982 - Notre Dame Journal of Formal Logic 23 (4):375-383.
  36. Logic and Time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
  37. Philosophical Logic.John P. Burgess - 2010 - Bulletin of Symbolic Logic 16 (3):411-413.
     
    Export citation  
     
    Bookmark   26 citations  
  38. A Subject with No Object. Strategies for Nominalistic Interpretations of Mathematics.John P. Burgess & Gideon Rosen - 1999 - Noûs 33 (3):505-516.
    No categories
     
    Export citation  
     
    Bookmark   38 citations  
  39.  24
    Platonism and Anti-Platonism in Mathematics.John P. Burgess - 2001 - Philosophical Review 110 (1):79-82.
    Mathematics tells us there exist infinitely many prime numbers. Nominalist philosophy, introduced by Goodman and Quine, tells us there exist no numbers at all, and so no prime numbers. Nominalists are aware that the assertion of the existence of prime numbers is warranted by the standards of mathematical science; they simply reject scientific standards of warrant.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  40. What is Mathematical Rigor?John Burgess & Silvia De Toffoli - 2022 - Aphex 25:1-17.
    Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Mathematics, Models, and Modality: Selected Philosophical Essays.John P. Burgess - 2008 - Cambridge University Press.
    John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers (...)
     
    Export citation  
     
    Bookmark   7 citations  
  42.  13
    Careful Choices---A Last Word on Borel Selectors.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (3):219-226.
  43.  82
    Occam's Razor and Scientific Method.John P. Burgess - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press. pp. 195--214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  44.  13
    Read on Relevance: A Rejoinder.John P. Burgess - 1984 - Notre Dame Journal of Formal Logic 25 (3):217-223.
  45.  55
    Decidability for Branching Time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.
    The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  46. The Unreal Future.John P. Burgess - 1978 - Theoria 44 (3):157-179.
    Perhaps if the future existed, concretely and individually, as something that could be discerned by a better brain, the past would not be so seductive: its demands would he balanced by those of the future. Persons might then straddle the middle stretch of the seesaw when considering this or that object. It might be fun. But the future has no such reality (as the pictured past and the perceived present possess); the future is but a figure of speech, a specter (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  47. Quine, Analyticity and Philosophy of Mathematics.John P. Burgess - 2004 - Philosophical Quarterly 54 (214):38–55.
    Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific theory of the world. Quine's (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  48.  24
    Kripke.John P. Burgess - 2012 - Polity.
    Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, _Naming and Necessity_, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection _Philosophical Troubles_. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burgess, offers a thorough and self-contained (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. Being Explained Away.John P. Burgess - 2005 - The Harvard Review of Philosophy 13 (2):41-56.
    When I first began to take an interest in the debate over nominalism in philosophy of mathematics, some twenty-odd years ago, the issue had already been under discussion for about a half-century. The terms of the debate had been set: W. V. Quine and others had given “abstract,” “nominalism,” “ontology,” and “Platonism” their modern meanings. Nelson Goodman had launched the project of the nominalistic reconstruction of science, or of the mathematics used in science, in which Quine for a time had (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  50.  81
    Quinus ab Omni Nævo Vindicatus.John P. Burgess - 1997 - Canadian Journal of Philosophy 27 (sup1):25-65.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   20 citations  
1 — 50 / 1000