Now showing items 1-7 of 7

  • Carnap's conventionalism : logic, science, and tolerance 

    Friedman-Biglin, Noah (University of St Andrews, 2014-06-26) - Thesis
    In broadest terms, this thesis is concerned to answer the question of whether the view that arithmetic is analytic can be maintained consistently. Lest there be much suspense, I will conclude that it can. Those who ...
  • Essentialism, nominalism, and modality: the modal theories of Robert Kilwardby & John Buridan 

    Johnston, Spencer C. (University of St Andrews, 2015-11-30) - Thesis
    In the last 30 years there has been growing interest in and a greater appreciation of the unique contributions that medieval authors have made to the history of logic. In this thesis, we compare and contrast the modal ...
  • Logic in theory and in practice : the normative status of logic 

    Celani, Laura (University of St Andrews, 2015-06-25) - Thesis
    In my thesis, I address the question ʽWhat normative status does logic have?', to argue that logical normativity is of a weak sort, and that its constraining power is similar to that of recommendations. The thesis first ...
  • Negation in context 

    De, Michael (University of St Andrews, 2011-06-24) - Thesis
    The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters ...
  • Normalisation & equivalence in proof theory & type theory 

    Lengrand, Stéphane J. E. (University of St Andrews, 2006-12-08) - Thesis
    At the heart of the connections between Proof Theory and Type Theory, the Curry-Howard correspondence provides proof-terms with computational features and equational theories, i.e. notions of normalisation and equivalence. ...
  • The routes of sense : thought, semantic underdeterminacy and compositionality 

    Pedriali, Walter B. (University of St Andrews, 2012) - Thesis
    What does it mean to be a rational language user? What is it to obey linguistic rules? What is the proper account of linguistic competence? A Fregean answer to these questions would make essential appeal to the notion ...
  • The structure of logical consequence : proof-theoretic conceptions 

    Hjortland, Ole T. (University of St Andrews, 2010-06-25) - Thesis
    The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of ...