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)

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)

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.

The late 20th century saw a remarkable flourishing of philosophy in France. The work of French philosophers is wide ranging, historically informed, often reaching out beyond the boundaries of philosophy; they are public intellectuals, taken seriously as contributors to debates outside the academy. Gary Gutting tells the story of the development of a distinctively French philosophy in the last four decades of the 20th century. His aim is to arrive at an account of what it was to 'do philosophy' (...) in France, what this sort of philosophizing was able to achieve, and how it differs from the analytic philosophy dominant in Anglophone countries. -/- His initial focus is on the three most important philosophers who came to prominence in the 1960s: Michel Foucault, Gilles Deleuze, and Jacques Derrida. He sets out the educational and cultural context of their work, as a basis for a detailed treatment of how they formulated and began to carry out their philosophical projects in the 1960s and 1970s. He gives a fresh assessment of their responses to the key influences of Hegel and Heidegger, and the fraught relationship of the new generation to their father-figure Sartre. He concludes that Foucault, Derrida, and Deleuze can all be seen as developing their fundamental philosophical stances out of distinctive readings of Nietzsche. The second part of the book considers topics and philosophers that became prominent in the 1980s and 1990s, such as the revival of ethics in Levinas, Derrida, and Foucault, the return to phenomenology and its use to revive religious experience as a philosophical topic, and Alain Badiou's new ontology of the event. Finally Gutting brings to the fore the meta-philosophical theme of the book, that French philosophy since the 1960s has been primarily concerned with thinking the impossible. (shrink)

"An essential overview of an important intellectual movement, Logical Empiricism in North America offers the first significant, sustained, and multidisciplinary attempt to understand the intellectual, cultural, and political dimensions of ...

Although previous studies have recognized the important role of patients' trust in promoting their intention to use health information technologies, most of those studies were under the “risk-benefit” theoretical framework. To deepen the understanding of patients' online consultation decisions, this paper develops a dual-path model investigating how patients develop trust beliefs toward online physicians from the perspective of communication. Drawing on media naturalness theory, we propose that HIT media naturalness will improve patients' perception of communication effort from online physicians and (...) decrease communication ambiguity between patients and online physicians. This improved communication will further strengthen patients' trust in online physicians and promote their intention to use HIT. Based on a two-wave time-lagged survey from 361 participants, the empirical results demonstrated that the relationship between HIT media naturalness and patients' intention to use HIT is individually and serially mediated by two chains, including perceived communication effort and patients' trust and perceived communication ambiguity and patients' trust. We thus contribute to the related literature and provide practical implications. (shrink)

The first part of the essay explores the relations between the will and practical reason or judgement. The second part takes up decision in the realm of belief, i.e. deciding that such and such is so. This phenomenon raises two questions. Since we decide that as well as to, should we speak of a doxastic will? Secondly, should we regard ourselves as active in the formation of our judgements as in the formation of our intentions? The author's answer to these (...) two further questions is ‘no’ and ‘yes’, respectively: the boundaries between the active and the passive are not marked by the will. (shrink)

This book offers a detailed look at Guattari's working methods in transdisciplinary experimentation from the time of his youth to his final years.His youthful adventures in the post-war Youth Hostels movement, decisive contact with institutional pedgagogy and the mentor figures of Fernand Oury and his brother Jean, give rise to an extraordinary penchant for organizational innovation in his life at Clinique de La Borde in Cour-Cheverny, France, and collective forms of expression manifested in publishing ventures and diverse collaborative research formations.Guattari's (...) highly original and hitherto neglected theories of a-signifyng semiotics and minor cinema are explored in depth with reference to the political goals of the critique of infoculture and the molecular revolutionary tendencies that are released in the search for a people to come.Guttari's engagement with eco-politics and art practices displays his originality as a political thinker and is firmly grounded on his exporation of how subjectivity is produced inlate capitalism.Guattari's ground-breaking conception of transversal politics is fully explored in relation to Michel Foucault's sense of the concept and its role in global political theory. (shrink)

John Locke's Essay Concerning Human Understanding is among the most important books in philosophy ever written. It is a difficult work dealing with many themes, including the origin of ideas; the extent and limits of human knowledge; the philosophy of perception; and religion and morality. This volume focuses on the last two topics and provides a clear and insightful survey of these overlooked aspects of Locke's best-known work. Four eminent Locke scholars present authoritative discussions of Locke's view on the ethics (...) of belief, personal identity, free will and moral theory. (shrink)

This volume presents readings in philosophy from around the world and across history, from the Buddha to bell hooks, organized around traditional Anglo-European philosophical themes such as freedom and the existence of God. An introductory section discusses the nature of philosophy and gives advice on reading philosophical texts, and introductions to selections provide background and questions for thought.

Scrap yard challenge : junkyard wars -- Freedom, origination, and irony -- Mimesis and cruelty -- Improvisation, origination, re-novation -- Conclusion : improvisation, thinking, writing.

With its unique combination of depth, clarity, and humor that has enchanted millions, this beloved classic by bestselling author Gary Zukav opens the fascinating world of quantum physics to readers with no mathematical or technical background. "Wu Li" is the Chinese phrase for physics. It means "patterns of organic energy," but it also means "nonsense," "my way," "I clutch my ideas," and "enlightenment." These captivating ideas frame Zukav's evocative exploration of quantum mechanics and relativity theory. Delightfully easy to read, (...) The Dancing Wu Li Masters illuminates the compelling powers at the core of all we know. (shrink)

Since the 1970s Gary Watson has published a series of brilliant and highly influential essays on human action, examining such questions as: in what ways are we free and not free, rational and irrational, responsible or not for what we do? Moral philosophers and philosophers of action will welcome this collection, representing one of the most important bodies of work in the field.

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)

A prominent and respected philosopher of animal rights law and ethical theory, Gary L. Francione is known for his criticism of animal welfare laws and regulations, his abolitionist theory of animal rights, and his promotion of veganism and nonviolence as the baseline principles of the abolitionist movement. In this collection, Francione advances the most radical theory of animal rights to date. Unlike Peter Singer, Francione maintains that we cannot morally justify using animals under any circumstances, and unlike Tom Regan, (...) Francione's theory applies to all sentient beings, not only to those who have more sophisticated cognitive abilities. (shrink)

A prominent and respected philosopher of animal rights law and ethical theory, Gary L. Francione is known for his criticism of animal welfare laws and regulations, his abolitionist theory of animal rights, and his promotion of veganism and nonviolence as the baseline principles of the abolitionist movement. In this collection, Francione advances the most radical theory of animal rights to date. Unlike Peter Singer, Francione maintains that we cannot morally justify using animals under any circumstances, and unlike Tom Regan, (...) Francione's theory applies to all sentient beings, not only to those who have more sophisticated cognitive abilities. (shrink)

Gary L. Francione is a law professor and leading philosopher of animal rights theory. Robert Garner is a political theorist specializing in the philosophy and politics of animal protection. Francione maintains that we have no moral justification for using nonhumans and argues that because animals are property—or economic commodities—laws or industry practices requiring "humane" treatment will, as a general matter, fail to provide any meaningful level of protection. Garner favors a version of animal rights that focuses on eliminating animal (...) suffering and adopts a protectionist approach, maintaining that although the traditional animal-welfare ethic is philosophically flawed, it can contribute strategically to the achievement of animal-rights ends. As they spar, Francione and Garner deconstruct the animal protection movement in the United States, the United Kingdom, Europe, and elsewhere, discussing the practices of such organizations as PETA, which joins with McDonald's and other animal users to "improve" the slaughter of animals. They also examine American and European laws and campaigns from both the rights and welfare perspectives, identifying weaknesses and strengths that give shape to future legislation and action. (shrink)

Can what we know change what we see? Does language affect cognition and perception? The last few years have seen increased attention to these seemingly disparate questions, but with little theoretical advance. We argue that substantial clarity can be gained by considering these questions through the lens of predictive processing, a framework in which mental representations—from the perceptual to the cognitive—reflect an interplay between downward-flowing predictions and upward-flowing sensory signals. This framework provides a parsimonious account of how what we know (...) ought to change what we see and helps us understand how a putatively high-level trait such as language can impact putatively low-level processes such as perception. Within this framework, language begins to take on a surprisingly central role in cognition by providing a uniquely focused and flexible means of constructing predictions against which sensory signals can be evaluated. Predictive processing thus provides a plausible mechanism for many of the reported effects of language on perception, thought, and action, and new insights on how and when speakers of different languages construct the same “reality” in alternate ways. (shrink)

Jean-François Lyotard is generally acknowledged as the theoretical spokesperson for postmodernism. In 1979, his seminal work _The Postmodern Condition_ challenged the presumption and orientation of modern political philosophy. In particular, Lyotard repudiated the notion of grand narratives and promoted a postmodern acceptance of difference and variety and a skepticism towards unifying metatheories. Yet _The Postmodern Condition_ is just one work by a prolific author whose life and work involved close theoretical engagement with Kant, Hegel and Marx and who played a (...) prominent role in the events in Paris of May 1968. This study combines a careful reading of Lyotard's texts with a critical review of his theoretical ploys to demonstrate the incapacity of theory. Lyotard's variety of styles, ranging from the incandescent _Libidinal Economy_ to the economical lucidity of _The Differend_, are recognized as posing questions for those who defend the rationality of the _status quo_ and for those who undertake general critiques of society. In this book, Gary Browning takes issue with Lyotard's approach to Hegel and Marx and his generalized notion of social development as proceeding according to a one-dimensional, instrumentalist logic. Nevertheless, Lyotard is shown to be a disturbing theorist who challenged the assumptions of classic theorists of modernity as well as opposing mainstream attitudes prevalent in contemporary political theory. (shrink)

This book argues that sometimes we have reasons to overcome repression and that these reasons are unlike any other reasons for action typically recognized by philosophers.

Combining all four distinct volumes in the series, this compilation explores the philosophical reasons behind the existence of humanity. The first volume investigates the concept of relations, revealing that unique, complex relationships come into being simultaneously and exponentially through the combination of multiple elements. The second volume focuses on intellect, probing the most obscure corners of comprehension and conducting a fascinating tour of the human psyche. The third volume addresses volition, analyzing the extent to which human judgment, decisions, and actions (...) impact future prospects for mankind and deflect the course of nature. The fourth and final volume delves into affections, dispassionately highlighting the merits and shortcomings of man’s most ethereal faculties. (shrink)

The distinction between occurrent and non-occurrent mental states is frequently appealed to by contemporary philosophers, but it has never been explicated in any significant detail. In the literature, two accounts of the distinction are commonly presupposed. One is that occurrent states are conscious states. The other is that non-occurrent states are dispositional states, and thus that occurrent states are manifestations of dispositions. I argue that neither of these accounts is adequate, and therefore that another account is needed. I propose that (...) occurrent states are active states. (shrink)

Theories of language production propose that utterances are constructed by a mechanism that separates linguistic content from linguistic structure, Linguistic content is retrieved from the mental lexicon, and is then inserted into slots in linguistic structures or frames. Support for this kind of model at the phonological level comes from patterns of phonological speech errors. W present an alternative account of these patterns using a connectionist or parallel distributed proceesing (PDP) model that learns to produce sequences of phonological features. The (...) model's errors exhibit some of the properties of human speech errors, specifically, properties that have been attributed to the action of phonological rules, frames, or other structural generalizations. (shrink)

This paper addresses the criticism recently directed at Internet companies who have chosen to do business in China. Currently, in order to conduct business in China, companies must agree to the Chinese government’s rule of self-censoring any information the government deems inappropriate. We start by explaining how some of these companies have violated the human rights of Chinese citizens to freely trade information. We then analyze whether the justifications and excuses offered by these companies are sufficient to absolve them of (...) moral responsibility. We argue that both justifications and excuses offered are insufficient. Wilfully abiding by unjust laws, albeit necessary to do business in China, should not trump moral actions that protect rights. (shrink)

This paper addresses the criticism recently directed at Internet companies who have chosen to do business in China. Currently, in order to conduct business in China, companies must agree to the Chinese government's rule of self-censoring any information the government deems inappropriate. We start by explaining how some of these companies have violated the human rights of Chinese citizens to freely trade information. We then analyze whether the justifications and excuses offered by these companies are sufficient to absolve them of (...) moral responsibility. We argue that both justifications and excuses offered are insufficient. Wilfully abiding by unjust laws, albeit necessary to do business in China, should not trump moral actions that protect rights. (shrink)

Laying foundations -- Rejecting aggression -- Safeguarding cooperation -- Enforcing law -- Rectifying injury -- Liberating society -- Situating liberation.

Made-Up Minds addresses fundamental questions of learning and concept invention by means of an innovative computer program that is based on the cognitive ...