Notre Dame Journal of Formal Logic, Volume 41

Volume 41, Number 1, 2000

• Lloyd Humberstone: An Intriguing Logic with Two Implicational Connectives. 1-40
• Stephanie Cawthorne, David W. Kueker: Essential Forcing Generics. 41-52
• Hilary Putnam: Nonstandard Models and Kripke's Proof of the Gödel Theorem. 53-58
• Jaroslaw Pykacz: New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions. 59-76
• Robert Charles Koons: Book Review: Scott Soames. Understanding Truth. 77-94

Volume 41, Number 2, 2000

• Wayne Wobcke: An Information-Based Theory of Conditionals. 95-141
• Toshio Suzuki: Complexity of the r-query Tautologies in the Presence of a Generic Oracle. 142-151
• David Bennett: A Single Axiom for Set Theory. 152-170
• Giorgi Japaridze: The Propositional Logic of Elementary Tasks. 171-183

Volume 41, Number 3, 2000

• Michael Detlefsen: Introduction to Logicism and the Paradoxes: A Reappraisal. 185-185
• Richard G. Heck Jr.: Cardinality, Counting, and Equinumerosity. 187-209
• William Demopoulos: On the Origin and Status of our Conception of Number. 210-226
• Patricia A. Blanchette: Realism and Paradox. 227-241
• Aldo Antonelli, Robert May: Frege's New Science. 242-270
• Jamie Tappenden: Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? 271-315

Volume 41, Number 4, 2000

• Crispin Wright: Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint. 317-334
• Stewart Shapiro: Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. 335-364
• D. C. McCarty: Optics of Thought: Logic and Vision in M=FCller, Helmholtz, and Frege. 365-378
• Bob Hale: Abstraction and Set Theory. 379-398
• W. D. Hart: Skolem Redux. 399-414
• Timothy Bays: The Fruits of Logicism. 415-421