Publications

2019

  • Antoni Diller, "The So-called Tregerthen Horror", version 2 (2 September 2019): my take on the death of Katharine Arnold-Forster and on Paul Newman's account of this in his book The Tregerthen Horror (2005); a summary is available on this website.
  • Antoni Diller, "The So-called Tregerthen Horror", version 1 (22 July 2019).

2014

  • Antoni Diller, "Stuart Holroyd: Contraries", Literary Encyclopedia, ISSN 1747–678X, first published 9 December 2014.
  • Antoni Diller, "Stuart Holroyd", Literary Encyclopedia, ISSN 1747–678X, first published 30 April 2014. If you or your institution have subscribed to the Literary Encyclopedia, you can read this article online; it's not available in any other format.

2013

  • Antoni Diller, "On Critical and Pancritical Rationalism", Philosophy of the Social Sciences, ISSN 0048-3931, vol. 43.2 (June 2013), pp. 127–156. DOI 10.1177/0048393111434831. Subscribers to Philosophy of the Social Sciences can read "On Critical and Pancritical Rationalism" online; a summary is available on this website.

2011

  • Antoni Diller, "How to Detect an Android", Cognitive Science Research Papers, School of Computer Science, University of Birmingham, CSRP-11-01 (September 2011); a PDF version of this paper is available on this website.
  • Antoni Diller, "Efficient Bracket Abstraction Using Iconic Representations for Combinators", Research Report, School of Computer Science, University of Birmingham, CSR–11–05 (September 2011); a PDF version of this paper is available on this website as is a summary.
  • Antoni Diller, "A Critical-rationalist Approach to Premise Acceptability", in Frans H. van Eemeren, Bart Garssen, David Godden and Gordon Mitchell (eds.), Proceedings of the 7th Conference of the International Society for the Study of Argumentation [Amsterdam, 2011, Rozenberg Publishers and Sic Sat Publishers, ISBN 978 90 3610 243 8], chapter 34, pp. 356–365; a PDF version of this paper is available on this website.
  • Antoni Diller, "Colin Wilson's The Books in My Life", in Colin Stanley (ed.), Around the Outsider: Essays Presented to Colin Wilson on the Occasion of his 80th Birthday, [Winchester, O Books, 2011, ISBN 978-1846946684], pp. 242–253.
  • Antoni Diller, Stuart Holroyd: Years of Anger and Beyond, [Nottingham, Paupers' Press, 2011, ISBN 9780946650149]. Carole Cusack has written a review of my monograph in Literature & Aesthetics, vol. 29.1 (2019), pp. 165–166.

2010

  • Antoni Diller, "Why AI and Robotics are Going Nowhere Fast", in Jordi Vallverdu (ed.), Thinking Machines and the Philosophy of Computer Science: Concepts and Principles, [Hershey (PA), Information Science Reference, 2010, ISBN 978-1-61692-014-2], chapter 20, pp. 328–343; the first two pages of this paper can be read for free online, but you have to pay to read the entire paper.

2009

  • Antoni Diller, "Why AI and Robotics are Going Nowhere Fast" (abstract), in Jordi Vallverdu (ed.), Proceedings: VIIth European Conference on Philosophy and Computing (ECAP09), [Bellaterra, Universitat Autonoma de Barcelona, 2009, ISBN/DL: B-27978-2009], p. 188.

2008

  • Antoni Diller, "Testimony from a Popperian Perspective", Philosophy of the Social Sciences, ISSN 0048-3931, vol. 38.4 (2008), pp. 419–456. Subscribers to Philosophy of the Social Sciences can read "Testimony from a Popperian Perspective" online.

2007

  • Antoni Diller, "Understanding the Strategy of Attacking Premises", in Frans H. van Eemeren, J. Anthony Blair, Charles A. Willard and Bart Garssen, Proceedings of the Sixth Conference of the International Society for the Study of Argumentation, vol. 1: A–K, [Amsterdam, Sic Sat, 2007, ISBN 978 90 5170 916 2], pp. 331–335; a PDF version of this paper is available on this website.
  • Antoni Diller, "Holroyd in London", in Paul Newman (ed.), Abraxas Unbound: Colin Wilson, Literature, Philosophy, Ideas, Poetry & Fiction, vol. 1, [St Austell, Abraxas, 2007, ISSN 1753-7657], pages 23–32; the first three paragraphs of this paper are available on this website as is a summary.

2006

  • Antoni Diller, "Constructing a Comprehensively Anti-justificationist Position", in Ian Jarvie, Karl Milford and David Miller (eds.), Karl Popper: A Centenary Assessment, vol. II, Metaphysics and Epistemology, [London, Ashgate, 2006, ISBN 0-7546-5376-5], pages 119–129. This paper was presented at the Karl Popper 2002 Centenary Congress; a PDF version of it is available on this website, as is the the original abstract. Note that the title of the abstract is slightly different from that of the published paper.

2005

  • Antoni Diller, "Rumfitt's Theory of Predication", in Teresa Marques (ed.), Book of Abstracts ECAP5, [Lisbon, Faculty of Letters, University of Lisbon, 2005], p. 37; a PDF version of the full paper is available on this website as is a summary.
  • Antoni Diller, "Assessing Information Heard on the Radio", in Mieczyslaw A. Klopotek, Slawomir T. Wierzchon and Krzysztof Trojanowski (eds.), Intelligent Information Processing and Web Mining: Proceedings of the International IIS:IIPWM'05 Conference held in Gdansk, Poland, June 13-16, 2005, Advances in Soft Computing, [Berlin, Springer, 2005, ISBN 10-3-540-25056-6, ISBN 13-978-3-540-25055-2, ISSN 1615-3871], pp. 426–430; a PDF version of this paper is available on this website as is the longer version which was published as a Cognitive Science Research Paper by Birmingham University's School of Computer Science.
  • Antoni Diller, "How Empiricism Distorts AI and Robotics", in M. H. Hamza (ed.), Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA 2005), [Anaheim, Calgary, Zurich, ACTA Press, 2005, ISBN 0-88986-457-8, ISSN 1027-2666], pp. 339–343; a PDF version of this paper is available on this website.

2004

  • Antoni Diller, "Uni-variate Bracket Abstraction Using a String Representation for Combinators", Research Report, School of Computer Science, University of Birmingham, CSR-04-12 (October 2004).

2003

  • Antoni Diller, "Modelling Assertion Evaluation", AISB Quarterly, ISSN 0268 4179, number 114 (Autumn 2003), p. 4; the full text of this paper is freely available.
  • Antoni Diller, "Designing Androids", Philosophy Now, ISSN 0961 5970, number 42 (July/August 2003), pp. 28–31. Subscribers to Philosophy Now can read "Designing Androids" online; a summary is available on this website.
  • Antoni Diller, "Retransmittability and Empirical Propositions", in Frans H. van Eemeren, J. Anthony Blair, Charles A. Willard and A. Francisca Henkemans (eds.), Proceedings of the Fifth Conference of the International Society for the Study of Argumentation, [Amsterdam, Sic Sat, 2003, ISBN 90 74049 07 9], pp. 243–247; a PDF version of this paper is available on this website.

2002

  • Antoni Diller, "Assessing Information Heard on the Radio", Cognitive Science Research Papers, School of Computer Science, University of Birmingham, CSRP-02-12 (December 2002); a PDF version of this paper is available on this website.
  • Antoni Diller, "A Model of Assertion Evaluation", Cognitive Science Research Papers, School of Computer Science, University of Birmingham, CSRP-02-11 (November 2002); a PDF version of this paper is available on this website.
  • Antoni Diller, "Efficient Multi-variate Abstraction Using an Array Representation for Combinators", Information Processing Letters, vol. 84 (2002), pp. 311–317; the full text of this paper is freely available.

2001

  • Antoni Diller, LaTeX wiersz po wierszu: Zasady i techniki przetwarzania dokumentów, [Gliwiche, Wydawnictwo Helion, 2001, ISBN 83-7197-341-1]. This is a translation of the second edition of my book by Jan Jelowicki who also added several new appendices.
  • Antoni Diller, "Acquiring Information from Books", in Max Bramer, Alun Preece and Frans Coenen (editors), Research and Development in Intelligent Systems XVII: Proceedings of ES2000, the Twentieth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2000, [London, Springer, 2001, ISBN 1 85233 403 7], pp. 337–348; a PDF version of this paper is available on this website.

2000

  • Antoni Diller, "Everyday Belief-acquisition", in Gabriela P. Henning (editor), Argentine Symposium on Artificial Intelligence (ASAI2000) Proceedings: Tandil, September 5-7, 2000, [Buenos Aires, Sociedad Argentina de Informática e Investigación Operativa (SADIO), 2000], pp. 221–232; a PDF version of this paper is available on this website as is a summary.
  • Antoni Diller, "Evaluating Information Found in Journal Articles", in Ángel Nepomuceno, José F. Quesada and Francisco J. Salguero (editors), Logic, Language and Information: Proceedings of the First Workshop on Logic and Language: Instituto de Lógica, Lenguaje e Información, Universidad de Sevilla, Sevilla, 29, 30 de noviembre y 1 de diciembre de 2000, [Sevilla, Kronos, 2000, ISBN 84 85101 57 X], pp. 71–78; a PDF version of this paper is available on this website.
  • Antoni Diller, "Investigations into Iconic Representations of Combinators", in Javier Blanco (editor), Argentine Workshop on Theoretical Computer Science (WAIT2000) Proceedings: Tandil, September 4-9, 2000, [Buenos Aires, Sociedad Argentina de Informática e Investigación Operativa (SADIO), 2000], pp. 52–62; a PDF version of this paper is available on this website as is a summary.

1999

  • Antoni Diller, "Detecting Androids", Philosophy Now, number 25 (Winter 1999/2000), ISSN 0961 5970, pp. 26–28. Subscribers to Philosophy Now can read "Detecting Androids" online. This paper prompted several people to write letters about it to Philosophy Now.
  • Antoni Diller, "Making Abstraction Behave by Rerepresenting Combinators", Research Report, School of Computer Science, University of Birmingham, CSR–99–12 (November 1999); a PDF version of this paper is available on this website.
  • Antoni Diller, "The Belief-filter Component", Cognitive Science Research Papers, School of Computer Science, University of Birmingham, CSRP-99-9 (April 1999); a PDF version of this paper is available on this website.
  • Antoni Diller, LaTeX Line by Line: Tips and Techniques for Document Processing, second edition, [Chichester, John Wiley & Sons, 1999, ISBN 0 471 97918 X]. Most of the examples from this book are available on this website.

1995

  • Antoni Diller, Review of Ali Mili, Jules Desharnais and Fatma Mili, Computer Program Construction, [Oxford, Oxford University Press, 1994], in The Computer Journal, vol. 38 (1995), pp. 750–751.

1994

  • Antoni Diller and Rosemary Docherty, "Z and Abstract Machine Notation: A Comparison", in Jonathan P. Bowen and J. Anthony Hall (eds.), Z User Workshop: Cambridge 1994, [London, Springer-Verlag, 1994], pp. 250–263; a PDF version of this paper is available on this website.
  • Antoni Diller, Z: An Introduction to Formal Methods, second edition, [Chichester, John Wiley & Sons, 1994, ISBN 0 471 93973 0].

1993

  • Antoni Diller, "On the Interpretation of Incomplete Expressions", Logique et Analyse, vol. 36 (1993), pp. 75–104; a PDF version of this paper is available on this website.
  • Antoni Diller, "On the Sense of Unsaturated Expressions", Philosophical Papers, vol. XXII (1993), pp. 71–79; the full text of this paper is freely available.
  • Antoni Diller, "Is the Concept Horse an Object?", Modern Logic, vol. 4 (1993), pp. 345–366; the full text of this paper is freely available.
  • Antoni Diller, "Ellis in Blackheath", The Rational-emotive Therapist, vol. 1 (1993), pp. 60–67.
  • Antoni Diller, LaTeX Line by Line: Tips and Techniques for Document Processing, first edition, [Chichester, John Wiley & Sons, 1993, ISBN 0 471 93471 2].

1992

  • Antoni Diller, "Z and Hoare Logics", in J. E. Nicholls (editor), Z User Workshop: York 1991, [London, Springer-Verlag, 1992], pp. 59–76; a PDF version of this paper is available on this website as is an HTML summary.
  • Antoni Diller, "Thoughts on the Computer Translation of a Z Specification to Miranda" (abstract), in Proceedings of IEE Colloquium on Automating Formal Methods for Computer Assisted Prototyping, London, January 1992.

1991

  • Antoni Diller, "Relating Z Specifications and Programs through Hoare Logics", Research Report, School of Computer Science, University of Birmingham, CSR-91-3 (1991); a PDF version of this paper is available on this website.

1990

  • Antoni Diller, Z: An Introduction to Formal Methods, first edition, [Chichester, John Wiley & Sons, 1990]. One review of this first edition was entitled, "At last, a model textbook for teaching Z" (Michael J. Lutz, IEEE Software, May 1991, pp. 114–115).
  • Antoni Diller, "Herman Dooyeweerd: A Profile of his Thought", Spectrum, vol. 22 (1990), pp. 139–154; a PDF version of this paper is available on this website. An HTML summary is also available.

1989

  • Antoni Diller, "Towards A Formal Specification of the Leeds Logic System", Computerised Logic Teaching Bulletin, vol. 2 (1989), pp. 2–15.

1988

  • Antoni Diller, "THRILLS and Illative Combinatory Logic", in J. Derrick and H. A. Lewis (editors), Proceedings of the Workshop on Programming for Logic Teaching, Leeds, 6–8 July 1987, Proceedings 23.88, [Leeds, Centre for Theoretical Computer Science, University of Leeds, 1988], pp. 39–48.
  • Antoni Diller, Compiling Functional Languages, [Chichester, Wiley, 1988].

1986

  • Antoni Diller, Frege's Theory of Functions in Application to Linguistic Structures, PhD thesis, Department of Philosophy, University of Leeds, 1986; a PDF version of my thesis is available on this website. My research was supervised by Peter Geach.

1975

  • Antoni Diller, The Christian Philosophy of Herman Dooyeweerd: Some Observations on his Transcendental Critique of Theoretical Thought, MA thesis, Department of Theology, University of Birmingham, 1975. My research was supervised by Rex Ambler.

© Antoni Diller (31 May 2021)