Notre Dame Journal of Formal Logic, Volume 40

Volume 40 , Number 1, Winter 1999

• Michael Detlefsen: Introduction to Special Issue on George S. Boolos. 1-2
• Charles D. Parsons: George Boolos. 3-5
• Crispin Wright: Is Hume's Principle Analytic? 6-30
• Solomon Feferman: Logic, Logics, and Logicism. 31-54
• Darryl Jung: Russell, Presupposition, and the Vicious-Circle Principle. 55-80
• John P. Burgess: Which Modal Logic Is the Right One?. 81-93
• Penelope Maddy: Logic and the Discursive Intellect. 94-115
• Albert Visser: Rules and Arithmetics. 116-140

Volume 40, Number 2, Spring 1999

• Marcus Kracht: Modal Logics That Need Very Large Frames. 141-173
• Marcel Crabbé: The 3-Stratifiable Theorems of NFU_infinity. 174-182
• M. Randall Holmes: Subsystems of Quine's "New Foundations" with Predicativity Restrictions. 183-196
• Olivier Esser, Roland Hinnion: Antifoundation and Transitive Closure in the System of Zermelo. 197-205
• Francesc Tomàs: An Open Formalism against Incompleteness. 207-226
• Mladen Vukovic: The Principles of Interpretability. 227-235
• Fabrice Correia: Adequacy Results for Some Priorean Modal Propositional Logics. 236-249
• James Cargile: Proposition and Tense. 250-257
• Allard M. Tamminga, Koji Tanaka: A Natural Deduction System for First Degree Entailment. 258-272
• Gert-Jan C. Lokhorst: Ernst Mally's Deontik (1926). 273-282
• John P. Burgess: Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology. 283-291
• Stephen Pollard: Book Review: Penelope Maddy. Naturalism in Mathematics. 293-306

Volume 40, Number 3 , Summer 1999

• André Nies: A New Spectrum of Recursive Models. 307-314
• Augustín Rayo, Gabriel Uzquiano: Toward a Theory of Second-Order Consequence. 315-325
• Yoshihito Tanaka: Kripke Completeness of Infinitary Predicate Multimodal Logics. 326-340
• Arthur W. Apter: On the Consistency Strength of Two Choiceless Cardinal Patterns. 341-345
• Kyriakos Keremedis, Horst Herrlich: Powers of 2. 346-351
• Reinhard Muskens: On Partial and Paraconsistent Logics. 352-374
• Walter Alexandre Carnielli, João Marcos: Limits for Paraconsistent Calculi. 375-390
• Alex Orenstein: Reconciling Aristotle and Frege. 391-413
• Fred Johnson: Parry Syllogisms. 414-419
• Michael White: Incommensurables and Incomparables: On the Conceptual Status and the Philosophical Use of Hyperreal Numbers. 420-446
• Craig Fraser: Book Review: Paolo Mancuso. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. 447-454
• Janet Folina: Book Review: Michael Resnik. Mathematics as a Science of Patterns. 455-472

Volume 40, Number 4, Fall 1999

• Peter W. Woodruff, Terence Parsons: Set Theory with Indeterminacy of Identity. 473-495
• Hannes Leitgeb: Truth and the Liar in De Morgan-Valued Models. 496-514
• James Cain: The Theory of Computability Developed in Terms of Satisfaction. 515-532
• Evgeni E. Zolin: Completeness and Definability in the Logic of Noncontingency. 533-547
• Kyriakos Keremedis, Eleftherios Tachtsis: Nonconstructive Properties of Well-Ordered T2 topological Spaces. 548-553
• Byeong-Uk Yi: Descending Chains and the Contextualist Approach to Semantic Paradoxes. 554-567
• Christian Delhommé, Marianne Morillon: Dependent Choices and Weak Compactness. 568-573
• Fred Johnson: Rejection and Truth-Value Gaps. 574-577
• Marcus Kracht: Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. 578-587