This paper explores the application of an affective content analysis to a selection of nanotechnology news articles gathered from selected newspapers. Thematic content analyses dominate current efforts to mine large text collections of popular science media; the addition of an affective analysis element can yield useful information to supplement future content analysis efforts. Using Whissell’s Dictionary of Affect in Language , the analysis rates news articles gathered over a twenty-two year period for their (...) pleasantness, activeness, and imagery, determining the mean affective tone in each category for the entire collection, four ‘content themes’ (business, national security, health, and environment), and the change in affective tone over the twenty-two year period these articles represent. Whereas the entire collection analyzed as a whole rates very similarly to the average found for everyday English language use and the ‘content themes’ show similar results, the change in affective tone over the years has been both significant and striking. A sample of results from three years of the twenty-two year period is then qualitatively explored to demonstrate to the reader the connection between the quantitative results of the Dictionary and the qualitative effect of the article’s word use and phrasing. The paper ends with a review of the technique’s success, implications for policymaking and public dialogue, and avenues for future use. (shrink)

Scholarly research largely converges on the argument that trust is of paramount importance to drive economic agents toward mutually satisfactory, fair, and ethically compliant behaviors. There is, however, little agreement on the meaning of trust, whose conceptualizations differ with respect to actors, relationships, behaviors, and contexts. At present, we know much better what trust does than what trust is. In this article, we present an extensive review and analysis of the most prominent articles on trust in market relationships. Using (...) computer-aided content analysis and network analysis methods, we identify key, recurring dimensions that guided the conceptualization of trust in past research, and show how trust can be developed as a multifaceted and layered construct. Our results are an important contribution to a convergence of research toward a shared and common view of the meaning of trust. This process is important to ensure the body of trust research's internal theoretical consistency, and to provide reliable and common principles for the management of business relationships — a context in which opportunism and imperfect information may induce economic actors to cheat and stray from fair and ethically compliant behaviors. (shrink)

Scholarly research largely converges on the argument that trust is of paramount importance to drive economic agents toward mutually satisfactory, fair, and ethically compliant behaviors. There is, however, little agreement on the meaning of trust, whose conceptualizations differ with respect to actors, relationships, behaviors, and contexts. At present, we know much better what trust does than what trust is. In this article, we present an extensive review and analysis of the most prominent articles on trust in market relationships. Using (...) computer-aided content analysis and network analysis methods, we identify key, recurring dimensions that guided the conceptualization of trust in past research, and show how trust can be developed as a multifaceted and layered construct. Our results are an important contribution to a convergence of research toward a shared and common view of the meaning of trust. This process is important to ensure the body of trust research’s internal theoretical consistency, and to provide reliable and common principles for the management of business relationships – a context in which opportunism and imperfect information may induce economic actors to cheat and stray from fair and ethically compliant behaviors. (shrink)

It is conventionally understood that computers play a rather limited role in theoretical mathematics. While computation is indispensable in applied mathematics and the theory of computing and algorithms is rich and thriving, one does not, even today, expect to find computers in theoretical mathematics settings beyond the theory of computing. Where computers are used, by those studying combinatorics , algebra, number theory, or dynamical systems, the computer most often assumes the role of an automated and speedy theoretician, performing manipulations (...) and checking cases in a way assumed to be possible for human theoreticians, if only they had the time, the memory, and the precision. Automated proofs have become standard tools in mathematical logic, and it is often expected that proofs be published in a computer-checkable format. It is not surprising, then, that most philosophical work on computers in theoretical mathematics has been on computers' roles as supplementary mathematicians. Donald MacKenzie's 2001 book Mechanizing Proof demonstrates the rich potential for social and historical studies to complement the substantial analytic debate in this area of philosophy. But what of computers in theoretical mathematics behaving as computers, and not as mere mechanized mathematicians? Very little role is commonly assumed for computers working as supplements to mathematicians, rather than as supplementary mathematicians themselves. Accordingly, very little philosophy has attempted to grapple with theoretical mathematics in which computers play an essential but essentially non-theoretical role. My presentation will draw on work I conducted as a researcher in harmonic analysis on fractals at Cornell University. I will analyze the explicit and implicit conceptual apparatus employed in my and my fellow researchers' use of computers in the theoretical study of second order differential equations, such as those for sound and heat flow, on various fractal analogues of the Sierpinski gasket. Such gaskets are easy to visualize in very crude approximation in a low number of dimensions. As one increases the complexity of the gasket or the refinement of one's analysis, visualization and precise computation become impossible, and soon computers are unable to produce even approximate data to model differential equations in these situations. We thus had to carefully choose analytic approaches and methods to make our theoretical mathematics amenable to computer simulation. In my case, studying the transformation of the gaskets as they are expanded into increasingly high dimensions, computer simulation eventually required that the problem be reimagined entirely in terms of interlinked systems of parameters. This computer-approximation-driven theoretical orientation shaped my mathematical intuitions toward the problem and guided my fellow researchers and me in both theoretical and computational directions. We discovered both that computer approximation could be incredibly powerful as an aid to intuition, and that it can be incredibly difficult to transfer computer-oriented mathematics back into the purely theoretical standards of our area of specialty. I will address the philosophical implications of computer-driven theoretical mathematics, asking how computer experiments can shape both the content and standards of theoretical sciences. (shrink)

In this work, a system for the classification of liver dynamic contest- enhanced CT images is presented. The system simultaneously analyzes the images with the same slice location, corresponding to three typical acquisition moments. At first, the texture features are extracted separately for each acquisition mo- ment. Afterwards, they are united in one “multiphase” vector, characterizing a triplet of textures. The work focuses on finding the most appropriate features that characterize a multi-image texture. At the beginning, the features which are (...) unstable and dependent on ROI size are eliminated. Then, a small subset of remaining features is selected in order to guarantee the best possible classification accuracy. In total, 9 extraction methods were used, and 61 features were calculated for each of three acquisition moments. 1511 texture triplets, corresponding to 4 hepatic tissue classes were recognized. As a classifier, an adaptive boosting algorithm with a C4.5 tree was used. Experiments show that a small set of 12 features is able to ensure classification accuracy exceeding 90%, while all of the 183 features provide an accuracy rate of 88.94%. (shrink)

This paper examines three forest value orientations - clusters of interrelated values and basic beliefs about forests - that emerged from an analysis of the public discourse about forest planning, management, and policy in the United States. The value orientations include anthropocentric, biocentric, and moral/spiritual/aesthetic orientations toward forests. Computer coded content analysis was used to identify shifts in the relative importance of these value orientations over the period 1980 through 2001. The share of expressions of anthropocentric (...) forest value orientations declined over this period, while the share of biocentric value expressions increased. Moral/spiritual/aesthetic value expressions remained constant over time. The observed shifts in forest value orientations have implications for identifying appropriate goals for public forest management and policy, developing socially acceptable means for accomplishing those goals, and dealing with inevitable conflict over forest management. (shrink)

Technology advancement provide more effective and efficient ways for the people to perform individual and or collective roles and execution of responsibilities, and this has also resulted to tenacious upsurge in peoples' dependence on technology. As the right for people with disabilities increases, the need to cater for their educational right like every other learner brought about the quest to provide for AT that can best serve those special students. Application of AT can help students with one or more deficiencies, (...) aid information collection process and increase learning motivation. The aim of this study is to conduct content analysis of studies on AT in education and the research sample consist of research publications on AT in education published on Scopus between 2018-2022. Content analysis was conducted on the research publications related to the research and the data gotten were evaluated through descriptive statistical methods with the intention that research findings will add to the body of literature and create more quest for research interest on AT in education. The findings indicated that, more studies were conducted in the year 2021 compared to others, qualitative research method was applied more in those studies, followed by quantitative and mixed methods, the larger percentage of the studies under review were conducted under special education, and the greater part of co-authorship were local collaboration. (shrink)

In the new era, it is almost impossible to imagine a modern person without the information and communication technologies that fill his life. These technologies permeate all areas of activity, and education is no exception. Despite the huge number of research papers distributed on Twitter integrated into the fields of Education, there is a deficiency and lack of content analysis research papers. Thus, the search was conducted on the three major databases such as Web of Science, Scopus and (...) the EBSCO with the keywords selected as “Twitter in Education”, the study thus was based on content analysis. All studies published on Web of Science, Scopus and the EBSCO were statistically analyzed according to the frequencies and percentages. The distribution of the studies was analyzed regarding the publication years, document type, subject areas, organizations, authors, languages, countries/territories, and the research methods. The findings of this study reveal the importance of Twitter in Education, especially in medicine, social sciences and computer sciences. The findings of this study also highlighted the considerable growth of popularity over the years. (shrink)

This article conducts a mixed-method content analysis of Chinese and American news media coverage of Google DeepMind’s Go playing computer program, AlphaGo. Drawing on humanistic approaches to artificial intelligence, combined with an empirically rigorous content analysis, it examines the differences and overlap in coverage by the Chinese and American press in their accounts of AlphaGo, and its historic match with Korea’s Lee Sedol in March, 2016. The event was not only followed intensely in China, but (...) also made the front page of The New York Times. This article finds that the Chinese press was more likely than the American press to frame AlphaGo as non-threatening, which the authors attribute to cultural differences and the two countries' different understandings of Go. In addition to quantitatively identifying similarities and differences in the framing of AlphaGo, this paper also investigates the underlying and evolving contestations over what constitutes the “human” and the “machine.” It concludes by discussing the implications of the study’s findings as well as outlining avenues for further research. (shrink)

The article discusses the possibilities of the formal analysis of the fine-art painting composition on the basis of the classical definitions of beauty and computational aesthetics’ approaches of the second half of the 20th century he authors define the problem and consider solutions for the formalization of aesthetic perception in the context of aesthetic text, i.e., as part of the fine arts composition – a formal sequence of signs simply ordered in accordance with the syntactic rules’ system. The methodology (...) of the research is defined by the general semiotics, distinguishing semantics, syntax, and pragmatics of a sign, by the aesthetic analysis’ methods, ranging according to the author’s message aesthetics, receptive aesthetics, and text aesthetics, as well as by the computational analysis methods connected with neural network means of defining the images’ symmetry. The article reveals preconditions for the emergence and also the current state of computational aesthetics as an interdisciplinary branch of knowledge. Analyzing the problem from the perspective of philosophy, aesthetics, semiotics, and technology, the authors draw attention to the need to improve the computational aesthetics methods. Firstly, the existing methods do not always enable to describe the fine-art object adequately. Secondly, there exists the so-called reduction of aesthetic assertion transforming it into the assertion concerning the object’s external characteristics. As a result, the authors assume that the increasing complexity of the current mathematical models and the experts’ subjective assessment support will allow to reach a compromise solution that enables the development of computational aesthetics as a branch of knowledge. Enhancement and development of the mathematical models, taking into account the rules of semiotics and subjectivism of the human perception, is the relevant objective of computational analysis of the aesthetic fine-arts text. The results of the present research supports the classic statement regarding the underivability of semantic and pragmatic propositions from syntax. The research concludes that relevant objectives are to find a correlation between, one the one hand, the axes and points of symmetry, deriving from the neural simulation, and, on the other hand, aesthetic effect, emerging from the perception of fine-art paintings. (shrink)

Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs. The proof mining of classical mathematics is rather restricted in scope due to the existence of sentences without computational content which are provable from the law of excluded middle and which involve only two quantifier alternations. By contrast, we show that the proof mining of classical Nonstandard Analysis has (...) a very large scope. In particular, we will observe that this scope includes any theorem of pure Nonstandard Analysis, where 'pure' means that only nonstandard definitions are used. In this note, we survey results in analysis, computability theory, and Reverse Mathematics. (shrink)

Sports organizations face various ethical challenges. To tackle these, ethical codes are becoming increasingly popular instruments. However, a lot of questions remain concerning their effectiveness. There is a particular lack of knowledge when it comes to their form and content, and on the influence of these features on the effectiveness of these codes of ethics. Therefore, we developed a framework to analyze ethical codes and used this to assess codes of ethics in sports clubs from six disciplines. The form (...) and content characteristics of the codes were tested for their impact on the ethical climate of sports clubs. Our results show that most codes focus on the themes of integrity, and on solidarity among the members of sports clubs. Deontological phrasing is dominant in ethical codes in sports clubs. The occurrence of comprehension aids, such as examples, and procedural content, such as the mentioning of sanctions, is low. When it comes to code effectiveness, i.e., the influence on the ethical climate, we see a positive significant effect of the use of consequentialist oriented statements, and of the combination of regulatory and inspirational phrasing. Also the presence of explicit guidelines for the members of the board had a positive significant affect. This shows that codes should be a source of inspiration and stimulate moral awareness, rather than merely guide behavior by simple rules. Other content elements do not influence code effectiveness, suggesting that ethical codes merely have a function of raising ethical awareness in sports clubs. These results help to shed light on what it takes for a code of ethics to become a useful and effective instrument to tackle unethical behavior in sports clubs. (shrink)

This thesis is devoted to the exploration of the complexity of some mathematical problems using the framework of computable analysis and descriptive set theory. We will especially focus on Weihrauch reducibility as a means to compare the uniform computational strength of problems. After a short introduction of the relevant background notions, we investigate the uniform computational content of problems arising from theorems that lie at the higher levels of the reverse mathematics hierarchy.We first analyze the strength of the (...) open and clopen Ramsey theorems. Since there is not a canonical way to phrase these theorems as multi-valued functions, we identify eight different multi-valued functions and study their degree from the point of view of Weihrauch, strong Weihrauch, and arithmetic Weihrauch reducibility.We then discuss some new operators on multi-valued functions and study their algebraic properties and the relations with other previously studied operators on problems. In particular, we study the first-order part and the deterministic part of a problem f, capturing the Weihrauch degree of the strongest multi-valued problem that is reducible to f and that, respectively, has codomain $\mathbb {N}$ or is single-valued.These notions proved to be extremely useful when exploring the Weihrauch degree of the problem $\mathsf {DS}$ of computing descending sequences in ill-founded linear orders. They allow us to show that $\mathsf {DS}$, and the Weihrauch equivalent problem $\mathsf {BS}$ of finding bad sequences through non-well quasi-orders, while being very “hard” to solve, are rather weak in terms of uniform computational strength. We then generalize $\mathsf {DS}$ and $\mathsf {BS}$ by considering $\boldsymbol {\Gamma }$ -presented orders, where $\boldsymbol {\Gamma }$ is a Borel pointclass or $\boldsymbol {\Delta }^1_1$, $\boldsymbol {\Sigma }^1_1$, $\boldsymbol {\Pi }^1_1$. We study the obtained $\mathsf {DS}$ -hierarchy and $\mathsf {BS}$ -hierarchy of problems in comparison with the Baire hierarchy and show that they do not collapse at any finite level.Finally, we work in the context of geometric measure theory and we focus on the characterization, from the point of view of descriptive set theory, of some conditions involving the notions of Hausdorff/Fourier dimension and Salem sets. We first work in the hyperspace $\mathbf {K}$ of compact subsets of $[0,1]$ and show that the closed Salem sets form a $\boldsymbol {\Pi }^0_3$ -complete family. This is done by characterizing the complexity of the family of sets having sufficiently large Hausdorff or Fourier dimension. We also show that the complexity does not change if we increase the dimension of the ambient space and work in $\mathbf {K}$. We also generalize the results by relaxing the compactness of the ambient space and show that the closed Salem sets are still $\boldsymbol {\Pi }^0_3$ -complete when we endow $\mathbf {F}$ with the Fell topology. A similar result holds also for the Vietoris topology.We conclude by analyzing the same notions from the point of view of effective descriptive set theory and Type-2 Theory of Effectivity, and show that the complexities remain the same also in the lightface case. In particular, we show that the family of all the closed Salem sets is $\Pi ^0_3$ -complete. We furthermore characterize the Weihrauch degree of the functions computing Hausdorff and Fourier dimension of closed sets.prepared by Manlio Valenti.E-mail:[email protected]. (shrink)

Sports organizations face various ethical challenges. To tackle these, ethical codes are becoming increasingly popular instruments. However, a lot of questions remain concerning their effectiveness. There is a particular lack of knowledge when it comes to their form and content, and on the influence of these features on the effectiveness of these codes of ethics. Therefore, we developed a framework to analyze ethical codes and used this to assess codes of ethics in sports clubs from six disciplines. The form (...) and content characteristics of the codes were tested for their impact on the ethical climate of sports clubs. Our results show that most codes focus on the themes of integrity, and on solidarity among the members of sports clubs. Deontological phrasing is dominant in ethical codes in sports clubs. The occurrence of comprehension aids, such as examples, and procedural content, such as the mentioning of sanctions, is low. When it comes to code effectiveness, i.e., the influence on the ethical climate, we see a positive significant effect of the use of consequentialist oriented statements, and of the combination of regulatory and inspirational phrasing. Also the presence of explicit guidelines for the members of the board had a positive significant affect. This shows that codes should be a source of inspiration and stimulate moral awareness, rather than merely guide behavior by simple rules. Other content elements do not influence code effectiveness, suggesting that ethical codes merely have a function of raising ethical awareness in sports clubs. These results help to shed light on what it takes for a code of ethics to become a useful and effective instrument to tackle unethical behavior in sports clubs. (shrink)

The notion of representation in neuroscience has largely been predicated on localizing the components of computational processes that explain cognitive function. On this view, which I call “algorithmic homuncularism,” individual, spatially and temporally distinct parts of the brain serve as vehicles for distinct contents, and the causal relationships between them implement the transformations specified by an algorithm. This view has a widespread influence in philosophy and cognitive neuroscience, and has recently been ably articulated and defended by Shea. Still, I am (...) skeptical about algorithmic homuncularism, and I argue against it by focusing on recent methods for complex data analysis in systems neuroscience. I claim that analyses such as principle components analysis and linear discriminant analysis prevent individuating vehicles as algorithmic homuncularism recommends. Rather, each individual part contributes to a global state space, trajectories of which vary with important task parameters. I argue that, while homuncularism is false, this view still supports a kind of “vehicle realism,” and I apply this view to debates about the explanatory role of representation. (shrink)

The article describes an approach of systematic, rule guided qualitative text analysis, which tries to preserve some methodological strengths of quantitative content analysis and widen them to a concept of qualitative procedure. First the development of content analysis is delineated and the basic principles are explained (units of analysis, step models, working with categories, validity and reliability). Then the central procedures of qualitative content analysis, inductive development of categories and deductive application of (...) categories, are worked out. The possibilities of computer programs in supporting those qualitative steps of analysis are shown and the possibilities and limits of the approach are discussed. (shrink)

Aim: Explore nurses’ values and perceptions regarding the practice of medical aid in dying. Background: Medical aid in dying is becoming increasing legal in the United States. The laws and American Nurses Association documents limit nursing involvement in this practice. Nurses’ values regarding this controversial topic are poorly understood. Methodology: Cross-sectional electronic survey design sent to nurse members of the American Nurses Association. Inductive thematic content analysis was applied to open-ended comments. Ethical Considerations: Approved by the institutional review (...) board (#191046). Participants: 1213 nurses provided 3639 open-ended comments. More than 80% of participants self-identified as white 58% held a graduate degree; and half were of Christian faith. Results: Values ranged on a continuum expressed through four themes: “Honoring Patient Autonomy without Judgment,” “Honoring with Limitations,” “Not until...,” and “Adamantly against.” Some felt it was a duty to honor the patients’ wishes, set aside own beliefs, and respect patients’ choices often with a spiritual connotation. Nurses held concerns about the process, policy, potential psychological harm, legal risk, and the need to learn more about MAID. Nurse who were adamantly against MAID associated the practice with murder/suicide and against religious beliefs. Disparate values were expressed about changing the MAID legislation to allow patient support with taking MAID medications and allowing MAID via advance directive. Conclusions: Nurses desire more education on MAID. There is not one universally held position on the nurse’s role during MAID. Healthcare policy/standards need to accommodate the wide variation in nurses’ values. Implications: Nurses desire education regarding their role in MAID. Nurses are encouraged to participate in policy discussions as the practice becomes increasingly legal. Managers need to expect that nurses, patients, and families will need psychological support to participate in MAID. Careful construction of policy/standards is needed to minimize conflict, moral distress, and psychological harm amongst nurses. Further research is needed. (shrink)

In her 2010 study of the Shi zhu duan jie jing T309, Jan Nattier found that several passages in T309 were copied from earlier Chinese Buddhist texts. She thus proposed that T309 is not a translation from an Indian text, but a “forgery” by Zhu Fonian. Extending Nattier’s analysis with the help of TACL, a tool for computational textual analysis, we conducted a more thorough analysis of Zhu Fonian’s four Mahayana texts, namely, T309, the Pusa chu tai (...) jing T384, the Zhongyin jin T385, and the Pusa yingluo jing T656, and found in T309 and T656 additional content deriving from earlier Chinese texts. On the basis of this analysis of these features of the texts, we propose that all four were likely compiled by Zhu Fonian himself. (shrink)

We study the uniform computational content of different versions of the Baire category theorem in the Weihrauch lattice. The Baire category theorem can be seen as a pigeonhole principle that states that a complete metric space cannot be decomposed into countably many nowhere dense pieces. The Baire category theorem is an illuminating example of a theorem that can be used to demonstrate that one classical theorem can have several different computational interpretations. For one, we distinguish two different logical versions (...) of the theorem, where one can be seen as the contrapositive form of the other one. The first version aims to find an uncovered point in the space, given a sequence of nowhere dense closed sets. The second version aims to find the index of a closed set that is somewhere dense, given a sequence of closed sets that cover the space. Even though the two statements behind these versions are equivalent to each other in classical logic, they are not equivalent in intuitionistic logic, and likewise, they exhibit different computational behavior in the Weihrauch lattice. Besides this logical distinction, we also consider different ways in which the sequence of closed sets is “given.” Essentially, we can distinguish between positive and negative information on closed sets. We discuss all four resulting versions of the Baire category theorem. Somewhat surprisingly, it turns out that the difference in providing the input information can also be expressed with the jump operation. Finally, we also relate the Baire category theorem to notions of genericity and computably comeager sets. (shrink)

We present a possible computational content of the negative translation of classical analysis with the Axiom of (countable) Choice. Interestingly, this interpretation uses a refinement of the realizability semantics of the absurdity proposition, which is not interpreted as the empty type here. We also show how to compute witnesses from proofs in classical analysis of ∃-statements and how to extract algorithms from proofs of ∀∃-statements. Our interpretation seems computationally more direct than the one based on Godel's Dialectica (...) interpretation. (shrink)

We will apply the methods developed in the field of ‘proof mining’ to the Bolzano-Weierstraß theorem BW and calibrate the computational contribution of using this theorem in proofs of combinatorial statements. We provide an explicit solution of the Gödel functional interpretation as well as the monotone functional interpretation of BW for the product space Πi ∈ℕ[–ki, ki] . This results in optimal program and bound extraction theorems for proofs based on fixed instances of BW, i.e. for BW applied to fixed (...) sequences in Πi ∈ℕ[–ki, ki]. (shrink)

In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain (...) choice principles such as co-finite choice, discrete choice, interval choice, compact choice and closed choice, which are cornerstones among Weihrauch degrees and it turns out that certain core theorems in analysis can be classified naturally in this structure. In particular, we study theorems such as the Intermediate Value Theorem, the Baire Category Theorem, the Banach Inverse Mapping Theorem, the Closed Graph Theorem and the Uniform Boundedness Theorem. We also explore how existing classifications of the Hahn—Banach Theorem and Weak Kőnig's Lemma fit into this picture. Well-known omniscience principles from constructive mathematics such as LPO and LLPO can also naturally be considered as Weihrauch degrees and they play an important role in our classification. Based on this we compare the results of our classification with existing classifications in constructive and reverse mathematics and we claim that in a certain sense our classification is finer and sheds some new light on the computational content of the respective theorems. Our classification scheme does not require any particular logical framework or axiomatic setting, but it can be carried out in the framework of classical mathematics using tools of topology, computability theory and computable analysis. We develop a number of separation techniques based on a new parallelization principle, on certain invariance properties of Weihrauch reducibility, on the Low Basis Theorem of Jockusch and Soare and based on the Baire Category Theorem. Finally, we present a number of metatheorems that allow to derive upper bounds for the classification of the Weihrauch degree of many theorems and we discuss the Brouwer Fixed Point Theorem as an example. (shrink)

In his recent book, The Elm and the Expert, Fodor attempts to reconcile the computational model of human cognition with information‐theoretic semantics, the view that semantic, and mental, content consists of nothing more than causal or nomic relationships, between words and the world, or (roughly) brain states and the world. In this paper, we do not challenge the project. Nor do we show that Fodor has failed to carry it out. instead, we urge that his analysis, when made (...) explicit, turns out rather differently than he thinks. In particular, in some places where he sees problems, he sometimes shows that there is no problem. And while he says two conceptions of information come to much the same thing, his analysis shows that they are very different. This is rather strange. (shrink)

Purpose Computing ethics represents a long established, yet rapidly evolving, discipline that grows in complexity and scope on a near-daily basis. Therefore, to help understand some of that scope it is essential to incorporate a range of perspectives, from a range of stakeholders, on current and emerging ethical challenges associated with computer technology. This study aims to achieve this by using, a three-pronged, stakeholder analysis of Computer Science academics, ICT industry professionals, and citizen groups was undertaken to (...) explore what they consider to be crucial computing ethics concerns. The overlap between these stakeholder groups are explored, as well as whether their concerns are reflected in the existing literature. Design/methodology/approach Data collection was performed using focus groups, and the data was analysed using a thematic analysis. The data was also analysed to determine if there were overlaps between the literature and the stakeholders’ concerns and attitudes towards computing ethics. Findings The results of the focus group analysis show a mixture of overlapping concerns between the different groups, as well as some concerns that are unique to each of the specific groups. All groups stressed the importance of data as a key topic in computing ethics. This includes concerns around the accuracy, completeness and representativeness of data sets used to develop computing applications. Academics were concerned with the best ways to teach computing ethics to university students. Industry professionals believed that a lack of diversity in software teams resulted in important questions not being asked during design and development. Citizens discussed at length the negative and unexpected impacts of social media applications. These are all topics that have gained broad coverage in the literature. Social implications In recent years, the impact of ICT on society and the environment at large has grown tremendously. From this fast-paced growth, a myriad of ethical concerns have arisen. The analysis aims to shed light on what a diverse group of stakeholders consider the most important social impacts of technology and whether these concerns are reflected in the literature on computing ethics. The outcomes of this analysis will form the basis for new teaching content that will be developed in future to help illuminate and address these concerns. Originality/value The multi-stakeholder analysis provides individual and differing perspectives on the issues related to the rapidly evolving discipline of computing ethics. (shrink)

In his recent book, The Elm and the Expert, Fodor attempts to reconcile the computational model of human cognition with information‐theoretic semantics, the view that semantic, and mental, content consists of nothing more than causal or nomic relationships, between words and the world, or (roughly) brain states and the world. In this paper, we do not challenge the project. Nor do we show that Fodor has failed to carry it out. instead, we urge that his analysis, when made (...) explicit, turns out rather differently than he thinks. In particular, in some places where he sees problems, he sometimes shows that there is no problem. And while he says two conceptions of information come to much the same thing, his analysis shows that they are very different. This is rather strange. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t (...) spell it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

Human rights discourse has been likened to a global lingua franca, and in more ways than one, the analogy seems apt. Human rights discourse is a language that is used by all yet belongs uniquely to no particular place. It crosses not only the borders between nation-states, but also the divide between national law and international law: it appears in national constitutions and international treaties alike. But is it possible to conceive of human rights as a global language or lingua (...) franca not just in a figurative or metaphorical sense, but in a literal or linguistic sense as a legal dialect defined by distinctive patterns of word choice and usage? Does there exist a global language of human rights that transcends not only national borders, but also the divide between domestic and international law? Empirical analysis suggests that the answer is yes, but this global language comes in at least two variants or dialects. New techniques for performing automated content analysis enable us to analyze the bulk of all national constitutions over the last two centuries, together with the world’s leading regional and international human rights instruments, for patterns of linguistic similarity and to evaluate how much language, if any, they share in common. Specifically, we employ a technique known as topic modeling that disassembles texts into recurring verbal patterns. The results highlight the existence of two species or dialects of rights talk—the universalist dialect and the positive-rights dialect—both of which are global in reach and rising in popularity. The universalist dialect is generic in content and draws heavily on the type of language found in international and regional human rights instruments. It appears in particularly large doses in the constitutions of transitional states, developing states, and states that have been heavily exposed to the influence of the international community. The positive-rights dialect, by contrast, is characterized by its substantive emphasis on positive rights of a social or economic variety, and by its prevalence in lengthier constitutions and constitutions from outside the common law world, especially those of the Spanish-speaking world. Both dialects of rights talk are truly transnational, in the sense that they appear simultaneously in national, regional, and international legal instruments and transcend the distinction between domestic and international law. Their existence attests to the blurring of the boundary between constitutional law and international law. (shrink)

Based on evidence that learning new characters through handwriting leads to better recognition than learning through typing, some authors proposed that the graphic motor plans acquired through handwriting contribute to recognition. More recently two alternative explanations have been put forward. First, the advantage of handwriting could be due to the perceptual variability that it provides during learning. Second, a recent study suggests that detailed visual analysis might be the source of the advantage of handwriting over typing. Indeed, in that (...) study, handwriting and composition –a method requiring a detailed visual analysis but no specific graphomotor activity– led to equivalent recognition accuracy, both higher than typing. The aim of the present study was to assess whether the contribution of detailed visual analysis is observed in preschool children and to test the variability hypothesis. To that purpose, three groups of preschool children learned new symbols either by handwriting, typing, or composition. After learning, children performed first a four-alternative recognition task and then a categorization task. The same pattern of results as the one observed in adults emerged in the four-alternative recognition task, confirming the importance of the detailed visual analysis in letter-like shape learning. In addition, results failed to reveal any difference across learning methods in the categorization task. The latter results provide no evidence for the variability hypothesis which would predict better categorization after handwriting than after typing or composition. (shrink)

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central (...) role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t (...) spell it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

We describe some of the ways that the field of content analysis is being transformed in an Era of Big Data. We argue that content analysis, from its beginning, has been concerned with extracting the main meanings of a text and mapping those meanings onto the space of a textual corpus. In contrast, we suggest that the emergence of new styles of text mining tools is creating an opportunity to develop a different kind of content (...) analysis that we describe as a computational hermeneutics. Here the goal is to go beyond a mapping of the main meaning of a text to mimic the kinds of questions and concerns that have traditionally been the focus of a hermeneutically grounded close reading, a reading that focuses on what Kenneth Burke described as the poetic meanings of a text. We illustrate this approach by referring to our own work concerning the rhetorical character of US National Security Strategy documents. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t (...) spell it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

We consider the informal concept of "computability" or "effective calculability" and two of the formalisms commonly used to define it, "(Turing) computability" and "(general) recursiveness". We consider their origin, exact technical definition, concepts, history, general English meanings, how they became fixed in their present roles, how they were first and are now used, their impact on nonspecialists, how their use will affect the future content of the subject of computability theory, and its connection to other related areas. After a (...) careful historical and conceptual analysis of computability and recursion we make several recommendations in section §7 about preserving the intensional differences between the concepts of "computability" and "recursion." Specifically we recommend that: the term "recursive" should no longer carry the additional meaning of "computable" or "decidable;" functions defined using Turing machines, register machines, or their variants should be called "computable" rather than "recursive;" we should distinguish the intensional difference between Church's Thesis and Turing's Thesis, and use the latter particularly in dealing with mechanistic questions; the name of the subject should be "Computability Theory" or simply Computability rather than "Recursive Function Theory.". (shrink)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these (...) interactions as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

China’s role as an emerging aid provider and the concept of a social plan in Africa has led to polarised responses in the West. Several say that this “productivist” strategy is much less determined by the concepts of citizenship, legal, social rights, and much more regarding building functions. The purpose of this study is to examine whether the welfare and social policy ideas that characterize Chinese aid in Africa are influencing traditional donors and becoming global. The article utilised a qualitative (...) study that has two main components. First, a comprehensive content analysis of over 50 key Sino-African, Chinese and Western policy documents from 2000 (since cooperation between Beijing and African countries first became institutionalised). Second, there were semi-structured interviews with Chinese, African and Western stakeholders in Addis Ababa, (Ethiopia), who was directly involved in the relationship between China and Africa and related development issues. The result of documentation and interview analyses show that there are currently significant differences between Chinese and Western approaches. China has made much stronger and more explicit links between development aid and economic activity than most Western donors. The aid is usually implemented through specific projects rather than broader programs or policies. (shrink)

Currently, there are no computerized tools enabling objective interpretation of observational gait assessment based on Wisconsin Gait Scale, which is a reliable and well-tested tool. The solution envisaged by us may provide a practical tool for assessing gait deviations in patients with hemiparesis after stroke. The present study assessed agreement between a new application software for computerized WGS and 3-dimensional gait analysis, and reliability of the application. The study involved 33 individuals with hemiparesis after stroke. The software was developed (...) based on a model designed taking into account components of the WGS and incorporating auxiliary lines passing through the relevant anthropometric points on the patient’s body, as well as measurements of angular values, distances and duration of the specific gait phases, which make it possible to substantiate assessment based on this scale. Series of videos were made to record gait of the qualified patients. After the gait evaluation was carried out using the app, the data were retrieved from the software. The gait assessment was performed separately by three independent examiners who reviewed the video recording using the new app twice. Additionally, 3DGA was carried out for all the subjects, and the results of the app-aided assessment were compared to those acquired using 3DGA. The findings show statistically significant correlations between majority of the WGS items measured using the new app, and the relevant spatiotemporal and kinematic parameters identified by 3DGA. Agreement between the scores reported by the three examiners was high in both measurements, as reflected by Cronbach’s alpha exceeding 0.8. The findings reflect very good intra-observer reliability and inter-observer reliability of the new application software for computerized WGS. The opportunities offered by the observational gait scale objectified through our new software for computerized WGS result from the fact that the tool provides a useful low-cost and time-effective feedback to monitor ongoing treatments or formulate hypotheses. (shrink)

The paper analyses six ethical challenges posed by cloud computing, concerning ownership, safety, fairness, responsibility, accountability and privacy. The first part defines cloud computing on the basis of a resource-oriented approach, and outlines the main features that characterise such technology. Following these clarifications, the second part argues that cloud computing reshapes some classic problems often debated in information and computer ethics. To begin with, cloud computing makes possible a complete decoupling of ownership, possession and use of data and this (...) helps to explain the problems occurring when different providers of cloud computing retain or relinquish the right to use or own users‘ data. The problem of safety in cloud computing is coupled to that of reliability, insofar as users have to trust providers to preserve their data, applications and content in a reliable manner. It is argued that, in this context, data insurance could play an important role. Regarding fairness, the paper argues that cloud computing is already reshaping the nature of the Digital. Responsibility, accountability and privacy close the ethical analysis of cloud computing. In this case, the thesis is that the necessity to account for the actions of cloud computing users imposes delicate trade-offs between users‘ privacy and the traceability of their operations. (shrink)

Philosophers have relied on visual metaphors to analyse ideas and explain their theories at least since Plato. Descartes is famous for his system of axes, and Wittgenstein for his first design of truth table diagrams. Today, visualisation is a form of ‘computer-aided seeing’ information in data. Hence, information is the fundamental ‘currency’ exchanged through a visualisation pipeline. In this article, we examine the types of information that may occur at different stages of a general visualization pipeline. We do (...) so from a quantitative and a qualitative perspective. The quantitative analysis is developed on the basis of Shannon’s information theory. The qualitative analysis is developed on the basis of Floridi’s taxonomy in the philosophy of information. We then discuss in detail how the condition of the ‘data processing inequality’ can be broken in a visualisation pipeline. This theoretic finding underlines the usefulness and importance of visualisation in dealing with the increasing problem of data deluge. We show that the subject of visualisation should be studied using both qualitative and quantitative approaches, preferably in an interdisciplinary synergy between information theory and the philosophy of information. (shrink)

"Offering integrated coverage of both digital and computer design, this text offers well-organized, concise, yet comprehensive content, presented from a contemporary engineering viewpoint. Understanding of the material is supported by clear explanations and a progressive development of examples ranging from sample combinatorial applications to a CISC architecture built upon a RISC core. A thorough coverage of traditional topics is combined with increased attention to computer-aided design, problem formulation, solution verification, and the building of problem-solving skills."--BOOK JACKET.

This work deals with the context of formation of Professor Dr. John Hadji Argyris in Germany during the 1930s and Switzerland during the 1940s. Using primary documentation, we elucidate publications with scientific theories of structural analysis made during his job as a member of a secret Commission in the Royal Aeronautical Society, in England. We explore the content of the serial publication of the Theorems of Energy and Structural Analysis of the Aircraft Engineering Journal, from 1954 and (...) 1955, from Argyris’s lectures at Imperial College, London, where he was a professor and director of the Department of Aeronautical Structures. The goal of this research is to analyze the systematic method of calculation of Argyris, starting from the theory of Computational Simulation. From this point of view, the conceptual mathematical model would be a computational model based on the unification of the concepts of Elasticity Theory and Energy Theorems formulated in matrix mathematics for communication with the computer. (shrink)