consequently.org/writing

Published

Comments are most welcome. Follow the ⇒ arrow to download the paper or to leave a comment.

Books

1. An Introduction to Substructural Logics, Routledge, 2000. ⇒
2. [with JC Beall] Logical Pluralism, Oxford University Press, 2006. ⇒
3. Logic, Routledge, 2006. ⇒

Articles

1992

1. “A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432. ⇒

1993

2. “Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. ⇒
3. “How to be Really Contraction Free” Studia Logica 52 (1993) 381–391. ⇒
4. “Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. ⇒

1994

5. “Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. ⇒
6. “A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. ⇒

1995

7. “Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. ⇒
8. “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. ⇒
9. “Modalities in Substructural Logics,” Logique et Analyse, 35 (1992) 303–321 (published in 1995). ⇒
10. “Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). ⇒
11. “Realistic Belief Revision,” with John Slaney, Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence (Paris, July 1995), 367–378. ⇒

1996

12. “Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. ⇒
13. “Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). ⇒

1997

14. “Combining Possibilities and Negations,” Studia Logica, 59 (1997) 121–140. ⇒
15. “Paraconsistent Logics!,” Bulletin of the Section of Logic of the Polish Academy of Sciences 26 (1997) 156-163. ⇒

1998

16. “Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. ⇒
17. [with John K. Slaney and Robert K. Meyer] “Linear Arithmetic Desecsed,” Logique et Analyse, 39 (1996) 379–388 (published in 1998). ⇒
18. “Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). ⇒
19. Entry “Logical Laws” The Encyclopedia of Philosophy, Routledge, 1998. ⇒
20. “Nietzsche, Insight and Immorality,” Zadok Occasional Paper S95, 1998. ⇒

1999

21. “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. ⇒

2000

22. “Substructural Logics” an entry in the Stanford Encyclopedia of Philosophy, 2000. ⇒
23. “Defining Double Negation Elimination,” Logic Journal of the IGPL, 8 (2000) 853–860. ⇒
24. [with JC Beall] “Logical Pluralism,” Australasian Journal of Philosophy, 78 (2000) 475–493. ⇒

2001

25. “Constructive Logic, Truth and Warranted Assertibility,” Philosophical Quarterly, 51 (2001) 474–483. ⇒
26. [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. ⇒

2002

27. “Carnap’s Tolerance, Meaning and Logical Pluralism,” Journal of Philosophy 99 (2002) 426–443. ⇒
28. [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. ⇒
29. [with Robert K. Meyer] “ ‘Strenge’ Arithmetics,” Logique et Analyse 42 (1999) 205–220 (published in 2002). ⇒
30. “Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147-156. [Appeared in 2004] ⇒

2003

31. “Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. ⇒
32. “Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). ⇒
33. “Logic,” pages 64–93 in Fundamentals of Philosophy, edited by John Shand, Routledge, 2003. ⇒

2004

34. “One Way to Face Facts,” The Philosophical Quarterly, 54 (2004) 420–426. ⇒
35. “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: Oxford University Press, 2004. ⇒
36. [with Susan Rogerson] “Routes to Triviality,” Journal of Philosophical Logic, 33 (2004) 421–436. ⇒
37. “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. ⇒

2005

38. [with Francesco Paoli] “The Geometry of Non-Distributive Logics”, Journal of Symbolic Logic 70:4 (2005) 1108–1126. ⇒
39. “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. ⇒
40. “Constant Domain Quantified Modal Logics without Boolean Negation,” Australasian Journal of Logic, 3 (2005), 45-62. Available online at the AJL. ⇒
41. [with Daniel Nolan and Caroline West] “Moral Fictionalism versus the rest,” Australasian Journal of Philosophy, 83 (2005), 307–330. ⇒
42. “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. ⇒
43. “Lukasiewicz, Supervaluations and the Future,” Logic and Philosophy of Science, 3 (2005), 1-10. ⇒
44. “Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005. ⇒
45. Entries “Belnap, Nuel Dinsmore Jr.” and “Lambert, J. Karel” from the Dictionary of Modern American Philosophers edited by John R. Shook, Thoemmes Continuum, 2005. ⇒

2006

46. “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. ⇒
47. “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 ⇒
48. “Logics, Situations and Channels,” Journal of Cognitive Science 6:125–150, 2005 [appeared in print in 2006]. ⇒
49. [with JC Beall, Ross T. Brady, A. P. Hazen and Graham Priest] “Relevant Restricted Quantification,” Journal of Philosophical Logic, 35:6 (2006), 587–598. ⇒

2007

50. “Symbolic Logic,” entry in the International Encyclopedia of the Social Sciences, William A. Darity (editor), Macmillan 2007. ⇒
51. “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. ⇒

2008

52. “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. ⇒
53. “Proof Theory and Meaning: on second order logic,” pp 157-170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. ⇒

Book Reviews

1. Review of Ross Brady Universal Logic, Bulletin of Symbolic Logic (2007) 13:4, pp. 544–547. ⇒

Other Things

1. On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. ⇒
2. “Extending Intuitionistic Logic with Subtraction,” 1997 ⇒
3. Great Moments in Logic ⇒