This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Despite hundreds of definitions, no consensus exists on a definition of life or on the closely related and problematic definitions of the organism and death. These problems retard practical and theoretical development in, for example, exobiology, artificial life, biology and evolution. This paper suggests improving this situation by basing definitions on a theory of a generalized particle hierarchy. This theory uses the common denominator of the “operator” for a unified ranking of both particles and organisms, from elementary particles to animals (...) with brains. Accordingly, this ranking is called “the operator hierarchy”. This hierarchy allows life to be defined as: matter with the configuration of an operator, and that possesses a complexity equal to, or even higher than the cellular operator. Living is then synonymous with the dynamics of such operators and the word organism refers to a select group of operators that fit the definition of life. The minimum condition defining an organism is its existence as an operator, construction thus being more essential than metabolism, growth or reproduction. In the operator hierarchy, every organism is associated with a specific closure, for example, the nucleus in eukaryotes. This allows death to be defined as: the state in which an organism has lost its closure following irreversible deterioration of its organization. The generality of the operator hierarchy also offers a context to discuss “life as we do not know it”. The paper ends with testing the definition’s practical value with a range of examples. (shrink)

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

Fake news can originate from an ordinary person carelessly posting what turns out to be false information or from the intentional actions of fake news factory workers, but broadly speaking it can also originate from scientific fraud. In the latter case, the article can be retracted upon discovery of the fraud. A case study shows, however, that such fake science can be visible in Google even after the article was retracted, in fact more visible than the retraction notice. We hypothesize (...) that the reason for this lies in the popularity-based logic governing Google, in particular its foundational PageRank algorithm, in conjunction with a psychological law which we refer to as the “law of retraction”: a retraction notice is typically taken to be less interesting and therefore less popular with internet users than the original content retracted. We conduct an empirical study drawing on records of articles retracted due to fraud in the Retraction Watch public database. The study tests the extent to which such retracted scientific articles are still highly ranked in Google –and more so than information about the retraction. We find, among other things, that both Google Search and Google Scholar more often than not ranked a link to the original article higher than a link indicating that the article has been retracted. Surprisingly, Google Scholar did not perform better in this regard than Google Search.We also found cases in which Google did not track the retraction of an article on the first result page at all. We conclude that both Google Search and Google Scholar run the risk of disseminating fake science through their ranking algorithms. (shrink)

Current research findings on metaphor in language and thought may be interpreted as producing a paradox of metaphor; that is, most metaphor is not processed metaphorically by a cross-domain mapping involving some form of comparison. This paradox can be resolved by attending to one crucial aspect of metaphor in communication: the question whether metaphor is used as deliberately metaphorical or not. It is likely that most deliberate metaphor is processed metaphorically (by comparison), as opposed to most nondeliberate metaphor, which may (...) be assumed to be typically not processed metaphorically (that is, by categorization). This resolves the paradox of metaphor because it suggests that all “metaphor in communication” (all deliberate metaphor) is processed metaphorically. Detailed comments are offered on the notion of metaphor deliberateness and on the nature of a three-dimensional model of metaphor in discourse involving metaphor in language, thought, and communication. (shrink)

At the start of the 21st century, Corporate Social Responsibility (CSR) seems to have great potential for innovating business practices with a positive impact on People, Planet and Profit. In this article the differences between the management systems approach of the nineties, and Corporate Social Responsibility are analysed.An analysis is structured around three business principles that are relevant for CSR and management systems: (1) doing things right the first time, (2) doing the right things, and (3) continuous improvement and innovation. (...) Basically CSR is focussing on the second principle, and management systems focus on the first. However, CSR is very likely to build on the management systems as well.From a CSR point of view, the existing generation of management systems with their focus on rational control (= doing things right) can only be of limited use in the development of CSR. However, the preventive rationalities of management systems are important. Values and the principle doing the right things is extremely relevant for CSR. This goes far beyond the present generation of ISO type management systems; opportunities stem from building on TQM approaches like the EFQM Business Excellence model. Continuous improvement and innovation is a permanent challenge underlying the two other business principles, and requires both individual and organisational learning processes. In the present generation of management systems, continuous improvement mainly addresses rational prevention, barely the value aspects of business.For the further development and implementation of CSR, each of the three business management principles are vital. There is a need for a new generation of management systems that addresses the values at stake in strategic decision-making, both at company level and in the behaviour of individuals, while the rationalities of prevention and anticipation are still relevant. In both directions more emphasis for continuous learning and innovation will be needed.CSR is likely to trigger the development of management systems in the directions mentioned. This will support companies to be credible and transparent in improving the performance with respect to people, planet and profit. (shrink)

I. Levi has advocated a decision-theoretic account of belief revision. We argue that the game-theoretic framework of Interrogative Inquiry Games, proposed by J. Hintikka, can extend and clarify this account. We show that some strategic use of the game rules generate Expansions, Contractions and Revisions, and we give representation results. We then extend the framework to represent explicitly sources of answers, and apply it to discuss the Recovery Postulate. We conclude with some remarks about the potential extensions of interrogative games, (...) with respect to some issues in the theory of belief change. (shrink)

This paper examines critically the reconstruction of the ‘Sherlock Holmes sense of deduction’ proposed jointly by M.B. Hintikka and J. Hintikka in the 1980s, and its successor, the interrogative model of inquiry developed by J. Hintikka and his collaborators in the 1990s. The Hintikkas’ model explicitly used game theory in order to formalize a naturalistic approach to inquiry, but the imi abandoned both the game-theoretic formalism, and the naturalistic approach. It is argued that the latter better supports the claim that (...) the imi provides a ‘logic of discovery’, and safeguards its empirical adequacy. Technical changes necessary to this interpretation are presented, and examples are discussed, both formal and informal, that are better analyzed when these changes are in place. The informal examples are borrowed from Conan Doyle’s The Case of Silver Blaze, a favorite of M.B. and J. Hintikka. (shrink)

We examine a special case of inquiry games and give an account of the informational import of asking questions. We focus on yes-or-no questions, which always carry information about the questioner's strategy, but never about the state of Nature, and show how strategic information reduces uncertainty through inferences about other players' goals and strategies. This uncertainty cannot always be captured by information structures of classical game theory. We conclude by discussing the connection with Gricean pragmatics and contextual constraints on interpretation.

We examine a special case of inquiry games and give an account of the informational import of asking questions. We focus on yes-or-no questions, which always carry information about the questioner's strategy, but never about the state of Nature, and show how strategic information reduces uncertainty through inferences about other players' goals and strategies. This uncertainty cannot always be captured by information structures of classical game theory. We conclude by discussing the connection with Gricean pragmatics and contextual constraints on interpretation.Send (...) article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.HOW CAN QUESTIONS BE INFORMATIVE BEFORE THEY ARE ANSWERED? STRATEGIC INFORMATION IN INTERROGATIVE GAMESVolume 9, Issue 2Emmanuel J. Genot and Justine JacotDOI: https://doi.org/10.1017/epi.2012.8Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. HOW CAN QUESTIONS BE INFORMATIVE BEFORE THEY ARE ANSWERED? STRATEGIC INFORMATION IN INTERROGATIVE GAMESVolume 9, Issue 2Emmanuel J. Genot and Justine JacotDOI: https://doi.org/10.1017/epi.2012.8Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. HOW CAN QUESTIONS BE INFORMATIVE BEFORE THEY ARE ANSWERED? STRATEGIC INFORMATION IN INTERROGATIVE GAMESVolume 9, Issue 2Emmanuel J. Genot and Justine JacotDOI: https://doi.org/10.1017/epi.2012.8Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

This paper examines patterns of metaphor in usage. Four samples of text excerpts of on average 47,000 words each were taken from the British National Corpus and annotated for metaphor. The linguistic metaphor data were collected by five analysts on the basis of a highly explicit identification procedure that is a variant of the approach developed by the Pragglejaz Group (Metaphor and Symbol 22: 1–39, 2007). Part of this paper is a report of the protocol and the reliability of the (...) procedure. Data analysis shows that, on average, one in every seven and a half lexical units in the corpus is related to metaphor defined as a potential cross-domain mapping in conceptual structure. It also appears that the bulk of the expression of metaphor in discourse consists of non-signalled metaphorically used words, not similes. The distribution of metaphor-related words, finally, turns out to be quite variable between the four registers examined in this study: academic texts have 18.5%, news 16.4%, fiction 11.7%, and conversation 7.7%. The systematic comparative investigation of these registers raises new questions about the relation between cognitive linguistic and other approaches to metaphor. (shrink)

This article discusses the ecological and cultural criteria underlying the management practices for protected areas in France. It examines the evolution of French conservation from its roots in the 19th century, when it focused on the protection of scenic landscapes, to current times when the focus is on the protection of biodiversity. However, biodiversity is often socially defined and may not represent an ecologically sound objective for conservation. In particular, we question the current approach to protecting a specific type of (...) biodiversity that is at the basis of traditional landscape but does not value systems that are left to develop naturally (i.e., without significant human intervention). We present several examples of current attempts in France and Europe to managing traditional ecosystems and then discuss the values that exist in systems that develop naturally. We feel the latter systems often have much to offer in terms of biodiversity as well as providing important sites for the study of dynamic ecological communities in an ever-changing world. (shrink)

This paper elaborates on conceptual, empirical and practical arguments why corporations need to focus on their social dimensions, in order to further enhance organizational performance. The paper starts with an introduction on the general trend towards inclusiveness and connectedness. It then elaborates on the phase-wise development of cultures and organizational structures. Managing corporate improvement by building cultures of trust is the central focus of this contribution. By showing the cultural dimensions of Great Places to Work and their workplace practices, worthwhile (...) experiences leading to organizational improvement and superior financial performance are demonstrated. (shrink)

"Bartley and Radnitzky have done the philosophy of knowledge a tremendous service. Scholars now have a superb and up-to-date presentation of the fundamental ideas of evolutionary epistemology." --Philosophical Books.

This paper elaborates on conceptual, empirical and practical arguments why corporations need to focus on their social dimensions, in order to further enhance organizational performance. The paper starts with an introduction on the general trend towards inclusiveness and connectedness. It then elaborates on the phase-wise development of cultures and organizational structures. Managing corporate improvement by building cultures of trust is the central focus of this contribution. By showing the cultural dimensions of Great Places to Work and their workplace practices, worthwhile (...) experiences leading to organizational improvement and superior financial performance are demonstrated. (shrink)

Olsson and his collaborators have proposed an extension of Belief Revision Theory where an epistemic state is modeled as a triple S=⟨K_,E,A_⟩ , where A_ is a research agenda, i.e. a set of research questions. Contraction and expansion apply to states, and affect the agenda. We propose an alternative characterization of the problem of agenda updating, where research questions are viewed as blueprints for research strategies. We offer a unified solution to this problem, and prove it equivalent to Olsson’s own. (...) We conclude arguing that: (i) our solution makes the idea of ‘minimal change’ in questions and agendas clearer; (ii) can be extended in ways the original theory was not, and may help better realize the aims this theory was proposed for; (iii) unveils some limitations of the initial approach, yet opening a way to overcome them. (shrink)

M. B. Hintikka and J. Hintikka claimed that their reconstruction of the ‘Sherlock Holmes sense of deduction’ can “serve as an explication for the link between intelligence and memory”. The claim is vindicated, first for the single-agent case, where the reconstruction captures strategies for accessing the content of a distributed and associative memory; then, for the multi-agent case, where the reconstruction captures strategies for accessing knowledge distributed in a community. Moreover, the reconstruction of the ‘Sherlock Holmes sense of deduction’ allows (...) to conceptualize those strategies as belonging to a continuum of behavioral strategies. (shrink)

This paper examines whether Sherlock Holmes’ “Science of Deduction and Analysis,” as reconstructed by Hintikka and Hintikka The sign of three: Peirce, Dupin, Holmes, Indiana University Press, Bloomington, 1983), exemplifies a logic of discovery. While the Hintikkas claimed it does, their approach remained largely programmatic, and ultimately unsuccessful. Their reconstruction must thus be expanded, in particular to account for the role of memory in inquiry. Pending this expansion, the Hintikkas’ claim is vindicated. However, a tension between the naturalistic aspirations of (...) their model and the formal apparatus they built it on is identified. The paper concludes on suggestions for easing this tension without losing the normative component of the Hintikkas’ epistemological model. (shrink)

We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication operator, (...) similar to Curry's subtraction operator, which is resituated with Linear Logic's contensor product. And we can add contraction to get nondistributive Relevance Logic. The model rests heavily on Urquhart's representation of nondistributive lattices and also on Dunn's Gaggle Theory. Indeed, the paper may be viewed as an investigation into nondistributive Gaggle Theory restricted to binary operations. The valuations on the Kripke model are three valued: true, false, and indifferent. The lattice representation theorem of Urquhart has the nice feature of yielding Priestley's representation theorem for distributive lattices if the original lattice happens to be distributive. Hence the representation is consistent with Stone's representation of distributive and Boolean lattices, and our semantics is consistent with the Lemmon-Scott representation of modal algebras and the Routley-Meyer semantics for Relevance Logic. (shrink)

This paper presents a theory of the syntactic aspects of human sentence production. An important characteristic of unprepared speech is that overt pronunciation of a sentence can be initiated before the speaker has completely worked out the meaning content he or she is going to express in that sentence. Apparently, the speaker is able to build up a syntactically coherent utterance out of a series of syntactic fragments each rendering a new part of the meaning content. This incremental, left‐to‐right mode (...) of sentence production is the central capability of the proposed Incremental Procedural Grammar (IPG). Certain other properties of spontaneous speech, as derivable from speech errors, hesitations, self‐repairs, and language pathology, are accounted for as well.The psychological plausibility thus gained by the grammar appears compatible with a satisfactory level of linguistic plausibility in that sentences receive structural descriptions which are in line with current theories of grammar. More importantly, an explanation for the existence of configurational conditions on transformations and other linguistics rules is proposed.The basic design feature of IPG which gives rise to these psychologically and linguistically desirable properties, is the “Procedures + Stack” concept. Sentences are built not by a central constructing agency which overlooks the whole process but by a team of syntactic procedures (modules) which work—in parallel—on small parts of the sentence, have only a limited overview, and whose sole communication channel is a stack.IPG covers object complement constructions, interrogatives, and word order in main and subordinate clauses. It handles unbounded dependencies, crossserial dependencies and coordination phenomena such as gapping and conjunction reduction. It is also capable of generating self‐repairs and elliptical answers to questions. IPG has been implemented as an incremental Dutch sentence generator written in LISP. (shrink)

This article demonstrates that typical restrictions which are imposed in dialogical logic in order to recover first-order logical consequence from a fragment of natural language argumentation are also forthcoming from preference profiles of boundedly rational players, provided that these players instantiate a specific player type and compute partial strategies. We present two structural rules, which are formulated similarly to closure rules for tableaux proofs that restrict players' strategies to a mapping between games in extensive forms and proof trees. Both rules (...) are motivated from players' preferences and limitations; they can therefore be viewed as being player-self-imposable. First-order logical consequence is thus shown to result from playing a specific type of argumentation game. The alignment of such games with the normative model of the Pragma-dialectical theory of argumentation is positively evaluated. But explicit rules to guarantee that the argumentation game instantiates first-order logical consequence have now become gratuitous, since their normative content arises directly from players' preferences and limitations. A similar naturalization for non-classical logics is discussed. (shrink)

It is possible to predict future life forms? In this paper it is argued that the answer to this question may well be positive. As a basis for predictions a rationale is used that is derived from historical data, e.g. from a hierarchical classification that ranks all building block systems, that have evolved so far. This classification is based on specific emergent properties that allow stepwise transitions, from low level building blocks to higher level ones. This paper shows how this (...) hierarchy can be used for predicting future life forms.The extrapolations suggest several future neural network organisms. Major aspects of the structures of these organisms are predicted. The results can be considered of fundamental importance for several reasons. Firstly, assuming that the operator hierarchy is a proper basis for predictions, the result yields insight into the structure of future organisms. Secondly, the predictions are not extrapolations of presently observed trends, but are fully integrated with all historical system transitions in evolution. Thirdly, the extrapolations suggest the structures of intelligences that, one day, will possess more powerful brains than human beings.This study ends with a discussion of possibilities for falsification of the present theory, the implications of the present predictions in relation to recent developments in artificial intelligence and the philosophical implications of the role of humanity in evolution with regard to the creation of future neural network organisms. (shrink)

The Barth–Krabbe–Hintikka–Hintikka Problem, independently raised by Barth and Krabbe and Hintikka and Hintikka Sherlock Holmes confronts modern logic: Toward a theory of information-seeking through questioning. Indiana University Press, Bloomington, 1983), is the problem of characterizing the strategic reasoning of the players of dialogical logic and game-theoretic semantics games from rational preferences rather than rules. We solve the problem by providing a set of preferences for players with bounded rationality and specifying strategic inferences from those preferences, for a variant of logical (...) dialogues. This solution is generalized to both game-theoretic semantics and orthodox dialogical logic. (shrink)

Explores the origin and evolution of the Greek concept of nature up until the time of Plato.

It has become widely recognized that religiousness has a predictable pattern of small associations with Big Five personality dimensions, and has some intersections with cultural psychology. But just how large are those culture-religiosity intersections, and are there additional associations with personality when one extends beyond the restricted spectrum represented by Big Five traits? Moreover, do the answers to these questions depend on how religiousness is defined and measured? I argue that, both conceptually and empirically, religiousness itself meets the criteria for (...) a personality dimension (including stability, heritability, and other grounds), and is simultaneously for the most part a cultural phenomenon reflecting often widely shared sets of beliefs, values, worldviews, and norms. The patterns of modest associations with other personality dimensions, from the Big Five and beyond, are consistent with both arguments. A distributive model of culture, under which culture is aggregated personalities (and especially mindsets) helps make sense of these relations. Tradition-oriented religiousness tends to have a prominent position in enduring-order (as contrasted with evolving-order) cultures, which helps account for its occasional expressions in political religion. In contrast, mystical spirituality is more prone to manifest as a sub-cultural phenomenon peripheral to mainstream culture. But for either conception—religiousness or spirituality—the same personality-and-culture propositions appear to hold. Nonetheless, religiousness seems not totally reducible to a variable for personality or cultural psychology, and considerations are introduced regarding what that irreducible element is most likely to be. (shrink)

Arif Ahmed has recently argued that causal decision theory is dynamically inconsistent and that we should therefore prefer evidential decision theory. However, the principal formulation of the evidential theory, Richard Jeffrey’s Logic of Decision, has a mixed record of its own when it comes to evaluating plans consistently across time. This note probes that neglected record, establishing the dynamic consistency of evidential decision theory within a restricted class of problems but then illustrating how evidentialists can fall into sequential incoherence outside (...) of this class. Uncovering the evidentialist’s own dynamic inconsistencies reveals, contra Ahmed, that sequential choice considerations do not significantly favor the evidentialist’s theory over the causalist’s. (shrink)

Die Autoren dieses Buches befassen sich mit dem Verhältnis der Wissenschaftstheorie zu den Wissenschaften. Vertreter verschiedener Natur- und Geisteswissenschaften kommen hier nach folgendem Anordnungsprinzip zu Worte: Von den »hard sciences« zu den »soft sciences«, von den empirisch leichter prüfbaren zu den empirisch schwerer prüfbaren Wissenschaften. Die klassischen Naturwissenschaften, Physik, Chemie und Biologie, machen den Anfang. Dann folgen Ökonomie, Soziologie und Geschichte.Fast alle Beiträge sind aus Vorträgen hervorgegangen, die im Juni 1989 während eines wissenschaftlichen Kolloquiums an der Universität Trier gehalten und (...) diskutiert wurden.Das Thema der Trierer Tagung lautete: »Der Kritische Rationalismus und die Wissenschaften«. Die jeweiligen Vertreter ihres Faches waren also eingeladen, insbesondere ihr Verhältnis zur Wissenschaftstheorie des Kritischen Rationalismus darzulegen. Das Tagungsthema war vor dem Hintergrund der in demselben Jahr erfolgenden Emeritierung von Gerard Radnitzky, einem der renommiertesten Vertreter des Kritischen Rationalismus, gewählt worden. (shrink)

For organizational development that is future-oriented, enterprises increasingly need qualified, motivated and efficient workers who are able and willing to contribute actively to technical and organizational innovations. Furthermore, customers and consumers are increasingly interested in healthy products and services. Therefore, health has become a (potential) business value of strategic importance. In interaction with all relevant stakeholders, an approach was developed for companies that want to manage their health impact in a proactive and preventive manner. The approach was termed Integral Health (...) Management (IHM). IHM forms a strategic approach for reducing the costs of sickness absence and working disability, while the productivity and resilience of the company and its employees are increased. This brings the company direct economic benefits. Finally, it is of prime interest for employees to remain physically and mentally healthy and employable. The IHM approach distinguishes seven lines of development: (1) health as a strategic company interest; (2) the realization of a healthy primary process; (3) a safe and sound physical (work) environment; (4) an inspiring social (work) environment; (5) vital people; (6) a sound relationship with the immediate organizational environment and local community, and (7) healthy products and/or services. The inter-relationships between the seven development lines are essential for combining an improvement of the business impact on health with a strategic interest of companies and organizations. The seven lines of IHM development can easily be linked to the European Foundation for Quality Management''s European Excellence Model. (shrink)

We describe a class of semantic extensive entailment game with algorithmic players, related to game-theoretic semantics, and generalized to classical first-order semantic entailment. Players have preferences for parsimonious spending of computational resources, and compute partial strategies, under qualitative uncertainty about future histories. We prove the existence of local preferences for moves, and strategic fixpoints, that allow to map eeg game-tree to the building rules and closure rules of Smullyan's semantic tableaux. We also exhibit a strategy profile that solves the fixpoint (...) selection problem, and can be mapped to systematic constructions of semantic trees, yielding a completeness result by translation. We conclude on possible generalizations of our games. (shrink)

: A popular belief is that the process whereby search engines tailor their search results to individual users, so-called personalization, leads to filter bubbles in the sense of ideologically segregated search results that would tend to reinforce the user’s prior view. Since filter bubbles are thought to be detrimental to society, there have been calls for further legal regulation of search engines beyond the so-called Right to be Forgotten Act. However, the scientific evidence for the filter bubble hypothesis is surprisingly (...) limited. Previous studies of personalization have focused on the extent to which different users get different results lists without taking the content on the webpages into account. Such methods are unsuitable for detecting filter bubbles as such. In this paper, we propose a methodology that takes content differences between webpages into account. In particular, the method involves studying the extent to which users with strong opposing views on an issue receive search results that are correlated content-wise with their personal view. Will users of with strong prior opinion that X is true on average have a larger share of search results that are in favor of X than users with a strong prior opinion that X is false? We illustrate our methodology at work, but also the non-trivial challenges it faces, by a small-scale study of the extent to which Google Search leads to ideological segregation on the issue of man-made climate change. (shrink)

We apply an algorithmic learning model of inquiry to model reasoning carried by experimental subjects in Wason's _Selection Task_ that represents reasoning in the task as computation of a decision tree that supervenes on semantic representations. We argue that the resulting model improves on previous probabilistic and pragmatic models of the task. In particular, it suggests that subjects' selection could in fact be guided by sophisticated patterns of argumentative reasoning.

In Wason’s Selection Task, subjects: process information from the instructions and build a mental representation of the problem, then: select a course of action to solve the problem,under the constraints imposed by the instructions. We analyze both aspects as part of a constraint satisfaction problem without assuming Wason’s ‘logical’ solution to be the correct one. We show that outcome of step may induce mutually inconsistent constraints, causing subjects to select at step solutions that violate some of them. Our analysis explains (...) why inconsistent constraints are less likely disrupt non-abstract versions of the tasks, but unlike Bayesians does not posit different mechanisms in abstract and thematic variants. We then assess the logicality of the task, and conclude on cognitive tasks as coordination problems. (shrink)

If semantic consequence is analyzed with extensive games, logical reasoning can be accounted for by looking at how players solve entailment games. However, earlier approaches to game semantics cannot achieve this reduction, by want of explicitly dened preferences for players. Moreover, although entailment games can naturally translate the idea of argumentation about a common ground, a cognitive interpretation is undermined by the complexity of strategic reasoning. We thus describe a class of semantic extensive entailment game with algorithmic players, who have (...) preferences for parsimonious spending of computational resources and thus compute partial strategies under qualitative uncertainty about future histories. We prove the existence of local preferences for moves and of strategic fixpoints that allow to map game-trees to tableaux proofs, and exhibit a strategy prole that solves the fixpoint selection problem, and can be mapped to systematic constructions of semantic trees, yielding a completeness result by translation. We then discuss the correspondence between proof heuristics and strategies in our games, the relations of our games to gts, and possible extensions to other entailment relations. We conclude that the main interest of our result lies in the possibility to bridge argumentative and cognitive models of logical reasoning, rather than in new meta-theoretic results. All proofs are given in appendix. (shrink)

Erik J. Olsson and David Westlund have recently argued that the standard belief revision representation of an epistemic state is defective. In order to adequately model an epistemic state one needs, in addition to a belief set K and an entrenchment relation E, a research agenda A, i.e. a set of questions satisfying certain corpus-relative preconditions the agent would like to have answers to. Informally, the preconditions guarantee that the set of potential answers represent a partition of possible expansions of (...) K, hence are equivalent to well-behaved sets of alternative hypotheses. (shrink)

Fake news can originate from an ordinary person carelessly posting what turns out to be false information orfrom the intentional actions of fake news factory workers,but broadly speaking it can also originate from scientific fraud. In the latter case, the article can be retracted upon discovery of the fraud. A case study shows, however, that such fake sciencecan be visible in Google even after the article was retracted, in fact more visible thanthe retraction notice. We hypothesize that the reason for (...) this lies in the popularity-based logic governing Google, in particular its foundational PageRank algorithm,in conjunction with a psychological law which we refer to as the “law of retraction”: a retraction notice is typically taken to be less interestingand therefore less popular with internet users than the original content retracted. We conduct anempiricalstudy drawing on records of articles retracted due to fraud in the Retraction Watch public database. The study tests the extent to which such retracted scientific articles are still highly ranked in Google –and more so than information about the retraction. We find, among other things, thatboth Google Search and Google Scholar more often than not rankeda link to the original article higher than a link indicating that the article has been retracted.Surprisingly, Google Scholar did not perform better in this regard than Google Search.We also foundcases in which Google didnot track the retraction of anarticle on the first result page at all.We conclude thatboth Google Search and Google Scholar runthe risk of disseminating fake science through theirranking algorithms. (shrink)

Reichenbach’s constraint is the methodological imperative formulated by Reichenbach in the following passage: “If we want to construct a philosophy of science, we have to distinguish carefully between two kinds of context in which scientific theories may be considered. The context of discovery is to be separated from the context of justification; the former belongs to the psychology of scientific discovery, the latter alone is to be the object of the logic of science.” Reichenbach’s constraint is usually understood as barring (...) epistemological models from attempting rational reconstructions of discovery processes. This paper shows that Reichenbach’s constraint also bars epistemological models from capturing inquiry processes as genuine learning processes. (shrink)

Instructions in Wason’s Selection Task underdetermine empirical subjects’ representation of the underlying problem, and its admissible solutions. We model the Selection Task as an interrogative learning problem, and reasoning to solutions as: selection of a representation of the problem; and: strategic planning from that representation. We argue that recovering Wason’s ‘normative’ selection is possible only if both stages are constrained further than they are by Wason’s formulation. We conclude comparing our model with other explanatory models, w.r.t. to empirical adequacy, and (...) modeling of bounded rationality. (shrink)

_Explores the origin and evolution of the Greek concept of nature up until the time of Plato._.