This is Greg Restall’s website, with news, writings, links, and bite sized updates. For background look below.

This is a breakdown of my writing into different topics. Links take you to a PDF file of the item (when available) and to a page with each item’s abstract, and a place to leave comments.

a priori

  • “A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. [Page | PDF 191KB]

algebras

  • “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
  • “A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. [Page | PDF 267KB]
  • “How to be Really Contraction Free” Studia Logica 52 (1993) 381–391. [Page | PDF 6MB]

assertion

  • “Assertion, Denial and Non-Classical Theories,” to appear in the proceedings of the Fourth World Congress of Paraconsistency, Melbourne July 2008. [Page | PDF 301KB]
  • “Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. [Page | PDF 167KB]
  • “Assertion, Denial, Accepting, Rejecting, Symmetry and all that,” article in progress [Page | PDF 154KB]
  • “Constructive Logic, Truth and Warranted Assertibility,” Philosophical Quarterly, 51 (2001) 474–483. [Page | PDF 385KB]

atonement

belief

  • “Realistic Belief Revision,” with John Slaney, Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence (Paris, July 1995), 367–378. [Page | PDF 131KB]

boolean negation

  • “On t and u, and what hey can do” Analysis 70:4 (2010) 673–676. [Page | PDF 156KB]

Bradwardine

classical logic

  • “Anti-Realist Classical Logic and Realist Mathematics,” to appear in a volume on anti-realism and realism. [Page | PDF 392KB]
  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • Proof Theory and Philosophy: book manuscript in progress. [Page | PDF 1MB]
  • Logic, Routledge, 2006. [Page | Amazon]
  • (with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
  • “Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005. [Page]
  • “Great Moments in Logic” available at http://consequently.org/writing/logicians, 2004. [Page]
  • “Logic,” pages 64–93 in Fundamentals of Philosophy, edited by John Shand, Routledge, 2003. [Page | PDF 187KB]
  • JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 [Page | PDF 150KB]
  • Entry “Logical Laws” The Encyclopedia of Philosophy, Routledge, 1998. [Page | PDF 168KB]
  • “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]
  • “Multiple Conclusions,” in Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, edited by Petr Hajek, Luis Valdes-Villanueva and Dag Westerstahl, Kings’ College Publications, 2005, 189–205. [Page | PDF 247KB]
  • “Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). [Page | PDF 104KB]

contraction

  • “Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. [Page | PDF 157KB]
  • “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
  • “Modalities in Substructural Logics,” Logique et Analyse, 35 (1992) 303–321 (published in 1995). 420–426. [Page | PDF 278KB]
  • (with Susan Rogerson) “Routes to Triviality,” Journal of Philosophical Logic, 33 (2004) 421–436. [Page | PDF 173KB]
  • “Information Flow and Relevant Logic,” in Logic, Language and Computation: The 1994 Moraga Proceedings, Jerry Seligman and Dag Westerståhl (editors) CSLI Press, 1995, pages 463–477. [Page | PDF 217KB]
  • “Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. [Page | PDF 85KB | Bib]
  • On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. [Page | PDF 1MB]
  • “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]
  • “How to be Really Contraction Free” Studia Logica 52 (1993) 381–391. [Page | PDF 6MB]
  • “Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. [Page | PDF 1MB]

decidability

  • “Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. [Page | PDF 375KB]

entailment

  • “Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. [Page | PDF 167KB]
  • “Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005. [Page]
  • (with JC Beall) “Defending Logical Pluralism,” pages 1–22 in Logical Consequence: Rival Approaches Proceedings of the 1999 Conference of the Society of Exact Philosophy (Stanmore: Hermes, 2001), John Woods and Bryson Brown (editors), ISBN 1-903398-17-5. [Page | PDF 150KB]
  • Entry “Logical Laws” The Encyclopedia of Philosophy, Routledge, 1998. [Page | PDF 168KB]
  • “Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147-156. (Appeared in 2004) [Page | PDF 134KB]
  • “Paraconsistent Logics!,” Bulletin of the Section of Logic of the Polish Academy of Sciences 26 (1997) 156-163. [Page | PDF 135KB]

epistemology

  • “A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. [Page | PDF 191KB]
  • “Not Every Truth Can Be Known: at least, not all at once”, pages 339-354 in New Essays on the Knowability Paradox, edited by Joe Salerno, Oxford University Press, 2009. [Page | PDF 228KB]
  • (with Graham Priest) “Envelopes and Indifference,” pages 283-290 in Dialogues, Logics and Other Strange Things, essays in honour of Shahid Rahman, edited by Cédric Dégremont, Laurent Keiff and Helge Rückert, College Publications, 2008. [Page | PDF 119KB]
  • “Logical Pluralism and the Preservation of Warrant,” in S. Rahman et al. (eds.) Logic, Epistemology and the Philosophy of Science, pp. 163-173, Kluwer 2004. [Page | PDF 93KB]

existence

  • “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]

facts

  • “Molinism and the Thin Red Line,” paper in progress. Presented at the Molinism: The Contemporary Debate conference hosted by Ken Perszyk and Ed Mares at Victoria University of Wellington. [Page | PDF 219KB]
  • “One Way to Face Facts,” The Philosophical Quarterly, 54 (2004) 420–426. [Page | PDF 186KB]
  • “Łukasiewicz, Supervaluations and the Future,” Logic and Philosophy of Science, 3 (2005), 1-10. [Page | PDF 123KB]

fictionalism

  • (with Daniel Nolan and Caroline West) “Moral Fictionalism versus the rest,” Australasian Journal of Philosophy, 83 (2005), 307–330. [Page | PDF 395KB]
  • “Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. [Page | PDF 282KB]

history

  • “Logic in Australasia,” to appear in a volume on the History of Philosophy in Australia and New Zealand, edited by Nick Trakakis and others, Lexington Books. [Page | PDF 356KB]
  • “Symbolic Logic,” entry in the International Encyclopedia of the Social Sciences, William A. Darity (editor), Macmillan 2007. [Page | PDF 68KB]
  • “Great Moments in Logic” available at http://consequently.org/writing/logicians, 2004. [Page]
  • “Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. [Page | PDF 1MB]

identity

information

  • “Logics, Situations and Channels,” Journal of Cognitive Science 6:125–150, 2005 [appeared in print in 2006]. [Page | PDF 220KB]
  • “Information Flow and Relevant Logic,” in Logic, Language and Computation: The 1994 Moraga Proceedings, Jerry Seligman and Dag Westerståhl (editors) CSLI Press, 1995, pages 463–477. [Page | PDF 217KB]
  • “Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). [Page | PDF 104KB]
  • “A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. [Page | PDF 267KB]

intuitionistic logic

  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • “Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. [Page | PDF 167KB]
  • (with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
  • “Great Moments in Logic” available at http://consequently.org/writing/logicians, 2004. [Page]
  • “Constructive Logic, Truth and Warranted Assertibility,” Philosophical Quarterly, 51 (2001) 474–483. [Page | PDF 385KB]
  • JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 [Page | PDF 150KB]
  • “Extending Intuitionistic Logic with Subtraction,” Notes, 1997. [Page | PDF 218KB]
  • “Combining Possibilities and Negations,” Studia Logica, 59 (1997) 121–140. [Page | PDF 306KB]
  • “Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. [Page | PDF 85KB | Bib]

material conditional

  • “On t and u, and what hey can do” Analysis 70:4 (2010) 673–676. [Page | PDF 156KB]

mathematics

  • “Models for Substructural Arithmetics,’ Miscellanea Logica, 1–20 (2009), edited by Marta Bílková. [Page | PDF 233KB]
  • “Anti-Realist Classical Logic and Realist Mathematics,” to appear in a volume on anti-realism and realism. [Page | PDF 392KB]
  • “Assertion, Denial and Non-Classical Theories,” to appear in the proceedings of the Fourth World Congress of Paraconsistency, Melbourne July 2008. [Page | PDF 301KB]
  • “A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. [Page | PDF 191KB]
  • “Truth Tellers in Bradwardine’s Theory of Truth,” submitted to Modern Views of Medieval Logic, the Proceedings of the First GPMR Workshop on Logic & Semantics. [Page | PDF 221KB]
  • “Decorated Linear Order Types and the Theory of Concatenation,” with Vedran Čačić, Pavel Pudlák, Alasdair Urquhart and Albert Visser, p. 1–13 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. [Page | PDF 196KB]
  • “Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. [Page | PDF 282KB]
  • (with John K. Slaney and Robert K. Meyer) “Linear Arithmetic Desecsed,” Logique et Analyse, 39 (1996) 379-388 (published in 1998). [Page | PDF 182KB]
  • “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
  • (with Robert K. Meyer) “ ‘Strenge’ Arithmetics,” Logique et Analyse 42 (1999) 205–220 (published in 2002). [Page | PDF 160KB]

meaning

  • (with Rebecca Kukla and Mark Lance) Appendix to Rebecca Kukla and Mark Lance ‘Yo!’ and ‘Lo!’: the pragmatic topography of the space of reasons, Harvard University Press, 2009. [Page]
  • Proof Theory and Philosophy: book manuscript in progress. [Page | PDF 1MB]
  • “Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics,” article in progress. [Page | PDF 242KB]
  • “Proof Theory and Meaning: the context of deducibility,” p. 204–219 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. [Page | PDF 273KB]
  • “Questions and Answers on Formal Philosophy,” pages 97–104 in Masses of Formal Philosophy, edited by Vincent F. Hendricks and John Symonds, Automatic Press, 2006 [Page | PDF 169KB]
  • (with Daniel Nolan and Caroline West) “Moral Fictionalism versus the rest,” Australasian Journal of Philosophy, 83 (2005), 307–330. [Page | PDF 395KB]
  • “Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. [Page | PDF 282KB]
  • “Carnap’s Tolerance, Meaning and Logical Pluralism,” Journal of Philosophy 99 (2002) 426–443. [Page | PDF 397KB]
  • “Minimalists about Truth can (and should) be Epistemicists, and it helps if they are revision theorists too,” pages 97–106 in JC Beall and Bradley Armour-Garb, Deflationism and Paradox, Oxford University Press, 2005. [Page | PDF 156KB]

metaethics

  • (with Gillian Russell) “Barriers to Consequence,” p. 243–259 in Hume on Is and Ought, edited by Charles Pigden, Palgrave, 2010. [Page | PDF 134KB]
  • (with Rebecca Kukla and Mark Lance) Appendix to Rebecca Kukla and Mark Lance ‘Yo!’ and ‘Lo!’: the pragmatic topography of the space of reasons, Harvard University Press, 2009. [Page]
  • “Questions and Answers on Formal Philosophy,” pages 97–104 in Masses of Formal Philosophy, edited by Vincent F. Hendricks and John Symonds, Automatic Press, 2006 [Page | PDF 169KB]
  • (with Daniel Nolan and Caroline West) “Moral Fictionalism versus the rest,” Australasian Journal of Philosophy, 83 (2005), 307–330. [Page | PDF 395KB]

metaphysics

  • (with Gillian Russell) “Barriers to Consequence,” p. 243–259 in Hume on Is and Ought, edited by Charles Pigden, Palgrave, 2010. [Page | PDF 134KB]
  • “Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” pages 98–101 in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. [Page | PDF 102KB]
  • “Molinism and the Thin Red Line,” paper in progress. Presented at the Molinism: The Contemporary Debate conference hosted by Ken Perszyk and Ed Mares at Victoria University of Wellington. [Page | PDF 219KB]
  • “Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics,” article in progress. [Page | PDF 242KB]
  • (with Daniel Nolan and Caroline West) “Moral Fictionalism versus the rest,” Australasian Journal of Philosophy, 83 (2005), 307–330. [Page | PDF 395KB]
  • “One Way to Face Facts,” The Philosophical Quarterly, 54 (2004) 420–426. [Page | PDF 186KB]
  • “Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. [Page | PDF 282KB]
  • “Negation in Relevant Logics: How I stopped worrying and learned to love the Routley Star,” in What is Negation? edited by Dov Gabbay and Heinrich Wansing, Volume 13 in the Applied Logic Series, Kluwer Academic Publishers, pages 53-76, 1999. [Page | PDF 297KB]
  • “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]

modal logic

  • “A Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it matters,” under consideration. [Page | PDF 259KB]
  • “Always More,” p. 223–229 in Logica Yearbook 2009, edited by Michal Pelis, College Publications, 2010. [Page | PDF 181KB]
  • (with Gillian Russell) “Barriers to Consequence,” p. 243–259 in Hume on Is and Ought, edited by Charles Pigden, Palgrave, 2010. [Page | PDF 134KB]
  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • “Models for Liars in Bradwardine’s Theory of Truth,” pages 135-147 in Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox edited by Shahid Rahman, Tero Tulenheimo and Emmanuel Genot, Springer, 2008. [Page | PDF 240KB]
  • “Modal Models for Bradwardine’s Theory of Truth,” Review of Symbolic Logic 1 (2008), 225-240. Special issue on Mathematical Methods in Philosophy, edited by Richard Zach, Alasdair Urquhart and Aldo Antonelli. [Page | PDF 291KB]
  • “Logic in Australasia,” to appear in a volume on the History of Philosophy in Australia and New Zealand, edited by Nick Trakakis and others, Lexington Books. [Page | PDF 356KB]
  • “Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics,” article in progress. [Page | PDF 242KB]
  • “Comparing Modal Sequent Systems,” in progress. [Page | PDF 169KB]
  • “Constant Domain Quantified Modal Logics without Boolean Negation,” Australasian Journal of Logic, 3 (2005), 45-62. Available online at the AJL. [Page | PDF 243KB]
  • “Not Every Truth Can Be Known: at least, not all at once”, pages 339-354 in New Essays on the Knowability Paradox, edited by Joe Salerno, Oxford University Press, 2009. [Page | PDF 228KB]
  • “One Way to Face Facts,” The Philosophical Quarterly, 54 (2004) 420–426. [Page | PDF 186KB]
  • “Great Moments in Logic” available at http://consequently.org/writing/logicians, 2004. [Page]
  • “Combining Possibilities and Negations,” Studia Logica, 59 (1997) 121–140. [Page | PDF 306KB]
  • “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
  • “Modalities in Substructural Logics,” Logique et Analyse, 35 (1992) 303–321 (published in 1995). 420–426. [Page | PDF 278KB]
  • “Proofnets for S5: sequents and circuits for modal logic,” pages 151-172 in Logic Colloquium 2005, C. Dimitracopoulos, L. Newelski, and D. Normann (eds.), number 28 in Lecture Notes in Logic. Cambridge University Press, 2007. [Page | PDF 255KB]
  • “Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). [Page | PDF 104KB]

models

  • “A Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it matters,” under consideration. [Page | PDF 259KB]
  • (with Gillian Russell) “Barriers to Consequence,” p. 243–259 in Hume on Is and Ought, edited by Charles Pigden, Palgrave, 2010. [Page | PDF 134KB]
  • Greg Restall and Tony Roy “On Permutation in Simplified Semantics,” Journal of Philosophical Logic, 38:3 (2009) 333–341. [Page | PDF 230KB]
  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • “Models for Liars in Bradwardine’s Theory of Truth,” pages 135-147 in Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox edited by Shahid Rahman, Tero Tulenheimo and Emmanuel Genot, Springer, 2008. [Page | PDF 240KB]
  • “Truth Tellers in Bradwardine’s Theory of Truth,” submitted to Modern Views of Medieval Logic, the Proceedings of the First GPMR Workshop on Logic & Semantics. [Page | PDF 221KB]
  • “Modal Models for Bradwardine’s Theory of Truth,” Review of Symbolic Logic 1 (2008), 225-240. Special issue on Mathematical Methods in Philosophy, edited by Richard Zach, Alasdair Urquhart and Aldo Antonelli. [Page | PDF 291KB]
  • “Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics,” article in progress. [Page | PDF 242KB]
  • “Decorated Linear Order Types and the Theory of Concatenation,” with Vedran Čačić, Pavel Pudlák, Alasdair Urquhart and Albert Visser, p. 1–13 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. [Page | PDF 196KB]
  • “Proof Theory and Meaning: on second order logic,” pp 157–170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. [Page | PDF 237KB]
  • “Symbolic Logic,” entry in the International Encyclopedia of the Social Sciences, William A. Darity (editor), Macmillan 2007. [Page | PDF 68KB]
  • (with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
  • “Constant Domain Quantified Modal Logics without Boolean Negation,” Australasian Journal of Logic, 3 (2005), 45-62. Available online at the AJL. [Page | PDF 243KB]
  • “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]
  • “Logic,” pages 64–93 in Fundamentals of Philosophy, edited by John Shand, Routledge, 2003. [Page | PDF 187KB]
  • (with JC Beall) “Defending Logical Pluralism,” pages 1–22 in Logical Consequence: Rival Approaches Proceedings of the 1999 Conference of the Society of Exact Philosophy (Stanmore: Hermes, 2001), John Woods and Bryson Brown (editors), ISBN 1-903398-17-5. [Page | PDF 150KB]
  • JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 [Page | PDF 150KB]
  • “Defining Double Negation Elimination,” Logic Journal of the IGPL, 8 (2000) 853–860. [Page | PDF 123KB]
  • An Introduction to Substructural Logics, Routledge, 2000. [Page | Amazon]
  • “Negation in Relevant Logics: How I stopped worrying and learned to love the Routley Star,” in What is Negation? edited by Dov Gabbay and Heinrich Wansing, Volume 13 in the Applied Logic Series, Kluwer Academic Publishers, pages 53-76, 1999. [Page | PDF 297KB]
  • “Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. [Page | PDF 375KB]
  • “Extending Intuitionistic Logic with Subtraction,” Notes, 1997. [Page | PDF 218KB]
  • “Combining Possibilities and Negations,” Studia Logica, 59 (1997) 121–140. [Page | PDF 306KB]
  • “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
  • “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
  • (with Susan Rogerson) “Routes to Triviality,” Journal of Philosophical Logic, 33 (2004) 421–436. [Page | PDF 173KB]
  • “Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. [Page | PDF 1MB]
  • (with Graham Priest) “Envelopes and Indifference,” pages 283-290 in Dialogues, Logics and Other Strange Things, essays in honour of Shahid Rahman, edited by Cédric Dégremont, Laurent Keiff and Helge Rückert, College Publications, 2008. [Page | PDF 119KB]
  • (with JC Beall, Ross T. Brady, A. P. Hazen and Graham Priest) “Relevant Restricted Quantification,” Journal of Philosophical Logic, 35:6 (2006), 587–598. [Page | PDF 319KB]
  • (with Robert K. Meyer) “ ‘Strenge’ Arithmetics,” Logique et Analyse 42 (1999) 205–220 (published in 2002). [Page | PDF 160KB]
  • “Information Flow and Relevant Logic,” in Logic, Language and Computation: The 1994 Moraga Proceedings, Jerry Seligman and Dag Westerståhl (editors) CSLI Press, 1995, pages 463–477. [Page | PDF 217KB]
  • “Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). [Page | PDF 104KB]
  • “Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. [Page | PDF 906KB]
  • “A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. [Page | PDF 267KB]
  • “Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. [Page | PDF 85KB | Bib]
  • On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. [Page | PDF 1MB]
  • “How to be Really Contraction Free” Studia Logica 52 (1993) 381–391. [Page | PDF 6MB]
  • “Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. [Page | PDF 1MB]
  • “A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432. [Page | PDF 1MB | Bib]

negation

  • Greg Restall and Tony Roy “On Permutation in Simplified Semantics,” Journal of Philosophical Logic, 38:3 (2009) 333–341. [Page | PDF 230KB]
  • “Assertion, Denial and Non-Classical Theories,” to appear in the proceedings of the Fourth World Congress of Paraconsistency, Melbourne July 2008. [Page | PDF 301KB]
  • “Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. [Page | PDF 167KB]
  • “Assertion, Denial, Accepting, Rejecting, Symmetry and all that,” article in progress [Page | PDF 154KB]
  • (with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
  • “Laws of Non-Contradiction, Laws of the Excluded Middle and Logics,” pages 73–85, G. Priest, JC Beall, B. Armour-Garb, The Law of Non-Contradiction; New Philosophical Essays, Oxford University Press, 2004. [Page | PDF 286KB]
  • “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]
  • (with J. Michael Dunn) “Relevance Logic,” (with J. Michael Dunn), pages 1–136 in Volume 6 of the The Handbook of Philosophical Logic, second edition, Dov Gabbay and Franz Guenther (editors), Kluwer 2002, ISBN 1-4020-0583. [Page | PDF 842KB]
  • “Defining Double Negation Elimination,” Logic Journal of the IGPL, 8 (2000) 853–860. [Page | PDF 123KB]
  • An Introduction to Substructural Logics, Routledge, 2000. [Page | Amazon]
  • “Negation in Relevant Logics: How I stopped worrying and learned to love the Routley Star,” in What is Negation? edited by Dov Gabbay and Heinrich Wansing, Volume 13 in the Applied Logic Series, Kluwer Academic Publishers, pages 53-76, 1999. [Page | PDF 297KB]
  • “Combining Possibilities and Negations,” Studia Logica, 59 (1997) 121–140. [Page | PDF 306KB]
  • “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]
  • “Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147-156. (Appeared in 2004) [Page | PDF 134KB]
  • “Multiple Conclusions,” in Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, edited by Petr Hajek, Luis Valdes-Villanueva and Dag Westerstahl, Kings’ College Publications, 2005, 189–205. [Page | PDF 247KB]
  • “Paraconsistent Logics!,” Bulletin of the Section of Logic of the Polish Academy of Sciences 26 (1997) 156-163. [Page | PDF 135KB]
  • “Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). [Page | PDF 104KB]
  • “Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. [Page | PDF 906KB]

non-classical logic

  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • Proof Theory and Philosophy: book manuscript in progress. [Page | PDF 1MB]
  • “Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. [Page | PDF 157KB]
  • “Assertion, Denial, Accepting, Rejecting, Symmetry and all that,” article in progress [Page | PDF 154KB]
  • “Logics, Situations and Channels,” Journal of Cognitive Science 6:125–150, 2005 [appeared in print in 2006]. [Page | PDF 220KB]
  • Logic, Routledge, 2006. [Page | Amazon]
  • “Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005. [Page]
  • “Constant Domain Quantified Modal Logics without Boolean Negation,” Australasian Journal of Logic, 3 (2005), 45-62. Available online at the AJL. [Page | PDF 243KB]
  • (with Francesco Paoli) “The Geometry of Non-Distributive Logics”, Journal of Symbolic Logic 70:4 (2005) 1108–1126. [Page | PDF 185KB]
  • Entries “Belnap, Nuel Dinsmore Jr.” and “Lambert, J. Karel” from the Dictionary of Modern American Philosophers edited by John R. Shook, Thoemmes Continuum, 2005. [Page | PDF 87KB]
  • “Laws of Non-Contradiction, Laws of the Excluded Middle and Logics,” pages 73–85, G. Priest, JC Beall, B. Armour-Garb, The Law of Non-Contradiction; New Philosophical Essays, Oxford University Press, 2004. [Page | PDF 286KB]
  • “Carnap’s Tolerance, Meaning and Logical Pluralism,” Journal of Philosophy 99 (2002) 426–443. [Page | PDF 397KB]
  • “Defining Double Negation Elimination,” Logic Journal of the IGPL, 8 (2000) 853–860. [Page | PDF 123KB]
  • (with John K. Slaney and Robert K. Meyer) “Linear Arithmetic Desecsed,” Logique et Analyse, 39 (1996) 379-388 (published in 1998). [Page | PDF 182KB]
  • “Combining Possibilities and Negations,” Studia Logica, 59 (1997) 121–140. [Page | PDF 306KB]
  • “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
  • “Realistic Belief Revision,” with John Slaney, Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence (Paris, July 1995), 367–378. [Page | PDF 131KB]
  • “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
  • (with Susan Rogerson) “Routes to Triviality,” Journal of Philosophical Logic, 33 (2004) 421–436. [Page | PDF 173KB]
  • “Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. [Page | PDF 1MB]
  • “Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147-156. (Appeared in 2004) [Page | PDF 134KB]
  • “Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. [Page | PDF 906KB]
  • “Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. [Page | PDF 85KB | Bib]
  • On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. [Page | PDF 1MB]
  • “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]
  • “How to be Really Contraction Free” Studia Logica 52 (1993) 381–391. [Page | PDF 6MB]
  • “Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. [Page | PDF 1MB]
  • “A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432. [Page | PDF 1MB | Bib]

opinion

  • “Questions and Answers on Formal Philosophy,” pages 97–104 in Masses of Formal Philosophy, edited by Vincent F. Hendricks and John Symonds, Automatic Press, 2006 [Page | PDF 169KB]

paraconsistency

  • “Logic in Australasia,” to appear in a volume on the History of Philosophy in Australia and New Zealand, edited by Nick Trakakis and others, Lexington Books. [Page | PDF 356KB]
  • “Laws of Non-Contradiction, Laws of the Excluded Middle and Logics,” pages 73–85, G. Priest, JC Beall, B. Armour-Garb, The Law of Non-Contradiction; New Philosophical Essays, Oxford University Press, 2004. [Page | PDF 286KB]
  • (with JC Beall) “Defending Logical Pluralism,” pages 1–22 in Logical Consequence: Rival Approaches Proceedings of the 1999 Conference of the Society of Exact Philosophy (Stanmore: Hermes, 2001), John Woods and Bryson Brown (editors), ISBN 1-903398-17-5. [Page | PDF 150KB]
  • “Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147-156. (Appeared in 2004) [Page | PDF 134KB]
  • “Paraconsistent Logics!,” Bulletin of the Section of Logic of the Polish Academy of Sciences 26 (1997) 156-163. [Page | PDF 135KB]
  • “Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). [Page | PDF 104KB]
  • “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]
  • “A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432. [Page | PDF 1MB | Bib]

paradox

  • “On t and u, and what hey can do” Analysis 70:4 (2010) 673–676. [Page | PDF 156KB]
  • “What are we to accept, and what are we to reject, when saving truth from paradox?” Philosophical Studies 147:3 (2010) 433–443. [Page | PDF 232KB]
  • “Models for Liars in Bradwardine’s Theory of Truth,” pages 135-147 in Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox edited by Shahid Rahman, Tero Tulenheimo and Emmanuel Genot, Springer, 2008. [Page | PDF 240KB]
  • “Truth Tellers in Bradwardine’s Theory of Truth,” submitted to Modern Views of Medieval Logic, the Proceedings of the First GPMR Workshop on Logic & Semantics. [Page | PDF 221KB]
  • “Modal Models for Bradwardine’s Theory of Truth,” Review of Symbolic Logic 1 (2008), 225-240. Special issue on Mathematical Methods in Philosophy, edited by Richard Zach, Alasdair Urquhart and Aldo Antonelli. [Page | PDF 291KB]
  • “Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. [Page | PDF 157KB]
  • “Assertion, Denial, Accepting, Rejecting, Symmetry and all that,” article in progress [Page | PDF 154KB]
  • “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
  • “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]
  • “How to be Really Contraction Free” Studia Logica 52 (1993) 381–391. [Page | PDF 6MB]
  • “A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432. [Page | PDF 1MB | Bib]

philosophy of religion

  • “Molinism and the Thin Red Line,” paper in progress. Presented at the Molinism: The Contemporary Debate conference hosted by Ken Perszyk and Ed Mares at Victoria University of Wellington. [Page | PDF 219KB]
  • “Nietzsche, Insight and Immorality,” Zadok Occasional Paper S95, 1998. [Page | PDF 107KB]
  • (with Tim Bayne) “A Participatory Theory of the Atonement,” pages 150–166 in New Waves in Philosophy of Religion, edited by Yujin Nagasawa and Erik Wielenberg, Palgrave, 2008. [Page | PDF 227KB]

pluralism

  • “Questions and Answers on Formal Philosophy,” pages 97–104 in Masses of Formal Philosophy, edited by Vincent F. Hendricks and John Symonds, Automatic Press, 2006 [Page | PDF 169KB]
  • (with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
  • “Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005. [Page]
  • “Laws of Non-Contradiction, Laws of the Excluded Middle and Logics,” pages 73–85, G. Priest, JC Beall, B. Armour-Garb, The Law of Non-Contradiction; New Philosophical Essays, Oxford University Press, 2004. [Page | PDF 286KB]
  • “Carnap’s Tolerance, Meaning and Logical Pluralism,” Journal of Philosophy 99 (2002) 426–443. [Page | PDF 397KB]
  • (with JC Beall) “Defending Logical Pluralism,” pages 1–22 in Logical Consequence: Rival Approaches Proceedings of the 1999 Conference of the Society of Exact Philosophy (Stanmore: Hermes, 2001), John Woods and Bryson Brown (editors), ISBN 1-903398-17-5. [Page | PDF 150KB]
  • JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 [Page | PDF 150KB]
  • “Negation in Relevant Logics: How I stopped worrying and learned to love the Routley Star,” in What is Negation? edited by Dov Gabbay and Heinrich Wansing, Volume 13 in the Applied Logic Series, Kluwer Academic Publishers, pages 53-76, 1999. [Page | PDF 297KB]
  • “Logical Pluralism and the Preservation of Warrant,” in S. Rahman et al. (eds.) Logic, Epistemology and the Philosophy of Science, pp. 163-173, Kluwer 2004. [Page | PDF 93KB]

probability

  • (with Graham Priest) “Envelopes and Indifference,” pages 283-290 in Dialogues, Logics and Other Strange Things, essays in honour of Shahid Rahman, edited by Cédric Dégremont, Laurent Keiff and Helge Rückert, College Publications, 2008. [Page | PDF 119KB]

proofs

  • “A Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it matters,” under consideration. [Page | PDF 259KB]
  • “Anti-Realist Classical Logic and Realist Mathematics,” to appear in a volume on anti-realism and realism. [Page | PDF 392KB]
  • “Assertion, Denial and Non-Classical Theories,” to appear in the proceedings of the Fourth World Congress of Paraconsistency, Melbourne July 2008. [Page | PDF 301KB]
  • “A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. [Page | PDF 191KB]
  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • Proof Theory and Philosophy: book manuscript in progress. [Page | PDF 1MB]
  • “Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. [Page | PDF 167KB]
  • “Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics,” article in progress. [Page | PDF 242KB]
  • “Proof Theory and Meaning: the context of deducibility,” p. 204–219 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. [Page | PDF 273KB]
  • “Proof Theory and Meaning: on second order logic,” pp 157–170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. [Page | PDF 237KB]
  • “Symbolic Logic,” entry in the International Encyclopedia of the Social Sciences, William A. Darity (editor), Macmillan 2007. [Page | PDF 68KB]
  • “Comparing Modal Sequent Systems,” in progress. [Page | PDF 169KB]
  • (with Francesco Paoli) “The Geometry of Non-Distributive Logics”, Journal of Symbolic Logic 70:4 (2005) 1108–1126. [Page | PDF 185KB]
  • “Logic,” pages 64–93 in Fundamentals of Philosophy, edited by John Shand, Routledge, 2003. [Page | PDF 187KB]
  • JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 [Page | PDF 150KB]
  • An Introduction to Substructural Logics, Routledge, 2000. [Page | Amazon]
  • “Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. [Page | PDF 375KB]
  • “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
  • “Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. [Page | PDF 1MB]
  • “Proofnets for S5: sequents and circuits for modal logic,” pages 151-172 in Logic Colloquium 2005, C. Dimitracopoulos, L. Newelski, and D. Normann (eds.), number 28 in Lecture Notes in Logic. Cambridge University Press, 2007. [Page | PDF 255KB]
  • “Multiple Conclusions,” in Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, edited by Petr Hajek, Luis Valdes-Villanueva and Dag Westerstahl, Kings’ College Publications, 2005, 189–205. [Page | PDF 247KB]
  • On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. [Page | PDF 1MB]

properties

  • “What are we to accept, and what are we to reject, when saving truth from paradox?” Philosophical Studies 147:3 (2010) 433–443. [Page | PDF 232KB]

propositions

  • “Always More,” p. 223–229 in Logica Yearbook 2009, edited by Michal Pelis, College Publications, 2010. [Page | PDF 181KB]

quantifiers

  • Proof Theory and Philosophy: book manuscript in progress. [Page | PDF 1MB]
  • “Proof Theory and Meaning: the context of deducibility,” p. 204–219 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. [Page | PDF 273KB]
  • “Proof Theory and Meaning: on second order logic,” pp 157–170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. [Page | PDF 237KB]
  • “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]
  • “Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. [Page | PDF 282KB]
  • (with JC Beall, Ross T. Brady, A. P. Hazen and Graham Priest) “Relevant Restricted Quantification,” Journal of Philosophical Logic, 35:6 (2006), 587–598. [Page | PDF 319KB]

relevant logic

  • “Models for Substructural Arithmetics,’ Miscellanea Logica, 1–20 (2009), edited by Marta Bílková. [Page | PDF 233KB]
  • Greg Restall and Tony Roy “On Permutation in Simplified Semantics,” Journal of Philosophical Logic, 38:3 (2009) 333–341. [Page | PDF 230KB]
  • “Models for Liars in Bradwardine’s Theory of Truth,” pages 135-147 in Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox edited by Shahid Rahman, Tero Tulenheimo and Emmanuel Genot, Springer, 2008. [Page | PDF 240KB]
  • (with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
  • “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]
  • (with J. Michael Dunn) “Relevance Logic,” (with J. Michael Dunn), pages 1–136 in Volume 6 of the The Handbook of Philosophical Logic, second edition, Dov Gabbay and Franz Guenther (editors), Kluwer 2002, ISBN 1-4020-0583. [Page | PDF 842KB]
  • JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 [Page | PDF 150KB]
  • An Introduction to Substructural Logics, Routledge, 2000. [Page | Amazon]
  • “Negation in Relevant Logics: How I stopped worrying and learned to love the Routley Star,” in What is Negation? edited by Dov Gabbay and Heinrich Wansing, Volume 13 in the Applied Logic Series, Kluwer Academic Publishers, pages 53-76, 1999. [Page | PDF 297KB]
  • “Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. [Page | PDF 375KB]
  • “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]
  • “Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. [Page | PDF 1MB]
  • (with JC Beall, Ross T. Brady, A. P. Hazen and Graham Priest) “Relevant Restricted Quantification,” Journal of Philosophical Logic, 35:6 (2006), 587–598. [Page | PDF 319KB]
  • (with Robert K. Meyer) “ ‘Strenge’ Arithmetics,” Logique et Analyse 42 (1999) 205–220 (published in 2002). [Page | PDF 160KB]
  • “Information Flow and Relevant Logic,” in Logic, Language and Computation: The 1994 Moraga Proceedings, Jerry Seligman and Dag Westerståhl (editors) CSLI Press, 1995, pages 463–477. [Page | PDF 217KB]
  • “Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. [Page | PDF 906KB]
  • “A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. [Page | PDF 267KB]
  • On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. [Page | PDF 1MB]
  • “Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. [Page | PDF 1MB]

self-reference

  • “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
  • “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]

sequent

  • “What are we to accept, and what are we to reject, when saving truth from paradox?” Philosophical Studies 147:3 (2010) 433–443. [Page | PDF 232KB]

sequents

  • “Anti-Realist Classical Logic and Realist Mathematics,” to appear in a volume on anti-realism and realism. [Page | PDF 392KB]
  • “Assertion, Denial and Non-Classical Theories,” to appear in the proceedings of the Fourth World Congress of Paraconsistency, Melbourne July 2008. [Page | PDF 301KB]
  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • Proof Theory and Philosophy: book manuscript in progress. [Page | PDF 1MB]
  • “Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. [Page | PDF 167KB]
  • “Proof Theory and Meaning: the context of deducibility,” p. 204–219 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. [Page | PDF 273KB]
  • “Comparing Modal Sequent Systems,” in progress. [Page | PDF 169KB]
  • “Constant Domain Quantified Modal Logics without Boolean Negation,” Australasian Journal of Logic, 3 (2005), 45-62. Available online at the AJL. [Page | PDF 243KB]
  • (with Francesco Paoli) “The Geometry of Non-Distributive Logics”, Journal of Symbolic Logic 70:4 (2005) 1108–1126. [Page | PDF 185KB]
  • “Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. [Page | PDF 375KB]
  • “Extending Intuitionistic Logic with Subtraction,” Notes, 1997. [Page | PDF 218KB]
  • “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
  • “Proofnets for S5: sequents and circuits for modal logic,” pages 151-172 in Logic Colloquium 2005, C. Dimitracopoulos, L. Newelski, and D. Normann (eds.), number 28 in Lecture Notes in Logic. Cambridge University Press, 2007. [Page | PDF 255KB]
  • “Multiple Conclusions,” in Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, edited by Petr Hajek, Luis Valdes-Villanueva and Dag Westerstahl, Kings’ College Publications, 2005, 189–205. [Page | PDF 247KB]
  • “A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. [Page | PDF 267KB]

sets

  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]
  • “A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432. [Page | PDF 1MB | Bib]

situations

  • “Logics, Situations and Channels,” Journal of Cognitive Science 6:125–150, 2005 [appeared in print in 2006]. [Page | PDF 220KB]
  • “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]
  • “Information Flow and Relevant Logic,” in Logic, Language and Computation: The 1994 Moraga Proceedings, Jerry Seligman and Dag Westerståhl (editors) CSLI Press, 1995, pages 463–477. [Page | PDF 217KB]

substructural logic

  • “Models for Substructural Arithmetics,’ Miscellanea Logica, 1–20 (2009), edited by Marta Bílková. [Page | PDF 233KB]
  • (with J. Michael Dunn) “Relevance Logic,” (with J. Michael Dunn), pages 1–136 in Volume 6 of the The Handbook of Philosophical Logic, second edition, Dov Gabbay and Franz Guenther (editors), Kluwer 2002, ISBN 1-4020-0583. [Page | PDF 842KB]
  • “Substructural Logics” an entry in the Stanford Encyclopedia of Philosophy, 2000. [Page]
  • An Introduction to Substructural Logics, Routledge, 2000. [Page | Amazon]
  • “Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. [Page | PDF 375KB]
  • (with John K. Slaney and Robert K. Meyer) “Linear Arithmetic Desecsed,” Logique et Analyse, 39 (1996) 379-388 (published in 1998). [Page | PDF 182KB]
  • “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
  • “Modalities in Substructural Logics,” Logique et Analyse, 35 (1992) 303–321 (published in 1995). 420–426. [Page | PDF 278KB]
  • “Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. [Page | PDF 1MB]
  • “Information Flow and Relevant Logic,” in Logic, Language and Computation: The 1994 Moraga Proceedings, Jerry Seligman and Dag Westerståhl (editors) CSLI Press, 1995, pages 463–477. [Page | PDF 217KB]
  • “Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. [Page | PDF 906KB]
  • “A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. [Page | PDF 267KB]
  • “Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. [Page | PDF 85KB | Bib]
  • “Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. [Page | PDF 1MB]

teaching

  • Sam Butchart, Toby Handfield and Greg Restall, “Using Peer Instruction to Teach Philosophy, Logic and Critical Thinking” Teaching Philosophy, 32:1 (2009) 1–40. [Page | PDF 449KB]

temporal logic

  • “Molinism and the Thin Red Line,” paper in progress. Presented at the Molinism: The Contemporary Debate conference hosted by Ken Perszyk and Ed Mares at Victoria University of Wellington. [Page | PDF 219KB]
  • “Łukasiewicz, Supervaluations and the Future,” Logic and Philosophy of Science, 3 (2005), 1-10. [Page | PDF 123KB]

truth

  • “What are we to accept, and what are we to reject, when saving truth from paradox?” Philosophical Studies 147:3 (2010) 433–443. [Page | PDF 232KB]
  • “A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. [Page | PDF 191KB]
  • “Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. [Page | PDF 288KB]
  • “Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” pages 98–101 in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. [Page | PDF 102KB]
  • “Modal Models for Bradwardine’s Theory of Truth,” Review of Symbolic Logic 1 (2008), 225-240. Special issue on Mathematical Methods in Philosophy, edited by Richard Zach, Alasdair Urquhart and Aldo Antonelli. [Page | PDF 291KB]
  • (with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
  • “Not Every Truth Can Be Known: at least, not all at once”, pages 339-354 in New Essays on the Knowability Paradox, edited by Joe Salerno, Oxford University Press, 2009. [Page | PDF 228KB]
  • “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]
  • “Constructive Logic, Truth and Warranted Assertibility,” Philosophical Quarterly, 51 (2001) 474–483. [Page | PDF 385KB]
  • “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]
  • “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
  • “Minimalists about Truth can (and should) be Epistemicists, and it helps if they are revision theorists too,” pages 97–106 in JC Beall and Bradley Armour-Garb, Deflationism and Paradox, Oxford University Press, 2005. [Page | PDF 156KB]
  • “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]

truthmakers

  • “Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” pages 98–101 in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. [Page | PDF 102KB]
  • “Logics, Situations and Channels,” Journal of Cognitive Science 6:125–150, 2005 [appeared in print in 2006]. [Page | PDF 220KB]
  • “One Way to Face Facts,” The Philosophical Quarterly, 54 (2004) 420–426. [Page | PDF 186KB]
  • “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]
  • “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]
  • “Łukasiewicz, Supervaluations and the Future,” Logic and Philosophy of Science, 3 (2005), 1-10. [Page | PDF 123KB]

vagueness

warrant

Topics

About

I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.

Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.

Current CO2 concentration in the atmosphere

To subscribe to this site, either read the full feed  of everything, the feed of news items only , or the feed of writing items only , which is also great for podcasting pdfs automatically.

This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2008-12-31 at 12:29AM.

Thought

The aim of philosophy is to understand how things in the broadest possible sense of the term hang together in the broadest possible sense of the term.
— Wilfrid Sellars “Philosophy and the Scientfic Image of Man”.