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)

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)

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)

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)

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)

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

This book concerns the foundations and implications of a particular form of liberal political theory. Colburn argues that one should see liberalism as a political theory committed to the value of autonomy, understood as consisting in an agent deciding for oneself what is valuable and living life in accordance with that decision. Understanding liberalism this way offers solutions to various problems that beset liberal political theory, on various levels. On the theoretical level, Colburn claims that this position is (...) the only defensible theory of liberalism in current circulation, arguing that other more dominant theories are either self-contradictory or unattractive on closer inspection. And on the practical level, Colburn draws out the substantive commitments of this position in educational, economic, and social policy. Hence, the study provides a blueprint for a radical liberal political agenda which will be of interest to philosophers and to politicians alike. (shrink)

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)

In this rejoinder to Ben Colburn, I (1) further press, while modulating, my charge that his autonomy-minded anti-perfectionism is insufficiently novel, (2) articulate a new and distinct worry about the formal analysis that is at the center of his argument, and (3) enhance my criticism that the view Colburn defends is too permissive.

Humean arguments from evil are some of the most powerful arguments against Theism. They take as their data what we know about good and evil. And they argue that some rival to Theism better explains, or otherwise predicts, that data than Theism. However, this paper argues that there are many problems with various methods for defending Humean arguments. I consider Philo’s original strategy; modern strategies in terms of epistemic probability; phenomenological strategies; and strategies that appeal to scientific and metaphysical explanations. (...) None of these methods have been sufficiently developed to provide a clear and distinctive defense of Humean arguments. Defenders of Humean arguments need to spend more time on the underlying methodology of their arguments. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

The author argues that all forms of life are interconnected and that no being, construct, or object can exist independently from the ecological entanglement, nor does "nature" exist as an entity separate from the uglier or more synthetic elements of life. Realizing this interconnectedness is what the author calls the ecological thought. He investigates the philosophical, political, and aesthetic implications of this interconnectedness.

At any given time, a subject has a multiplicity of conscious experiences. A subject might simultaneously have visual experiences of a red book and a green tree, auditory experiences of birds singing, bodily sensations of a faint hunger and a sharp pain in the shoulder, the emotional experience of a certain melancholy, while having a stream of conscious thoughts about the nature of reality. These experiences are distinct from each other: a subject could experience the red book without the singing (...) birds, and could experience the singing birds without the red book. But at the same time, the experiences seem to be tied together in a deep way. They seem to be unified, by being aspects of a single encompassing state of consciousness. (shrink)

When I take off my glasses, the world looks blurred. When I put them back on, it looks sharpedged. I do not think that the world really was blurred; I know that what changed was my relation to the distant physical objects ahead, not those objects themselves. I am more inclined to believe that the world really is and was sharp-edged. Is that belief any more reasonable than the belief that the world really is and was blurred? I see more (...) accurately with my glasses on than off, so visual appearances when they are on have some cognitive priority over visual appearances when they are off. If I must choose which kind of visual appearance to take at face value, I will choose the sharp-edged look. But what should I think when I see a mist, which looks very blurred however well I am seeing? Indeed, why choose to take any of the looks at face value? Why not regard all the choices as illegitimate projections of ways of seeing the world onto the world itself? (shrink)

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a (...) kind of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

Two opposing tendencies in the philosophy of language go by the names of ‘referentialism’ and ‘inferentialism’ respectively. In the crudest version of the contrast, the referentialist account of meaning gives centre stage to the referential semantics for a language, which is then used to explain the inference rules for the language, perhaps as those which preserve truth on that semantics (since a referential semantics for a language determines the truth-conditions of its sentences). By contrast, the inferentialist account of meaning gives (...) centre stage to the inference rules for the language, which are then used to explain its referential semantics, perhaps as the semantics on which the rules preserve truth. On pain of circularity, we cannot combine both directions of explanation. (shrink)

This paper discusses the nature and the status of inference to the best explanation. We outline the foundational role given IBE by its defenders and the arguments of critics who deny it any place at all ; argue that, on the two main conceptions of explanation, IBE cannot be a foundational inference rule ; sketch an account of IBE that makes it contextual and dependent on substantive empirical assumptions, much as simplicity seems to be ; show how that account avoids (...) the critics ' complaints and leaves IBE an important role ; and sketch how our account can clarify debates over IBE in arguments for scientific realism. (shrink)

Bioethics, Volume 36, Issue 6, Page 680-686, July 2022.

This paper challenges the soundness of the two-dimensional conceivability argument against the derivation of phenomenal truths from physical truths in light of a hyperintensional, ground-theoretic regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability—i.e., the epistemic possibility—thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.

The fundamental freedoms of speech, conscience, privacy, and religion are now an essential part of the fabric of contemporary society, set down in our most basic laws and regularly invoked in our political and cultural debates. These freedoms play a vital role in securing the spaces and opportunities within which people are able to pursue their own lives in their own ways. Independence of Mind takes this accepted thought a step further, by exploring the ways in which the fundamental freedoms (...) help us to achieve something even more profound, by enabling us to arrive at beliefs, convictions and voices of our own, so that we truly come to think, believe and speak for ourselves in the rich and various ways that the freedoms then protect. Privacy grants us the distance and refuge from others necessary to develop views of our own; freedom of speech calls on us to imagine ways of expressing ourselves that are both true to the views we have developed and innovative in their own right; freedom of conscience enables each of us to create a distinctive rational personality in which to embed the convictions that we wish to treat as non-negotiable; freedom of religion allows groups of us to endorse certain beliefs as articles of faith, free from the full demands of rational scrutiny. Much has been written about the political and legal implications of the fundamental freedoms and their entrenchment in bills of rights. This is the first book to undertake a comprehensive philosophical examination of their moral bases. It offers a penetrating analysis of what makes these particular freedoms matter to us in the ways that they do, and of the true significance of their entrenchment in law. (shrink)

Yet recent thinkers have expressed deep reservations about the concept and the term has become marginalized in the humanities and social sciences.Eschewing this ...

In Liberalism without Perfection Jonathan Quong defends a form of political liberalism; that is, a political philosophy that answers ‘no’ to both the following questions: 1. Must liberal political philosophy be based in some particular ideal of what constitutes a valuable or worthwhile human life, or other metaphysical beliefs? 2. Is it permissible for a liberal state to promote or discourage some activities, ideals, or ways of life on grounds relating to their inherent or intrinsic value, or on the basis (...) of other metaphysical claims? In these remarks, I respond to Quong’s arguments against those of his rivals who answer ‘Yes’ to his first question by dint of their comprehensive commitment to an ideal of individual autonomy. One of these, which Quong calls ‘comprehensive antiperfectionism’, answers ‘Yes’ to Question 1 and ‘No’ to Question 2. The other, which answers ‘Yes’ to both, he calls (comprehensive) ‘liberal perfectionism’. Quong poses these positions a dilemma: they cannot consistently be both comprehensive (by retaining their commitment to autonomy) and liberal (by ruling out the sort of coercive interference in people’s choices which is beyond the liberal pale). I argue on the contrary that a comprehensive commitment to autonomy actually demands a general injunction against such coercive interference, because responsibility is an important component of the autonomous life, and coercion always undermines responsibility. So, Quong’s dilemma is unsuccessful. (shrink)

Previous research has suggested that bodily signals from internal organs are associated with diverse cortical and subcortical processes involved in sensory-motor functions, beyond homeostatic reflexes. For instance, a recent study demonstrated that the preparation and execution of voluntary actions, as well as its underlying neural activity, are coupled with the breathing cycle. In the current study, we investigated whether such breathing-action coupling is limited to voluntary motor action or whether it is also present for mental actions not involving any overt (...) bodily movement. To answer this question, we recorded electroencephalography (EEG), electromyography (EMG), and respiratory signals while participants were conducting a voluntary action paradigm including self-initiated motor execution (ME), motor imagery (MI), and visual imagery (VI) tasks. We observed that the voluntary initiation of ME, MI, and VI are similarly coupled with the respiration phase. In addition, EEG analysis revealed the existence of readiness potential (RP) waveforms in all three tasks (i.e., ME, MI, VI), as well as a coupling between the RP amplitude and the respiratory phase. Our findings show that the voluntary initiation of both imagined and overt action is coupled with respiration, and further suggest that the breathing system is involved in preparatory processes of voluntary action by contributing to the temporal decision of when to initiate the action plan, regardless of whether this culminates in overt movements. -/- . (shrink)

Ethical arguments about assisted dying often focus on whether or not respect for an individual’s autonomy gives a reason to offer them an assisted death if they want it. In this paper, I present an argument for legalising assisted dying which appeals to the autonomy of people who don’t want to die. Adding that option can transform the nature of someone’s choice set, enabling them to pursue other options voluntarily where that would otherwise be harder or impossible. This does not (...) contradict the more familiar arguments for legalising assisted dying based on the autonomy of those who seek to die. But it does suggest that a wider constituency of support for that legislative change might be created by emphasising that one need not be in that position to be benefited by the change. (shrink)

This book presents in translation writings by six medieval philosophers which bear on the subject of conscience. Conscience, which can be considered both as a topic in the philosophy of mind and a topic in ethics, has been unduly neglected in modern philosophy, where a prevailing belief in the autonomy of ethics leaves it no natural place. It was, however, a standard subject for a treatise in medieval philosophy. Three introductory translations here, from Jerome, Augustine and Peter Lombard, present the (...) loci classici on which subsequent discussions drew; there follows the first complete treatise on conscience, by Philip the Chancellor, while the two remaining translations, from Bonaventure and Aquinas, have been chosen as outstanding examples of the two main approaches which crystallised during the thirteenth century. (shrink)

Suppose that we think it important that people have the chance to enjoy autonomous lives. An obvious corollary of this thought is that people should, if they want it, have control over the time and manner of their deaths, either ending their own lives, or by securing the help of others in doing so. So, generally, and even if we overall think that the practice should not be legalized on other grounds, it looks like common sense to think that considerations (...) of autonomy tell at least somewhat in favour of legalizing at least some acts of suicide and voluntary euthanasia. In this paper, I argue that, in fact, when we scrutinize the reasons for most end of life decisions, it turns out that they are seriously problematic from the point of view of autonomy. Full autonomy requires that we are responsible for the consequences of our decisions, and responsibility is precluded by non-voluntariness, which is to say decisions made because there are no acceptable alternatives. Since most end of life decisions are made for precisely this reason, it looks as though most such decisions are non-voluntary, and therefore undermine our autonomy: a discomforting and paradoxical claim. I argue that we should respond by taking the paradox to illuminate the context required by an autonomy-respecting framework for legalizing assisted suicide and euthanasia. People should have a legal right to a reasonable choice about when and how to die. However, this must go hand in hand with institutions that ensure, as far as possible, that such choices are made against a background which ensures, as far as possible, that people choose death clear-sightedly and not because nothing else is acceptable. (shrink)

I provide support for a liberal political philosophy that is fully committed to the state promotion of autonomy, and which also counts Anti-perfectionism amongst its other commitments. I do so by defending it against the serious charge that it is prima facie self-contradictory. After all, Anti-perfectionism appears to demand that the state refrain from promoting any value – it looks as though that must preclude the promotion of autonomy, if the latter is conceived of as a value. I argue that (...) this self-contradiction is a mirage, whose plausibility depends on an equivocation in the statement given above of Anti-perfectionism. As it stands, the statement fails to distinguish between two types of values, and hence between two different types of Anti-perfectionism that one might endorse. When this is clarified, we can see that on the best understanding of Anti-perfectionism, it is consistent with the promotion of autonomy. (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.

This essay defends an epistemicist response to the phenomenon of vagueness concerning moral terms. I outline a traditional model of - and then two novel approaches to - epistemicism about moral predicates, and I demonstrate how the foregoing are able to provide robust explanations of the source of moral, as epistemic, indeterminacy. The first approach to moral epistemicism concerns the extensions of moral predicates, as witnessed by the non-transitivity of a value-theoretic sorites paradox. The second approach to moral epistemicism is (...) induced by the status of moral dilemmas in the epistemic interpretation of two-dimensional semantics. I examine the philosophical significance of the foregoing, and compare the proposal to those of ethical expressivism, constructivism, and scalar act-consequentialism. Finally, I examine the status of moral relativism in light of the epistemicist models of moral vagueness developed in the paper. (shrink)

Disorders of volition are often accompanied by, and may even be caused by, disruptions in the phenomenology of agency. Yet the phenomenology of agency is at present little explored. In this paper we attempt to describe the experience of normal agency, in order to uncover its representational content.

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

This issue of The Monist was edited in the middle of a worldwide pandemic. As the submissions came in, millions of people across the globe were infecting each other with the coronavirus ‘Covid-19’ in buses and on trains; in bars and in hotels; in airports and hospitals; in homes and universities. During parts of 2020, the presence of this deadly virus made national governments ‘lock down’ their economies and ‘lock up’ their citizens in a manner that has not previously been (...) seen in modern peacetime. Long after this extraordinary event, people will still be asking themselves what really happened. (shrink)

This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

IN her work on the distinction between freedom and voluntariness, Serena Olsaretti suggests the following definition of voluntary action: an action is voluntary if it is not non-voluntary, and non-voluntary if it is performed because there are no acceptable alternatives, where ‘acceptable’ means conforming to some objective standard (which Olsaretti suggests might be well-being). Olsaretti suggests that ascriptions of responsibility are underwritten by judgments of voluntariness, rather than freedom. Also, Olsaretti notes that a concern for voluntary choice might be grounded (...) in respect for autonomy. So, two important questions in political philosophy – when an agent is responsible for her actions and what we must do if we want agents to live autonomous lives – hang upon whether Olsaretti's account of voluntariness is correct once it has been developed in detail. This article is a contribution to that development. I show that well-informedness about our options is crucial to whether we act voluntarily or not, and I argue that we should restrict the scope of what we consider relevantly unacceptable to include only things which involve serious prudential harm. Inevitably there are some questions left unanswered, but what follows indicates what I take to be the strongest form of Olsaretti's theory, and one which can play the role described for it above. (shrink)

I examine an objection against autonomy-minded liberalism sometimes made by philosophers such as John Rawls and William Galston, that it rules out ways of life which do not themselves value freedom or autonomy. This objection is incorrect, because one need not value autonomy in order to live an autonomous life. Hence autonomy-minded liberalism need not rule out such ways of life. I suggest a modified objection which does work, namely that autonomy-minded liberalism must rule out ways of life that could (...) not develop under an autonomy-promoting education. I conclude by suggesting some reasons why autonomy-minded liberals should bite the bullet and accept this. (shrink)

Over the years, Skolem’s Paradox has generated a fairly steady stream of philosophical discussion; nonetheless, the overwhelming consensus among philosophers and logicians is that the paradox doesn’t constitute a mathematical problem (i.e., it doesn’t constitute a real contradiction). Further, there’s general agreement as to why the paradox doesn’t constitute a mathematical problem. By looking at the way firstorder structures interpret quantifiers—and, in particular, by looking at how this interpretation changes as we move from structure to structure—we can give a technically (...) adequate “solution” to Skolem’s Paradox. So, whatever the philosophical upshot of Skolem’s Paradox may be, the mathematical side of Skolem’s Paradox seems to be relatively straightforward. (shrink)

The Continuity Test is the principle that a proposed distribution of resources is wrong if it treats someone as disadvantaged when they don't see it that way themselves, for example by offering compensation for features that they do not themselves regard as handicaps. This principle — which is most prominently developed in Ronald Dworkin's defence of his theory of distributive justice — is an attractive one for a liberal to endorse as part of her theory of distributive justice and disadvantage. (...) In this article, I play out some of its implications, and show that in its basic form the Continuity Test is inconsistent. It relies on a tacit commitment to the protection of autonomy, understood to consist in an agent deciding for herself what is valuable and living her life in accordance with that decision. A contradiction arises when we consider factors which are putatively disadvantaging by dint of threatening individual autonomy construed in this way. I argue that the problem can be resolved by embracing a more explicit commitment to the protection (and perhaps promotion) of individual autonomy. This implies a constrained version of the Continuity Test, thereby salvaging most of the intuitions which lead people to endorse the Test. It also gives us the wherewithal to sketch an interesting and novel theory of distributive justice, with individual autonomy at its core. (shrink)