Recent experimental findings reveal dissociations of conscious and nonconscious performance in many fields of psychological research, suggesting that conscious and nonconscious effects result from qualitatively different processes. A connectionist view of these processes is put forward in which consciousness is the consequence of construction processes taking place in three types of working memory in a specific type of recurrent neural network. The recurrences arise by feeding back output to the input of a central (representational) network. They are assumed to be (...) intemalizations of motor-sensory feedback through the environment. In this manner, a subvocal-phonological, a visuo-spatial, and a somatosensory working memory may have developed. Representations in the central network, which constitutes long-term memory, can be kept active by rehearsal in the feedback loops. The sequentially recurrent architecture allows for recursive symbolic operations and the formation of (auditory, visual, or somatic) models of the external world which can be maintained, transformed and temporarily combined with other information in working memory. Moreover, the quasi-input from the loop directs subsequent attentional processing. The view may contribute to a formal framework to accommodate findings from disparate fields such as working memory, sequential reasoning, and conscious and nonconscious processes in memory and emotion. In theory, but probably not very soon in practice, such connectionist models might simulate aspects of consciousness. (shrink)

The authors reject a computationally powerful unconscious. Instead, they suggest that simple unconscious processes give rise to complex conscious representations. We discuss evidence showing contrastive effects of conscious and unconscious processes, suggesting a distinction between these types of processes. In our view, conscious processes often serve to correct or control negative consequences of relatively simple unconscious processes.

O'Brien & Opie make unnecessary distinctions between vehicle and process theories and neglect empirically based distinctions between conscious and unconscious processing. We argue that phenomenal experience emerges, not just as a byproduct of input-driven parallel distributed processing, but as a result of constructive processing in recurrent neural networks. Stable network states may be necessary, but are not sufficient, for consciousness.

We note two important problems in the Theory of Event Coding. First, because the representational format of features and events is unspecified, the theory is difficult to test. Second, the theory lacks a mechanism for the integration of features into an event code when the features are shared by different events. Possible ways of solving these problems are suggested.

The distinction made by Page between localist and distributed representations seems confounded by the distinction between competitive and associative learning. His manifesto can also be read as a plea for competitive learning. The power of competitive models can even be extended further, by simulating similarity effects in forced-choice perceptual identification (Ratcliff & McKoon 1997) that have defied explanation by most memory models.

Phillips & Silverstein emphasize the gain-control properties of NMDA synapses in cognitive coordination. We endorse their view and suggest that NMDA synapses play a crucial role in biased attentional competition and (visual) working memory. Our simulations show that NMDA synapses can control the storage rate of visual objects. We discuss specific predictions of our model about cognitive effects of NMDA-antagonists and schizophrenia.

We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.

resumo Este artigo tem como objetivo tratar dos Ensaios de Michel de Montaigne a partir de uma perspectiva que leve em conta a íntima relação entre o pensamento filosófico e a sua ex p ressão literária. Parte-se da suspeita de que há, na própria criação ens a í s t ica, um conteúdo filosófico cético, que é próprio deste autor. Neste sentido, o ens a io como gêne ro literário já não seria apenas o exercício livre do pensamento, mas constituiria (...) a forma que ex p r i me, da me l hor ma neira possível, os efeitos causados pela “crise pirrônica” e, em especial, a constatação filosófica do caráter relativo do conhecimento humano. palavras-chaves Michel de Montaigne; Renascimento; Ceticismo; Pirronismo; Ensaio. (shrink)

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with 'quantitative' operators 'somewhere in the sphere of radius r.' including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard '∈-definitions' of closure and interior to simple constraints (...) on relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a 'well-behaved' common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

PurposeThe aim of the research described was to identify reasons for differences between discourses on electronic voting in the UK and The Netherlands, from a qualitative point of view.Design/methodology/approachFrom both countries, eight e‐voting experts were interviewed on their expectations, risk estimations, cooperation and learning experiences. The design was based on the theory of strategic niche management. A qualitative analysis of the data was performed to refine the main variables and identify connections.FindingsThe results show that differences in these variables can partly (...) explain the variations in the embedding of e‐voting in the two countries, from a qualitative point of view. Key differences include the goals of introducing e‐voting, concerns in relation to verifiability and authenticity, the role of the Electoral Commissions and a focus on learning versus a focus on phased introduction.Research limitations/implicationsThe current study was limited to two countries. More empirical data can reveal other relevant subvariables, and contribute to a framework that can improve our understanding of the challenges of electronic voting.Originality/valueThis study shows the context‐dependent character of discussions on information security. It can be informative for actors involved in e‐voting in the UK and The Netherlands, and other countries using or considering electronic voting. (shrink)

In information security research, perceived security usually has a negative meaning, when it is used in contrast to actual security. From a phenomenological perspective, however, perceived security is all we have. This paper develops a phenomenological account of information security, in which a distinction is made between revealed and reveiled security instead. Linking these notions with the concepts of confidence and trust, the paper provides a phenomenological explanation of the electronic voting controversy in the Netherlands.

As forms of private self-regulation, multi-stakeholder initiatives have emerged as an important empirical phenomenon in global governance processes. At the same time, MSIs are also theoretically intriguing because of their inherent double nature. On the one hand, MSIs spell out CSR standards that define norms for corporate behavior. On the other hand, MSIs are also the result of corporate and stakeholder behavior. We combine the perspectives of institutional theory and club theory to conceptualize this double nature of MSIs. Based on (...) a stage model that looks at the interplay of actor and institutional dynamics, we generate insights into why actors join a voluntary MSI, how the various motivations and intentions of the actors influence the standard development, and how these as well as the MSI design are subsequently influenced by both external and internal dynamics. (shrink)

Conceiving new technologies as social experiments is a means to discuss responsible deployment of technologies that may have unknown and potentially harmful side-effects. Thus far, the uncertain outcomes addressed in the paradigm of new technologies as social experiments have been mostly safety-related, meaning that potential harm is caused by the design plus accidental events in the environment. In some domains, such as cyberspace, adversarial agents may be at least as important when it comes to undesirable effects of deployed technologies. In (...) such cases, conditions for responsible experimentation may need to be implemented differently, as attackers behave strategically rather than probabilistically. In this contribution, we outline how adversarial aspects are already taken into account in technology deployment in the field of cyber security, and what the paradigm of new technologies as social experiments can learn from this. In particular, we show the importance of adversarial roles in social experiments with new technologies. (shrink)

Few people, if any, still argue that science in all its aspects is a value-free endeavor. At the very least, values affect decisions about the choice of research problems to investigate and the uses to which the results of research are applied. But what about the actual doing of science? -/- As Science, Values, and Objectivity reveals, the connections and interactions between values and science are quite complex. The essays in this volume identify the crucial values that play a role (...) in science, distinguish some of the criteria that can be used for value identification, and elaborate the conditions for warranting certain values as necessary or central to the very activity of scientific research. -/- Recently, social constructivists have taken the presence of values within the scientific model to question the basis of objectivity. However, the contributors to <I>Science, Values, and Objectivity</I> recognize that such acknowledgment of the role of values does not negate the fact that objects exist in the world. Objects have the power to constrain our actions and thoughts, though the norms for these thoughts lie in the public, social world. -/- Values may be decried or defended, praised or blamed, but in a world that strives for a modicum of reason, values, too, must be reasoned. Critical assessment of the values that play a role in scientific research is as much a part of doing good science as interpreting data. (shrink)

Im Zentrum dieses Bandes stehen die Beiträge einer Tagung, die im Oktober 2017 an der Universität Konstanz stattgefunden hat. Thema der Tagung war ein den historischen Kontext einbeziehender Blick auf den frühen Rudolf Carnap, vom Ende des Ersten Weltkriegs bis zur Emigration Ende 1935. Der 1891 in Ronsdorf bei Wuppertal geborene Rudolf Carnap entschloss sich erst relativ spät zu einer Karriere als akademischer Philosoph, nämlich 1920, nachdem er sein durch den Krieg unterbrochenes Studium der Physik und Philosophie in Jena und (...) Freiburg abgeschlossen und kurze Zeit überlegt hatte, als Lehrer in der Schulreform-Bewegung zu arbeiten. Es folgte die philosophische Promotion im Jahr 1921, bei Bruno Bauch in Jena, mit einer Doktorarbeit zum Raumproblem. 1923 organisierte Carnap, gemeinsam mit Hans Reichenbach und anderen, eine für die Entstehung des Logischen Empirismus bedeutsame kleine Tagung in Erlangen. Auf Einladung von Moritz Schlick habilitierte er sich 1926 an der Universität Wien und verbrachte die Zeit bis 1931 zumindest teilweise in Wien, als eines der Kernmitglieder des Wiener Kreises um Moritz Schlick. Seine Habilitationsschrift erschien 1928 unter dem Titel Der logische Aufbau der Welt (hier immer Aufbau). 1931 folgte Carnap einem Ruf an die Deutsche Universität Prag. In den darauffolgenden Jahren blieb aber der enge Kontakt mit Wien und dem Wiener Kreis erhalten. Carnaps hauptsächliche Arbeit in dieser Zeit war seinem zweiten großen Buchprojekt gewidmet, der 1934 publizierten Logischen Syntax der Sprache. Daneben verfasste Carnap in seiner Zeit in Wien und Prag auch zahlreiche Aufsätze, zu unterschiedlichen Aspekten der Logik, der Metaphysikkritik und der Wissenschaftstheorie. Er war Mitautor des Manifests Wissenschaftliche Weltauffassung: Der Wiener Kreis und nahm regen Anteil an den zahlreichen wissenschaftlichen Aktivitäten des Logischen Empirismus, von der Gründung der Zeitschrift Erkenntnis bis hin zum Projekt einer Enzyklopädie der Einheitswissenschaft. Spätestens ab 1933 musste Carnap jedoch feststellen, dass an eine weitere wissenschaftliche Karriere in dem von Faschismus und Nationalsozialismus geprägten politischen Klima in Kontinentaleuropa nicht zu denken war. Er strebte deshalb die Emigration ins englischsprachige Ausland an, die schließlich Ende 1935 gelang, als Carnap ein Angebot von der Universität Chicago erhielt. Obwohl Carnap nur den kleineren Teil der in diesem Band abgedeckten eineinhalb Jahrzehnte in Wien verbracht hat, widmet sich der Großteil der hier versammelten Beiträge schwerpunktmäßig der für Carnaps philosophische Karriere zentralen Wiener Zeit. (shrink)

In information security research, perceived security usually has a negative meaning, when it is used in contrast to actual security. From a phenomenological perspective, however, perceived security is all we have. This paper develops a phenomenological account of information security, in which a distinction is made between revealed and reveiled security instead. Linking these notions with the concepts of confidence and trust, the paper provides a phenomenological explanation of the electronic voting controversy in the Netherlands.

We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the comparison and combination of logics from distinct research traditions such as Tarski’s for topological closure and interior, conditional logics, and logics of comparative similarity. This framework is obtained by decomposing the underlying modal-like operators into first-order quantifier patterns. We then show that quite a powerful and natural fragment of the resulting first-order logic can be (...) captured by one binary operator comparing distances between sets and one unary operator distinguishing between realised and limit distances . Due to its greater expressive power, this logic turns out to behave quite differently from both and conditional logics. We provide finite axiomatisations and ExpTime-completeness proofs for the logics of various classes of distance spaces, in particular metric spaces. But we also show that the logic of the real line is not recursively enumerable. This result is proved by an encoding of Diophantine equations. (shrink)

This paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper develops a manageable model theory for this consequence and its extensions (...) which also reveals some unexpected phenomena. The balance between the intuitionistic and modal languages is restored by adding to the former one more implication. (shrink)

We solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics as K4, S4, S4.1, K4.3, GL, or Grz are undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4,K4] with product frames of arbitrary finite or infinite depth (with respect to both accessibility relations) can be decidable. In particular, if.

Cognitive Science, Volume 46, Issue 10, October 2022.

There is a common problem in artificial intelligence (AI) and information security. In AI, an expert system needs to be able to justify and explain a decision to the user. In information security, experts need to be able to explain to the public why a system is secure. In both cases, an important goal of explanation is to acquire or maintain the users’ trust. In this paper, I investigate the relation between explanation and trust in the context of computing science. (...) This analysis draws on literature study and concept analysis, using elements from system theory as well as actor-network theory. I apply the conceptual framework to both AI and information security, and show the benefit of the framework for both fields by means of examples. The main focus is on expert systems (AI) and electronic voting systems (security). Finally, I discuss consequences of the analysis for ethics in terms of (un)informed consent and dissent, and the associated division of responsibilities. (shrink)

We present our personal view on W.J. Blok's contribution to modal logic.

Emerging as a hot topic in the mid-twentieth century, causality is one of the most frequently discussed issues in contemporary philosophy. Thinking about Causes brings together top philosophers from the United States and Europe to focus on causality as a major force in philosophical and scientific thought.

Flow is a gratifying state of deep involvement and absorption that individuals report when facing a challenging activity and they perceive adequate abilities to cope with it. The flow concept was introduced by Csikszentmihalyi in 1975, and interest in flow research is growing. However, to our best knowledge, no scoping review exists that takes a systematic look at studies on flow which were published between the years 2000 and 2016. Overall, 252 studies have been included in this review. Our review (...) provides a framework to cluster flow research, gives a systematic overview about existing studies and their findings, and provides an overview about implications for future research. The provided framework consists of three levels of flow research. In the first “Individual” level are the categories for personality, motivation, physiology, emotion, cognition, and behavior. The second “Contextual” level contains the categories for contextual and interindividual factors and the third “Cultural” level contains cultural factors that relate to flow. Using our framework, we systematically present the findings for each category. While flow research has made progress in understanding flow, in the future, more experimental and longitudinal studies are needed to gain deeper insights into the causal structure of flow and its antecedents and consequences. (shrink)