88 found
Sort by:
  1. Alasdair Urquhart (2012). REVIEWS-L. Haaparanta (Editor), The Development of Modern Logic. Bulletin of Symbolic Logic 18 (2):268.
     
    My bibliography  
     
    Export citation  
  2. Alasdair Urquhart (2011). Henry M. Sheffer and Notational Relativity. History and Philosophy of Logic 33 (1):33 - 47.
    Henry M. Sheffer is well known to logicians for the discovery (or rather, the rediscovery) of the ?Sheffer stroke? of propositional logic. But what else did Sheffer contribute to logic? He published very little, though he is known to have been carrying on a rather mysterious research program in logic; the only substantial result of this research was the unpublished monograph The General Theory of Notational Relativity. The main aim of this paper is to explain, as far as possible (given (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Alasdair Urquhart (2011). The Depth of Resolution Proofs. Studia Logica 99 (1-3):349-364.
    This paper investigates the depth of resolution proofs, that is to say, the length of the longest path in the proof from an input clause to the conclusion. An abstract characterization of the measure is given, as well as a discussion of its relation to other measures of space complexity for resolution proofs.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Alasdair Urquhart (2010). Anderson and Belnap's Invitation to Sin. Journal of Philosophical Logic 39 (4):453 - 472.
    Quine has argued that modal logic began with the sin of confusing use and mention. Anderson and Belnap, on the other hand, have offered us a way out through a strategy of nominahzation. This paper reviews the history of Lewis's early work in modal logic, and then proves some results about the system in which "A is necessary" is intepreted as "A is a classical tautology.".
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Alasdair Urquhart (2010). K. Bimbó and JM Dunn: Relational Semantics of Nonclassical Logical Calculi. Bulletin of Symbolic Logic 16 (2).
     
    My bibliography  
     
    Export citation  
  6. Alasdair Urquhart (2010). Von Neumann, Gödel and Complexity Theory. Bulletin of Symbolic Logic 16 (4):516-530.
    Around 1989, a striking letter written in March 1956 from Kurt Gödel to John von Neumann came to light. It poses some problems about the complexity of algorithms; in particular, it asks a question that can be seen as the first formulation of the P=?NP question. This paper discusses some of the background to this letter, including von Neumann's own ideas on complexity theory. Von Neumann had already raised explicit questions about the complexity of Tarski's decision procedure for elementary algebra (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Alasdair Urquhart & Albert Visser (2010). Decorated Linear Order Types and the Theory of Concatenation. In F. Delon (ed.), Logic Colloquium 2007. Cambridge University Press. 1.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Alasdair Urquhart (2009). Emil Post. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. 5--617.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Alasdair Urquhart (2009). Enumerating Types of Boolean Functions. Bulletin of Symbolic Logic 15 (3):273-299.
    The problem of enumerating the types of Boolean functions under the group of variable permutations and complementations was first stated by Jevons in the 1870s. but not solved in a satisfactory way until the work of Pólya in 1940. This paper explains the details of Pólya's solution, and also the history of the problem from the 1870s to the 1970s.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Alasdair Urquhart (2009). Logic and Denotation. In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of "on Denoting". Routledge.
    No categories
     
    My bibliography  
     
    Export citation  
  11. Alasdair Urquhart (2009). 2009 North American Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 15 (4):441-464.
     
    My bibliography  
     
    Export citation  
  12. Alasdair Urquhart (2009). Review of John P. Burgess, Philosophical Logic. [REVIEW] Notre Dame Philosophical Reviews 2009 (10).
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. T. Aho, A. V. Pietarinen & Alasdair Urquhart (2008). Truth and Games: Essays in Honour of Gabriel Sandu. Bulletin of Symbolic Logic 14 (1).
     
    My bibliography  
     
    Export citation  
  14. Aldo Antonelli, Alasdair Urquhart & Richard Zach (2008). Mathematical Methods in Philosophy Editors' Introduction. Review of Symbolic Logic 1 (2):143-145.
  15. Francis Jeffry Pelletier & Alasdair Urquhart (2008). Synonymous Logics: A Correction. [REVIEW] Journal of Philosophical Logic 37 (1):95 - 100.
    In an earlier paper entitled Synonymous Logics, the authors attempted to show that there are two modal logics so that each is exactly translatable into the other, but they are not translationally equivalent. Unfortunately, there is an error in the proof of this result. The present paper provides a new example of two such logics, and a proof of the result claimed in the earlier paper.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Alasdair Urquhart (2008). Philosophical Relevance of the Interaction Between Mathematical Physics and Pure Mathematics. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford.
    No categories
     
    My bibliography  
     
    Export citation  
  17. Alasdair Urquhart (2008). The Boundary Between Mathematics and Physics. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford. 407--416.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Alasdair Urquhart (2008). The Unnameable. Canadian Journal of Philosophy 38 (S1):119-135.
    Hans Herzberger as a philosopher and logician has shown deep interest both in the philosophy of Gottlob Frege, and in the topic of the inexpressible and the ineffable. In the fall of 1982, he taught at the University of Toronto, together with André Gombay, a course on Frege's metaphysics, philosophy of language, and foundations of arithmetic. Again, in the fall of 1986, he taught a seminar on the philosophy of language that dealt with 'the limits of discursive symbolism in several (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. N. J. Cutland, M. Di Nasso, D. A. Ross & Alasdair Urquhart (2007). REVIEWS-Nonstandard Methods and Applications in Mathematics. Bulletin of Symbolic Logic 13 (3).
     
    My bibliography  
     
    Export citation  
  20. S. Hedman & Alasdair Urquhart (2007). REVIEWS-A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Bulletin of Symbolic Logic 13 (4).
     
    My bibliography  
     
    Export citation  
  21. Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart (2006). The Complexity of Analytic Tableaux. Journal of Symbolic Logic 71 (3):777 - 790.
    The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for automated theorem proving. In this paper, we discuss the complexity of the system as a method for refuting contradictory sets of clauses, and resolve several open questions. We discuss the three forms of analytic tableaux: clausal tableaux, generalized clausal tableaux, and binary tableaux. We resolve the relative complexity of these three forms of tableaux proofs and also resolve the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. B. Russell & Alasdair Urquhart (2005). REVIEWS-Correspondance Avec Louis Couturat (1897-1913). Bulletin of Symbolic Logic 11 (3):442-443.
    No categories
     
    My bibliography  
     
    Export citation  
  23. Alasdair Urquhart (2005). Russell Bertrand Correspondance sur la philosophie, la logique et la politique avec Louis Couturat (1897-1913)., Édition et commentaire par Anne-Françoise Schmid. Transcription et notes sur la langue internationale par Tazio Carlevaro. Éditions Kimé, Paris, 2001. 737 pp. [REVIEW] Bulletin of Symbolic Logic 11 (3):442-444.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Michael Soltys & Alasdair Urquhart (2004). Matrix Identities and the Pigeonhole Principle. Archive for Mathematical Logic 43 (3):351-357.
    We show that short bounded-depth Frege proofs of matrix identities, such as PQ=I⊃QP=I (over the field of two elements), imply short bounded-depth Frege proofs of the pigeonhole principle. Since the latter principle is known to require exponential-size bounded-depth Frege proofs, it follows that the propositional version of the matrix principle also requires bounded-depth Frege proofs of exponential size.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Alasdair Urquhart (2004). David Corfield, Towards a Philosophy of Real Mathematics Reviewed By. Philosophy in Review 24 (3):175-177.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Alasdair Urquhart (2004). Sergio Fajardo and H. Jerome Keisler. Model Theory of Stochastic Processes, Lecture Notes in Logic, Vol. 14. Association for Symbolic Logic, AK Peters, Ltd., Natick, Massachusetts, 2002, Xii+ 136 Pp. [REVIEW] Bulletin of Symbolic Logic 10 (1):110-112.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Alasdair Urquhart (2004). The Limits of Abstraction. Journal of Philosophy 101 (11):594-598.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Luc Lismont, Philippe Mongin, Strong Completeness, Volker Halbach, Hannes Leitgeb, Philip Welch, Francis Jeffry Pelletier, Alasdair Urquhart & Synonymous Logics (2003). Philip G. Calabrese/Operating on Functions with Variable Domains 1–18 Stewart Shapiro/Mechanism, Truth, and Penrose's New Argu-Ment 19–42 Steven E. Boër/Thought-Contents and the Formal Ontology Of. [REVIEW] Journal of Philosophical Logic 32:667-668.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Francis Jeffry Pelletier & Alasdair Urquhart (2003). Synonymous Logics. Journal of Philosophical Logic 32 (3):259-285.
    This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are "synonymous" or "translationally equivalent." We discuss a proposed formal definition of translational equivalence, show why it is reasonable, and also discuss its relation to earlier definitions in the literature. We also give a simple criterion for showing that two modal logics are not translationally equivalent, and apply this to well-known examples. Some philosophical morals (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Alasdair Urquhart (2003). The Theory of Types. In Nicholas Griffin (ed.), The Cambridge Companion to Bertrand Russell. Cambridge University Press. 286--309.
    No categories
     
    My bibliography  
     
    Export citation  
  31. Alasdair Urquhart (1999). Beth's Definability Theorem in Relevant Logics. In E. Orłowska (ed.), Logic at Work. Heidelberg. 229--234.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Alasdair Urquhart (1999). From Berkeley to Bourbaki. Dialogue 38 (03):587-.
    This has been a great century for logic and the foundations of mathematics. Ewald's excellent sourcebook is a welcome addition to the literature on the exciting developments of this and the past two centuries. The richness of the material on which Ewald is drawing is shown by the fact that he has assembled a broad and representative selection without once duplicating anything to be found in the famous sourcebooks of van Heijenoort and Benacerraf/Putnam.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Alasdair Urquhart (1999). George Boolos, Logic, Logic and Logic Reviewed By. Philosophy in Review 19 (4):244-246.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Alasdair Urquhart (1999). Review: Gregory Landini, Russell's Hidden Substitutional Theory. [REVIEW] Journal of Symbolic Logic 64 (3):1370-1371.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Alasdair Urquhart (1999). The Complexity of Decision Procedures in Relevance Logic II. Journal of Symbolic Logic 64 (4):1774-1802.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  36. James R. Brown & Alasdair Urquhart (1998). Benacerraf and His Critics Adam Morton and Stephen Stich, Editors Philosophers and Their Critics, Vol. 8 Cambridge, MA: Blackwell Publishers, 1996, Xi + 271 Pp., $54.95. [REVIEW] Dialogue 37 (03):633-.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Alasdair Urquhart (1997). The Number of Lines in Frege Proofs with Substitution. Archive for Mathematical Logic 37 (1):15-19.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Alasdair Urquhart & Jagdish Mehra (1997). The Beat of a Different Drum: The Life and Science of Richard Feynman. International Studies in the Philosophy of Science 11 (3).
     
    My bibliography  
     
    Export citation  
  39. Alasdair Urquhart (1996). Duality for Algebras of Relevant Logics. Studia Logica 56 (1-2):263 - 276.
    This paper defines a category of bounded distributive lattice-ordered grupoids with a left-residual operation that corresponds to a weak system in the family of relevant logics. Algebras corresponding to stronger systems are obtained by adding further postulates. A duality theoey piggy-backed on the Priestley duality theory for distributive lattices is developed for these algebras. The duality theory is then applied in providing characterizations of the dual spaces corresponding to stronger relevant logics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Alasdair Urquhart (1996). Russell and Analytic Philosophy, Edited by Irvine AD and Wedeking GA, Toronto Studies in Philosophy, University of Toronto Press, Toronto, Buffalo, and London, 1993, Xv+ 424 Pp. [REVIEW] Journal of Symbolic Logic 61 (4):1391-1392.
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Alasdair Urquhart (1996). Review: A. D. Irvine, G. A. Wedeking, Russell and Analytic Philosophy. [REVIEW] Journal of Symbolic Logic 61 (4):1391-1392.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Alasdair Urquhart & Xudong Fu (1996). Simplified Lower Bounds for Propositional Proofs. Notre Dame Journal of Formal Logic 37 (4):523-544.
    This article presents a simplified proof of the result that bounded depth propositional proofs of the pigeonhole principle are exponentially large. The proof uses the new techniques for proving switching lemmas developed by Razborov and Beame. A similar result is also proved for some examples based on graphs.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. Alasdair Urquhart (1995). Reputation Among Logicians as Being Essentially Trivial. I Hope to Convince the Reader That It Presents Some of the Most Challenging and Intriguing Problems in Modern Logic. Although the Problem of the Complexity of Propositional Proofs is Very Natural, It has Been Investigated Systematically Only Since the Late 1960s. [REVIEW] Bulletin of Symbolic Logic 1 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Alasdair Urquhart (1995). The Complexity of Propositional Proofs. Bulletin of Symbolic Logic 1 (4):425-467.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  45. Alasdair Urquhart (1995). X1. Introduction. The Classical Propositional Calculus has an Undeserved Reputation Among Logicians as Being Essentially Trivial. I Hope to Convince the Reader That It Presents Some of the Most Challenging and Intriguing Problems in Modern Logic. Although the Problem of the Complexity of Propositional Proofs is Very. [REVIEW] Bulletin of Symbolic Logic 1 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Alasdair Urquhart (1994). Book Review: Grzegorz Malinowski Many-Valued Logics. [REVIEW] Notre Dame Journal of Formal Logic 35 (3):469-470.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Alasdair Urquhart (ed.) (1994). Foundations of Logic, 1903-05.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  48. Alasdair Urquhart & Albert C. Lewis (eds.) (1994). The Collected Papers of Bertrand Russell, Volume 4: Foundations of Logic, 1903-05. Routledge.
    First published in 1994. Routledge is an imprint of Taylor & Francis, an informa company.
    No categories
     
    My bibliography  
     
    Export citation  
  49. Stephen Cook & Alasdair Urquhart (1993). Functional Interpretations of Feasibly Constructive Arithmetic. Annals of Pure and Applied Logic 63 (2):103-200.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Alasdair Urquhart (1993). AS Troelstra, Lectures on Linear Logic Reviewed By. Philosophy in Review 13 (3):126-128.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 88