Shepherd propounds a theory of mind with a fair claim to be better than Hume’s at explaining the sources of commonly held human beliefs about causal necessity due largely to her relational theory of sense perception. In comparison with Hume’s account, it incorporates a more sophisticated treatment of mental representation, especially the role of relational structure and logical form. Most important, perhaps, Shepherd’s theory enforces the division, obscured by Hume, between the evidence of necessity and the metaphysical foundation of necessity.

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

Iris Murdoch was not only one of post-war Britain's most celebrated and prolific novelists - she was also an influential philosopher, whose work was concerned with the question of the good and how we can see our moral worlds more clearly. Murdoch believed that paying attention to art is a way for us to become less self-centred, and this book argues that cinema is the perfect form of art to enable us to do this. Bringing together Murdoch's moral philosophy and (...) contemporary cinema to build a dialogue about vision, ethics and love, author Lucy Bolton encourages us to view cinema as a way of studying other worlds and moral journeys, and to reflect upon their ethical significance in the world of the film and in our daily lives. (shrink)

The nature of the real self -- Whole person and duality -- How nature is dual -- Real self and false self -- A primary certainty -- Certainty in the self -- The original cogito argument -- Overcoming representation -- The theory of right and wrong -- The defining principle -- Narrowing the definition -- The centrality of reason -- A question of proof -- Reason and intelligence -- A universal activity -- Human and animal consciousness -- Anti-spiritual assumptions -- (...) Intellect and religious ideals -- Creativity and spirituality -- The anomaly of creativity -- An archetypal view of creation -- Creativity resistant to systems -- Conforming to the divine pattern -- Happiness and the extension of time -- Happiness distinct from pleasure -- Implications for ascetic values -- Collective suffering -- Transcendence and normal experience -- The inner duality of consciousness -- The core of consciousness -- Theology and reductionism -- A radical conclusion -- The abstract and the concrete -- Common sense concreteness -- Mediation by living organisms -- Spirituality and power -- The freedom of the will -- Confusions about free will -- Free will and release from fate -- Arguments for free will -- Freedom and knowledge of truth -- The law of action and reaction -- Sources in scripture -- The causal principle and continuity -- What controls the world? -- Causality includes free will -- Choice of the lesser evil -- Apparent breaches of the law -- The insentience of the active faculties -- Cosmic reaction and judgement -- Consequences for modern religion -- Providence and fate -- Forms of cosmic order -- Providence and archetypal order -- Fate, providence, and salvation -- Fate and astrology. (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)

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

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)

Gilbert Ryle made a point of insisting that ‘philosophy is not about isms – idealism, materialism and the like – but about problems’, problems, he held, generat.

El presente texto se interroga sobre los efectos performativos del himno de Chile en cuanto éste designa al país en la forma de una "copia feliz del Edén". A partir de ahí, se pregunta ¿cómo podría una copia afirmarse en la originalidad de una soberanía? Para solucionar la distancia entre copia y original y, por tanto, dar lugar al funcionamiento de la soberanía, el himno designa a esa copia como "feliz". El término "feliz" se constituye, así, en el operador que (...) vendría tanto a apuntalar a la constitución de una soberanía como a revelar el límite de su imposibilidad. "Feliz" permite disminuir la distancia entre copia y original, pero a la vez, la conserva irremediablemente. Por eso, decir que el país es la copia "feliz" es lo mismo que decir "infeliz" toda vez que ambos términos no hacen más que corroborar la diferencia ontológica entre copia y original. Se argumenta que el término "feliz" constituye un dispositivo teológico político, toda vez que replica la función angélica destinada a la administración de la creación divina. En estos términos se pregunta: ¿no será el proyecto de la República de Chile un proyecto esencialmente administrativo? A esta luz, el texto plantea la contraposición entre himno con el poema: el himno -se plantea- constituye el operador angélico que hace posible la articulación de una soberanía. El poema, en cambio, constituiría el resto irreductible que le resiste. This essay asks on the performative efects of the chilean hymn, because it names the country as a "happy copy of Eden". Since this problem, the essay asks: how could the copy may posits as the originality of the sovereignity? To solve the distance between the copy and the original and make posible the sovereignity´s operation, the hymn names the copy as "happy". The word "happy" supports the constitution of the sovereignity and reveals the limit of its own imposibility. "Happy" reduce the distance between the copy and the original but, at the same time, absolutely preserve it. That´s why, say that the country is the "happy" copy is the same than to say that is a "unhappy" one, because both words shows the ontological difference between the copy and the original. This essay argues that the word "happy" is a political theological device because repeats the angelical task of manage the divine creation. In theses terms we ask: ¿Is the chilean republican proyect an administrative one? In this light, the essay posits an aporia between the hymn and poem: the hymn constitutes the angelical operator that makes sovereignity posible, the poem constitutes a singular rest that resist it. (shrink)

Basado en los trabajos del filósofo italiano G. Agamben, el presente ensayo argumenta que la figura del prudente en Aristóteles constituiría el lugar de la soberanía y, en cuanto tal, tendría un carácter estrictamente biopolítico pues, permite “producir” la humanidad del ser vivo hombre, en cuanto zoon politikón (zoon lógon ekhon). Así, el presente texto da cuenta de una aporía inscrita en el seno de la política occidental y su concepto de justicia que, encarnado en la figura aristotélica del prudente (...) –en cuanto lugar de la decisión soberana- ha de producir la propia “humanidad” del ser vivo hombre, separando, al mismo tiempo, algo así como una nuda vida. (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)

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 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 effects of mental disorder are apparent and pervasive, in suffering, loss of freedom and life opportunities, negative impacts on education, work satisfaction and productivity, complications in law, institutions of healthcare, and more. With a new edition of the 'bible' of psychiatric diagnosis - the DSM - under developmental, it is timely to take a step back and re-evalutate exactly how we diagnose and define mental disorder. This new book by Derek Bolton tackles the problems involved in the definition (...) and boundaries of mental disorder. It addresses two main questions regarding mental illness. Firstly, what is the basis of the standards or norms by which we judge that a person has a mental disorder - that the person's mind is not working as it should, that their mental functioning is abnormal? Controversies about these questions have been dominated by the contrast between norms that are medical, scientific or natural, on the one hand, and social norms on the other. The norms that define mental disorder seem to belong to psychiatry, to be medical and scientific, but are they really social norms, hijacked and disguised by the medical profession? Secondly, what is the validity of the distinction between mental disorder and order, between abnormal and normal mental functioning? To what extent, notwithstanding appearances, does mental disorder involve meaningful reactions and problem-solving? These responses may be to normal problems of living, or to not so normal problems - to severe psycho-social challenges. Is there after all order in mental disorder? With the closing of asylums and the appearance of care in the community, mental disorder is now in our midst. While attempts have been made to define clearly a concept of mental disorder that is truly medical as opposed to social, there is increasing evidence that such a distinction is unviable - there is no clear line between what is normal in the population and what is abnormal. 'What is Mental Disorder?' reviews these various crucial developments and their profound impact for the concept and its boundaries in a provocative and timely book. (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)

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)

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)

This open access book is a systematic update of the philosophical and scientific foundations of the biopsychosocial model of health, disease and healthcare. First proposed by George Engel 40 years ago, the Biopsychosocial Model is much cited in healthcare settings worldwide, but has been increasingly criticised for being vague, lacking in content, and in need of reworking in the light of recent developments. The book confronts the rapid changes to psychological science, neuroscience, healthcare, and philosophy that have occurred since the (...) model was first proposed and addresses key issues such as the model’s scientific basis, clinical utility, and philosophical coherence. The authors conceptualise biology and the psychosocial as in the same ontological space, interlinked by systems of communication-based regulatory control which constitute a new kind of causation. These are distinguished from physical and chemical laws, most clearly because they can break down, thus providing the basis for difference between health and disease. This work offers an urgent update to the model’s scientific and philosophical foundations, providing a new and coherent account of causal interactions between the biological, the psychological and social. (shrink)

This volume of essays explores major connected themes in Aristotle's metaphysics, philosophy of nature, and ethics, especially themes related to essence, definition, teleology, activity, potentiality, and the highest good. The volume is united by the belief that all aspects of Aristotle's work need to be studied together if any one of the areas of thought is to be fully understood. Many of the papers were contributions to a conference at the University of Pittsburgh entitled 'Being, Nature, and Life in Aristotle', (...) to honor Professor Allan Gotthelf's many contributions to the field of ancient philosophy; a few are contributions from those who were invited but could not attend. The contributors, all longstanding friends of Professor Gotthelf, are among the most accomplished scholars in the field of ancient philosophy today. (shrink)

Recent developments in children's rights have led to increased criticism of the presumption of total incompetency until adulthood, a concept inconsistently defined by state law. Citing proposals from several disciplines, this article calls for increasing actual competency in decision-making through systematic education in conjunction with developmental levels and experience. The elements of informed consent are suggested as one mechanism for learning to make educated decisions in a variety of settings. The treatment of hyperkinetic children is discussed as a case example.

The Aristotelian Society’s Virtual Issue is a free, online publication, made publically available on the Aristotelian Society website. Each volume is theme-based, collecting together papers from the archives of the Proceedings of the Aristotelian Society and the Proceedings of the Aristotelian Society Supplementary Volume that address the chosen theme. This year's Virtual Issue includes a selection of papers from across the Society’s fourteen decades, each accompanied by a specially commissioned present-day response. The aim of the volume is to aid reflection (...) on how to go about doing moral and political philosophy, by bringing together papers that bear on their epistemology and methodology. In some cases this involves pieces whose declared focus is on one of those areas, as is the case with Margaret MacDonald’s 1941 essay ‘The Language of Political Theory’ and Mary Midgley’s 1974 article ‘The Neutrality of the Moral Philosopher’. In other cases the editor, Ben Colburn, selected papers whose primary focus is elsewhere, but which include some interesting epistemological or methodological reflections or implications along the way. The contributions from our present-day commentators vary similarly in how far their explicit attention is methodological. Nevertheless, there is throughout a concern on how to ‘be an honest reasoner’, to borrow a phrase from the late Dudley Knowles. (shrink)

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

A comprehensive survey of the key topics, debates and problems surrounding autonomy. Comprising over 40 chapters by an international team of contributors, the Handbook is essential reading for those in political philosophy, ethics, applied ethics and philosophy of law.

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)

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)

What level of government subsidy of higher education is justified, in what form, and for what reasons? We answer these questions by applying the hypothetical insurance approach, originally developed by Ronald Dworkin in his work on distributive justice. On this approach, when asking how to fund and deliver public services in a particular domain, we should seek to model what would be the outcome of a hypothetical insurance market: we stipulate that participants lack knowledge about their specific resources and risks, (...) and ask what insurance contracts they would take out to secure different types of benefit and protection in the domain in question. The great benefit of the hypothetical insurance approach is that it allows us to take apparently intractable questions about interpersonal distribution and transform them into questions about intrapersonal distributions: that is, questions about how an individual would choose to distribute risks and resources across the various lives that they might end up living, in light of their individual ambitions and preferences. Applying this approach to higher education, we argue that the UK model of higher education funding in which the costs of an individual's higher education are shared between general taxation and the individual herself, with the latter element to be paid retrospectively through an income-contingent state-backed loan, is vindicated as just. In particular, we argue that it is more just than alternatives such as a graduate tax, full funding through general taxation, and full privatisation. (shrink)

The period between 1945 and 1952 marked the development of Professor Ryle's conception of the principles of inference as performance rules. This development has paralleled that of his now well-known distinction between knowing-how and knowing-that. Indeed, the former is a corollary to the latter. Beginning with the inaugural address to the Aristotelian Society in 1945 and reaching full fruition in The Concept of Mind in 1949, it finds its most detailed and illuminating expression in “‘If’, ‘So’, and ‘Because’,” which appeared (...) in 1950. The present essay will attempt to explore this conception of rules in some detail, in the hope of clarifying the nature of Professor Ryle's views on classical logic and on certain problems within the philosophy of logic. Professor Ryle belongs, if his views may be so labeled, to the school of informal language analysts. On the other hand, we incline more toward formalism. We tend to agree with those philosophers who consider certain schemata indispensable tools for the solution of philosophical problems. Logic and the philosophy of logic are, as everyone knows, the areas in which the formalists’ technique originated. In these areas it is accepted by virtually everybody. The only recent exception is a group of English writers, many of whom take their inspiration from Ryle. One may hope, then, that the present criticism of Ryle's view from the other standpoint will throw some light on both positions. What follows falls naturally into two parts. The first deals mainly with Ryle's objections to current logical theory, the second with his own philosophy of logic. (shrink)

John Patrick Rudisill purports to identify various problems with my argument that the state promotion of autonomy is consistent with anti-perfectionism, viz. that it falsely pretends to be novel, is unacceptably counterintuitive because too restrictive and too permissive, and that it deploys self-defeating formal apparatus. I argue, in reply, that my argument is more novel than Rudisill gives me credit for; that properly understood my anti-perfectionism implies neither the implausible restrictions nor the unpalatable permissions that Rudisill claims; and that my (...) formal apparatus is innocent of the flaws imputed to it. (shrink)

This book offers a broad, systematic philosophical approach to mental disorder. The authors spend the first half of the book presenting their basic philosophical allegiances, and they go on to apply their philosophical approach to mental disorder. As the authors note, psychiatry has been largely neglected by contemporary philosophy of mind, and this book is a laudable attempt to rectify the situation by producing a sustained and clinically well-informed philosophical treatment of mental disorder.

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)