References in work:

Jaroslav Peregrin (2010). Inferentializing Semantics.

16 found
Order:
Are we missing references?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add references for the above work:

  1. Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert B. Brandom - 1994 - Harvard University Press.
    What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. Where (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   472 citations  
  2.  25
    Handbook of Proof Theory.Samuel R. Buss (ed.) - 1998 - Elsevier.
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...)
    Direct download  
     
    Export citation  
     
    My bibliography   14 citations  
  3.  13
    Formalization of Logic.Rudolf Carnap - 1943 - Cambridge: Mass., Harvard University Press.
  4.  28
    Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford University Press.
    This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.
    Direct download  
     
    Export citation  
     
    My bibliography   23 citations  
  5.  43
    Completeness and Super-Valuations.Gary M. Hardegree - 2005 - Journal of Philosophical Logic 34 (1):81 - 95.
    This paper uses the notion of Galois-connection to examine the relation between valuation-spaces and logics. Every valuation-space gives rise to a logic, and every logic gives rise to a valuation space, where the resulting pair of functions form a Galoisconnection, and the composite functions are closure-operators. A valuation-space is said to be complete precisely if it is Galois-closed. Two theorems are proven. A logic is complete if and only if it is reflexive and transitive. A valuation-space is complete if and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  6. Introduction to Proof Theoretic Semantics. Special Issue Of.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148.
     
    Export citation  
     
    My bibliography   3 citations  
  7.  63
    A Survey of Proof Theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   22 citations  
  8. Inferentialism and the Categoricity Problem: Reply to Raatikainen.Julien Murzi & Ole Thomassen Hjortland - 2009 - Analysis 69 (3):480-488.
    It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...)
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  9.  54
    An Inferentialist Approach to Semantics: Time for a New Kind of Structuralism?Jaroslav Peregrin - 2008 - Philosophy Compass 3 (6):1208-1223.
    The perennial question – What is meaning? – receives many answers. In this paper I present and discuss inferentialism – a recent approach to semantics based on the thesis that to have ( such and such ) a meaning is to be governed by ( such and such ) a cluster of inferential rules . I point out that this thesis presupposes that looking for meaning requires seeing language as a social institution (rather than, say, a psychological reality). I also (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10. Meaning as an Inferential Role.Jaroslav Peregrin - 2005 - Erkenntnis 64 (1):1-35.
    While according to the inferentialists, meaning is always a kind of inferential role, proponents of other approaches to semantics often doubt that actual meanings, as they see them, can be generally reduced to inferential roles. In this paper we propose a formal framework for considering the hypothesis of the.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  11.  54
    Language and its Models: Is Model Theory a Theory of Semantics?Jaroslav Peregrin - 1997 - Nordic Journal of Philosophical Logic 2 (1):1-23.
    Tarskian model theory is almost universally understood as a formal counterpart of the preformal notion of semantics, of the “linkage between words and things”. The wide-spread opinion is that to account for the semantics of natural language is to furnish its settheoretic interpretation in a suitable model structure; as exemplified by Montague 1974.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  12. On Rules of Inference and the Meanings of Logical Constants.Panu Raatikainen - 2008 - Analysis 68 (300):282-287.
    In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of Dummett and (...)
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  98
    Identity and Harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  14. Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   258 citations  
  15.  18
    Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.
    Direct download  
     
    Export citation  
     
    My bibliography   19 citations  
  16.  32
    Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.
    Peter Milne (2007) poses two challenges to the inferential theorist of meaning. This study responds to both. First, it argues that the method of natural deduction idealizes the essential details of correct informal deductive reasoning. Secondly, it explains how rules of inference in free logic can determine unique senses for the existential quantifier and the identity predicate. The final part of the investigation brings out an underlying order in a basic family of free logics.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation