There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istvan Nemeti and Gyula David have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In this (...) essay, I will honour Istvan's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Nemeti and D\'avid might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis. (shrink)

A provocative exploration of how computers are reshaping ideas about what it means to be human profiles the annual Turing Test to assess a computer's capacity for thought while analyzing related philosophical, biological and moral issues.

We prove that the Kleene schemes for primitive recursion relative to the μ-operator, relativized to some nondeterministic objects, have the same power to express total functionals when interpreted over the partial continuous functionals and over the Kleene-Kreisel continuous functionals. Relating the former interpretation to Niggl's ℳω we prove Nigg's conjecture that ℳω is strictly weaker than Plotkin's PCF + PA.

Artificial intelligence researchers interested in knowledge and in designing and implementing digitized artifacts for representing or sharing knowledge play a crucial role in the development of a knowledge-based economy. They help answer the question of how the computer devices they develop can be appropriated by the collectives that manage the flow of knowledge and the know-how underlying human organizations. A dialogical, constructivist view of interaction processes permits theorizing the role of digital tools, seen as sociotechnical devices that serve both as (...) resources and as sources of communication within our organizations. (shrink)

People often solve spatially presented cognitive problems more easily than their nonspatial counterparts. We explain this phenomenon by characterizing space as an inter-modality that provides common structure to different specific perceptual modalities. The usefulness of spatial structure for knowledge processing on different levels of granularity and for interaction between internal and external processes is described. Map representations are discussed as examples in which the usefulness of spatially organized symbols is particularly evident. External representations and processes can enhance internal representations and (...) processes effectively when the same structures and principles can be implicitly assumed. (shrink)

Modern computer-based applications often require the user to interact with avatars. Depending on the task at hand, spatial dissociation between the orientations of the user and the avatars might arise. As a consequence, the user has to adopt the avatar's perspective and identify herself/himself with the avatar, possibly changing the user's self-representation in the process. The present study aims to identify the conditions that benefit this change of perspective with objective performance measures and subjective self-estimations by integrating the idea of (...) avatar-ownership into the cognitive phenomenon of spatial compatibility. Two different instructions were used to manipulate a user's perceived ownership of an avatar used in otherwise identical situations. Users with the high-ownership instruction reported higher levels of perceived ownership of the avatar and showed larger spatial compatibility effects from the avatar's point of view in comparison to the low ownership instruction. This supports the hypothesis that perceived ownership benefits perspective taking. (shrink)

Predictive Processing (PP) is an increasingly influential neurocognitive-computational framework. PP research has so far focused predominantly on lower level perceptual, motor, and various psychological phenomena. But PP seems to face a “scale-up challenge”: How can it be extended to conceptual thought, language, and other higher cognitive competencies? Compositionality, arguably a central feature of conceptual thought, cannot easily be accounted for in PP because it is not couched in terms of classical symbol processing. I argue, using the example of language, that (...) there is no strong reason to think that PP cannot be scaled up to higher cognition. I suggest that the tacitly assumed common-sense conception of language as Generative Grammar (“folk linguistics”) and its notion of composition leads to the scale-up concerns. Fodor’s Language of Thought Hypothesis (LOTH) plays the role of a cognitive computational paradigm for folk linguistics. Therefore, we do not take LOTH as facing problems with higher cognition, at least with regard to compositionality. But PP can plausibly play the role of a cognitive-computational paradigm for an alternative conception of language, namely Construction Grammar. If Construction Grammar is a plausible alternative to folk linguistics, then PP is not in a worse position than LOTH. (shrink)

More intellectual modesty, but also conceptual clarity is urgently needed in AI, perhaps more than in many other disciplines. AI research has been coined by hypes and hubris since its early beginnings in the 1950s. For instance, the Nobel laureate Herbert Simon predicted after his participation in the Dartmouth workshop that “machines will be capable, within 20 years, of doing any work that a man can do”. And expectations are in some circles still high to overblown today. This paper addresses (...) the demand for conceptual clarity and introduces precise definitions of “strong AI”, “superintelligence”, the “technological singularity”, and “artificial general intelligence” which ground in the work by the computer scientist Judea Pearl and the psychologist Howard Gardner. These clarifications allow us to embed famous arguments from the philosophy of AI in a more analytic context. (shrink)

Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn’s Ordinal Conditional Functions, using established (...) properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation. (shrink)

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a cognitive-computational model of language and conceptual knowledge within the Predictive Processing framework. I suggest that the paradox arises as a failure of synchronization between (...) two ways of generating the liar situation in two different PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates the Principle of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

Recent advancements in AI have prompted a large number of AI ethics guidelines published by governments and nonprofits. While many of these papers propose concrete or seemingly applicable ideas, few philosophically sound proposals are made. In particular, we observe that the line of questioning has often not been examined critically and underlying conceptual problems not always dealt with at the root. In this paper, we investigate the nature of ethical AI systems and what their moral status might be by first (...) turning to the notions of moral agency and patience. We find that their explication would come at a too high cost which is why we, second, articulate a different approach that avoids vague and ambiguous concepts or the problem of other minds. Third, we explore the impact of our philosophical and conceptual analysis on the regulatory landscape, make this link explicit, and finally propose a set of promising policy steps. (shrink)

Our article examines how journalistic reports and online comments have made sense of computational politics. It treats the discourse around data-driven campaigns as its object of analysis and codifies four main perspectives that have structured the debates about the use of large data sets and data analytics in elections. We study American, British, and German sources on the 2016 United States presidential election, the 2017 United Kingdom general election, and the 2017 German federal election. There, groups of speakers maneuvered between (...) enthusiastic, skeptical, agnostic, or admonitory stances and so cannot be clearly mapped onto these four discursive positions. Coming along with the inconsistent accounts, public sensemaking was marked by an atmosphere of speculation about the substance and effects of computational politics. We conclude that this equivocality helped journalists and commentators to sideline prior reporting on the issue in order to repeatedly rediscover the practices they had already covered. (shrink)

This book explores the intersection of legal frameworks, healthcare innovation, and computational intelligence, shedding light on how emerging technologies like AI and ML are reshaping the medical landscape. It presents real life challenges such as patient privacy, data security, and compliance issues in smart healthcare by engaging into associated ethical and regulatory implications. Comprising the concepts of predictive analytics, regulatory compliance algorithms, and legal decision-making processes, this book offers a roadmap for stakeholders to navigate the evolving landscape of healthcare innovation (...) responsibly and ethically. Investigates how artificial intelligence supports legal decision-making processes in smart healthcare, addressing ethical and accountability concerns Demonstrates the use of smart contracts and automation tools powered by computational intelligence to streamline legal processes and ensure compliance in smart healthcare initiatives Focuses on managing healthcare data within legal frameworks, emphasizing computational intelligence's role in ensuring privacy and security. Examines how computational intelligence enables predictive analytics models to anticipate legal challenges and compliance issues in smart healthcare. Highlights the development and implementation of computational algorithms for navigating evolving legal frameworks in healthcare. This reference book is a useful resource for scholars and researchers working on smart healthcare. (shrink)

Distributed cognition refers to processes which are (i) cognitive and (ii) distributed across multiple agents or devices rather than performed by a single agent. Distributed cognition has attracted interest in several fields ranging from sociology and law to computer science and the philosophy of science. In this paper, I discuss distributed cognition from a social-choice-theoretic perspective. Drawing on models of judgment aggregation, I address two questions. First, how can we model a group of individuals as a distributed cognitive system? Second, (...) can a group acting as a distributed cognitive system be ‘rational’ and ‘track the truth’ in the outputs it produces? I argue that a group’s performance as a distributed cognitive system depends on its ‘aggregation procedure’ – its mechanism for aggregating the group members’ inputs into collective outputs – and I investigate the properties of an aggregation procedure that matter. (shrink)

We seem to learn and use concepts in a variety of heterogenous “formats”, including exemplars, prototypes, and theories. Different strategies have been proposed to account for this diversity. Hybridists consider instances in different formats to be instances of a single concept. Pluralists think that each instance in a different format is a different concept. Eliminativists deny that the different instances in different formats pertain to a scientifically fruitful kind and recommend eliminating the notion of a “concept” entirely. In recent years, (...) hybridism has received the most attention and support. However, we are still lacking a cognitive-computational model for concept representation and processing that would underpin hybridism. The aim of this paper is to advance the understanding of concepts by grounding hybridism in a neuroscientific model within the Predictive Processing framework. In the suggested view, the different formats are not distinct parts of a concept but arise from different ways of processing a functionally unified representational structure. (shrink)

Predictive processing, an increasingly popular paradigm in cognitive sciences, has focused primarily on giving accounts of perception, motor control and a host of psychological phenomena, including consciousness. But higher cognitive processes, like conceptual thought, language, and logic, have received only limited attention to date and PP still stands disconnected from a huge body of research in those areas. In this thesis, I aim to address this gap and I attempt to go some way towards developing and defending a cognitive-computational approach (...) to higher cognition within the predictive processing paradigm. To test its explanatory potential, I apply it to a range of linguistic and conceptual phenomena. I proceed in three steps. First, I lay out an account of concepts and suggest how concepts are represented, how they can be context-sensitively processed, and how the apparent diversity of formats arise. Secondly, I propose how paradigmatic higher cognitive competencies, like language and logical reasoning, could fit into the PP picture. Thirdly, I apply the PP account of concepts and language to a range of linguistic-conceptual phenomena as test cases, namely: metaphor, the semantic paradox (specifically the Liar Paradox) and copredication. Finally, I discuss some challenges and objections to the PP framework as applied to higher cognition and in general. (shrink)

This work locates the historical and conceptual foundations of cognitive science in the "commonsense" psychology of the philosopher Thomas Reid. I begin with Reid's attack on his rationalist and empiricist competitors of the 17th and 18th centuries. I then present his positive theory as a sophisticated faculty psychology appealing to innateness of mental structure. Reidian psychological faculties are equally trustworthy, causally independent mental powers, and I argue that they share nine distinct properties. This distinguishes Reidian 'intentionalism' from idealist 'representationalism,' which (...) derive cognitive content either from the inherited structure of faculties of from the occurrent structure of sensory activity. ;Next, I turn to consciousness and reflection for a contemporary Reidian response to traditional phenomenology. Unlike reflection, faculties of reason and remembrance are not causally mediated by consciousness. My interpretation of Reid is that 'Humean causation' of individual faculty structure accounts only for 'natural intentionality,' while 'efficient causation' of faculty interrelations accounts for cognitive 'personal intentionality.' ;I then proceed by adopting a form of computational description for reconstructing this view as a computational theory of mind. I contrast functional analyses in explanations of some capacities with computational and componential analyses in explanations of other, intentional capacities, in which some processes must be taken to semantically encode and govern the roles of others. This step reconstructs the Reidian notion of intentional operations as requiring an explanation of component faculties and their representation-governed interactions. I argue that properties of faculties delimiting these interactions under Reid's theory parallel those in Fodor's essay on the "modularity of mind," although the reasons given for individual criteria are often very different. Fodor also proposes a trichotomous mental structure, but I find that a third level of "central systems" is a myth engendered by causal information theory. Such an analysis cannot capture generalizations over the internal representation of semantic roles that determines the character of faculty relations. This requirement for any computational account of cognition is precisely the motivation for the reconstructed Reidian theory. Thus, it comports more favorably with the explanatory program constitutive of a computational cognitive science. (shrink)

In this paper we study a classical and theoretical system which consists of an elastic medium carrying transverse waves and one point-like high elastic medium density, called concretion. We compute the equation of motion for the concretion as well as the wave equation of this system. Afterwards we always consider the case where the concretion is not the wave source any longer. Then the concretion obeys a general and covariant guidance formula, which leads in low-velocity approximation to an equivalent de (...) Broglie-Bohm guidance formula. The concretion moves then as if exists an equivalent quantum potential. A strictly equivalent free Schrödinger equation is retrieved, as well as the quantum stationary states in a linear or spherical cavity. We compute the energy of the concretion, naturally defined from the energy density of the vibrating elastic medium. Provided one condition about the amplitude of oscillation is fulfilled, it strikingly appears that the energy and momentum of the concretion not only are written in the same form as in quantum mechanics, but also encapsulate equivalent relativistic formulas. (shrink)

PurposeThis paper aims to present results of a study that focused on the question of how computer and data experts think about Internet and social media surveillance after Edward Snowden’s revelations about the existence of mass-surveillance systems of the Internet such as Prism, XKeyscore and Tempora. Computer and data experts’ views are of particular relevance because they are confronted day by day with questions about the processing of personal data, privacy and data protection.Design/methodology/approachThe authors conducted two focus groups with a (...) total of ten experts based in London. As London is considered by some as the surveillance capital of the world, and has a thriving Internet industry, it provided a well-suited context.FindingsThe focus group discussions featured three topics that are of crucial importance for understanding Internet and social media surveillance: the political economy surveillance in general; surveillance in the context of the Snowden revelations; and the question what the best political reactions are to the existence of a surveillance-industrial complex that results in political and economic control of the Internet and social media. The focus groups provided indications that computer and data experts are pre-eminently informed on how Internet surveillance works, are capable of critically assessing its implications for society and have ideas about on what should be done politically.Originality/valueStudies of privacy and surveillance after Edward Snowden’s revelations have taken on a new dimension: Large-scale covert surveillance is conducted in a collaborative endeavour of secret services, private communications corporations and security companies. It has become evident that a surveillance-industrial Internet surveillance complex exists, in which capitalist communications and security corporations and state institutions collaborate. (shrink)

In a case study of the growth of cognitive science, we analyzed the activities of the Cognitive Science Society with a particular emphasis on the multidisciplinary nature of the field. Analyses of departmental affiliations, training back‐grounds, research methodology, and paper citations suggest that the journal Cognitive Science and the Annual Meeting of the Cognitive Science Society are dominated by cognitive psychology and computer science, rather than being an equal division among the constituent disciplines of cognitive science. However, at many levels, (...) a growing percentage of work was found to involve a conjunction of multiple disciplines, such that approximately 30–50% of recent work in the Cognitive Science Society is multidisciplinary. In a questionnaire study of cognitive scientists involved in collaborative research, multidisciplinarity was found to shape the research process and affect the factors associated with successful research. (shrink)

The proliferation of information and communication technologies (ICTs) into all aspects of life poses unique ethical challenges as our modern societies become increasingly dependent on the flawless operation of these technologies. As we increasingly entrust our privacy, our well-being and our lives to an ever greater number of computers we need to look more closely at the risks and ethical implications of these developments. By emphasising the vulnerability of software and the practice of professional software developers, we want to (...) make clear the ethical aspects of producing potentially flawed software. This paper outlines some of the vulnerabilities associated with software systems and identifies a number of social and organisational factors affecting software developers and contributing to these vulnerabilities. Scott A. Snook’s theory of practical drift is used as the basis for our analysis. We show that this theory, originally developed to explain the failure of a military organisation, can be used to understand how professional software developers “drift away” from procedures and processes designed to ensure quality and prevent software vulnerability. Based on interviews with software developers in two Norwegian companies we identify two areas where social factors compel software developers to drift away from a global set of rules constituting software development processes and methods. Issues of pleasure and control and difference in mental models contribute to an uncoupling from established practices designed to guarantee the reliability of software and thus diminish its vulnerability. (shrink)

The task of this paper is to ground the notion of cyberethics of co-operation. The evolution of modern society has resulted in a shift from industrial society towards informational capitalism. This transformation is a multidimensional shift that affects all aspects of society. Hence also the ethical system of society is penetrated by the emergence of the knowledge society and ethical guidelines for the information age are needed. Ethical issues and conflicts in the knowledge society are connected to topics of ecological (...) and social sustainability. For information ethics and cyberethics, the sustainable design of society, social, and socio-technological systems is important. In this context the notions of sustainability and co-operation are discussed. Based on these categories, the approach of cyberethics of co-operation can be theoretically grounded. (shrink)

Since the cognitive revolution, psychologists have developed formal theories of cognition by thinking about the mind as a computer. However, this metaphor is typically applied to individual minds. Humans rarely think alone; compared to other animals, humans are curiously dependent on stores of culturally transmitted skills and knowledge, and we are particularly good at collaborating with others. Rather than picturing the human mind as an isolated computer, we can imagine each mind as a node in a vast distributed system. Viewing (...) human cognition through the lens of distributed systems motivates new questions about how humans share computation, when it makes sense to do so, and how we can build institutions to facilitate collaboration. (shrink)

Most approaches to quantum gravity suggest that relativistic spacetime is not fundamental, but instead emerges from some non-spatiotemporal structure. This paper investigates the implications of this suggestion for the possibility of time travel in the sense of the existence of closed timelike curves in some relativistic spacetimes. In short, will quantum gravity reverse or strengthen general relativity’s verdict that time travel is possible?

Large scale experiments at CERN’s Large Hadron Collider rely heavily on computer simulations, a fact that has recently caught philosophers’ attention. CSs obviously require appropriate modeling, and it is a common assumption among philosophers that the relevant models can be ordered into hierarchical structures. Focusing on LHC’s ATLAS experiment, we will establish three central results here: with some distinct modifications, individual components of ATLAS’ overall simulation infrastructure can be ordered into hierarchical structures. Hence, to a good degree of approximation, hierarchical (...) accounts remain valid at least as descriptive accounts of initial modeling steps. In order to perform the epistemic function Winsberg Model-based reasoning in scientific discovery. Kluwer Academic/plenum Publishers, New York, pp 255–269, 1999) assigns to models in simulation—generate knowledge through a sequence of skillful but non-deductive transformations—ATLAS’ simulation models have to be considered part of a network rather than a hierarchy, in turn making the associated simulation modeling messy rather than motley. Deriving knowledge-claims from this ‘mess’ requires two sources of justification: holistic validation :253–262, 2010; in Carrier M, Nordmann A Science in the context of application. Springer, Berlin, pp 115–130, 2011), and model coherence. As it turns out, the degree of model coherence sets HEP apart from other messy, simulation-intensive disciplines such as climate science, and the reasons for this are to be sought in the historical, empirical and theoretical foundations of the respective discipline. (shrink)

In this article, we explore questions about the culture of trustworthy artificial intelligence (AI) through the lens of ecosystems. We draw on the European Commission’s Guidelines for Trustworthy AI and its philosophical underpinnings. Based on the latter, the trustworthiness of an AI ecosystem can be conceived of as being grounded by both the so-called rational-choice and motivation-attributing accounts—i.e., trusting is rational because solution providers deliver expected services reliably, while trust also involves resigning control by attributing one’s motivation, and hence, goals, (...) onto another entity. Our research question is: What aspects contribute to a responsible AI ecosystem that can promote justifiable trustworthiness in a healthcare environment? We argue that especially within devising governance and support aspects of a medical AI ecosystem, considering the so-called motivation-attributing account of trust provides fruitful pointers. There can and should be specific ways and governance structures supporting and nurturing trustworthiness beyond mere reliability. After compiling a list of preliminary requirements for this, we describe the emergence of one particular medical AI ecosystem and assess its compliance with and future ways of improving its functioning as a responsible AI ecosystem that promotes trustworthiness. (shrink)

In a recent arXiv preprint Richard Gill has criticized an experimental proposal published in a journal of theoretical physics which describes how to detect a macroscopic signature of fermionic sign changes. Here I point out that his worries stem from his own elementary algebraic and conceptual mistakes, and present several event-by-event numerical simulations which expose the vacuity of his claims by explicit computations.

The concept of preference structuration not only provides possible escape-routes from socialchoice-theoretic impossibility problems, but also points towards ways of formalizing notions of 'pluralism', 'consensus' and 'issue-dimensionality'. The present note introduces two methods of (operationally) measuring preference structuration, giving attention to both their conceptual characteristics and their computational feasibility. The method to be advocated, called the 'fractionalization' approach, combines well-known social-choice-theoretic criteria of preference structuration (such as single-peakedness or value-restriction) with the frequently used Rae-Taylor (1970) and Laakso-Taagepera (1979) approaches towards (...) measuring the level of fractionalization, and the effective number of components, in a system. (shrink)

We present a theoretical account of implicit and explicit learning in terms of ACT-R, an integrated architecture of human cognition as a computational supplement to Dienes & Perner's conceptual analysis of knowledge. Explicit learning is explained in ACT-R by the acquisition of new symbolic knowledge, whereas implicit learning amounts to statistically adjusting subsymbolic quantities associated with that knowledge. We discuss the common foundation of a set of models that are able to explain data gathered in several signature paradigms of implicit (...) learning. (shrink)

IntroductionHearing loss has a great impact on the people affected, their close partner and the interaction between both, as oral communication is restricted. Nonverbal communication, which expresses emotions and includes implicit information on interpersonal relationship, has rarely been studied in people with hearing impairment. In psychological settings, non-verbal synchrony of body movements in dyads is a reliable method to study interpersonal relationship.Material and methodsA 10-min social interaction was videorecorded in 39 PHI and their significant others. Nonverbal synchrony, which means the (...) nonverbal behaviors of two interacting persons and verbal interaction were analyzed by computer algorithms and observer ratings. Hearing-related quality of life, coping mechanisms, general psychopathology, quality of relationship, and burden of hearing loss experienced by SOs were assessed using questionnaires.ResultsIn the 39 dyads, true nonverbal synchrony differed from pseudosynchrony [t = 2.41; p = 0.02] with a medium effect size. Gender of PHI had a significant effect on general synchrony and on leading by SOs. Age gap correlated with synchronic movements. Very short duration of hearing impairment was associated with lower nonverbal synchrony in the role of leading by SOs. Feeling of closeness by PHI correlated negatively with the role of leading by SOs and feeling of closeness by SOs was positively associated with leading by PHI. No correlation was detected between nonverbal synchrony and other questionnaires. Burden experienced by the SOs was higher in SOs who reported less closeness.DiscussionA longer hearing impairment leads to more nonverbal leading by SOs compared to PHI with very short duration of hearing loss, possibly because of the long-lasting imbalance in communication. If PHI felt more closeness, SOs led less and vice versa. Burden experienced by SOs negatively correlated with closeness reported by SOs. Use of nonverbal signals and communication might help to improve benefits of auditory rehabilitation for PHI and decrease burden experienced by SOs. (shrink)

A model of when and where saccades are made necessarily incorporates a model of the “When” and “Where” of target selection. We suggest that the framework proposed by Findlay & Walker does not specify sufficiently how selection processes contribute to the spatial and temporal determinants of saccade generation. Examples from across-trial priming in visual search and from the inhibition of temporally segmented distractors show linkage between the processes involved in computing when and where selection operates, so that there is cooperation (...) rather than competition between so-called Where and When pathways. Aspects of spatial selection may also determine the remote distractor effect on saccades. The detailed relations between the processes involved in selection and saccade generation may be best understood in relation to detailed computational accounts of the processes. (shrink)

The debate about the nature of the representational format of concepts seems to have reached an impasse. The debate faces two fundamental problems. Firstly, amodalists (i.e., those who argue that concepts are represented by amodal symbols) and modalists (i.e., those who see concepts as involving crucially representations including sensorimotor information) claim that the same empirical evidence is compatible with their views. Secondly, there is no shared understanding of what a modal or amodal format amounts to. Both camps recognize that the (...) two formats play essential roles in higher cognition, leading to an increasing number of hybrid proposals. In this paper, I argue that the existence of those fundamental problems should make us suspicious about a modal/amodal dichotomy. Also, I suggest that hybrid approaches, as they currently stand, do not provide suitable solutions to the impasse. Instead, we should overcome the dichotomy and treat the modal/amodal distinction as a graded phenomenon. I illustrate this hypothesis with an example of a cognitive-computational model of concepts based on the Predictive Processing framework. (shrink)

This article proposes the use of technological frames (TF) as an analytical tool to support the investigations within value sensitive design. TF can help to identify values that are consistent or conflicting within and between stakeholders, which is exemplified with a case of patient accessible electronic health records in Sweden. The article concludes that TF can help to identify values, which may then help to understand and address possible concerns in the design process.

This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for each (...) reading. We argue that as long as we do not explicitly compute the interpretation in terms of possible world models, one can compute the semantic representation of a given statement, including aspects of lexical meaning. This is a very generic process, so the results are, at least in principle, widely applicable. We also discuss the algorithmic complexity of this process. (shrink)

In Book 8 of his Geographike Hyphegesis Ptolemy gives coordinates for ca. 360 so-called noteworthy cities. These coordinates are the time difference to Alexandria, the length of the longest day, and partly the ecliptic distance from the summer solstice. The supposable original conversions between the coordinates in Book 8 and the geographical coordinates in the location catalogue of Books 2–7 including the underlying parameters and tabulations are here reconstructed. The results document the differences between the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Omega}$$\end{document} - and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Xi}$$\end{document} -recension. The known difference in the longitude of Alexandria underlying the conversion of the longitudes is examined more closely. For the ecliptic distances from the summer solstice of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Omega}$$\end{document} -recension, it is revealed that they were originally computed by means of a so far undiscovered approximate, linear conversion. Further it is shown that the lengths of the longest day could be based on a linear interpolation of the data in the Mathematike Syntaxis 2.6. (shrink)

The aim of this commentary is to underpin Duffley’s notion of a stable mental content that corresponds to the literal word meaning with a computationally plausible cognitive theory. Our approach is to investigate what these stable contents could be according to the so-called Predictive Processing architecture. We argue that recent advances in cognitive science can make at least two contributions to the debate. First, they can provide some underpinning of Duffley's ideas of a stable linguistic meaning associated with the sign. (...) Second, they provide resources to understand how the semiological principle is compatible with a dynamic and flexible notion of "meaning". (shrink)

This is a short introduction to a special issue of the Journal on Logic, Language and Information, dealing with "recent advances in logical and algebraic approaches to computational linguistics".

Artificial intelligence represents a key technology being inbuilt into evermore products. Research investigating attitudes towards artificial intelligence surprisingly is still scarce, although it becomes apparent that artificial intelligence will shape societies around the globe. To better understand individual differences in attitudes towards artificial intelligence, the present study investigated in n = 351 participants associations between the Affective Neuroscience Personality Scales (ANPS) and the Attitudes towards Artificial Intelligence framework (ATAI). It could be observed that in particular higher levels of SADNESS were (...) associated with higher negative attitudes towards AI (fearing AI). The findings are discussed in this work from an evolutionary perspective because primary emotional systems—according to Affective Neuroscience Theory—represent tools for survival, which have been homologously conserved across mammalian species including homo sapiens. (shrink)

The aim of this study was to separately analyze the role of featural and configural face representations. Stimuli containing only featural information were created by cutting the faces into their parts and scrambling them. Stimuli only containing configural information were created by blurring the faces. Employing an old‐new recognition task, the aim of Experiments 1 and 2 was to investigate whether unfamiliar faces (Exp. 1) or familiar faces (Exp. 2) can be recognized if only featural or configural information is provided. (...) Both scrambled and blurred faces could be recognized above chance level. A further aim of Experiments 1 and 2 was to investigate whether our method of creating configural and featural stimuli is valid. Pre‐activation of one form of representation did not facilitate recognition of the other, neither for unfamiliar faces (Exp. 1) nor for familiar faces (Exp. 2). This indicates a high internal validity of our method for creating configural and featural face stimuli. Experiment 3 examined whether features placed in their correct categorical relational position but with distorted metrical distances facilitated recognition of unfamiliar faces. These faces were recognized no better than the scrambled faces in Experiment 1, providing further evidence that facial features are stored independently of configural information. From these results we conclude that both featural and configural information are important to recognize a face and argue for a dual‐mode hypothesis of face processing. Using the psychophysical results as motivation, we propose a computational framework that implements featural and configural processing routes using an appearance‐based representation based on local features and their spatial relations. In three computational experiments (Experiments 4–6) using the same sets of stimuli, we show how this framework is able to model the psychophysical data. (shrink)