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).

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)

This paper analyzes both philosophical and practical assumptions underlying claims for the dual nature of software, including software as a machine made of text, and software as a concrete abstraction. A related view of computer science as a branch of pure mathematics is analyzed through a comparative examination of the nature of abstraction in mathematics and computer science. The relationship between the concrete and the abstract in computer programs is then described by exploring a taxonomy of approaches borrowed from philosophy (...) of mind. (shrink)

The prelims comprise: Introduction Computer Science and Mathematics The Formal Verification Debate Abstraction in Computer Science Conclusion.

Computer science is an engineering science whose objective is to determine how to best control interactions among computational objects. We argue that it is a fundamental computer science value to design computational objects so that the dependencies required by their interactions do not result in couplings, since coupling inhibits change. The nature of knowledge in any science is revealed by how concepts in that science change through paradigm shifts, so we analyze classic paradigm shifts in both natural and computer science (...) in terms of decoupling. We show that decoupling pervades computer science both at its core and in the wider context of computing at large, and lies at the very heart of computer science’s value system. (shrink)

In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal verification do (...) not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other. (shrink)

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)

This chapter contains sections titled: Introduction Computer Science as the Master of Its Domain The Concept of Law in Computer Science Computer Science Laws as Invariants The Interplay of Freedom and Constraint Conclusion References.

The general conditions of epistemic defeat are naturally represented through the interplay of two distinct kinds of entailment, deductive and defeasible. Many of the current approaches to modeling defeasible reasoning seek to define defeasible entailment via model-theoretic notions like truth and satisfiability, which, I argue, fails to capture this fundamental distinction between truthpreserving and justification-preserving entailments. I present an alternative account of defeasible entailment and show how logic programming offers a paradigm in which the distinction can be captured, allowing for (...) the modeling of a larger range of types of defeat. This is possible through a natural extension of the declarative and procedural semantics of Horn clauses. (shrink)

Heuristics can be regarded as justifying the actions and beliefs of problem-solving agents. I use an analysis of heuristics to argue that a symbiotic relationship exists between traditional epistemology and contemporary artificial intelligence. On one hand, the study of models of problem-solving agents usingquantitative heuristics, for example computer programs, can reveal insight into the understanding of human patterns of epistemic justification by evaluating these models'' performance against human problem-solving. On the other hand,qualitative heuristics embody the justifying ability of defeasible rules, (...) the understanding of which is provided by traditional epistemology. (shrink)

The distinction between the modeling of information and the modeling of data in the creation of automated systems has historically been important because the development tools available to programmers have been wedded to machine oriented data types and processes. However, advances in software engineering, particularly the move toward data abstraction in software design, allow activities reasonably described as information modeling to be performed in the software creation process. An examination of the evolution of programming languages and development of general programming (...) paradigms, including object-oriented design and implementation, suggests that while data modeling will necessarily continue to be a programmer's concern, more and more of the programming process itself is coming to be characterized by information modeling activities. (shrink)

The duality of computer programs is characterized, on the one hand, by their physical implementations on physical devices, and, on the other, by the conceptual implementations in programmers’ minds of the objects making up the computational processes they conceive. We contend that central to programmers’ conceptual implementations are (i) the concept of type, at both the programming and the design level, and (ii) metaphors created to facilitate these implementations.

Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...) illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology and a notable contribution to the philosophy of mind. (shrink)

This is not your psychoanalyst's unconscious.

The paper explores the main competing interpretations of Aristotle's view of the relation between happiness and external goods in the Nicomachean Ethics. On the basis of a careful analysis of what Aristotle says in the Nicomachean Ethics (and other works such as the Eudemian Ethics, Politics, Rhetoric, etc.) it is argued that it is likely that Aristotle takes at least some external goods to be actual constituents of happiness provided that (1) they are accompanied by virtuous activity and (2) the (...) agent enjoying and using those external goods does so in ways compatible with the continuous aim of acting virtuously. (shrink)

Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising to find (...) that philosophical discussion of secondorder modal logic is almost totally absent, despite the pioneering contribution of Barcan. (shrink)

Lewisian reference magnetism about linguistic content determination [Lewis 1983 has been defended in recent work by Weatherson [2003] and Sider [2009], among others. Two advantages claimed for the view are its capacity to make sense of systematic error in speakers' use of their words, and its capacity to distinguish between verbal and substantive disagreements. Our understanding of both error and disagreement is linked to the role of usage and first order intuitions in semantics and in linguistic theory more generally. I (...) argue, partially on the basis of these more general considerations, that reference magnetism delivers implausible results. Specifically, I argue that the proponent of reference magnetism maintains her analysis of genuinely systematic error at the cost of an empirically unjustifiable error theory regarding ordinary usage. In response, I describe an alternative view of content determination—MUMPS, or Meaning is Use Minus Pragmatics—which is not committed to such error theories. Despite this advantage, MUMPS has high prima facie costs. On such a view, there is a great deal of variation in linguistic meaning across speakers and times. As a result, a large number of seemingly mistaken claims are analysed as expressing true propositions. Correspondingly, a large number of seemingly substantive disagreements are analysed as terminological. However, I argue that these consequences are not as costly as they seem. Despite appearances, MUMPS is consistent with objective, metaphysically realist adjudication of disagreements, even in cases where meanings are not shared and where both parties to a dispute speak truly. MUMPS thus allows for a more nuanced understanding of linguistic usage, change, and variation, without imposing a commitment to any form of metaphysical anti-realism. (shrink)

Insofar as disagreement may in principle regard most of (maybe all) facets of information system ontologies’ [ISOs] debate, it may also produce a plurality of views – sometimes inconsistent with each other – on ISOs’ development and design. This paper analyzes a view that makes the recognition of – and provides a theoretical foundation for – such a plurality of views a trademark: perspectivism (on ISOs). The aim is to show what exactly endorsing perspectivism consists of, and how perspectivism differs (...) from different, competing views. Section 2 introduces the main claims of perspectivism, and remarks that perspectivism mainly deals with ISOs’ development and design. As for ISOs’ development, Sect. 3 considers domain’s partition and systematization, by distinguishing perspectivism from realism and relativism. Section 3 also shows that perspectivism implies some sort of variantism on ISOs’ representational primitives, about which perspectivism may not differ from its rivals. As for the ISOs’ design, Sect. 4 points out that despite perspectivism grants the possibility to use any procedural approach, principle, and ontological language, it is not committed to uphold that all those approaches, principles, and languages are legitimate. Finally, Sect. 5 focuses on both perspectivism’s weaknesses and (theoretical) contribution to ISOs’ debate. (shrink)

On method, discursive logics, and epistemology -- Questions of medieval discursive practice -- From the middle ages to the (w)hole of Utopia -- Kepler, his Dream, and the analysis and pattern of thought -- Campanella and Bacon: concerning structures of mind -- The masculine birth of time -- Cyrano and the experimental discourse -- The myth of sun and moon -- The difficulty of writing -- Crusoe rights his story -- Gulliver's critique of Euclid -- Emergence, consolidation, and dominance of (...) a discourse. (shrink)

I. An argument is presented for the conclusion that the hypothesis that no one will ever decide a given proposition is intuitionistically inconsistent. II. A distinction between sentences and statements blocks a similar argument for the stronger conclusion that the hypothesis that I have not yet decided a given proposition is intuitionistically inconsistent, but does not block the original argument. III. A distinction between empirical and mathematical negation might block the original argument, and empirical negation might be modelled on Nelson''s (...) strong negation, but only on intuitionistically unacceptable assumptions. IV. Intuitionists may have to accept the original argument, and therefore be committed to a dubious view of time on which there cannot be merely inductive evidence for statements about the infinite future. (shrink)

Social science, history, and philosophy have often been neglect in thinking through their fundamentally intertwined relationship. The result is often an inattention to philosophy where social science and history is concerned, or a neglect of historicity and social analysis where philosophy is concerned. Meanwhile, the place of values in research is often uneasily passed over in silence. The inattention to, and loss of, the intersection between these different disciplines and their subject matters, leaves our investigations all the more impoverished as (...) a result. In resolving these problems, it is not enough to strive for cooperation or integration, but to rethink of the nature of the disciplines themselves; their interests, purposes, and presuppositions. In this volume, contributors explore different facets of these relationships, and move beyond the problematics erected by positivism often cast in terms of value-free or value-neutral science, that is, a science obsessed with empirical data, schematic classifications, and the pursuit of law-like forms. While positivism has been subject to critique, the influence and legacy of positivism remains. It remains in the way in which we often think about science; the line drawn between the sciences and the humanities; the norms researchers should follow; what a successful explanation looks like; and the ethical, normative, and political implications of scientific research. Aimed at students and researchers of philosophy, history and the social sciences, this book is driven by a desire to revindicate questions concerning ontology and social ontology, to rethink the nature of explanation, and to resituate normativity and values within scientific, social scientific, and historical pursuits. (shrink)

The chapter argues that a model‐building methodology like that widespread in contemporary natural and social science already plays a significant role in philosophy. One neglected form of progress in philosophy over the past fifty years has been the development of better and better formal models of significant phenomena. Examples are given from both philosophy of language and epistemology. Philosophy can do still better in the future by applying model‐building methods more systematically and self‐consciously, with consequent readjustments to its methodology. Although (...) it is neither likely nor desirable for model‐building to become the sole or even main philosophical method, its use enhances the power and reliability of philosophical thinking. (shrink)

The philosophical relevance of experimental psychology is hard to dispute. Much more controversial is the so‐called negative program's critique of armchair philosophical methodology, in particular the reliance on ‘intuitions’ about thought experiments. This chapter responds to that critique. It argues that, since the negative program has been forced to extend the category of intuition to ordinary judgments about real‐life cases, the critique is in immediate danger of generating into global scepticism, because all human judgments turn out to depend on intuitions. (...) Recently, some proponents of the negative program have tried to demarcate the target of their critique more narrowly. However, their attempts are still far too indiscriminate, and over‐generate scepticism. Nevertheless, once experimental philosophy has refined its own methodology, it may contribute to the refinement of the methodology of mainstream philosophy, by filtering out the effects of cognitive bias, although it offers no prospect of doing without judgments on real or imaginary cases. (shrink)

Operational epistemology is, to a first approximation, the attempt to provide cognitive rules such that one is in principle always in a position to know whether one is complying with them. In Knowledge and its Limits, I argue that the only such rules are trivial ones. In this paper, I generalize the argument in several ways to more thoroughly probabilistic settings, in order to show that it does not merely demonstrate some oddity of the folk epistemological conception of knowledge. Some (...) of the generalizations involve a formal semantic framework for treating epistemic probabilities of epistemic probabilities and expectations of expectations. The upshot is that operational epistemology cannot work, and that knowledge-based epistemology has the right characteristics to avoid its problems. (shrink)

A study of how Derrida's acts of eulogy articulate the Levinasian ethical demand with a psychoanalytic account of ghosts.

Abstract Contemporary egalitarians often appeal to a distinction between inequalities issuing from choice as opposed to those stemming from brute luck. Inequalities of the second kind, they say, ought to be redressed, while those of the former may be allowed to stand. In this paper, I scrutinize the role played by the notion of brute luck in Ronald Dworkin's theory of equality. My intention is to show that Dworkin seeks to occupy what turns out to be an untenable middle position. (...) He is sandwiched unhappily between G. A. Cohen's radical brute luck egalitarianism, on the one side, and a non-egalitarian conception of justice that rejects entirely the appeal to brute luck, on the other. It follows from the untenable nature of Dworkin's position that egalitarians face a much starker choice than he realizes. They should either wholeheartedly embrace the brute luck story or else find another way of grounding their position. (shrink)

This paper introduces a referential reading of Kant’s practical project, according to which maxims are made morally permissible by their correspondence to objects, though not the ontic objects of Kant’s theoretical project but deontic objects (what ought to be). It illustrates this model by showing how the content of the Formula of Universal Law might be determined by what our capacity of practical reason can stand in a referential relation to, rather than by facts about what kind of beings we (...) are (viz., uncaused causes). This solves the neglected puzzle of why there are passages in Kant’s works suggesting robust analogies between mathematics and ethics, since to universalize a maxim is to test a priori whether a practical object with that particular content can be constructed. An apparent problem with this hypothesis is that the medium of practical sensibility (feeling) does not play a role analogous to the medium of theoretical sensibility (intuition). In response I distinguish two separate Kantian accounts of mathematical apriority. The thesis that maxim universalization is a species of construction, and thus a priori, turns out to be consistent with the account of apriority that informs Kant’s understanding of actual mathematical practice. (shrink)

The book uses scientific discipline of chemistry to inform a Natural Theology. The author refers to the perception of beauty to provide a conceptual framework linking aspects of Epistemology, Theology and Chemistry. He presents definitions of Natural Theology and Beauty that bridge the conceptual gaps between the humanities and the hard sciences.

Informative and mind-opening, this text uniquely provides a comprehensive overview of a range of non-western approaches to educational thought and practice. Its premise is that understanding the ways that other people educate their children--as well as what counts for them as "education"--may help readers to think more clearly about some of their own assumptions and values, and to become more open to alternative viewpoints about important educational matters. The approach is deliberately and profoundly pedagogical, based in the author's own teaching (...) practice. Designed to be used in pre-service and in-service teacher education courses where substantial critical discussion and debate are encouraged, the text is enhanced by Questions for Discussion and Reflection in each chapter. Updates and Features of the Fourth Edition * NEW! Chapter 2 exploring key features of the 'western educational tradition', and information about the contemporary educational systems in different countries * NEW! Chapter 10 on traditional educational thought and practice in Oceania, with special focus on the Maori in New Zealand, the Hawai'ians, and the Australian Aboriginal peoples * Updated chapter on Africa includes fuller explanation of the diversity within the indigenous African experience, as well as several contemporary cases of state education in Africa * Updated Chapter 4 is designed to help non-Muslims to understand the Muslim educational heritage and the growing issue of Islamophobia * Exploration of Chinese education now includes a special emphasis on the thought of Confucius, the role of the imperial examination system, and the impact of political and economic changes in the 20th century * Updated analysis of contemporary educational practices in Hindu and Buddhist educational thought and practice and brief discussions of Jainism and Sikhism. (shrink)

In this article, I criticize Véronique Zanetti on the topic of moral compromise. As I understand Zanetti, a compromise could only be called a “moral compromise” if (i) it does not originate under coercive conditions, (ii) it involves conflict whose subject matter is moral, and (iii) “the parties support the solution found for what they take to be moral reasons rather than strategic interests.” I offer three criticisms of Zanetti. First, Zanetti ignores how some parties may not have reason to (...) seek social peace at all. Zanetti’s claim that there is consensus on the aim of social peace can involve idealising away from disagreement in a manner that Zanetti accuses Rawls of. Second, even if there is consensus on the aim of seeking social peace, this leaves open the possibility of disagreement about which society different people should belong to. This idealises away from real world conflict concerning borders. Indeed, Zanetti does not mention that her ‘central example’ of moral disagreement, the German Abortion compromise, was enacted in the wake of German reunification. Third, there are at least two things that can be called the ‘German Abortion compromise.’ The compromise that Zanetti speaks of was imposed by the German Federal Constitutional Court. The court declared unconstitutional a law passed in 1992 that had been negotiated in parliament. Zanetti does not dwell on this lack of democratic credentials. Even the substance of the court-imposed solution is itself a dubious example of a moral compromise between parties based on what is acceptable to their reason. -/- (penultimate version - If you would like the .pdf of the final version for personal scholarly use, please contact me through the email address on my profile or my CV.). (shrink)

An introduction to the special issue on Hobbes and Locke: Meaning, Method, Modernity.

As topics in the philosophy of emotion, pleasure and displeasure get less than their fair share of attention. On the one hand, there is the fact that pleasure and displeasure are given no role at all in many theories of the emotions, and secondary roles in many others.1 On the other, there is the centrality of pleasure and displeasure to being emotional. A woman who tears up because of a blustery wind, while an ill-advised burrito weighs heavily upon her digestive (...) tract, feels an impressive number of the sensations felt by someone who is gut-wrenchingly sad. Yet, unless she feels bad, the way she feels is only a pale echo of the feeling of sadness. If she feels good in spite of the burrito and the wind, then she does not feel at all the way she would if she were sad. Likewise, a man falling asleep can hardly fail to feel his muscles relax, his heart rate fall, and so on, but unless he feels good his state is only a shadow of feeling content. This paper will begin with a sketch of the nature of pleasure and displeasure, and the relation between them and the feelings that are characteristic of emotions. It will then argue that the capacity to feel pleased and displeased is, quite literally, a sense modality: one allowing us to perceive net change in the satisfaction of our intrinsic desires. As with any sense modality, the capacity to feel pleased and displeased displays substantial modularity. The paper concludes by considering the ways in which the modularity of pleasure and displeasure contributes to effects that might reasonably be called “the modularity of the emotions.”. (shrink)

The media continue to exercise power in transmitting values. “Kramer vs. Kramer” made film history recently by claiming an impressive number of Oscars. Written reviews and televised acclamations repeatedly cited the authentic and sympathetic treatment of the parents. However, consistent with society's present attitude toward children, the ethical and legal rights of the child were not addressed. The plot underscored the paternalistic and utilitarian manner by which we approach problem-solving and decision-making which directly involve and affect children.

Anne Conway (1631–1679) was one of the most intellectually adventurous and well-read philosophers of religion in the seventeenth century. Her unfinished systematic treatise, posthumously published as The Principles of the Most Ancient and Modern Philosophy, moves from the divine attributes through a theodicy based on universal salvation to a rejection of substance dualism. Her approach demonstrates a syncretist approach to religion that blends multiple intellectual traditions, including Cambridge Platonism, Quakerism, and the Kabbalah. Her admirers included Henry More, Francis von Helmont, (...) and G.W. Leibniz. (shrink)