Switch to: References

Add citations

You must login to add citations.
  1. The National Science Foundation and philosophy of science's withdrawal from social concerns.Krist Vaesen & Joel Katzav - 2019 - Studies in History and Philosophy of Science Part A 78 (C):73-82.
    At some point during the 1950s, mainstream American philosophy of science began increasingly to avoid questions about the role of non-cognitive values in science and, accordingly, increasingly to avoid active engagement with social, political and moral concerns. Such questions and engagement eventually ceased to be part of the mainstream. Here we show that the eventual dominance of 'value-free' philosophy of science can be attributed, at least in part, to the policies of the U.S. National Science Foundation's "History and Philosophy of (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Intuitionistic ε- and τ-calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.
    There are several open problems in the study of the calculi which result from adding either of Hilbert's ϵ- or τ-operators to the first order intuitionistic predicate calculus. This paper provides answers to several of them. In particular, the first complete and sound semantics for these calculi are presented, in both a “quasi-extensional” version which uses choice functions in a straightforward way to interpret the ϵ- or τ-terms, and in a form which does not require extensionality assumptions. Unlike the classical (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Notes on the theory of variable binding term operators.Newton C. A. da Costa & Chris Mortensen - 1983 - History and Philosophy of Logic 4 (1-2):63-72.
    The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic.
    Download  
     
    Export citation  
     
    Bookmark