A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The Glagolitic alphabet was intended as a political and religious tool for the Slavs in the ninth century. This paper argues that despite its quick suppression, Glagolitic – arguably composed by Constantine The Philosopher (a brother of Methodius) from Thessaloniki – could have been a mystical tool. The relevant historical context and hagiographical material are explored to establish the alphabet’s origins. Uspenskij’s distinction regarding the palaeographic and ideographic origins of scripts is then followed. A short survey of the most relevant (...) graphic features of some letters, their arrangement in the alphabet, their names, and their possible origins is accompanied by a more in-depth discussion of some key graphemes and their mystical potential. Tschernochvostoff’s theory of Glagolitic being woven upon three basic Christian symbols is elaborated on and expanded. Finally, the stunning (acrophonic) naming of the letters is shown as coding comprehensible Christian, and arguably mystical, messages in Proto-Slavic. (shrink)

In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

2020 is the year of the first pandemic lived through the Internet. More than half of the world population is now online and because of self-isolation, our moral and social lives unfold almost exclusively online. Two pressing questions arise in this context: how much can we rely on the Internet, as a set of technologies, and how much should we trust online platforms and applications? In order to answer these two questions, I develop an argument based on two fundamental assumptions: (...) the development stage of today’s Internet is a contingent and not a necessary one and technologies are never neutral. My argument is that today’s pandemic produced an acceleration of the change which started almost 30 years ago, one of online migration, datafication and algorithmization of day to day life, a change in which digital technologies take on the classic role of institutions, both formal and informal. My thesis is a descriptive one, although it has some normative implications: this take over is not just a translation, but a modification or mutation which demands a creative collective answer, although users don’t have direct power over it. When they play the role of institutions, these technologies are surrogates or simulacra. I offer the paradigmatic case of online education, an experiment we were forced into because of the pandemic, in order to show that the institutional matrix of education cannot be reproduced online, due to the limitations of the medium and of the applications, especially those concerning physical presence. In the end I will critically address the question of the role played by Artificial Intelligence in the pandemic, and then I will show that the open source ethics was more useful in approaching scientifically and technologically the problems generated by the epidemic. (shrink)

The future rests under the sign of technology. Given the prevalence of technological neutrality and inevitabilism, most conceptualizations of the future tend to ignore moral problems. In this paper we argue that every choice about future technologies is a moral choice and even the most technology-dominated scenarios of the future are, in fact, moral provocations we have to imagine solutions to. We begin by explaining the intricate connection between morality and the future. After a short excursion into the history of (...) Artificial Intelligence, we analyse two possible scenarios, which show that building the future with technology is, first and foremost, a moral endeavor. (shrink)

This interview, conducted over the span of several months, tracks the respective journeys of Constantin V. Boundas and Daniel W. Smith with the philosophy of Gilles Deleuze. Rather than “becoming Deleuzian,” which is neither desirable nor possible, these exchanges reflect an array of encounters with Deleuze. These include the initial discoveries of Deleuze’s writings by Boundas and Smith, in-person meetings between Boundas and Deleuze, and the wide-ranging and influential philosophical work on Deleuze’s concepts produced by both Boundas and Smith. (...) At stake in this discussion are key contributions by Deleuze to continental philosophy, including the distinction between the virtual and the actual and the very nature of a “concept.” Also at stake is the formative or pedagogical impact of a philosopher, like Deleuze, on those who find and fully engage with his texts, concepts, and project. Cette interview, menée sur plusieurs mois, suit les parcours respectifs de Constantin V. Boundas et Daniel W. Smith avec la philosophie de Gilles Deleuze. Au lieu de « devenir Deleuzien, » ce qui n’est ni souhaitable ni possible, ces échanges reflètent un éventail de rencontres avec Deleuze. Il s’agit notamment des premières découvertes des écrits de Deleuze par Boundas et Smith, des rencontres en personne entre Boundas et Deleuze, et du travail philosophique vaste et in????luent sur les concepts de Deleuze produit par Boundas et Smith. L’enjeu ici étant les contributions clés de Deleuze à la philosophie continentale, y compris la distinction entre le virtuel et l’actuel, et la nature même d’un « concept. » Mais il y a aussi l’impact formateur ou pédagogique d’un philosophe, comme Deleuze, sur ceux qui trouvent et s’engagent pleinement dans ses textes, ses concepts et ses projets. (shrink)

This paper investigates the emotional import of literary devices deployed in fiction. Reflecting on the often-favored approach in the analytic tradition that locates fictional characters, events, and narratives as sources of readers’ emotions, I attempt to broaden the scope of analysis by accounting for how literary devices trigger non-cognitive emotions. I argue that giving more expansive consideration to literary devices by which authors present content facilitates a better understanding of how fiction engages emotion. In doing so, I also explore the (...) somatic dimension of reading fiction. (shrink)

This paper argues for a novel interpretation of Hume's account of motivation, according to which beliefs can (alone) motivate action though not by standing as reasons which normatively favour it. It si then suggested that a number of contemporary debates about concerning the nature of reasons for action could benefit from such an approach.

The Internet has been identified in human enhancement scholarship as a powerful cognitive enhancement technology. It offers instant access to almost any type of information, along with the ability to share that information with others. The aim of this paper is to critically assess the enhancement potential of the Internet. We argue that unconditional access to information does not lead to cognitive enhancement. The Internet is not a simple, uniform technology, either in its composition, or in its use. We will (...) look into why the Internet as an informational resource currently fails to enhance cognition. We analyze some of the phenomena that emerge from vast, continual fluxes of information–information overload, misinformation and persuasive design—and show how they could negatively impact users’ cognition. Methods for mitigating these negative impacts are then advanced: individual empowerment, better collaborative systems for sorting and categorizing information, and the use of artificial intelligence assistants that could guide users through the informational space of today’s Internet. (shrink)

Volumul ”Sustenabilitatea educației doctorale în economie și afaceri” valorifică ideile și cercetările doctoranzilor de la Universitatea “Alexandru Ioan Cuza” din Iași, școala doctorală de economie și administrarea afacerilor. Lucrările au fost prezentate, prin postere sau în plen, în conferința finală a proiectului SESYR, finanțat prin programul european Jean Monnet. Structurarea volumului în patru subcapitole generice are ca scop valorificarea domeniilor considerate prin filosofia proiectului:managementul proiectelor, antreprenoriat si angajabilitate pentru tinerii cercetători. O colecție de 24 de articole având 35 de autori, (...) oferă un mediu de dezbatere științifică provocatoare pentru publicul cititor din domeniul economic. Focalizarea subiectelor din articolele prezente pe motivațiile de cercetare ale doctoranzilor și postdoctoranzilor face ca acest volum să reprezinte un debut publicistic pentru unii autori iar pentru alții, o consolidare a vocației. Diseminarea pasiunilor în astfel de contexte consolidează colaborarea și deschiderea spre noi subiecte investigative. Volumul este destinat studenților, cercetătorilor și profesorilor și îl propunem ca reper bibliografic pentru dezvoltarea altor idei de cercetare și inovare în arealul nostru tematic. (shrink)

Just as humans can draw conclusions responsibly or irresponsibly, so too can computers. Machine learning systems that have been trained on data sets that include irresponsible judgments are likely to yield irresponsible predictions as outputs. In this paper I focus on a particular kind of inference a computer system might make: identification of the intentions with which a person acted on the basis of photographic evidence. Such inferences are liable to be morally objectionable, because of a way in which they (...) are presumptuous. After elaborating this moral concern, I explore the possibility that carefully procuring the training data for image recognition systems could ensure that the systems avoid the problem. The lesson of this paper extends beyond just the particular case of image recognition systems and the challenge of responsibly identifying a person’s intentions. Reflection on this particular case demonstrates the importance (as well as the difficulty) of evaluating machine learning systems and their training data from the standpoint of moral considerations that are not encompassed by ordinary assessments of predictive accuracy. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)

Research on the most effective Linux iptables rules to mitigate Distributed Denial of Service (DDoS) attacks.

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

„Strategia noastră a fost de a gândi un text util pentru profesori, dar de a-l scrie mai ales pentru studenți. Etica este interesantă cu precădere atunci când pune în joc intuiții morale sau valori diferite și când ne confruntăm cu dileme în care decizia nu este evidentă, iar dezacordul este rezonabil. Prin urmare, am încercat să ne ferim pe cât a fost posibil de verdicte și de simpla enumerare a unor interdicții. Veți observa că, de cele mai multe ori, exercițiile (...) și temele de discuție nu au soluții impuse. Nu pentru că autorii manualului nu ar adera la anumite soluții (poate nu la aceleași!), ci pentru că ni s-a părut mult mai importantă conturarea problemelor. Dilemele și întrebările deschise generează dezbateri și prilejuiesc reflecție. Sentințele, pe de altă parte, tind să ucidă discuția și să prilejuiască mai curând reacții de îmbrățișare sau de respingere vehementă. Dacă vom ajunge, în comunitățile noastre profesionale și în societate, să vorbim mai mult unii cu alții și mai puțin unii la alții, vom fi făcut probabil un pas major în direcția corectă pentru dezvoltarea unei atitudini morale.” (Autorii). (shrink)

Psychological eudaimonism is the view that we are constituted by a desire to avoid the harmful. This entails that coming to see a prospective or actual object of pursuit as harmful to us will unseat our positive evaluative belief about that object. There is more than one way that such an 'unseating' of desire may be caused on an intellectualist picture. This paper arbitrates between two readings of Socrates' 'attack on laziness' in the Meno, with the aim of constructing a (...) model of moral education based on PE's implied moral psychology. In particular, we argue against the view that when we come to see - through prudential reasoning - that our blatant evaluative beliefs and desires disserve eudaimonism, we will no longer perceive their intentional objects as choice-worthy. We suggest, instead, that it is by experiencing shame that we cease to see the intentional objects of our evaluative beliefs and desires as worthy of pursuit. This form of 'hydraulic education' bypasses reason-responsiveness altogether. As such, it only allows for practical norms to be derived from the nature of agency indirectly, namely by enabling the use of discursive practical reasoning. (shrink)

Because spaying/neutering animals involves the harming of some animals in order to prevent harm to others, some ethicists, like David Boonin, argue that the philosophy of animal rights is committed to the view that spaying/neutering animals violates the respect principle and that Trap Neuter Release programs are thus impermissible. In response, I demonstrate that the philosophy of animal rights holds that, under certain conditions, it is justified, and sometimes even obligatory, to cause harm to some animals in order to prevent (...) greater harm to others. As I will argue, causing lesser harm to some animals in order to prevent greater harm to others, as TNR programs do, is compatible with the recognition of the inherent value of the ones who are harmed. Indeed, we can, and do, spay/neuter cats while acknowledging that they have value in their own right. (shrink)

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in a way that epistemic (...) bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (shrink)

The purpose of this paper is to assess the emergence of the pirate movements in the European Union. Our goal is to sketch the steps towards a research agenda for this grassroots political movement which gained momentum since 2009. To attain our goal we showed the re-signification of the concept of piracy in the debate around intellectual property and its institutional settlement. Afterwards we analysed the big political themes of several European Pirate Parties and their struggle to follow the preferences (...) of the median voter. We concluded with a set of hypotheses of which the most important is that the pirates will inscribe neither to the left nor to the right part of the political spectrum. (shrink)

Hostile epistemology is the study of how environmental features exploit our cognitive vulnerabilities. I am particularly interested in those vulnerabilities arise from the basic character of our epistemic lives. We are finite beings with limited cognitive resources, perpetually forced to reasoning a rush. I focus on two sources of unavoidable vulnerability. First, we need to use cognitive shortcuts and heuristics to manage our limited time and attention. But hostile forces can always game the gap between the heuristic and the ideal. (...) Second, we need to trust others, and trust makes us vulnerable. In particular, we need to trust experts whose expertise lies beyond our individual ability to vet. So we must rely on various imperfect signals and proxies, like institutional affiliation, to manage our trust. We are forced to use these imperfect and exploitable forms of reasoning, in order to cope with a cognitively overwhelming world. I present the hostile epistemology framework as a counterbalance to vice epistemology, which tends to locate responsibility for bad beliefs in the character of the believer. I draw two conclusions from my analysis. First: suppose we accept that that only communities and institutions can know about the world. This deeply social approach doesn’t solve the problem of expert identification. The individual still faces a problem: given their incomplete understanding, how should the individual pick which group to trust? Second: we might have hoped to get some kind of static picture of the right principles of reasoning — but hostile epistemology presents a different picture. We have to use risky heuristics and shortcuts, which hostile forces can game and exploit. We can respond by shifting to a different set of heuristics, but this simply shifts the location of our vulnerabilities. These new heuristics are also exploitable. There is no end to this, only a constant struggle to adapt. Limited beings in a hostile epistemic environment are locked in an unending epistemic arms race. (shrink)

“Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over other (...) methods of overcoming doubt and ‘fixing belief.’” — Robert Burch, “Charles Sanders Peirce,” entry in the Stanford Encyclopedia of Philosophy (2021 revision) -/- “Pragmatist epistemologies often explore how we can carry out inquiries in a self-controlled and fruitful way. (Where much analytic epistemology centres around the concept of knowledge, considered as an idealised end-point of human thought, pragmatist epistemology centres around the concept of inquiry, considered as the process of knowledge-seeking and how we can improve it.) So pragmatists often provide rich accounts of the capacities or virtues that we must possess in order to inquire well, and the rules or guiding principles that we should adopt. A canonical account is Peirce’s classic early paper ‘The Fixation of Belief‘. Here Peirce states that inquiry is a struggle to replace doubt with “settled belief“, and that the only method of inquiry that can make sense of the fact that at least some of us are disturbed by inconsistent beliefs, and will subsequently reflect upon which methods of fixing belief are correct is the Method of Science, which draws on the Pragmatic Maxim described above. This contrasts with three other methods of fixing belief: i) refusing to consider evidence contrary to one’s favored beliefs (the Method of Tenacity), ii) accepting an institution’s dictates (the Method of Authority), iii) developing the most rationally coherent or elegant-seeming belief-set (the A Priori Method).“ — Catherine Legg, “Pragmatism,” entry in the Stanford Encyclopedia of Philosophy (2021 revision). (shrink)

According to most accounts of trust, you can only trust other people (or groups of people). To trust is to think that another has goodwill, or something to that effect. I sketch a different form of trust: the unquestioning attitude. What it is to trust, in this sense, is to settle one’s mind about something, to stop questioning it. To trust is to rely on a resource while suspending deliberation over its reliability. Trust lowers the barrier of monitoring, challenging, checking, (...) and questioning. Trust sets up open pipelines between yourself and parts of the external world. Trust permits external resources to have a similar relationship to one as one’s internal cognitive faculties. This creates efficiency, but at the price of exquisite vulnerability. We must trust in this way because we are cognitively limited beings in a cognitively overwhelming world. Crucially, we can hold the unquestioning attitude towards objects and technologies. When I trust my climbing rope, I stop worrying about its reliability. When I trust my online calendaring system, I simply go to the events indicated, without question. But, one might worry, how could one ever hold such a normatively loaded attitude as trust towards mere objects? How could it ever make sense to feel betrayed by an object? Trust is our engine for expanding and outsourcing our agency — for binding external processes into our practical selves. Thus, we can be betrayed by our smartphones in the same way that we can be betrayed by our memory. When we trust, we try to make something a part of our agency, and we are betrayed when our part lets us down. To unquestioningly trust something is to let it in—to attempt to bring it inside one’s practical functioning. This suggests a new form of gullibility: agential gullibility, which occurs when agents too hastily and carelessly integrate external resources into their own agency. (shrink)

Games occupy a unique and valuable place in our lives. Game designers do not simply create worlds; they design temporary selves. Game designers set what our motivations are in the game and what our abilities will be. Thus: games are the art form of agency. By working in the artistic medium of agency, games can offer a distinctive aesthetic value. They support aesthetic experiences of deciding and doing. -/- And the fact that we play games shows something remarkable about us. (...) Our agency is more fluid than we might have thought. In playing a game, we take on temporary ends; we submerge ourselves temporarily in an alternate agency. Games turn out to be a vessel for communicating different modes of agency, for writing them down and storing them. Games create an archive of agencies. And playing games is how we familiarize ourselves with different modes of agency, which helps us develop our capacity to fluidly change our own style of agency. (shrink)

Games may seem like a waste of time, where we struggle under artificial rules for arbitrary goals. The author suggests that the rules and goals of games are not arbitrary at all. They are a way of specifying particular modes of agency. This is what make games a distinctive art form. Game designers designate goals and abilities for the player; they shape the agential skeleton which the player will inhabit during the game. Game designers work in the medium of agency. (...) Game-playing, then, illuminates a distinctive human capacity. We can take on ends temporarily for the sake of the experience of pursuing them. Game play shows that our agency is significantly more modular and more fluid than we might have thought. It also demonstrates our capacity to take on an inverted motivational structure. Sometimes we can take on an end for the sake of the activity of pursuing that end. (shrink)

Abstract. The neutral monism suggested by Constantin Rădulescu-Motru was a theoretical frame intended to match the general idea of Kant’s apriorism with the results reached by physics and psychology at the beginning of the 20th Key words: transcendental aesthetic; consciousness in general; empirical consciousness; psychophysical parallelism; phenomenal ontology; scientistic ontology.

The Jinn, which is regarded as the third kind of entity apart from the angel and the human being, has been the subject matter of several separate works written by both Muslims and non-Muslims in the past and present. In short, such works deal with the nature of jinns and their characteristics, and they cover matters such as the beliefs about jinns in several religions and cultures and their relationship with human beings. Apart from the fact that the primary source (...) of Islam, namely, the Quran, has a separate chapter called al-Jinn (The Jinn) /72, it provides information about jinns in many verses in several other chapters. Traditions also provide plenty of information about jinns. One example of such information is on the question whether the Holy Prophet have met with jinns. A study of the traditions on this matter reveals the fact that there are ṣaḥīḥ (authentic) traditions that appear to be in conflict with each other and/or with some of the verses in the Quran. In this paper, we have analyzed and evaluated the relevant traditions in order to reconcile these contradictions, thus we aimed to clarify the matter. The question on whether the Holy Prophet met with jinns is often discussed within the context of narrations coming from Ibn al-Masʿūd and Ibn ʿAbbās. While the traditions coming from Ibn al-Masʿūd indicate that the Prophet met with jinns, a tradition narrated by Ibn ʿAbbās says the opposite. In the present work, we have analyzed the outwardly conflicting traditions narrated by both companions along with traditions narrated by other companions on this matter in the light of the chronology of the revelation of the Quran. As a result, we have concluded that the Holy Prophet have met with jinns as narrated by Ibn al-Masʿūd and that the report narrated by Ibn ʿAbbās was about the first years of Islam. (shrink)

Twitter makes conversation into something like a game. It scores our communication, giving us vivid and quantified feedback, via Likes, Retweets, and Follower counts. But this gamification doesn’t just increase our motivation to communicate; it changes the very nature of the activity. Games are more satisfying than ordinary life precisely because game-goals are simpler, cleaner, and easier to apply. Twitter is thrilling precisely because its goals have been artificially clarified and narrowed. When we buy into Twitter’s gamification, then our values (...) shift from the complex and pluralistic values of communication, to the narrower quest for popularity and virality. Twitter’s gamification bears some resemblance with the phenomena of echo chambers and moral outrage porn. In all these phenomena, we are instrumentalizing our ends for hedonistic reasons. We have shifted our aims in an activity, not because the new aims are more valuable, but in exchange for extra pleasure. (shrink)