Switch to: References

Add citations

You must login to add citations.
  1. Semantic Values for Natural Deduction Derivations.Göran Sundholm - 2006 - Synthese 148 (3):623-638.
    Drawing upon Martin-Löf’s semantic framework for his constructive type theory, semantic values are assigned also to natural-deduction derivations, while observing the crucial distinction between consequence among propositions and inference among judgements. Derivations in Gentzen’s format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects, whereas derivations in Gentzen’s sequential format are proof-acts.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Antirealism and the Roles of Truth.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Plea for Logical Atavism.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Locke and Leibniz on the Balance of Reasons.Markku Roinila - 2013 - In Dana Riesenfeld & Giovanni Scarafile (eds.), Perspectives on Theory of Controversies and the Ethics of Communication. Springer. pp. 49-57.
    One of the features of John Locke’s moral philosophy is the idea that morality is based on our beliefs concerning the future good. In An Essay Concerning Human Understanding II, xxi, §70, Locke argues that we have to decide between the probability of afterlife and our present temptations. In itself, this kind of decision model is not rare in Early Modern philosophy. Blaise Pascal’s Wager is a famous example of a similar idea of balancing between available options which Marcelo Dascal (...)
    Download  
     
    Export citation  
     
    Bookmark