Switch to: References

Add citations

You must login to add citations.
  1. Implicit Definition and the Application of Logic.Thomas Kroedel - 2012 - Philosophical Studies 158 (1):131-148.
    The paper argues that the theory of Implicit Definition cannot give an account of knowledge of logical principles. According to this theory, the meanings of certain expressions are determined such that they make certain principles containing them true; this is supposed to explain our knowledge of the principles as derived from our knowledge of what the expressions mean. The paper argues that this explanation succeeds only if Implicit Definition can account for our understanding of the logical constants, and that fully (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - forthcoming - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark