Switch to: References

Citations of:

Inferential semantics for first-order logic : motivating rules of inference from rules of evaluation

In Jonathan Lear & Alex Oliver (eds.), The Force of Argument: Essays in Honor of Timothy Smiley. New York: Routledge. pp. 223--257 (2009)

Add citations

You must login to add citations.
  1. What is a Rule of Inference?Neil Tennant - 2021 - Review of Symbolic Logic 14 (2):307-346.
    We explore the problems that confront any attempt to explain or explicate exactly what a primitive logical rule of inferenceis, orconsists in. We arrive at a proposed solution that places a surprisingly heavy load on the prospect of being able to understand and deal with specifications of rules that are essentiallyself-referring. That is, any rule$\rho $is to be understood via a specification that involves, embedded within it, reference to rule$\rho $itself. Just how we arrive at this position is explained by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
    This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Don’t Blame the Idealizations.Nicholaos Jones - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):85-100.
    Idealizing conditions are scapegoats for scientific hypotheses, too often blamed for falsehood better attributed to less obvious sources. But while the tendency to blame idealizations is common among both philosophers of science and scientists themselves, the blame is misplaced. Attention to the nature of idealizing conditions, the content of idealized hypotheses, and scientists’ attitudes toward those hypotheses shows that idealizing conditions are blameless when hypotheses misrepresent. These conditions help to determine the content of idealized hypotheses, and they do so in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Transmission of Verification.Ethan Brauer & Neil Tennant - forthcoming - Review of Symbolic Logic:1-16.
    This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant. Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need for appeals to excluded middle when applying, to the problem of truthmaker-transmission, the already classical metalinguistic theory of model-relative evaluations.
    Download  
     
    Export citation  
     
    Bookmark   1 citation