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)

Thomas Williams has developed a radical interpretation of Duns Scotus’s voluntarism using an earlier interpretation of my own as a foil. He argues that the goodness of creatures and the rightness of actions are wholly dependent on the divine will, apart from any reference to the divine intellect, human nature, or any principle other than God’s own arbitrary will. I explain how his interpretation fails to account for the roles that essential goodness and divine justice play in divine volition. (...) The unmitigated voluntarism that Williams develops does not conform to the full range of authentic Scotistic texts. Despite the interest Williams’s voluntarism may have if taken as a theoretical position, it does not do justice to the nuance and speculative depth of Scotus’s actual understanding of the divine will, whose creative artistry is repugnant to arbitrary volition. I am grateful to Williams for the provocation to develop further the richness of Scotus’s volutarism. (shrink)

Review of Allan B. Wolter and Daniel A. Frank, Duns Scotus: Metaphysician.

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)

The paper considers the set $\mathscr{M}\mathscr{L}_1$ of first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using a mosaic technique, we prove a general satisfiability criterion for formulas in $\mathscr{M}\mathscr{L}_1$, which reduces the modal satisfiability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragments of various modal predicate logics.

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

Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness and decidability. It is proved that all minimal tense extensions of modal logics of finite width as well as all minimal tense extensions of cofinal subframe logics are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are also presented.

When making decisions, humans can observe many kinds of information about others' activities, but their effects on performance are not well understood. We investigated social learning strategies using a simple problem-solving task in which participants search a complex space, and each can view and imitate others' solutions. Results showed that participants combined multiple sources of information to guide learning, including payoffs of peers' solutions, popularity of solution elements among peers, similarity of peers' solutions to their own, and relative payoffs from (...) individual exploration. Furthermore, performance was positively associated with imitation rates at both the individual and group levels. When peers' payoffs were hidden, popularity and similarity biases reversed, participants searched more broadly and randomly, and both quality and equity of exploration suffered. We conclude that when peers' solutions can be effectively compared, imitation does not simply permit scrounging, but it can also facilitate propagation of good solutions for further cumulative exploration. (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)

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)

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.

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.

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)

INTRODUCTION Although the writings of Thomas Reid are very fertile and interesting, his life is biographically barren in comparison to such seventeenth - and ...

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.

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)

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)

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)

THE NATURE OF ART is a collection of 29 seminal, historically-organized readings that are focused on a basic philosophical question: What is Art? Including writings from the Western tradition'both Continental and Analytic traditions'as well as non-Western, minority, and feminist writings, this volume provides students with a rich set of resources to explore this matter both broadly and deeply. Introductions to each reading situate the selection amidst each respective thinker's body of work and the greater philosophical context in which the remarks (...) arose. Reading questions accompany each selection, drawing students' attention to key points to be encountered. Hailed by reviewers and adopters for its clarity and rigor, Wartenberg's THE NATURE OF ART offers a lively and engaging introduction to the philosophy of art. (shrink)

The newly updated Right and Wrong 2nd Edition is an accessible introduction to the major traditions in western philosophical ethics, written in a lively and engaging style. It is designed for entry-level ethics courses and includes real-life ethical scenarios chosen to appeal directly to students. Greatly expanded and improved, this successful text introduces students to the major ethical traditions, and provides a simple methodology for resolving ethical dilemmas Treats teleological and deontological approaches to ethics as the two most important traditions, (...) but now includes chapters on virtue ethics and the ethics of care The very accessible writing style speaks directly to students’ own experience Draws examples from three types of real-life ethical scenarios submitted by students: academic dishonesty, partying, and personal relationships Provides a concise treatment of this notoriously complex subject, perfect for entry-level ethics and applied ethics courses. (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)

This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.

This chapter contains section titled: Personhood: A Start Are Dolphins Persons? Language and the Hand Personhood Redefined Conclusion: What Kind of Beings Are Dolphins?

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)

David Ekdahl (2023), in a constructive and thoughtful commentary, outlines both points of agreement with and suggestions for further research arising from our paper ‘Crossing the Fictional Line: Moral Graveness, the Gamer’s Dilemma, and the Paradox of Fictionally Going Too Far’ (Montefiore & Formosa, 2023).

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)

According to a widely held view, a Kantian intuition functions like a singular term. I argue that this view is false. Its apparent plausibility, both textual and philosophical, rests on attributing to Kant a Fregean conception of judgment. I show that Kant does not hold a Fregean conception of judgment and argue that, as a consequence, intuition cannot be understood on analogy with singular terms.

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)

In this book Thomas Wren uncovers and assesses the largely hidden philosophical assumptions about human motivation that have shaped contemporary psychological ...

This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.

This interdisciplinary volume questions one of the most fundamental tenets of social theory by focusing on detachment, an important but neglected aspect of social life. Going against the grain of recent theoretical celebrations of engagement, this book challenges us to re-think the relational basis of social theory. In so, doing it brings to light the productive aspects of disconnection, distance and detachment. Rather than treating detachment simply as the moral inversion of compassion and engagement, the volume brings together empirical studies (...) and theoretical comments by leading anthropologists, sociologists and science studies scholars. Taken together, these illustrate the range of contexts within which distance and disconnection can offer meaningful frameworks for action. Positioned at the cutting edge of social theory, this landmark volume will be of great interest to students and academics across the social sciences and humanities. (shrink)