Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider Floridi's structural (...) account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. (shrink)

For many years, the Shroud of Turin has been famous for images of a body and face which many believe were formed during The Resurrection. More recently, however, claims have been made that the Shroud also contains evidence of other objects, and these claims have been used to support the view that the Shroud is the burial cloth of Jesus. However, these claims are based on marks that are barely visible and the psychological processes known to be involved in perceiving (...) objects under data-limited conditions have been largely ignored. Here, we consider these processes and assess the claims that objects can be seen on the Shroud. We conclude that the viewing conditions provided by images of the Shroud are likely to lead to the illusory perception of objects, and knowing the psychological processes underlying these perceptions is crucial for accurately determining the provenance of the Shroud and other material artefacts. (shrink)

In metaphysics, the fundamental is standardly equated with that which has no explana- tion – with that which is, in other words, ‘brute’. But this doctrine of brutalism is in tension with physicists’ ambitions to not only describe but also explain why the fundamental is as it is. The tension would ease were science taken to be incapable of furnishing the sort of explanations that brutalism is concerned with, given that these are understood to be dis- tinctively ‘metaphysical’ in character. (...) But to assume this is to assume a sharp demarcation between physics and metaphysics that surely cannot be taken for granted. This paper sets out to examine the standing of brutalism from the perspective of contem- porary fundamental physics, together with theories of explanation drawn from philosophy of science and metaphysics. Focusing on what fundamental kinds the world instantiates and how physicists go about determining them, I argue that a partial explanation, in Hempel’s sense, may be given of this fundamental feature. Moreover, since this partial explanation issues, at least in part, from stipulations as to the essential nature of the kinds involved, I claim that it has as much right to be regarded as a metaphysical explanation as do grounding explanations. As such, my conclusion will be that the doctrine of brutalism can no longer be regarded as tenable: at least modulo certain plausible essentialist assumptions, it is no longer the case that no explanation can be given of the fundamental. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

Work on analogy has been done from a number of disciplinary perspectives throughout the history of Western thought. This work is a multidisciplinary guide to theorizing about analogy. It contains 1,406 references, primarily to journal articles and monographs, and primarily to English language material. classical through to contemporary sources are included. The work is classified into eight different sections (with a number of subsections). A brief introduction to each section is provided. Keywords and key expressions of importance to research on (...) analogy are discussed in the introductory material. Electronic resources for conducting research on analogy are listed as well. (shrink)

Within recent feminist philosophy, controversy has developed over the desirability, and indeed, the possibility of defining the central terms of its analysis—“woman,” “femininity,” etc. The controversy results largely from the undertheorization of the notion of definition; feminists have uncritically adopted an Aristotelian treatment of definition as entailing metaphysical, rather than merely linguistic, commitments. A “discursive” approach to definition, by contrast, allows us to define our terms, while avoiding the dangers of essentialism and universalism.

Paul Hirst claimed that Richard Peters ?revolutionised philosophy of education?. This does not accord with my experience in the Antipodean periphery. My experience of the work of Wittgenstein, Austin and Kovesi before reading Peters and Dewey, Kuhn and Toulmin subsequently meant that Peters was a major but not revolutionary figure in my understanding of philosophy of education.

William Irwin defends a form of moral anti-realism, according to which there are no objective moral facts. He contends that moral realism is objectionable because of its being more complex or not as simple as anti-realism; moral realism is in conflict with science; moral realism is also challenged by the fact that our moral judgements would differ if we were subject to a different biology or evolutionary past. Irwin also argues that insofar as moral realism is supportable evidentially by experience (...) this would lead to the absurdity of thinking theism may be supported evidentially by religious experience. In response, it is argued that there are many truths and practices that are not intelligible if there are no objective, normative truths and that objective moral truths are no more dispensable or odd than epistemic norms. It is further argued that Irwin's account of the evolution of morality is not able to escape presupposing objective moral facts. Finally, the appeal to moral and religious experience is defended in making the case for moral realism and theism. (shrink)