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 BibTeX
Charles D. Parsons: George Boolos. 3-5 BibTeX
Crispin Wright: Is Hume's Principle Analytic? 6-30 BibTeX
Solomon Feferman: Logic, Logics, and Logicism. 31-54 BibTeX
Darryl Jung: Russell, Presupposition, and the Vicious-Circle Principle. 55-80 BibTeX
John P. Burgess: Which Modal Logic Is the Right One?. 81-93 BibTeX
Penelope Maddy: Logic and the Discursive Intellect. 94-115 BibTeX
Albert Visser: Rules and Arithmetics. 116-140 BibTeX

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

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

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