Switch to: References

Add citations

You must login to add citations.
  1. Une Grammaire de l'Incomplétude Référentielle: La Logique Intensionnelle des Principia Mathematica.Jocelyne Couture - 1983 - Dialogue 22 (1):69-90.
  • The Methodological Roles of Tolerance and Conventionalism in the Philosophy of Mathematics: Reconsidering Carnap's Logic of Science.P. Doyle Emerson - unknown
    This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Partial Model of NF with ZF.Nando Prati - 1993 - Mathematical Logic Quarterly 39 (1):274-278.
    The theory New Foundations of Quine was introduced in [14]. This theory is finitely axiomatizable as it has been proved in [9]. A similar result is shown in [8] using a system called K. Particular subsystems of NF, inspired by [8] and [9], have models in ZF. Very little is known about subsystems of NF satisfying typical properties of ZF; for example in [11] it is shown that the existence of some sets which appear naturally in ZF is an axiom (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Language for Type-Free Algebra.William S. Hatcher - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):385-397.
  • The Axiomatic Characterization of Functions.B. Schweizer & A. Sklar - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (25-26):373-382.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark