Reviewed Works:Andrew Hodges, Rolf Herken, Alan Turing and the Turing Machine.Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of it.Robin Gandy, The Confluence of Ideas in 1936.Solomon Feferman, Turing in the Land of O.Martin Davis, Esther R. Phillips, Mathematical Logic and the Origin of Modern Computers.

A universal Horn sentence in the language of polynomial-time computable combinatorial functions of natural numbers is true for the natural numbers if, and only if, it is true for PETs of p-time p-isolated sets with functions induced by fully p-time combinatorial operators.

The paper presents a brief survey of recent work by Metakides, Nerode and others in the area of effective algebra and makes some comments on the relation between formal presentations, characterizations, etc. of sets and of algebraic structures and their practical presentations.

Review of Eckart Menzler-Trott’s book, Logic’s Lost Genius: The Life of Gerhard Gentzen.

In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.

A Unified Treatment of Moore's Paradox is the culmination of a decades-long engagement with Moore's paradox by the world's leading authority on the subject, the late John Williams. The book offers a comprehensive account of Moore's paradox in thought and speech, both in its comissive and omissive forms. Williams argues that Moorean absurdity comes in degrees, and shows that contrary to one tradition in the literature on Moore's Paradox, we cannot explain Moorean absurdity in speech in terms of Moorean (...) absurdity in thought, but must account for each form of absurdity in its own terms. Williams also explores the extent to which Moore's paradox may arise for attitudes other than belief, such as desire. Written with Williams' trademark clarity and wit, the book is packed with arguments bearing on a wide range of topics in epistemology, the philosophy of language, and the philosophy of mind. (shrink)

A central feature of Confucianism is the doctrine that an adult child has, for want of a better word, the ‘duty’ to care for his elderly parents1. Whether this doctrine should be framed in terms of an ethic of duties as opposed to an ethic of virtues is a vexed question. It might be argued that the doctrine is best framed in terms of the behaviour and dispositions appropriate to an agent who is, within the Confucian moral vision, good. Nonetheless, (...) in both popular discourse and in much the secondary literature, the doctrine is characterized in terms of a moral ‘ought’. We will adopt this perspective, and talk of the ‘filial duty of care’. We investigate the empirical question of whether Chinese communities still have a strong sense of this duty. We conclude that although there is a widespread perception among Chinese communities that their sense of filial duty of care has been eroded, in fact the adherence to it remains robust. (shrink)

Any decision by a company regarding the use of profits to pay tax, remuneration or shareholder returns has ethical implications. Sharing Profits reviews high-profile ethical issues facing companies in how profits are used, and proposes a framework for understanding the ethical implications of decisions.

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

Mitchell's formulation of the chemiosmotic theory of oxidative phosphorylation in 1961 lacked any experimental support for its three central postulates. The path by which Mitchell reached this theory is explored. A major factor was the role of Mitchell's philosophical system conceived in his student days at Cambridge. This system appears to have become a tacit influence on his work in the sense that Polanyi understood all knowledge to be generated by an interaction between tacit and explicit knowing. Early in his (...) life Mitchell had evolved a simple philosophy based on fluctoids, fluctids and statids which was developed in a thesis submitted for the Ph.D. at the University of Cambridge, England. This aspect of his work was rejected by the examiners and became a tacit element in his intellectual development. It is argued from his various publications that this philosophy can be traced as an underlying theme behind much of Mitchell's theoretical writing in the 50's leading, through his notion of vectorial metabolism, to the formulation and amplification of the chemiosmotic theory in the sixties. This philosophy formed the basis for Mitchell of his understanding of biological systems and gave him his unique approach to cell biology. (shrink)

This paper is roughly in two parts. The first deals with whether know-how is constituted by propositional knowledge, as discussed primarily by Gilbert Ryle (1949) The concept of mind. London: Hutchinson, Jason Stanley and Timothy Williamson (2001). Knowing how. Journal of Philosophy, 98, pp. 411–444 as well as Stephen Hetherington (2006). How to know that knowledge-that is knowledge-how. In S. Hetherington (Ed.) Epistemology futures. Oxford: Oxford University Press. The conclusion of this first part is that know-how sometimes does and sometimes (...) does not consist in propositional knowledge. The second part defends an analysis of know-how inspired by Katherine Hawley’ (2003). Success and knowledge-how. American Philosophical Quarterly, 40, pp. 19–31, insightful proposal that know-how requires counterfactual success. I conclude by showing how this analysis helps to explain why know-how sometimes does and sometimes does not consist of propositional knowledge. (shrink)

I supply an argument for Evans's principle that whatever justifies me in believing that p also justifies me in believing that I believe that p. I show how this principle helps explain how I come to know my own beliefs in a way that normally makes me the best authority on them. Then I show how the principle helps to solve Moore's paradoxes.