Rice, Robert James William Gleeson was born in Balaklava, a town in the mid-north of South Australia, on 24 December 1920. The son of John Joseph Gleeson and Margaret Mary O'Connell, he was the third born of six children - the elder brother of Thomas, John and Raphael (Ray), and the younger brother of Mary. The first-born child, also Mary, born in Balaklava on 6 May 1918, died one hour after birth. She was baptised during her short life.
Philosophy of scientific practice aims to critically evaluate as well as describe scientific inquiry. Epistemic norms are required for such evaluation. Social constructivism is widely thought to oppose this critical project. I argue, however, that one variety of social constructivism, focused on epistemic justification, can be a basis for critical epistemology of scientific practice, while normative accounts that reject this variety of social constructivism (SCj) cannot. Abstract, idealized epistemic (...) norms cannot ground effective critique of our practices. I propose a new approach, placing SCj within a general framework of social action theory. This framework can be used to explicate epistemic norms implicit in our scientific practices. *Received July 2009; revised July 2009. †To contact the author, please write to: MS 14, P.O. Box 1892, Houston, TX 77251‐1892; e‐mail: mbf2@rice.edu. (shrink)
Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the classical (...) class='Hi'>Rice-Shapiro Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceĭtin-Moschovakis, and a result by Eršov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers. (shrink)
