External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 40, Issue 4

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

    Volume 40, Issue 3

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

    Volume 40, Issue 2

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

    Volume 40, Issue 1

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