Offered through the University of Melbourne

PHIL20030: Meaning, Possibility and Paradox is a University of Melbourne undergraduate subject. The idea that the meaning of a sentence depends on the meanings of its parts is fundamental to the way we understand logic, language and the mind. In this subject, we looked at the different ways that this idea has been applied in logic throughout the 20th Century and into the present day.

In the first part of the subject, our focus is on the concepts of necessity and possibility, and the way that ‘possible worlds semantics’ has been used in theories of meaning. We will focus on the logic of necessity and possibility (modal logic), times (temporal logic), conditionality and dependence (counterfactuals), and the notions of analyticity and a priority so important to much of philosophy.

In the second part of the subject, we examined closely the assumption that every statement we make is either true or false but not both. We will examine the paradoxes of truth (like the so-called ‘liar paradox’) and vagueness (the ‘sorites paradox’), and we will investigate different ways attempts at resolving these paradoxes by going beyond our traditional views of truth (using ‘many valued logics’) or by defending the traditional perspective.

The subject serves as an introduction to ways that logic is applied in the study of language, epistemology and metaphysics, so it is useful to those who already know some philosophy and would like to see how logic relates to those issues. It is also useful to those who already know some logic and would like to learn new logical techniques and see how these techniques can be applied.

In 2014, Dr Rohan French taught the bulk of this subject, using materials that he and I developed. We made use of video lectures I have made freely available on Vimeo.

← PHIL40007: Philosophy of Language and Mind | Class Archive | Logic: Language and Information 2 →


I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.