Results for 'Burgess Mark Colyvan Anuj Dawar Mirna'

1000+ found
Order:
  1. The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor). John Baldwin, John. [REVIEW]Burgess Mark Colyvan Anuj Dawar Mirna, Marcelo Fiore Dzamonja, Hannes Leitgeb, Roger Maddux, Andre Nies Carsten Schurmann, Kai Wehmeier & Matthias Wille Au - 2009 - Bulletin of Symbolic Logic 15 (2).
  2.  27
    Vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]Mark Colyvan Burgess, Anuj Dawar, Mirna Dzamonja, Marcelo Fiore & Hannes Leitgeb - 2009 - Bulletin of Symbolic Logic 15 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  11
    College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]Mark Colyvan Burgess, Anuj Dawar, Marcelo Fiore, Noam Greenberg, Hannes Leitgeb, Ernest Schimmerling, Carsten Schürmann & Kai Wehmeier - 2010 - Bulletin of Symbolic Logic 16 (3).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor), John Baldwin, John. [REVIEW]Mark Colyvan Burgess, Anuj Dawar, Marcelo Fiore, Noam Greenberg & Hannes Leitgeb - 2010 - Bulletin of Symbolic Logic 16 (1).
  5.  27
    Copies of books to asl, box 742, vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference. [REVIEW]Anuj Dawar Colyvan, Steffen Lempp, Rahim Moosa, Ernest Schimmerling & Alex Simpson - 2013 - Bulletin of Symbolic Logic 19 (2).
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  14
    College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]Anuj Dawar Colyvan, Marcelo Fiore, Noam Greenberg, Hannes Leitgeb, Rahim Moosa, Ernest Schimmerling, Carsten Schürmann & Kai Wehmeier - 2011 - Bulletin of Symbolic Logic 17 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  10
    Ny 12604, usa.Anuj Dawar Colyvan, Noam Greenberg, Rahim Moosa, Ernest Schimmerling & Alex Simp - 2012 - Bulletin of Symbolic Logic 18 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference" bsl VII 376" refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]Anuj Dawar Beklemishev, Mirna Dzamonja, David Evans & Erich Gr - 2008 - Bulletin of Symbolic Logic 14 (4).
     
    Export citation  
     
    Bookmark  
  9. Vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]Anuj Dawar Beklemishev, Mirna Dzamonja, David Evans, Erich Grädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints, Volker Peckhaus & Sławomir Solecki - 2008 - Bulletin of Symbolic Logic 14 (4).
     
    Export citation  
     
    Bookmark  
  10.  15
    Vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]John Baldwin, Lev Beklemishev, Anuj Dawar, Mirna Dzamonja, David Evans, Erich Grädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux & Grigori Mints - 2008 - Bulletin of Symbolic Logic 14 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Edinburgh, Scotland July 1–4, 2008.Olivier Danvy, Anuj Dawar, Makoto Kanazawa, Sam Lomonaco, Mark Steedman, Henry Towsner & Nikolay Vereshchagin - 2008 - Bulletin of Symbolic Logic 14 (4).
  12.  15
    Modal characterisation theorems over special classes of frames.Anuj Dawar & Martin Otto - 2010 - Annals of Pure and Applied Logic 161 (1):1-42.
    We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus on frame classes (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  13.  52
    Mark Colyvan, The Indispensability of Mathematics.Joseph Melia - 2003 - Metascience 12 (1):55-58.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Mark Colyvan's An Introduction to the Philosophy of Mathematics. [REVIEW]Cristian Soto - 2014 - Critica 46 (138).
  15.  17
    Mark Colyvan. An Introduction to the Philosophy of Mathematics. Cambridge: Cambridge University Press, 2012. ISBN 978-0-521-82602-0 ; 978-0-521-53341-6 . Pp. ix + 188: Critical Studies/Book Reviews. [REVIEW]Andrew David Irvine - 2014 - Philosophia Mathematica 22 (1):124-125.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Mark Colyvan, The Indispensability of Mathematics.Matija Arko - 2007 - Croatian Journal of Philosophy 19:118-121.
  17.  12
    Mark Colyvan. An introduction to the philosophy of mathematics. Cambridge Introductions to Philosophy. Cambridge University Press, Cambridge, UK, 2012, 198 pp. [REVIEW]Richard Pettigrew - 2013 - Bulletin of Symbolic Logic 19 (3):396-397.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  29
    Mark Colyvan , An Introduction to the Philosophy of Mathematics . Reviewed by. [REVIEW]Sam Baron - 2014 - Philosophy in Review 34 (1-2):72-74.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  49
    Between realism and explanation: Mark Colyvan: An introduction to the philosophy of mathematics. Cambridge: Cambridge University Press, 2012, x+224pp, £17.99 PB. [REVIEW]Noah Friedman-Biglin - 2013 - Metascience 23 (2):269-271.
  20. Remarks on Mark Colyvan on Mathematical Explanation.Fabrice Pataut - unknown
  21.  87
    A Phenomenology of Artistic Doing: Flow as Embodied Knowing in 2D and 3D Professional Artists.Mark Burgess & Janet Banfield - 2013 - Journal of Phenomenological Psychology 44 (1):60-91.
    This research investigates flow experiences and explores meaning construction for artistic practices that differ in haptic nature. In addition to the phenomenological analysis of interviews, videos of artistic practice and practice-based research were employed to obtain both retrospective and real-time records of the physicality of artistic practice. Drawing on authors who emphasise the automatisation of actions in flow and heightened body awareness flow is reconceptualised in non-representational terms as optimal precognitive engagement with the world. In this light meaning in flow (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  16
    A new interpretation of the indispensability argument.Seahwa Kim - 2009 - American Philosophical Quarterly 46 (3):189 - 201.
    The Quine-Putnam indispensability argument runs as follows: We have reason to believe in Fs if Fs are indispensable to our best available science. Mathematical entities are indispensable to our best available science. Therefore, we have reason to believe in mathematical entities.According to the standard understanding, in order to refute the argument the nominalist has to show that mathematical entities are dispensable by providing an at least as good theory of the same phenomena that is not ontologically committed to mathematical entities. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. (Book Review) Ontological independence as the mark of the real. [REVIEW]Mark Colyvan - 2005 - Philosophia Mathematica 13 (2):216-225.
  24.  36
    An Introduction to the Philosophy of Mathematics, by Mark Colyvan.Carl Wagner - 2013 - Teaching Philosophy 36 (3):316-320.
  25.  24
    Reviewed Work(s): An introduction to the philosophy of mathematics by Mark Colyvan.Richard Pettigrew - 2013 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3):396-397.
    Review by: Richard Pettigrew The Bulletin of Symbolic Logic, Volume 19, Issue 3, Page 396-397, September 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  14
    Reviewed Work(s): An introduction to the philosophy of mathematics by Mark Colyvan.Review by: Richard Pettigrew - 2013 - Bulletin of Symbolic Logic 19 (3):396-397,.
  27. Mathematics: Truth and Fiction? Review of Mark Balaguer's Platonism and Anti-Platonism in Mathematics.Mark Colyvan & Edward N. Zalta - 1999 - Philosophia Mathematica 7 (3):336-349.
    Mark Balaguer’s project in this book is extremely ambitious; he sets out to defend both platonism and fictionalism about mathematical entities. Moreover, Balaguer argues that at the end of the day, platonism and fictionalism are on an equal footing. Not content to leave the matter there, however, he advances the anti-metaphysical conclusion that there is no fact of the matter about the existence of mathematical objects.1 Despite the ambitious nature of this project, for the most part Balaguer does not (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  28. Ontological Independence as the Mark of the Real. Jody Azzouni. Deflating Existential Consequence: A Case for Nominalism. New York: Oxford University Press, 2004. Pp. viii + 241. ISBN 0-19-515988-8. [REVIEW]Mark Colyvan - 2005 - Philosophia Mathematica 13 (2):216-225.
  29.  32
    Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
    We consider fixed point logics, i.e., extensions of first order predicate logic with operators defining fixed points. A number of such operators, generalizing inductive definitions, have been studied in the context of finite model theory, including nondeterministic and alternating operators. We review results established in finite model theory, and also consider the expressive power of the resulting logics on infinite structures. In particular, we establish the relationship between inflationary and nondeterministic fixed point logics and second order logic, and we consider (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  11
    Descriptive complexity of graph spectra.Anuj Dawar, Simone Severini & Octavio Zapata - 2019 - Annals of Pure and Applied Logic 170 (9):993-1007.
  31.  23
    Decidable Fragments of the Simple Theory of Types with Infinity and $mathrm{NF}$.Anuj Dawar, Thomas Forster & Zachiri McKenzie - 2017 - Notre Dame Journal of Formal Logic 58 (3):433-451.
    We identify complete fragments of the simple theory of types with infinity and Quine’s new foundations set theory. We show that TSTI decides every sentence ϕ in the language of type theory that is in one of the following forms: ϕ=∀x1r1⋯∀xkrk∃y1s1⋯∃ylslθ where the superscripts denote the types of the variables, s1>⋯>sl, and θ is quantifier-free, ϕ=∀x1r1⋯∀xkrk∃y1s⋯∃ylsθ where the superscripts denote the types of the variables and θ is quantifier-free. This shows that NF decides every stratified sentence ϕ in the language (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  14
    Choiceless polynomial time, counting and the Cai–Fürer–Immerman graphs.Anuj Dawar, David Richerby & Benjamin Rossman - 2008 - Annals of Pure and Applied Logic 152 (1):31-50.
    We consider Choiceless Polynomial Time , a language introduced by Blass, Gurevich and Shelah, and show that it can express a query originally constructed by Cai, Fürer and Immerman to separate fixed-point logic with counting from image. This settles a question posed by Blass et al. The program we present uses sets of unbounded finite rank: we demonstrate that this is necessary by showing that the query cannot be computed by any program that has a constant bound on the rank (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  16
    Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 , pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp. [REVIEW]Anuj Dawar - 1998 - Journal of Symbolic Logic 63 (1):329-331.
  34.  41
    Capturing Relativized Complexity Classes without Order.Anuj Dawar, Georg Gottlob & Lauri Hella - 1998 - Mathematical Logic Quarterly 44 (1):109-122.
    We consider the problem of obtaining logical characterisations of oracle complexity classes. In particular, we consider the complexity classes LOGSPACENP and PTIMENP. For these classes, characterisations are known in terms of NP computable Lindström quantifiers which hold on ordered structures. We show that these characterisations are unlikely to extend to arbitrary structures, since this would imply the collapse of certain exponential complexity hierarchies. We also observe, however, that PTIMENP can be characterised in terms of Lindström quantifers , though it remains (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  29
    Elementary Properties of the Finite Ranks.Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein - 1998 - Mathematical Logic Quarterly 44 (3):349-353.
    This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  4
    Review: Martin Otto, Bounded Variable Logics and Counting. A Study in Finite Models. [REVIEW]Anuj Dawar - 1998 - Journal of Symbolic Logic 63 (1):329-331.
  37.  10
    Turing Centenary Conference: How the World Computes.S. Barry Cooper, Anuj Dawar, Martin Hyland & Benedikt Löwe - 2014 - Annals of Pure and Applied Logic 165 (9):1353-1354.
  38. Vagueness and Truth.Mark Colyvan - 2009 - In Heather Dyke (ed.), From Truth to Reality. Routledge. pp. 29–40..
    In philosophy of logic and elsewhere, it is generally thought that similar problems should be solved by similar means. This advice is sometimes elevated to the status of a principle: the principle of uniform solution. In this paper I will explore the question of what counts as a similar problem and consider reasons for subscribing to the principle of uniform solution.
     
    Export citation  
     
    Bookmark   17 citations  
  39. The ontological commitments of inconsistent theories.Mark Colyvan - 2008 - Philosophical Studies 141 (1):115 - 123.
    In this paper I present an argument for belief in inconsistent objects. The argument relies on a particular, plausible version of scientific realism, and the fact that often our best scientific theories are inconsistent. It is not clear what to make of this argument. Is it a reductio of the version of scientific realism under consideration? If it is, what are the alternatives? Should we just accept the conclusion? I will argue (rather tentatively and suitably qualified) for a positive answer (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  40. Modelling the Moral Dimension of Decisions.Mark Colyvan, Damian Cox & Katie Siobhan Steele - 2010 - Noûs 44 (3):503-529.
    In this paper we explore the connections between ethics and decision theory. In particular, we consider the question of whether decision theory carries with it a bias towards consequentialist ethical theories. We argue that there are plausible versions of the other ethical theories that can be accommodated by “standard” decision theory, but there are also variations of these ethical theories that are less easily accommodated. So while “standard” decision theory is not exclusively consequentialist, it is not necessarily ethically neutral. Moreover, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  41. The Indispensability of Mathematics.Mark Colyvan - 2001 - Oxford, England: Oxford University Press.
    This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   266 citations  
  42.  12
    The Miracle of Applied Mathematics.Mark Colyvan - 2001 - Synthese 127 (3):265-278.
    Mathematics has a great variety ofapplications in the physical sciences.This simple, undeniable fact, however,gives rise to an interestingphilosophical problem:why should physical scientistsfind that they are unable to evenstate their theories without theresources of abstract mathematicaltheories? Moreover, theformulation of physical theories inthe language of mathematicsoften leads to new physical predictionswhich were quite unexpected onpurely physical grounds. It is thought by somethat the puzzles the applications of mathematicspresent are artefacts of out-dated philosophical theories about thenature of mathematics. In this paper I argue (...)
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  43. The explanatory power of phase spaces.Aidan Lyon & Mark Colyvan - 2008 - Philosophia Mathematica 16 (2):227-243.
    David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   99 citations  
  44. The natural environment is valuable but not infinitely valuable.Mark Colyvan, James Justus & Helen M. Regan - 2010 - Conservation Letters 3:224-228.
    It has been argued in the conservation literature that giving conservation absolute priority over competing interests would best protect the environment. Attributing infinite value to the environment or claiming it is ‘priceless’ are two ways of ensuring this priority (e.g. Hargrove 1989; Bulte and van Kooten 2000; Ackerman and Heinzerling 2002; McCauley 2006; Halsing and Moore 2008). But such proposals would paralyse conservation efforts. We describe the serious problems with these proposals and what they mean for practical applications, and we (...)
     
    Export citation  
     
    Bookmark   5 citations  
  45.  22
    Who’s Afraid of Inconsistent Mathematics?Mark Colyvan - 2008 - ProtoSociology 25:24-35.
    Contemporary mathematical theories are generally thought to be consistent. But it hasn’t always been this way; there have been times in the history of mathematics when the consistency of various mathematical theories has been called into question. And some theories, such as naïve set theory and the early calculus, were shown to be inconsistent. In this paper I will consider some of the philosophical issues arising from inconsistent mathematical theories.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  46.  39
    Reduction and the Special Sciences (eds.).Mark Colyvan & Stephan Hartmann - 2010 - Erkenntnis 73:3 (special issue).
    Science presents us with a variety of accounts of the world. While some of these accounts posit deep theoretical structure and fundamental entities, others do not. But which of these approaches is the right one? How should science conceptualize the world? And what is the relation between the various accounts? Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in, or eliminated by, the basic-level (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The undeniable effectiveness of mathematics in the special sciences.Mark Colyvan - unknown
    In many of the special sciences, mathematical models are used to provide information about specified target systems. For instance, population models are used in ecology to make predictions about the abundance of real populations of particular organisms. The status of mathematical models, though, is unclear and their use is hotly contested by some practitioners. A common objection levelled against the use of these models is that they ignore all the known, causally-relevant details of the often complex target systems. Indeed, the (...)
     
    Export citation  
     
    Bookmark   3 citations  
  48.  54
    An Introduction to the Philosophy of Mathematics.Mark Colyvan - 2012 - Cambridge University Press.
    Machine generated contents note: 1. Mathematics and its philosophy; 2. The limits of mathematics; 3. Plato's heaven; 4. Fiction, metaphor, and partial truths; 5. Mathematical explanation; 6. The applicability of mathematics; 7. Who's afraid of inconsistent mathematics?; 8. A rose by any other name; 9. Epilogue: desert island theorems.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  49. The philosophical significance of Cox's theorem.Mark Colyvan - unknown
    Cox’s theorem states that, under certain assumptions, any measure of belief is isomorphic to a probability measure. This theorem, although intended as a justification of the subjectivist interpretation of probability theory, is sometimes presented as an argument for more controversial theses. Of particular interest is the thesis that the only coherent means of representing uncertainty is via the probability calculus. In this paper I examine the logical assumptions of Cox’s theorem and I show how these impinge on the philosophical conclusions (...)
     
    Export citation  
     
    Bookmark   2 citations  
  50. Mathematics and aesthetic considerations in science.Mark Colyvan - 2002 - Mind 111 (441):69-74.
1 — 50 / 1000