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)

Most recent discussion of the provocation defence has focused on the objective test, and little attention has been paid to the subjective test. However, the subjective test provides a substantial constraint: the killing must result from a provocation that undermines the defendant's self-control. The idea of loss of self-control has been developed in both the philosophical and psychological literatures. Understanding the subjective test in the light of the conception developed there makes for a far more coherent interpretation of the provocation (...) defence. It also makes clear just how radical various proposals for reform of the defence would be. (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)

Written by leading philosophers and lawyers from the United States and the United Kingdom, this collection of original essays offers new insights into the doctrines that make up the general part of the criminal law. It sheds theoretical light on the diversity and unity of the general part and advances our understanding of such key issues as criminalisation, omissions, voluntary actions, knowledge, belief, reckelssness, duress, self-defence, entrapment and officially-induced mistake of law.

Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider Floridi's structural (...) account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. (shrink)

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

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

Successful tutoring depends in part on child tutors’ ability to recognise and interpret accurately signals of misunderstanding by their tutees. Age- and gender-related differences were investigated in a study which exposed 80 children to a video-recorded episode involving a target child receiving ambiguous instructions in her attempts to move a model car along a designated route on a playmat roadway from one destination to another. The results showed that explicit, general and facial modes of displaying puzzlement by the target child (...) were judged as equally powerful expressions of degree of puzzlement, but 8-10 year olds judged the target child as significantly more puzzled than did 7 year olds. Older children were also more likely to attribute the puzzlement of the target child to the ambiguous instructions than to her verbal or facial expression of puzzlement. Girls were generally more accurate than boys in judging facial expressions and less likely than boys to give wrong or alternatively ambiguous responses when given the opportunity to correct the video-recorded ambiguous instructions. The results throw some light on the developing sensitivities of boys and girls in recognising and attributing failures of understanding by other children. (shrink)

As teachers leave schools in droves and in disgust, it is time to revisit Bertrand Russell's radical ideas on what constitute a valid education, a man who saw little common ground between those who viewed education as devoted to belief and those who saw it as devoted to independent thought, and who devoted much of his life and thought to encouraging the latter.