参考文献

1. Copeland, B. J. ‘Computable Numbers: A Guide’, pp. 5–57 of B. J. Copeland (ed.), The Essential Turing (Oxford: Oxford Univeristy Press, 2004).

2. Dawson, John W. Logical Dilemmas: The Life and Work of Kurt Gödel (Wellesley, MA: A. K. Peters, Ltd., 1997).

3. Gracely, E. J. ‘Playing Games with Eternity: the Devil’s Offer’, Analysis 48 (1988), p. 113.

4. Haack, S. Deviant Logic (Cambridge: Cambridge University Press, 1974).

5. Heath, P. ‘Nothing’, pp. 524–5, Vol. 5, of P. Edwards (ed.), Encyclopedia of Philosophy (London: Macmillan, 1967).

6. Heath, P. The Philosopher’s Alice (New York, NY: St. Martin’s Press, 1974).

7. Hick, J. Arguments for the Existence of God (London: Collier-Macmillan Ltd., 1964).

8. Hodges, A. ‘Alan Turing’, in E. Zalta (ed.), Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/entries/turing/, 2013.

9. Hodges, W. Logic (London: Penguin Books, 1977).

10. Howson, C. and Urbach, P. Scientific Reasoning: the Bayesean Approach (La Salle, IL: Open Court, 1989).

11. Hughes, G. E. and Cresswell, M. A New Introduction to Modal Logic (London: Routledge, 1996).

12. Jeffrey, R. The Logic of Decision (Chicago: University of Chicago Press, 2nd edition, 1983).

13. Lemmon, E. J. Beginning Logic (London: Thomas Nelson and Sons Ltd.,1971).

14. Kneale, W. and M. The Development of Logic (Oxford: Clarendon Press, 1975).

15. Mellor, D. H. Real Time (Cambridge: Cambridge University Press, 1981. 2nd edition, London: Routledge, 1998).

16. Øhrstrøm, P. and Hasle, P. F. V. Temporal Logic: from Ancient Ideas to Artificial Intelligence (Dordrecht: Kluwer Academic Publishers, 1995).

17. Piccini, G. ‘Hypercomputation’, sec. 4.3 of ‘Computation in Physical Systems’, in E. Zalta (ed.), Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/entries/computation-physicalsystems/, 2015.

18. Priest, G. Introduction to Non-Classical Logic (Cambridge: Cambridge University Press, 2nd edition, 2008).

19. Raatikainen, P. ‘On the Philosophical Relevance of Gödel’s Incompleteness Theorems’, Revue Internationale de Philosophie 59 (2005), pp. 513–34.

20. Read, S. Thinking about Logic: an Introduction to the Philosophy of Logic (Oxford: Oxford University Press, 1994).

21. Sainsbury, R. M. Paradoxes (Cambridge: Cambridge University Press, 2nd edition, 1995).

22. Sanford, D. H. If P then Q: Conditionals and the Foundations of Reasoning (London: Routledge, 1989).

23. Skyrms, B. Choice and Chance (Encino, CA: Dickenson Publishing Co.,1975).

24. Strawson, P. Introduction to Logical Theory (London: Methuen & Co.,1952).

25. Williamson, T. Vagueness (London: Routledge, 1994).

26. Zach, R. ‘Hilbert’s Program’, in E. Zalta (ed.), Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/entries/hilbert-program/, 2015.

27. Zalta, E. Stanford Encyclopedia of Philosophy, https://plato.stanford.edu, 1995‒.