Home on consequently.org consequently.org

Defining Rules, Proofs and Counterexamples

consequently.org·407w

Proof Theory, Rules and Meaning — an introduction

consequently.org·407w

PHIL30043: The Power and Limits of Logic

consequently.org·408w

PHIL20030: Meaning, Possibility and Paradox

consequently.org·408w

What Proofs are For

consequently.org·414w

Isomorphisms in a Category of Proofs

consequently.org·422w

Accommodation, Inference, Generics and Pejoratives

consequently.org·422w

Accommodation, Inference, Generics and Pejoratives

consequently.org·422w

Accommodation, Inference, Generics and Pejoratives

consequently.org·423w

Isomorphisms in a Category of Proofs

consequently.org·423w

Isomorphisms in a Category of Proofs

consequently.org·423w

What Proofs are For

consequently.org·424w

Accommodation, Inference, Generics and Pejoratives

consequently.org·425w

Accommodation, Inference, Generics and Pejoratives

consequently.org·426w

Truth Tellers in Bradwardine's Theory of Truth

consequently.org·426w

Isomorphisms in a Category of Propositions and Proofs

consequently.org·429w

Community (the twelfth of twelve things I love about philosophical logic)

consequently.org·438w

Proof Identity, Aboutness and Meaning

consequently.org·444w

Negation on the Australian Plan

consequently.org·452w

Learning and Teaching (the eleventh of twelve things I love about philosophical logic)

consequently.org·452w

Log in to enable infinite scrolling