This paper discusses the empirical, Application Programming Interface -based analysis of very large Facebook Pages. Looking in detail at the technical characteristics, conventions, and peculiarities of Facebook’s architecture and data interface, we argue that such technical fieldwork is essential to data-driven research, both as a crucial form of data critique and as a way to identify analytical opportunities. Using the “We are all Khaled Said” Facebook Page, which hosted the activities of nearly 1.9 million users during the Egyptian Revolution and (...) beyond, as empirical example, we show how Facebook’s API raises important questions about data detail, completeness, consistency over time, and architectural complexity. We then outline an exploratory approach and a number of analytical techniques that take the API and its idiosyncrasies as a starting point for the concrete investigation of a large dataset. Our goal is to close the gap between Big Data research and research about Big Data by showing that the critical investigation of technicity is essential for empirical research and that attention to the particularities of empirical work can provide a deeper understanding of the various issues Big Data research is entangled with. (shrink)

Many prepared actions have to be withheld for a certain amount of time in order to have the most beneficial outcome. Therefore, keeping track of time accurately is vital to using temporal regularities in our environment. Traditional theories assume that time is tracked by means of a clock and an “attentional gate” (AG) that modulates subjective time if not enough attentional resources are directed toward the temporal process. According to the AG theory, the moment of distraction does not have an (...) influence on the subjective modulation. Here, we show, based on an analysis of 28,354 datasets, that highly motivated players of the online multiplayer real‐time strategy game StarCraft2 indeed respond later to timed events when they are distracted by other tasks during the interval. However, transient periods of distraction during the interval influence the response time to a lesser degree than distraction just before the required response. We extend the work of Taatgen, van Rijn, and Anderson (2007) and propose an alternative active check theory that postulates that distracted attention prevents people from checking their internal clock; we demonstrate that this account better predicts variance observed in response time. By analyzing StarCraft2 data, we assessed the role of attention in a naturalistic setting that more directly generalizes to real‐world settings than typical laboratory studies. (shrink)

Reflections on the life and works of Scotus -- The early works of Scotus -- Duns Scotus at Oxford -- A Scotistic approach to the ultimate why-question -- God's knowledge : a study in Scotistic methodology -- William of Alnwick on Scotus and divine concurrence -- Scotus on the origin of possibility -- Scotus's lectures on the Immaculate Conception -- Scotus's ethics -- Scotus's eschatology : some reflections -- Scotism -- An Oxford dialogue on language and metaphysics -- Ockham and (...) the textbooks -- Ockham's conception of matter. (shrink)

This book deals with Johann Heinrich Lamberts epistemological foundation of scientific knowledge and with his linear diagrams of logical reasoning.

In this article I explore the antinatalist view according to which it would be better if humans were to stop reproducing in order to contribute to the non-violent and voluntary extinction of the species as a whole. Not only is reproduction morally problematic in an already vastly overpopulated world, it is held that the human predicament can only be solved by slowly, but surely removing human presence altogether. Radical as this might sound, it must be noted that, far from a (...) villainous distaste of human life and happiness, this view emerges from a careful consideration of the vicissitudes of ordinary human existence. In spite of innumerous earlier attempts, suffering cannot be blotted out in life. What is called for, then, is something more conclusive: we can only remove suffering when we get rid of that which suffers. Any other attempt at solving the human predicament ultimately represents a merely cosmetic approach to problem-solving and the eradication of suffering. (shrink)

Normal 0 false false false EN-US JA X-NONE This essay describes Peter Sloterdijk’s “side view” of philosophy. That is, it describes the self-disciplines that make philosophical activity possible. Along similar lines, the paper draws on the work of Pierre Hadot, who also reads philosophy as an askēsis or exercise of self-transformation. Bringing together the work of Sloterdijk and Hadot, the essay reframes the question, What is Philosophy? by asking, Who is the philosopher? To this end, the essays synthesizes the work (...) of Hadot and Sloterdijk, describing first the philosopher’s exercises of self-transformation, then their relation to the city and the community at a large, and finally their connection to the practice zones, enclaves, and microclimates, to use Sloterdijk’s terms, that enable the philosopher to perform certain maneuvers in thought. The paper concludes with an assessment of Sloterdijk’s global view of human practice—which he calls “the planet of the practicing”—to suggest that a planetary perspective should hold a privileged view for future philosophical inquiries. Who are the philosophers? They are the practitioners of planet Earth, the ascetic planet. (shrink)

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

In the present work I study Daoist philosophy in conjunction with the radical new philosophy of antinatalism, spearheaded by South African philosopher David Benatar. Although I am not claiming equivalence between the two, a meaningful communication emerges between the classical Chinese sources used here and the modern doctrine of antinatalism. I argue that both visions partake in a radical critique of consciousness according to which this faculty of the human mind is far from what it is often held to be. (...) In fact, it is perceived as a destructive and disruptive element of, and in, existence. Moreover, both offer a praxis of return that seeks to undo this disruption. In the case of Daoism, consciousness pushes humans ever farther away from the Dao. It is imperative to return from this exile, and to return to the Dao. This can, radically, only be achieved by the return from ‘ordinary’ conscious existence. This is the prerogative of sagehood. It will be shown that the trajectory of sagehood shares important parameters with the antinatalist quest to significantly challenge human hubris in the cosmos at large, and to reinstate cosmic humility. (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)

A dialogue game is presented that enables us to generate coherent elementary conversational sequences at the speech act level. Central to this approach is the fact that the cognitive states of players change as a result of the interpretation of speech acts and that these changes provoke the production of a subsequent speech act. The rules of the game are roughly based on the Gricean maxims of co-operation ¿ i.e., agents are forbidden to put forward information they do not believe (...) and are forbidden to ask anything they already believe; the Gricean maxim of relevance is determined by a so-called imbalance in the players¿ belief and desire states. As in realistic conversational situations, it is assumed that the information needed to answer a question can be present in a distributed manner. Consequently, the structure of the dialogues may become rather complex, and may result in the generation of counter-questions and sub-dialogues. It will be shown that the structure and the coherence of conversational units do not necessarily have to be the product of a complex planning process or a speech act grammar, but can be based on elementary generation rules that take only into account the local context. As a result, the conversational game does not suffer from the same computational complexity as existing planning models for speech act generation. Although simple in its basic form, the framework enables us to produce abstract conversations with some properties that agree strikingly with dialogue properties found in Conversation Analysis. (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.

A dialogue game is presented that enables us to generate coherent elementary conversational sequences at the speech act level. Central to this approach is the fact that the cognitive states of players change as a result of the interpretation of speech acts and that these changes provoke the production of a subsequent speech act. The rules of the game are roughly based on the Gricean maxims of co-operation — i.e., agents are forbidden to put forward information they do not believe (...) and are forbidden to ask anything they already believe; the Gricean maxim of relevance is determined by a so-called imbalance in the players’ belief and desire states. As in realistic conversational situations, it is assumed that the information needed to answer a question can be present in a distributed manner. Consequently, the structure of the dialogues may become rather complex, and may result in the generation of counter-questions and sub-dialogues. It will be shown that the structure and the coherence of conversational units do not necessarily have to be the product of a complex planning process or a speech act grammar, but can be based on elementary generation rules that take only into account the local context. As a result, the conversational game does not suffer from the same computational complexity as existing planning models for speech act generation. Although simple in its basic form, the framework enables us to produce abstract conversations with some properties that agree strikingly with dialogue properties found in Conversation Analysis. (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)

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)

This book explores the various views on language and its relation to philosophy in the Platonic tradition by examening the reception of Plato’s Cratylus in antiquity in general, and the commentary of the Neoplatonist Proclus in particular.

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)

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.

The Platonic tradition offered Plotinus two, possibly conflicting, explanations of why people do wrong: the Socratic intellectualism of the Protagoras and the Timaeus and the account of the akratic soul in the Republic. In this paper I argue that Plotinus tacitly rejects akrasia, because it suggests that the superior part of the soul is overcome by inferior parts. It thus sits ill with Plotinus’s doctrine of the impassive soul. He prefers Socratic intellectualism instead. Socratic intellectualism holds that all wrongdoing is (...) due to ignorance and hence occurs involuntarily. Plotinus understands ignorance in this context as the failure of the embodied soul to fully actualize its powers, in particular its knowledge of the Forms. This knowledge is needed in order to correctly evaluate our desires that stir us into action. These desires arise spontaneously from the body and hence they occur involuntarily. (shrink)

This book puts the hymns by the Neoplatonist Proclus in the context of his philosophy and offers a detailed commentary together with a new translation of them.

This paper studies Sentence 16 of Porphyry's Pathways to the Intelligible. It is argued that it should be understood against the background of Plotinus' discussions of the similes of the waxen block and the aviary from Plato's Theaetetus. The first part of the paper concentrates on Plotinus' reception of these similes. In the second part of the paper Plotinus' discussions of the two similes are used to shed light on Sentence 16, in particular on the term προχείρισις. Furthermore it is (...) argued that Porphyry does not reject Plotinus' claim that, pace Aristotle, intellection does not require imaging. (shrink)

This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dialogue game in which two players produce speech acts to transfer relevant information with respect to their commitments. Central to the approach is that participants try to achieve some sort of balanced cognitive state as a result of speech act generation and interpretation. Cognitive states of the participants change as a result of the interpretation (...) of speech acts and these changes provoke the production of a subsequent speech act. Describing the properties and the dynamics of the mental constructs that constitute the participants’ cognitive states, such as beliefs and commitments, in relation to the various dialogue contributions is an essential aspect of the game. Although simple in its basic form, the framework enables us to produce abstract conversations with some properties that agree strikingly with coherence structures found in, for instance, Conversation Analysis. (shrink)

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)

The proclamation of the death of God came at a pivotal time in the history of humankind. It far transcended the concerns of the religious faithful and dented the entire fabric of human existence. Left to its own devices, humans intended their consciousness to replace God's. This proved to be a terrible mistake that collapsed the entire modern project. One of the worldviews that emerged in the wake of this eruption was antinatalism, which refers to the conviction that human reproduction (...) should be brought to an absolute halt. This is the most modern outgrowth of the death of God and represents the most radical face of secular humanism. In spite of the admittedly dark fumes that leak out from the term ‘antinatalism’, this philosophical position emerges quite naturally when we consider the depletion of our traditional sources of philosophical enquiry. (shrink)

In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator have at most one free variable. We show that the satisfiability problem for monodic formulas in various linear time structures can be reduced to the satisfiability problem for a certain fragment of classical first-order logic. This reduction is then used to single out a number of decidable fragments of first-order temporal logics and of two-sorted (...) first-order logics in which one sort is intended for temporal reasoning. Besides standard first-order time structures, we consider also those that have only finite first-order domains, and extend the results mentioned above to temporal logics of finite domains. We prove decidability in three different ways: using decidability of monadic second-order logic over the intended flows of time, by an explicit analysis of structures with natural numbers time, and by a composition method that builds a model from pieces in finitely many steps. (shrink)

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)

Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in that direction, we introduce λμTλμT, a combination of Parigotʼs λμ-calculus and Gödelʼs T, to extend a calculus with control operators with a datatype of natural numbers with a primitive recursor.We consider the problem of confluence on raw terms, and that of strong normalization for (...) the well-typed terms. Observing some problems with extending the proofs of Baba et al. and Parigotʼs original confluence proof, we provide new, and improved, proofs of confluence and strong normalization for our system.We conclude with some remarks about extensions, choices, and prospects for an improved presentation. (shrink)

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)

The twenty-first century is teeming with larger-than-life threats to our larger-than-life existence, such as famine, war, natural disasters and climate change, viruses, incurable disease, etc. At stake is the future of the human species as a whole. But it is not just external threats that herald the prospective end of humanity. We also face the general exhaustion of many of our earlier and more comfortable modes of philosophy. This is arguably a much graver threat. It is this gloomy atmosphere that (...) the philosophy of antinatalism taps into. Antinatalism is the philosophical view according to which human reproduction should be brought to a halt for any of a variety of reasons. It will be argued here, however, that we can only come to the antinatalist conclusion when we affirm that humankind (somehow) represents a very persistent anomaly in the universe at large. Otherwise, we could simply resort to (much) less radical steps than the ones advocated by antinatalism. Based on this, an important distinction will be made between reactionary (or activist) antinatalism and its more philosophical, so-called originary, counterpart. Ultimately, against recent attempts that push for a moderate embrace of antinatalism, the present work makes a strong case for it. It is argued that this is warranted by the very writings most usually associated with this radical philosophical position. (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)

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

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.

In our high-tech society, the design process involves profound questions about the effects of the resulting goods, and the responsibilities of designers. In the philosophy of technology, effects of “things” on user experience and behaviour have been discussed in terms of the concept of technological mediation. Meanwhile, what we create has moved more and more towards services (processes) rather than products (things), in particular in the context of information services. The question is raised to what extent the concept of technological (...) mediation is adequate to understand effects and responsibilities in information services as well. Therefore, this paper discusses differences between product aspects and service aspects of our creations, and evaluates the applicability of the concept of technological mediation to information services. Specific features of a notion of technological mediation for information services are highlighted, in particular with respect to the different relation between production and consumption. Finally, the paper focuses on the ethical consequences of service impact, and recommendations for service providers, especially in terms of the possibilities for second-order mediation by inviting users to change service properties. (shrink)

This paper details efforts by the Purdue School of Engineering and Technology at Indiana University Purdue University Indianapolis to create a single instrument for honors science, technology, engineering and mathematics students wishing to demonstrate competence in the IUPUI Principles of Undergraduate Learning and Accreditation Board for Engineering and Technology Engineering Accreditation Criterion and Technology Accreditation Criterion 2, a through k. Honors courses in Human Behavior, Ethical Decision-Making, Applied Leadership, International Issues and Leadership Theories and Processes were created along with a (...) specific menu of activities and an assessment rubric based on PUL’s and ABET criteria to evaluate student performance in the aforementioned courses. Students who complete the series of 18 Honors Credit hours are eligible for an Honors Certificate in Leadership Studies from the Department of Organizational Leadership and Supervision. Finally, an accounting of how various university assessment criteria, in this case the IUPUI Principles of Undergraduate Learning, can be linked to ABET outcomes and prove student competence in both, using the aforementioned courses, menu of items, and assessment rubrics; these will be analyzed and discussed. (shrink)