Home on consequently.org

py3100: Reading Philosophy 1–Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science is designed to develop the philosophical skills students have acquired over the first two years of their philosophy study, and acquaint them with key works…

Abstract: We know a great many technical results concerning the relationship between classical logic and intuitionistic logic, whether in the propositional, first-order or higher-order languages.

Abstract: This talk is a free-wheeling introduction to my research, starting from work in substructural logics and logical pluralism, and ending at the many uses of proofs, including giving an account of how our modal vocabulary has the meaning that it do…

Abstract: In this talk, I introduce the difference between paraconsistency (adopting a logic for which a contradiction need not entail everything) and dialetheism (the notion that there are true contradictions), and I explain some reasons why one might ta…

Abstract: There is a very natural way to interpret the propositional connectives and quantifiers, relative to the algebra of three semantic values, {0, i, 1} where 0 and 1 are understood as the traditional values of falsity and truth, and the third value…

Late last month, my little manuscript on Proofs and Models in Philosophical Logic was published by Cambridge University Press.

This is a short book, in the Cambridge Elements series in Philosophical Logic.

Abstract: In this talk, I will introduce natural deduction with alternatives, explaining how this framework provides a simple, well-behaved, single conclusion natural deduction system for a range of logical systems, including classical logic, (classical)…

Abstract: In this talk, I examine some of the interconnections between speech acts, such as assertion and denial, inference, justification requests, and the common ground.

py4638: Philosophical Logic focuses on some of the main philosophical questions that have been raised concerning the central notions of logic.

py1012: Reasoning introduces the essential concepts and techniques of critical reasoning, formal propositional logic, and basic predicate logic.

Abstract: In this talk, I show how to incorporate insights from the model-theoretic semantics for negation (insights due the late J.

Abstract: In this talk, I examine some of the interconnections between norms governing assertion, denial, questions and answers, and the common ground of a discourse.

Abstract: In this talk, I reflect on the role of worlds–possible worlds and impossible worlds—both in the semantics of various kinds of languages and logics, and in broader issues in metaphysics.

py4612: Advanced Logic applies the tools of formal logic to make logic itself the object of study.

py3100: Reading Philosophy 1–Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science is designed to develop the philosophical skills students have acquired over the first two years of their philosophy study, and acquaint them with key works…

Abstract: It is straightforward to treat the identity predicate in models for first order predicate logic.

Abstract: In this talk, I will draw out three different ways that soundness and completeness—and the relationship between proofs and models—can teach us in something about classical propositional logic, the semantics of modal logic, and the metaphysics of…

As June 2021 turns to a close, this is my last official day at The University of Melbourne.

Abstract: In this talk, I will introduce natural deduction with alternatives, explaining how this framework provides a simple, well-behaved, single conclusion natural deduction system for a range of logical systems, including classical logic, (classical)…

Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways.

My usual talk (a close-up view of the Old Quad and Arts West at the University of Melbourne).

Abstract: It is straightforward to treat the identity predicate in models for first order predicate logic.

UNIB10002: Logic, Language and Information is a University of Melbourne undergraduate breadth subject, introducing logic and its applications to students from a wide range of disciplines in the Arts, Sciences and Engineering.

PHIL30043: The Power and Limits of Logic (or, as I like to call it, Kurt Gödel’s Greatest Hits) is a University of Melbourne undergraduate subject.

Abstract: In this talk I will show how defining rules in a hypersequent setting can give a uniform proof-theoretic semantics of identity and modality, allowing – equally naturally – for (1) modal operators for which identity statements are necessary (if t…

Abstract: In this talk, I will introduce natural deduction with alternatives, explaining how this framework can provide a simple well-behaved single conclusion natural deduction system for a range of logical systems, including classical logic, (classical)…

Abstract: It is tempting to take the logical connectives, such as conjunction, disjunction, negation and the material conditional to be defined by the basic inference rules in which they feature.

It is tempting to take the logical connectives, such as conjunction, disjunction, negation and the material conditional to be defined by the basic inference rules in which they feature.

As I write this, the first week of the second semester of 2020 is nearing its end, and I’ve taught my first two seminars in Logical Methods, my main undergraduate teaching responsibility for this semester.

PHIL20030: Logical Methods is a University of Melbourne undergraduate subject introducing logic to philosophy students.

I’ve been up to a few things during the pandemic.

Abstract: In this talk, I examine some of the interconnections between norms governing assertion, denial, questions and answers, and the common ground of a discourse.

In our response Field’s “Properties, Propositions and Conditionals”, we explore the methodology of Field’s program.

Abstract: Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways.

UNIB10002: Logic, Language and Information is a University of Melbourne undergraduate breadth subject, introducing logic and its applications to students from a wide range of disciplines in the Arts, Sciences and Engineering.

PHIL40013: Uncertainty, Vagueness and Disagreement is a University of Melbourne honours seminar subject for fourth-year students.

PHIL30043: The Power and Limits of Logic (or, as I like to call it, Kurt Gödel’s Greatest Hits) is a University of Melbourne undergraduate subject.

Abstract: Logic has been an important part of philosophy in the western tradition since the work of Aristotle in the 4th Century BCE.

In models for paraconsistent logics, the semantic values of sentences and their negations are less tightly connected than in classical logic.

In this talk, I aim to give an account of norms governing our uses of generic judgements (like “kangaroos have long tails”, “birds lay eggs”, or “logic talks are boring”), norms governing inference, and the relationship between generics and inference.

Abstract: Over the last century or so, the discipline of logic has grown and transformed into a powerful set of tools and techniques that find their use in fields as far apart as philosophy, mathematics, computer science, electrical engineering and lingui…

We present and defend the Australian Plan semantics for negation.

It’s been a big year.

Abstract: Over the last century or so, the discipline of logic has grown and transformed into a powerful set of tools and techniques that find their use in fields as far apart as philosophy, mathematics, computer science, electrical engineering and lingui…

Abstract: In this talk, I examine some of the interconnections between norms governing assertion, denial, questions and answers, and the common ground of a discourse.

Abstract: In this talk I present a new frame semantics for positive substructural and relevant propositional logics.

PHIL40013: Uncertainty, Vagueness and Disagreement is a University of Melbourne honours seminar subject for fourth-year students.

PHIL20030: Meaning, Possibility and Paradox is a University of Melbourne undergraduate subject introducing logic to philosophy students.

Abstract: In this talk, I examine some of the interconnections between norms governing assertion, denial, questions and answers, and the common ground of a discourse.