Notre Dame Journal of Formal Logic, Volume 41

Volume 41, Number 1, 2000

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

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

Logicism and the Paradoxes: A Reappraisal I

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

Logicism and the Paradoxes: A Reappraisal II

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