My research interests are many. I am fascinated by human information processing in all of its forms, especially those that occur in the epistemic space. I like to use formal logico-mathematical tools to investigate epistemic phenomena, as well as the far uncharted regions of negative information. Here is Maricarmen Martinez and my newishly revised coauthored entry on Logic and Information at the Stanford Encyclopedia of Philosophy. Luciano Floridi and I have our new entry on Semantic conceptions of Information out now in the Stanford Encyclopedia of Philosophy also. This is very exciting as a lot is happening in the field!

I have a strong interest in sonification - the non-auditory representation of sonic artefacts. We might be is motivated by the following concern...what do non-representational gestures in sonic explorations, in sound art, mean? I do not mean this in a vernacular "what does sound art mean for us?" kind of a way, but rather something more concrete. In much the same way that we have theories of meaning for natural languages built upon truth-conditional semantics (for just one example), I would like us to have a theory of meaning for sonic gestures encompassing timbre and texture. The trick I think, is to specify a proper notion of success conditions for the interpretation of sonic gestures, where these conditions in no way turn on latent representations at any stage. 

PhD students:

- Tate McGregor, Artificial Wisdom, in-progress (UNSW)
- Shang Lu - The Demarcation Problem for Meta-Theories, 2022 (USyd)

I have honours projects available on Epistemics, Sonification, and Ethics of Computer Science. 

A new book - Futureshock: Happenings in Computer Science - is in the final proof stages before publication in the second half of 2025.

Publications:

• A Logic of Affordances, In I. Sedlar and M. Blicha (Eds.): Logica Yearbook 2020, London: College Publications (2024).(PDF)
• Semantic Conceptions of Information (with Luciano Floridi), Stanford Encyclopedia of Philosophy. Stanford, CA: Metaphysics Research Lab, CSLI, Stanford University (2021).
• Negation on the neo-Australian plan, In I. Sedlar and M. Blicha (Eds.): Logica Yearbook 2019, London: College Publications, pp. 131-146 (2020).
• Logic and Information, (with Maricarmen Matinez), The Stanford Encyclopedia of Philosophy (2018). (LINK)
• Epistemic Relevance and Epistemic Actions, in Katalin Bimbo (Ed.): J. Michael Dunn on Information Based Logics, Outstanding Contributions to Logic 8, Springer, (2016), 133-146. (PDF)
• Formal Epistemology, The Encyclopedia of Philosophy and the Social Sciences (2013).
• Epistemic Closure and Commuting Nonassociating Residuated Structures, Synthese 190:1, 113--128 (2013). (PDF)
• A Note on (In)Compatibility Relations, in Michael Pelis and Vito Puncochar (eds.): The Logica Yearbook 2010, College Publications (2011), 229-242. (PDF)
• Review of G. Sommaruga (ed.): Formal Theories of Information: From Shannon to Semantic Information Theory and General concepts of Information, Lecture Notes in Computer Science 5363, Berlin, Springer-Verlag, (2009), forthcoming in Minds and Machines (2011). (PDF)
• Ajdukiewicz Functions and Basic Inference, in Michael Pelis (ed.): The Logica Yearbook 2009, 259--272, (2010), College Publications, London.
• Lambek Calculi with 0 and Test-Failure in DPL, Linguistic Analysis, 36: 1--4, J. van Benthem and M. Moortgart (eds.): Festschrift for Joachim Lambek, 517--532 (2010). (PDF)
• Mono-Agent Dynamics, in X. He, J. Horty, and E. Pacuit (Eds.): LORI 2009, LNAI 5834, pp. 321–323, (2009).
• Dynamic Negation and Negative Information, Review of Symbolic Logic (2009) 2: 1: 331-344. (PDF)
• Non-Commuting Residuation Models with Process Exclusion, in C. Drossos, P. Peppas, and C. Tsinakis (Eds.): Proceedings of the 7th Pan-Hellenic Symposium of Logic (2009), Patras University Press, pp. 79-84.
• A Positive Information Logic for Inferential Information, Synthese (2009) 167:2: 409-431. (PDF)
• Negative Information and Informational Asymmetry, in Jordi Vallverdu (ed.): ecap09, Proceedings of the 7th European Conference on Philosophy and Computing (2009), Universitat Autonoma de Barcelona, pp. 123-25.
• The Philosophy of Information and Logic, Editor (with Luciano Floridi), Synthese, Volume 167, Number 2 / March, 2009, Special issue: KRA Section, ISSN: 0039-7857 (Print) 1573-0964 (online), Pages 203-431.
• A Procedural Interpretation of Split Negation, in Michael Pelis (ed.):The Logica Yearbook 2008 (2009), College Publications, London, pp. 211-22.
• The Scandal of Deduction, Journal of Philosophical Logic (2008) 37: 67-94. (PDF)
• Metasemantic Information and the Scandal of Deduction, The Logica Yearbook 2007 (2008), Michal Pelis (ed.), Filosopfia, Prague, 171-186.
• The Metaphilosophy of Information, Minds and Machines (2007) 17: 331-344. (PDF)
• Information Gain from Inference, LogKCA-07 (2007), Xabier Arrazola and Jesus M. Larrazabal (eds.), University of Basque Country Press, 351-368.
• Information Flow and Impossible Situations, Logique & Analyse (2006) 49: 196, pp. 371-398.