Year:

Forthcoming articles
  1. Juliette Kennedy (forthcoming). Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy. [REVIEW] Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  2.  10
    Sean Walsh (forthcoming). The Strength of Abstraction with Predicative Comprehension. Bulletin of Symbolic Logic.
    Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  2
    Rod Downey (forthcoming). Twelfth Asian Logic Conference. Bulletin of Symbolic Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. M. Hallett (forthcoming). Hilbert on Number, Geometry and Continuity. Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography   1 citation  
  5. Bradd Hart (forthcoming). 2012 North American Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Stephen W. Hawking (forthcoming). Cohen and Set Theory. Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  7. Symbolic Logic (forthcoming). What is Neologicism? Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  8. Françoise Point (forthcoming). Definability in Valued Ore Modules. Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  9.  5
    Michael Rathjen (forthcoming). Recent Advances in Ordinal Analysis. Bulletin of Symbolic Logic.
    Ordinal-theoretic proof theory came into existence in 1936, springing forth from Gentzen's head in the course of his consistency proof of arithmetic. Gentzen fostered hopes that with sufficiently large constructive ordinals one could establish the consistency of analysis, i.e., second order arithmetic. The purpose of the present paper is, in general, the report the state of the art of ordinal analysis and, in particular, the recent success in obtaining an ordinal analysis for a strong subsystem of second order arithmetic, which (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10. Deirdre Haskell Denis Hirschfeldt Andre Scedrov & Ralf Schindler (forthcoming). Full-Text of Current Issues of The Bulletin of Symbolic Logic and The Journal of Symbolic Logic is Available to All ASL Members Electronically Via Project Euclid. Individual Members Who Wish to Gain Access Should Follow These Instructions: 11) Go to Http://Projecteuclid. Org:(2) in The'for Subscribers" Tab. Click on" Log in for Existing Subscribers':(3) Click on" Create a Profile Here" in the Center of the Login Page:(4) Till in at Least the Required Fields. [REVIEW] Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  11. C. Steinsvold & R. Parikh (forthcoming). A Modal Analysis of Some Phenomena in Child Psychology. Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues