§30. Significance of Desargues's theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 CHAPTER VI. PASCAL'S THEOREM. §31. ...

Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while low-level programming (...) languages function as models of causal (or physical) machines. The resulting account suggests that sets of models embedded within models are indispensable for computer programming. (shrink)

Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...

In The Construction of Social Reality, John Searle argues that there are two kinds of facts--some that are independent of human observers, and some that require..

The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.

It is often noted that institutional objects and artifacts depend on human beliefs and intentions and so fail to meet the realist paradigm of mind-independent objects. In this paper I draw out exactly in what ways the thesis of mind-independence fails, and show that it has some surprising consequences. For the specific forms of mind-dependence involved entail that we have certain forms of epistemic privilege with regard to our own institutional and artifactual kinds, protecting us from certain possibilities of ignorance (...) and error; they also demonstrate that not all cases of reference to these kinds can proceed along a causal model. As a result, realist views in ontology, epistemology, and semantics that were developed with natural scientific kinds in mind cannot fully apply to the everyday world. In closing I consider some wider consequences of these results for social science and philosophy. (shrink)

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

Hilary Putnam, who may have been the first philosopher to advance the notion that the computer is an apt model for the mind, takes a radically new view of his...

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

I. Recent years have witnessed a great resurgence of interest in the writings of the later Wittgenstein, especially with those passages roughly, Philosophical Investigations p)I 38 — 242 and Remarks on the Foundations of mathematics, section VI that are concerned with the topic of rules. Much of the credit for all this excitement, unparalleled since the heyday of Wittgenstein scholarship in the early IIJ6os, must go to Saul Kripke's I4rittgenstein on Rules and Private Language. It is easy to explain why. (...) To begin with, the dialectic Kripke uncovered from Wittgenstein's.. (shrink)

Professor Hilary Putnam has been one of the most influential and sharply original of recent American philosophers in a whole range of fields. His most important published work is collected here, together with several new and substantial studies, in two volumes. The first deals with the philosophy of mathematics and of science and the nature of philosophical and scientific enquiry; the second deals with the philosophy of language and mind. Volume one is now issued in a new edition, including an (...) essay on the philosophy of logic first published in 1971. (shrink)

Hilary Putnam has argued that computational functionalism cannot serve as a foundation for the study of the mind, as every ordinary open physical system implements every finite-state automaton. I argue that Putnam's argument fails, but that it points out the need for a better understanding of the bridge between the theory of computation and the theory of physical systems: the relation of implementation. It also raises questions about the class of automata that can serve as a basis for understanding the (...) mind. I develop an account of implementation, linked to an appropriate class of automata, such that the requirement that a system implement a given automaton places a very strong constraint on the system. This clears the way for computation to play a central role in the analysis of mind. (shrink)

The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline.

La theorie physique? Ce titre, qui fut au debut de notre siecle celui d'un ouvrage controverse, suggere bien une question, celle de savoir si en matiere de science la theorie doit se qualifier en fonction d'un domaine plus particulier d'application. L'auteur, Pierre Duhem, n'aurait pas hesite, semble-t-il, a repondre par l'affirmative en ce qui concerne le vaste champ de la recherche que l'on peut signifier sous le nom de physique. Son ouvrage est en fait construit comme une preparation rigoureuse a (...) une telle reponse et bien que les annees aient modifie considerablement le contexte du champ sus-dit, les analyses proposees ont ete jugees suggestives par de nombreux epistemologues d'aujourd'hui. (shrink)

The aim of this paper is to evaluate etiological accounts of functions for the domain of technical artefacts. Etiological theories ascribe functions to items on the basis of the causal histories of those items; they apply relatively straightforwardly to the biological domain, in which neo-Darwinian evolutionary theory provides a well-developed and generally accepted background for describing the causal histories of biological items. Yet there is no well-developed and generally accepted theory for describing the causal history of artefacts, so the application (...) of etiological theories to the technical domain is hardly straightforward. In this paper we consider the transposition of etiological theories in general from the biological to the technical domain. We argue that a number of etiological theories that appear defensible for biology become untenable for technology. We illustrate our argument by showing that the standard etiological accounts of Neander and Millikan, and some recent attempts to improve on them, provide examples of such untenable theories. 1 Introduction 2 Desiderata for theories of functions 3 Etiological theories in general 3.1 Common core and divergent aims 3.2 Reproduction versus non-reproduction etiological theories 3.3 Intentionalist versus non-intentionalist etiological theories 4 Problems for etiological theories in the technical domain 5 The failure of existing reproduction theories 6 The failure of existing non-reproduction theories 7 Improving reproduction by hybridisation 8 Conclusions. (shrink)

Nowadays, it has become almost a matter of course to say that the human mind is like a computer. Folks in all walks of life talk of ‘programming’ themselves, ‘multitasking’, running different ‘operating systems’, and sometimes of ‘crashing’ and being ‘rebooted’. Few who have used computers have not been touched by the appeal of the..

The ‘received view’ about computation is that all computations must involve representational content. Egan and Piccinini argue against the received view. In this paper, I focus on Egan’s arguments, claiming that they fall short of establishing that computations do not involve representational content. I provide positive arguments explaining why computation has to involve representational content, and how that representational content may be of any type. I also argue that there is no need for computational psychology to be individualistic. Finally, I (...) draw out a number of consequences for computational individuation, proposing necessary conditions on computational identity and necessary and sufficient conditions on computational I/O equivalence of physical systems.Keywords: Computation; Representation; Computational identity; Explanation; Narrow content; Physical computation. (shrink)

Creations of the Mind: Essays on Artifacts and their Representation, ed. Stephen Laurence and Eric Margolis, Oxford: Oxford University Press, 2007.

The received view is that computational states are individuated at least in part by their semantic properties. I offer an alternative, according to which computational states are individuated by their functional properties. Functional properties are specified by a mechanistic explanation without appealing to any semantic properties. The primary purpose of this paper is to formulate the alternative view of computational individuation, point out that it supports a robust notion of computational explanation, and defend it on the grounds of how computational (...) states are individuated within computability theory and computer science. A secondary purpose is to show that existing arguments for the semantic view are defective. (shrink)

Colburn (computer science, U. of Minnesota-Duluth) has a doctorate in philosophy and an advanced degree in computer science; he's worked as a philosophy professor, a computer programmer, and a research scientist in artificial intelligence. Here he discusses the philosophical foundations of artificial intelligence; the new encounter of science and philosophy (logic, models of the mind and of reasoning, epistemology); and the philosophy of computer science (touching on math, abstraction, software, and ontology).

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

John Searle began to discuss his recently published book `The Construction of Social Reality' with Anthony Freeman, and they ended up talking about God. The book itself and part of their conversation are introduced and briefly reflected upon by Anthony Freeman. Many familiar social facts -- like money and marriage and monarchy -- are only facts by human agreement. They exist only because we believe them to exist. That is the thesis, at once startling yet obvious, that philosopher John Searle (...) explores in The Construction of Social Reality. (shrink)

This 2001 book offers an examination of functional explanation as it is used in biology and the social sciences, and focuses on the kinds of philosophical presuppositions that such explanations carry with them. It tackles such questions as: why are some things explained functionally while others are not? What do the functional explanations tell us about how these objects are conceptualized? What do we commit ourselves to when we give and take functional explanations in the life sciences and the social (...) sciences? McLaughlin gives a critical review of the debate on functional explanation in the philosophy of science. He discusses the history of the philosophical question of teleology, and provides a comprehensive review of the post-war literature on functional explanation. What Functions Explain provides a sophisticated and detailed Aristotelian analysis of our concept of natural functions, and offers a positive contribution to the ongoing debate on the topic. (shrink)

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.