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.

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)

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.

Knepper criticizes existing efforts in the philosophy of religion for being out of step with, and therefore useless to, the academic study of religion, then forwards a new program for philosophy of religion that is in step with, and therefore useful to, the academic study of religion.

According to the Fragmentation Analysis, epistemic akrasia is a state of conflict between beliefs formed by the linguistic and non-linguistic belief-formation systems, and epistemic akrasia is irrational because it is a state of conflict between beliefs so formed. I argue that there are cases of higher-order epistemic akrasia, where both beliefs are formed by the linguistic belief-formation system. Because the Fragmentation Analysis cannot accommodate this possibility, the Fragmentation Analysis is incorrect. I consider three objections to the possibility of higher-order epistemic (...) akrasia. Along the way, I offer a revision of the Fragmentation Analysis that can allow for the possibility of higher-order akrasia while avoiding the problems I point out for the original view. (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)

In this global introduction to philosophy of religion you begin not with a single tradition, but with religious philosophies from East Asia, South Asia, West Africa, and Native North America, alongside the classical Abrahamic and modern European traditions. Matching this diversity of traditions, chapters are organized around questions that acknowledge there is no single understanding of any god or ultimate reality. Instead you approach six different traditions of philosophizing about religion by asking questions about the journeys of both the self (...) and the cosmos such as "What is my path?" and "Where did the cosmos come from?" Accompanied by introductory materials and an extensive glossary, each chapter includes learning objectives, questions for discussion, and suggested primary and secondary sources. The categories of religion and philosophy are interrogated throughout. Equipped with study tools and universal questions about the self and the cosmos, Philosophies of Religion: A Global and Critical Introduction shows you how to philosophize about religions around the world. (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)

Skeptical theism is a family of responses to the evidential problem of evil. What unifies this family is two general claims. First, that even if God were to exist, we shouldn’t expect to see God’s reasons for permitting the suffering we observe. Second, the previous claim entails the failure of a variety of arguments from evil against the existence of God. In this essay, we identify three particular articulations of skeptical theism—three different ways of “filling in” those two claims—and describes (...) their role in responding to evidential arguments of evil due to William Rowe and Paul Draper. But skeptical theism has been subject to a variety of criticisms, several of which raise interesting issues and puzzles not just in philosophy of religion but other areas of philosophy as well. Consequently, we discuss some of these criticisms, partly with an eye to bringing out the connections between skeptical theism and current topics in mainstream philosophy. Finally, we conclude by situating skeptical theism within our own distinctive methodology for evaluating world views, what we call “worldview theory versioning.”. (shrink)

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)

This is the first single volume to offer a comprehensive and systematic account of British and American aesthetics from the early eighteenth century to the late twentieth century.

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)

Things in common: an introduction -- Life -- Specters -- Subscendence -- Species -- Kindness.

Jecker and colleagues open (2024) a critical and needed dialogue about the ethics of international conferencing. In particular, they focus on proposing a set of principles in selecting the location...

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)

The general process view of learning, which guided research into learning for the first half of this century, has come under attack in recent years from several quarters. One form of criticism has come from proponents of the so-called biological boundaries approach to learning. These theorists have presented a variety of data showing that supposedly general laws of learning may in fact be limited in their applicability to different species and learning tasks, and they argue that the limitations are drawn (...) by the nature of each species' adaptation to the particular requirements of its natural environment. The biological boundaries approach has served an important critical function in the move away from general process learning theory, but it is limited in its ability to provide an alternative to the general process approach. In particular, the biological boundaries approach lacks generality, it is in some respects subservient to the general process tradition, and its ecological content is in too many cases limited toex post factoadaptive explanations of learning skills. A contrasting, ecological approach to learning, which can provide a true alternative to general process theory, is presented. The ecological approach begins by providing an ecological task description for naturally occurring instances of learning; this step answers the question:Whatdoes this animal learn to do? The next step is an analysis of the means by which learning occurs in the course of development, answering the question:Howdoes the animal learn to do this? On the basis of such analyses, local principles of adaptation are formulated to account for the learning abilities of individual species. More global principles are sought by generalization among these local principles and may form the basis for a general ecological theory of learning. (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)

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)

This book explores the relation between agape (or Christian charity) and social justice. Timothy Jackson defines agape as the central virtue in Christian ethical thought and action and applies his insights to three concrete issues: political violence, forgiveness, and abortion. Taking his primary cue from the New Testament while drawing extensively from contemporary theology and philosophy, Jackson identifies three features of Christian charity: unconditional commitment to the good of others, equal regard for others' well-being, and passionate service open to (...) self-sacrifice for the sake of others. Charity, prescribed by Jesus for his disciples and named by Saint Paul as the "greatest" theological virtue, is contrasted with various accounts of justice. Jackson argues that agape is not trumped by justice or other goods. Rather, agape precedes justice: without the work of love, society would not produce persons capable of merit, demerit, and contract, the elements of most modern conceptions of justice. Jackson then considers the implications of his ideas for several questions: the nature of God, the relation between Christian love and political violence, the place of forgiveness, and the morality of abortion. Arguing that agapic love is to be construed as a gift of grace as well as a divine commandment, Jackson concludes that love is the "eternal life" that makes temporal existence possible and thus the "first" Christian virtue. Though foremost a contribution to Christian ethics, Jackson's arguments and the issues he takes up will find a broader readership. (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.

Adaptive preference formation is the unconscious altering of our preferences in light of the options we have available. Jon Elster has argued that this is bad because it undermines our autonomy. I agree, but think that Elster's explanation of why is lacking. So, I draw on a richer account of autonomy to give the following answer. Preferences formed through adaptation are characterized by covert influence (that is, explanations of which an agent herself is necessarily unaware), and covert influence undermines our (...) autonomy because it undermines the extent to which an agent's preferences are ones that she has decided upon for herself. This answer fills the lacuna in Elster's argument. It also allows us to draw a principled distinction between adaptive preference formation and the closely related phenomenon of character planning. (shrink)

The range of topics in this volume covers a multitude of historical periods and topics, which in turn figure in the new media environments of contemporary life. These include discussions of the Aristotelian and classical models of a "good life" that inform animated fairy tales today, 1930s French and Hollywood films which respond to the dire need for productive human relationships in a turbulent decade, the polemical positions of black film criticism through the lens of James Baldwin's work, a discussion (...) of contemporary filmic quests for happiness, the challenges for women filmmakers today in mapping the values of their own world, landscapes of austerity and poverty in the cinematic homelands today, the scientific, psychological, and philosophical base for human value, and the shifting media frames of modern society and selves. (shrink)

Through both an historical and philosophical analysis of the concept of possibility, we show how including both potentiality and actuality as part of the real is both compatible with experience and contributes to solving key problems of fundamental process and emergence. The book is organized into four main sections that incorporate our routes to potentiality: potentiality in modern science [history and philosophy; quantum physics and complexity]; Relational Realism [ontological interpretation of quantum physics; philosophy and logic]; Process Physics [ontological interpretation of (...) relativity theory; physics and philosophy]; on speculative philosophy and physics [limitations and approximations; process philosophy]. We conclude that certain fundamental problems in modern physics require complementary analyses of certain philosophical and metaphysical issues, and that such scholarship reveals intrinsic features and limits of determinism, potentiality and emergence that enable, among others, important progress on the quantum theory of measurement problem and new understandings of emergence. (shrink)

For millennia self has been conjectured to be necessary for consciousness. But scant empirical evidence has been adduced to support this hypothesis. Inconsistent explications of “self” and failure to design apt experiments have impeded progress. Advocates of phenomenological psychiatry, however, have helped explicate “self,” and employed it to explain some psychopathological symptoms. In those studies, “self” is understood in a minimalist sense, sheer “for-me-ness.” Unfortunately, explication of the “minimal self” (MS) has relied on conceptual analysis, and applications to psychopathology have (...) been hermeneutic, allowing for many degrees of interpretive latitude. The result is that MS’s current scientific status is analogous to that of the “atom,” at the time when “atom” was just beginning to undergo transformation from a philosophical to a scientific concept. Fortunately, there is now an opportunity to promote a similar transformation for “MS.” Discovery of the brain’s Default Mode Network (DMN) opened the door to neuroimaging investigations of self. Taking the DMN and other forms of intrinsic activity as a starting point, an empirical foothold can be established, one that spurs experimental research and that enables extension of research into multiple phenomena. New experimental protocols that posit “MS” can help explain phenomena hitherto not thought to be related to self, thereby hastening development of a mature science of self. In particular, targeting phenomena wherein consciousness is lost and recovered, as in some cases of Unresponsive Wakefulness Syndrome (UWS), allow for design of neuroimaging probes that enable detection of MS during non-conscious states. These probes, as well as other experimental protocols applied to NREM Sleep, General Anesthesia (GA), and the waking state, provide some evidence to suggest that not only can self and consciousness dissociate, MS might be a necessary precondition for conscious experience. Finally, these findings have implications for the science of consciousness: it has been suggested that “levels of consciousness” (LoC) is not a legitimate concept for the science of consciousness. But because we have the conceptual and methodological tools with which to refine investigations of MS, we have the means to identify a possible foundation—a bifurcation point—for consciousness, as well as the means by which to measure degrees of distance from that foundation. These neuroimaging investigations of MS position us to better assess whether LoC has a role to play in a mature science of consciousness. (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)

Explores moral progress in the American military.