The Logica Yearbook

accept analytic antirealist appended without capitalization argue arithmetic assertion assumption axioms Begriffsschrift Belief Revision beliefs Bolzano claim classical logic commitment concept contradiction deductive deductor deontic derivable dialetheism Dummett English entailment epistemic example exclusion negation express a proposition express a true fact false follows formal formula Frege Graham Priest Hájek hence illocutionary inconsistent inference rules inferential interpretation intersubstitutivity intuition justified k-state Kant knowledge Kripke layout Leibniz Liar argument Liar Paradox mathematicians maxim means meinongian metaphysical modal logic model theory notion objects Oxford paraconsistent logic paradox philosophy of mathematics possible premise Priest principle of bivalence priori proof predicate provable Putnam quotation reason reject relation Rosser schema second-order logic semantic sense Sentence G Simple Liar statement step Strengthened Liar structuralist structure suppose T-schema theorem tion trivial true proposition truth values University Press updating valid valuation Wittgenstein