5 found
Order:
  1. Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
    Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  2. A fictionalist theory of universals.Tim Button & Robert Trueman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. 양상논리 맛보기 (Tasting Modal Logic).Robert Trueman, Richard Zach & Chanwoo Lee - manuscript - Translated by Chanwoo Lee.
    이 책자는 형식 논리의 일종인 양상논리에 입문하고 싶으신 분들을 위한 짧은 교재입니다. “양상논리 맛보기” 라는 말마따나, 이 책자는 양상논리에 관심은 있지만 아직 본격적으로 공부를 시작하진 않은 분들께서 ‘맛보기’를 하기에 적합한 안내 책자입니다. 아무쪼록 이 책자가 양상논리를 공부해나가시는데 유용한 첫 발판이 될 수 있기를 바랍니다. / This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Para Todxs: Natal - uma introdução à lógica formal.P. D. Magnus, Tim Button, Robert Loftis, Robert Trueman, Aaron Thomas Bolduc, Richard Zach, Daniel Durante, Maria da Paz Nunes de Medeiros, Ricardo Gentil de Araújo Pereira, Tiago de Oliveira Magalhães, Hudson Benevides, Jordão Cardoso, Paulo Benício de Andrade Guimarães & Valdeniz da Silva Cruz Junior - 2022 - Natal-RN: PPGFIL-UFRN.
    Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.
    Download  
     
    Export citation  
     
    Bookmark