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)

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)

The general conditions of epistemic defeat are naturally represented through the interplay of two distinct kinds of entailment, deductive and defeasible. Many of the current approaches to modeling defeasible reasoning seek to define defeasible entailment via model-theoretic notions like truth and satisfiability, which, I argue, fails to capture this fundamental distinction between truthpreserving and justification-preserving entailments. I present an alternative account of defeasible entailment and show how logic programming offers a paradigm in which the distinction can be captured, allowing for (...) the modeling of a larger range of types of defeat. This is possible through a natural extension of the declarative and procedural semantics of Horn clauses. (shrink)

Heuristics can be regarded as justifying the actions and beliefs of problem-solving agents. I use an analysis of heuristics to argue that a symbiotic relationship exists between traditional epistemology and contemporary artificial intelligence. On one hand, the study of models of problem-solving agents usingquantitative heuristics, for example computer programs, can reveal insight into the understanding of human patterns of epistemic justification by evaluating these models'' performance against human problem-solving. On the other hand,qualitative heuristics embody the justifying ability of defeasible rules, (...) the understanding of which is provided by traditional epistemology. (shrink)

The distinction between the modeling of information and the modeling of data in the creation of automated systems has historically been important because the development tools available to programmers have been wedded to machine oriented data types and processes. However, advances in software engineering, particularly the move toward data abstraction in software design, allow activities reasonably described as information modeling to be performed in the software creation process. An examination of the evolution of programming languages and development of general programming (...) paradigms, including object-oriented design and implementation, suggests that while data modeling will necessarily continue to be a programmer's concern, more and more of the programming process itself is coming to be characterized by information modeling activities. (shrink)

What you believe about God actually changes your brain. Psychiatrist Tim Jennings unveils how our brains and bodies thrive when we have a healthy understanding of who God is. This expanded edition now includes a study guide to help you discover how neuroscience and Scripture come together to bring healing and transformation to our lives.

This chapter contains sections titled: Sex Talk Just Friends and Sex Too? Casual Sex History and Prevalence So, Why have Sex with a Friend? Communication in Friends with Benefits Relationships The Bottom Line.

One of the primary aims of Christian ethics is to discover how we can convert our work toward God's purposes so that God can make our work holy. In this book, Gaines illuminates this topic as something the people of God can use to reorient our lives toward the way of Jesus and the mission of God in the world. Christians are called to action in God's created world, which is why reasoning engages practice in the chapters of this book (...) so that Wesleyan readers can think and act morally in ways that are faithfully Christian and holy in response to the leading of God. (shrink)

It is tempting to think (though many deny) that epistemic agents exercise a distinctive kind of control over their belief‐like attitudes. My aim here is to sketch a “bottom‐up” model of epistemic agency, one that draws on an analogous model of practical agency, according to which an agent's conditional beliefs are reasons‐responsive planning states that initiate and sustain mental behavior so as to render controlled.

How, if at all, is knowing how to do something defeasible? Some, the “intellectualists”, treat the defeasibility of knowledge-how as in some way derivative on the defeasibility of knowledge-that. According to a recent proposal by Carter and Navarro (Philos Phenomenol Res 3:662–685, 2017), knowledge-how defeat cannot be explained in terms of knowledge-that defeat; instead, knowledge-how defeat merits and entirely separate treatment. The thought behind “separatism” is easy to articulate. Assuming that knowledge of any kind is defeasible, since knowledge-that and knowledge-how (...) are fundamentally different beasts, the best accounts of their defeasibility must reflect the underlying differences between them. I reject a separatist treatment of the defeasibility of knowledge-that and knowledge-how. One can acknowledge certain important differences between knowledge-that and knowledge-how without thereby needing two theories of defeasibility. Ultimately, though, I’ll argue that the defeasibility of basic knowledge-how, unlike non-basic knowledge-how, is a much more difficult issue than has been acknowledged. (shrink)

Successful formulation and implementation of end-of-life care requires ongoing communication with the patient. When patients, for reasons of general medical or psychiatric illness, fail to verbally communicate, providers must be receptive to messages conveyed through alternate avenues of communication. We present the narrative of a man with schizophrenia who wished to forgo hemodialysis as a study in the ethical importance of attention to nonverbal communication. A multilayered understanding of the patient, as may be provided by both behavioral and motivational models, (...) can inform the provider’s ability to receive, process, and represent communicated content to the patient or his or her surrogate decision-maker. (shrink)

The Cas9 endonuclease is the central component of the Type II CRISPR/Cas system, a prokaryotic adaptive restriction system against invading nucleic acids, such as those originating from bacteriophages and plasmids. Recently, this RNA‐directed DNA endonuclease has been harnessed to target DNA sequences of interest. Here, we review the development of Cas9 as an important tool to not only edit the genomes of a number of different prokaryotic and eukaryotic species, but also as an efficient system for site‐specific transcriptional repression or (...) activation. Additionally, a specific Cas9 protein has been observed to target an RNA substrate, suggesting that Cas9 may have the ability to be programmed to target RNA as well. Cas proteins from other CRISPR/Cas subtypes may also be exploited in this regard. Thus, CRISPR/Cas systems represent an effective and versatile biotechnological tool, which will have significant impact on future advancements in genome engineering. (shrink)

Speakers differ from one another in philosophically problematic ways. Two speakers can vary not simply with respect to what they believe, but also in the ways they speak, the concepts they employ, and the standards they bring to bear. The fact of imperfect convergence gives rise to a wide range of philosophical puzzles, largely via a single generalization: If two speakers disagree with each other, then at least one of them says something false. The generalization is plausible, but mistaken. Counterexamples (...) are common, diverse, and thoroughly entrenched in ordinary talk, scientific discourse, and philosophical inquiry. I focus on a particular family of counterexamples, disagreements about the proper application of linguistic items, or what I call metalinguistic disagreements. Coming to grips with the widespread existence of metalinguistic disagreement requires a nuanced account of the ways in which information can be transmitted via an utterance, and it suggests a substantial rethinking of conventional philosophical wisdom about the nature of meaning. I begin with a philosophical case study in metalinguistic disagreement—disagreements about aesthetics. I go on to explore the more general linguistic properties of metalinguistic disagreements, focusing on their striking failure to license so-called metalinguistic negation. I conclude with a consideration of semantic methodology, arguing that, despite widely held assumptions to the contrary, metalinguistic disagreements can be adjudicated with reference to objective, non-linguistic features of the world. It is possible therefore to roundly reject a pernicious relativism about scientific discourse while simultaneously allowing for widespread, interpersonal variation in meaning. (shrink)

Previous studies conducted in the United States indicate that people associate numbers with gender, such that odd numbers are more likely to be considered male and even numbers considered female. It has been argued that this number gendering phenomenon is acquired through social learning and conditioning, and that male-odd/female-even associations reflect a general, cross-cultural human consensus on gender roles relating to agency and communion. However, the incidence and pattern of number gendering in cultures outside the United States remains to be (...) established. Against this background, the purpose of this study was to determine whether people from a culture and country very different from the United States also associate numbers with gender, and, if they do, whether the pattern of these associations is the male-odd/female-even associations previously observed. To investigate this issue, we adopted the Implicit Association Test used frequently in previous research, where associations between numbers and gender were examined using male and female Arabic participants native to, and resident in, the United Arab Emirates. The findings indicated that the association of numbers with gender does occur in Arabic culture. But while Arabic females associated odd numbers with male faces and even numbers with female faces, Arabic males showed the reversed pattern of gender associations, associating even numbers with male faces and odd numbers with female faces. These findings support the view that number gendering is indeed a cross-cultural phenomenon and show that the phenomenon occurs across very different countries and cultures. But the findings also suggest that the pattern with which numbers are associated with gender is not universal and, instead, reflects culture-specific views on gender roles which may change across cultures and gender. Further implications for understanding the association of numbers with gender across human societies are discussed. (shrink)

New targets for brain tumor therapies may be identified by mutations that cause hereditary microcephaly. Brain growth depends on the repeated proliferation of stem and progenitor cells. Microcephaly syndromes result from mutations that specifically impair the ability of brain progenitor or stem cells to proliferate, by inducing either premature differentiation or apoptosis. Brain tumors that derive from brain progenitor or stem cells may share many of the specific requirements of their cells of origin. These tumors may therefore be susceptible to (...) disruptions of the protein products of genes that are mutated in microcephaly. The potential for the products of microcephaly genes to be therapeutic targets in brain tumors are highlighted hereby reviewing research on EG5, KIF14, ASPM, CDK6, and ATR. Treatments that disrupt these proteins may open new avenues for brain tumor therapy that have increased efficacy and decreased toxicity. -/- . (shrink)

Arousal is one of the dimensions of core affect and frequently used to describe experienced or observed emotional states. While arousal ratings of facial expressions are collected in many studies it is not well understood how arousal is displayed in or interpreted from facial expressions. In the context of socioemotional disorders such as Autism Spectrum Disorder, this poses the question of a differential use of facial information for arousal perception. In this study, we demonstrate how automated face-tracking tools can be (...) used to extract predictors of arousal judgments. We find moderate to strong correlations among all measures of static information on one hand and all measures of dynamic information on the other. Based on these results, we tested two measures, average distance to the neutral face and average facial movement speed, within and between neurotypical individuals and individuals with autism. Distance to the neutral face was predictive of arousal in both groups. Lower mean arousal ratings were found for the autistic group, but no difference in correlation of the measures and arousal ratings could be found between groups. Results were replicated in an high autistic traits group. The findings suggest a qualitatively similar perception of arousal for individuals with and without autism. No correlations between valence ratings and any of the measures could be found, emphasizing the specificity of our tested measures. Distance and speed predictors share variability and thus speed should not be discarded as a predictor of arousal ratings. (shrink)

Research on emotion perception in schizophrenia has focused primarily on the perception of static faces displaying different emotion signals or expressions. However, perception of emotion in daily life relies on much more than just the face. In this article, we review the role of context in emotion perception among people with and without schizophrenia. We argue that not only is context central to the perception of emotion, it in fact helps to construct the perception. Implications for future research on emotion (...) perception are discussed. (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.

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

Background: The regulation of muscle force is a vital aspect of sensorimotor control, requiring intricate neural processes. While neural activity associated with upper extremity force control has been documented, extrapolation to lower extremity force control is limited. Knowledge of how the brain regulates force control for knee extension and flexion may provide insights as to how pathology or intervention impacts central control of movement.Objectives: To develop and implement a neuroimaging-compatible force control paradigm for knee extension and flexion.Methods: A magnetic resonance (...) imaging safe load cell was used in a customized apparatus to quantify force during neuroimaging. Visual biofeedback and a target sinusoidal wave that fluctuated between 0 and 5 N was provided via an MRI-safe virtual reality display. Fifteen right leg dominant female participants completed a knee extension and flexion force matching paradigm during neuroimaging. The force-matching error was calculated based on the difference between the visual target and actual performance. Brain activation patterns were calculated and associated with force-matching error and the difference between quadriceps and hamstring force-matching tasks were evaluated with a mixed-effects model.Results: Knee extension and flexion force-matching tasks increased BOLD signal among cerebellar, sensorimotor, and visual-processing regions. Increased knee extension force-matching error was associated with greater right frontal cortex and left parietal cortex activity and reduced left lingual gyrus activity. Increased knee flexion force-matching error was associated with reduced left frontal and right parietal region activity. Knee flexion force control increased bilateral premotor, secondary somatosensory, and right anterior temporal activity relative to knee extension. The force-matching error was not statistically different between tasks.Conclusion: Lower extremity force control results in unique activation strategies depending on if engaging knee extension or flexion, with knee flexion requiring increased neural activity for the same level of force and no difference in relative error. These fMRI compatible force control paradigms allow precise behavioral quantification of motor performance concurrent with brain activity for lower extremity sensorimotor function and may serve as a method for future research to investigate how pathologies affect lower extremity neuromuscular function. (shrink)

Arsenic and phosphorus are group 15 elements with similar chemical properties. Is it possible that arsenate could replace phosphate in some of the chemicals that are required for life? Phosphate esters are ubiquitous in biomolecules and are essential for life, from the sugar phosphates of intermediary metabolism to ATP to phospholipids to the phosphate backbone of DNA and RNA. Some enzymes that form phosphate esters catalyze the formation of arsenate esters. Arsenate esters hydrolyze very rapidly in aqueous solution, which makes (...) it improbable that phosphorous could be completely replaced with arsenic to support life. Studies of bacterial growth at high arsenic:phosphorus ratios demonstrate that relatively high arsenic concentrations can be tolerated, and that arsenic can become involved in vital functions in the cell, though likely much less efficiently than phosphorus. Recently Wolfe‐Simon et al. 1 reported the isolation of a microorganism that they maintain uses arsenic in place of phosphorus for growth. Here, we examine and evaluate their data and conclusions. (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)

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)

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.