Home on consequently.org consequently.org

Proofs and Models in Philosophical Logic

consequently.org·217w

Natural Deduction with Alternatives: on structural rules, and identifying assumptions

consequently.org·218w

Justification Requests, Inference and Definitions

consequently.org·225w

PY4634: Philosophical Logic

consequently.org·227w

PY1012: Reasoning

consequently.org·227w

Proofs with Star and Perp: pluralism and proofs for different logics

consequently.org·232w

Assertions, Denials, Questions, Answers, and the Common Ground

consequently.org·239w

Worlds: Possible and Impossible

consequently.org·241w

PY4612: Advanced Logic

consequently.org·244w

PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science

consequently.org·244w

Comparing Rules for Identity in sequent systems and natural deduction

consequently.org·245w

Proofs and Models in Philosophical Logic

consequently.org·246w

Leaving Melbourne

consequently.org·255w

Natural Deduction with Alternatives: on structural rules, and identifying assumptions

consequently.org·256w

Proof, Rules and Meaning

consequently.org·259w

Geometric Models for Relevant Logics

consequently.org·262w

Platonism, Nominalism, Realism, Anti-Realism, Reprentationalism, Inferentialism and all that

consequently.org·263w

Comparing Rules for Identity in Sequent Systems and Natural Deduction

consequently.org·265w

PHIL30043: The Power and Limits of Logic

consequently.org·272w

UNIB10002: Logic, Language and Information

consequently.org·272w

Log in to enable infinite scrolling