The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

This paper investigates the link between informational consequence and credence. I first suggest a natural constraint, namely that informational consequence should preserve certainty: on any rational credence distribution, when the premises of an informational inferences have credence 1, the conclusion also has credence 1. Then I show that the certainty‐preserving constraint leads to triviality. In particular, the following three claims are incompatible: (i) informational consequence is extensionally distinct from classical consequence; (ii) informational inferences preserve certainty; (iii) credences obey (a subset (...) of) classical Bayesian constraints. The proof is straightforward, but the theoretical implications are substantial. Informational theorists need to either give up the idea that credence applies to epistemic discourse, or develop a nonclassical theory of credence and credal update. Moreover, the result also suggests that there is a connection between informational consequence and triviality results, including classical triviality results like Lewis's. (shrink)

In the last decades, Systems Biology (including cancer research) has been driven by technology, statistical modelling and bioinformatics. In this paper we try to bring biological and philosophical thinking back. We thus aim at making diferent traditions of thought compatible: (a) causality in epidemiology and in philosophical theorizing—notably, the “sufcient-component-cause framework” and the “mark transmission” approach; (b) new acquisitions about disease pathogenesis, e.g. the “branched model” in cancer, and the role of biomarkers in this process; (c) the burgeoning of omics (...) research, with a large number of “signals” and of associations that need to be interpreted. In the paper we summarize frst the current views on carcinogenesis, and then explore the relevance of current philosophical interpretations of “cancer causes”. We try to ofer a unifying framework to incorporate biomarkers and omic data into causal models, referring to a position called “evidential pluralism”. According to this view, causal reasoning is based on both “evidence of diference-making” (e.g. associations) and on “evidence of underlying biological mechanisms”. We conceptualize the way scientists detect and trace signals in terms of information transmission, which is a generalization of the mark transmission theory developed by philosopher Wesley Salmon. Our approach is capable of helping us conceptualize how heterogeneous factors such as micro and macro-biological and psycho-social—are causally linked. This is important not only to understand cancer etiology, but also to design public health policies that target the right causal factors at the macro-level. (shrink)

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

Know-how and expressivism are usually regarded as disjoint topics, belonging to distant areas of philosophy. This paper argues that, despite obvious differences, the two debates have important similarities. In particular, semantic and conceptual tools developed by expressivists can be exported to the know-how debate. On the one hand, some of the expressivists' semantic resources can be used to deflect Stanley and Williamson's influential argument for factualism about know-how: the claim that knowing how to do something consists in knowing a fact. (...) On the other, expressivism provides the resources to formulate a nonfactualist account of know-how. On this account, know-how has a kind of nonpropositional content and plays the role of guiding performance of action, rather than recording information from the environment. (shrink)

Suppose you’re certain that a claim—say, ‘Frida is tall’—does not have a determinate truth value. What attitude should you take towards it? This is the question of the cognitive role of indeterminacy. This paper presents a puzzle for theories of cognitive role. Many of these theories vindicate a seemingly plausible principle: if you are fully certain that A, you are rationally required to be fully certain that A is determinate. Call this principle ‘Certainty’. We show that Certainty, in combination with (...) some minimal side premises, entails a very implausible claim: whenever you’re certain that it’s indeterminate whether A, it is rationally required that you reject A. This is a surprising result, which requires abandoning at least some intuitive views about indeterminacy and cognitive role. (shrink)

We review several of de Finetti’s fundamental contributions where these have played and continue to play an important role in the development of imprecise probability research. Also, we discuss de Finetti’s few, but mostly critical remarks about the prospects for a theory of imprecise probabilities, given the limited development of imprecise probability theory as that was known to him.

RESUMO O artigo propõe uma releitura cruzada dos conceitos de acidente, desenvolvido por Landowski no âmbito de sua teoria sociossemiótica da interação, e explosão, elaborado por Lotman em seus últimos escritos de semiótica da cultura. Longe de ser um fim em si mesmo, este confronto almeja esboçar uma síntese teórico-epistemológica que possa contribuir à análise dos processos comunicacionais-discursivos que regem o devir dos sistemas socioculturais, bem como ao seu enquadramento conceitual. A minha hipótese é que a cifra desta articulação resida (...) no vínculo entre a indeterminação destacada por ambos os autores e a carga estésica, isto é, o núcleo de tensões sensíveis que, conforme vislumbra Landowski, os acontecimentos acidentais/explosivos são capazes de mobilizar. Para procurar demonstrar sua pertinência e relevância, partirei de um caso concreto: as jornadas de junho de 2013 e seu impacto no processo que levou, em 2016, ao impeachment de Dilma Rousseff e, em 2018, à eleição de Jair Bolsonaro. ABSTRACT The article proposes a comparison between the concepts of accident, developed by Landowski in his sociosemiotic theory of interaction, and explosion, elaborated by Lotman in his last writings on the semiotics of culture. Far from being an end in itself, this confrontation aims to sketch a theoretical-epistemological synthesis that can contribute to the analysis of the communicational-discursive processes that trigger the historical flow of sociocultural systems, as well as to their conceptual categorisation. My hypothesis is that the basis of this articulation lies in the link between the indeterminacy highlighted by both authors, and the aesthesic value, that is, the core of sensible tensions that, as shown by Landowski, the accidental/explosive events could mobilise. In order to demonstrate its pertinence and relevance, I will focus on a specific case study: the 2013 protests in Brazil and their impact on the process that led to the impeachment of Dilma Rousseff in 2016 and the election of Jair Bolsonaro in 2018. (shrink)

In a recent paper, Christian List has argued for the compatibilism of free will and determinism. Drawing on a distinction between physical possibility and agential possibility, List constructs a formal two-level model in which the two concepts are consistent. This paper's first contribution is to show that though List's model is formally consistent, philosophically it falls short of establishing a satisfactory compatibilist position. Ensuingly, an analysis of the shortcomings of the model leads to the identification of a controversial epistemological assumption (...) implicit in the statements of both compatibilist and incompatibilist positions. Arguing that this assumption is not currently satisfied, the paper's second contribution is to show that neither the compatibilist nor the incompatibilist position is presently well-founded. (shrink)

In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison between (...) the two and a statement of semantic equivalence with respect to two different logical systems: a doxastic logic for belief and an epistemic–doxastic logic for belief and knowledge. Moreover, a sound and complete axiomatization of these logics with respect to the two equivalent Kripke semantics and type spaces semantics is provided. Finally, a probabilistic extension of the result is also presented. A further result of the paper is a study of the relationship between the epistemic–doxastic logic for belief and knowledge and the logic STIT by Belnap and colleagues. (shrink)

"The fact is, man is an etymologizing animal."Etymologizing—the practice of connecting one word with one or more other similar-sounding words that are believed to elucidate its meaning1—is a complex and putatively universal phenomenon.2 Thus, to take two representative examples far apart in time and space, etymologizing practices figure prominently in some episodes of the Hebrew Bible,3 but also provide some modern influential thinkers with an important mode of argument.4 Perhaps etymologizing is so pervasive because it offers a pliable and powerful (...) tool for addressing a key question, namely, why is something called what it is?While this question has universal appeal, only a few cultures seem to have addressed it... (shrink)

Our focus in this chapter is to address some of the philosophical issues that arise in the scientific and clinical study of the prodromal phase of psychosis. We discuss issues from both metaphysics and philosophy of science as we all as those related to phenomenological approaches and clinical ethics. A clear challenge arises in considering how models of a continuum of psychosis and of schizophrenia as a neurodevelopmental disorder can be reconciled with a scientific understanding of the prodrome as a (...) discrete constellation of signs and symptoms. Clinical and research work on the prodromal stage of psychosis also highlights ethical concerns. Demarcating a mental disorder and applying therapeutic interventions, based solely on risk estimation, should not be carried out lightly. (shrink)

This essay explores selected examples of puns and etymologizing in the Pali canon. It argues that they do not solely serve a satirical intent, but are sophisticated rhetorical devices, skilfully employed by the Buddha to induce a reflective awareness in the listeners and persuade them into accepting his view. Their rhetorical function and efficacy is investigated, while foregrounding a new interpretation of the Aggaññasutta.

Still today it remains unclear whether Galileo ever climbed the leaning tower of Pisa in order to drop bodies from its top. Some believe that he established the principle of equal speeds for falling bodies by means of an ingenious thought experiment. However, the reconstruction of that thought experiment circulating in the philosophical literature is no more than a cartoon. In this paper I will tell the story of the thought processes behind the cartoon.Keywords: Galileo Galilei; Thought experiment; Falling bodies.

Nous faisons usage de machines, de chaussures, de cartes, en vue de notre vie, de sa conservation et de son développement. Mais c’est la vie elle-même qui est avant tout « usable », et pour laquelle machines, chaussures, cartes sont utilisées. L’ usage de soi, de son existence, est le présupposé et la poutre maîtresse de tous les autres usages. Or l’usage de soi se fonde sur le détachement de soi. Est utilisée une existence à laquelle on ne peut pas (...) toujours s’identifier, qui ne se possède pas entièrement et qui, sans être vraiment étrangère, n’est pas non plus complètement familière. Autrement dit, l’usage de la vie concerne l’espèce qui, en plus de vivre, doit rendre sa vie possible. Le jeu de scène théâtral récapitule et amplifie les procédés par lesquels l’être humain se sert de son existence. L’activité de l’acteur est un modèle incomparable de l’usage de la vie et du souci de soi. Pour reconstituer avec précision les « technologies du soi », il convient de regarder de près les écrits de Stanislavski, Mejerchol’d, Brecht et Grotowski. (shrink)

The aim of this article is to understand an important passage in the history of the sciences of the psyche: starting from the psychiatric problematization — and the consequent emergence — of the concept and the object called ‘sexuality’ in the second half of the 19th century, it attempts to show a series of continuities and discontinuities between this kind of reasoning and the birth of psychoanalysis in the first years of the 20th century. The particular focus is therefore directed (...) on two texts: Krafft-Ebing’s Psychopathia Sexualis and Freud’s Three Essays on the Theory of Sexuality. The argument runs along three intertwined axes: (1) an historico-epistemological analysis of the concepts and their transformations in the field of the science of sexuality; (2) an analysis of the power relationships between patients and physicians; and (3) an account of the psychiatric technologies of the self that have as an effect the emergence of new forms of ‘objective’ knowledge of the subject. The broader goal is to trace a map of the simultaneous and correlate coming into being and transformations both of new forms of objects and of new forms of subjects through the mediation of scientific concepts and techniques. (shrink)

The main aim of this paper is to put Peano’s opinion about the unacceptability of the actual infinitesimal notion into evidence. First we briefly focus on the cultural environment where Peano’s considerations originated and developed. Then we examine Peano’s article of 1892, “Dimostrazione dell’impossibilità di segmenti infinitesimi costanti” [Peano 1892].

The main aim of this paper is to put Peano’s opinion about the unacceptability of the actual infinitesimal notion into evidence. First we briefly focus on the cultural environment where Peano’s considerations originated and developed. Then we examine Peano’s article of 1892, “Dimostrazione dell’impossibilità di segmenti infinitesimi costanti” [Peano 1892].

Scoring rules constitute a particularly popular technique for aggregating a set of rankings. However, setting the weights associated with rank positions is a crucial task, as different instantiations of the weights can often lead to different winners. In this work we adopt minimax regret as a robust criterion for determining the winner in the presence of uncertainty over the weights. Focusing on two general settings we provide a characterization of the minimax regret rule in terms of cumulative ranks, allowing a (...) quick computation of the winner. We then analyze the properties of using minimax regret as a social choice function. Finally we provide some test cases of rank aggregation using the proposed method. (shrink)

La grammaire de la multitude en définit les traits saillants : le premier est la fin de la séparation du public et du privé. En découle un nouveau rapport entre l’individuel et le collectif : on ne converge pas dans l’Un, on agit différemment à partir d’un fond commun. La multitude est ambivalente, servile et révoltée à la fois. Elle aime avoir peur, mais en étant à l’abri, elle demande de la sécurité. Elle est animée par le sentiment de ne (...) pas se sentir chez soi, et adopte par rapport à cela des stratégies différentes, voire opposées. Les « lieux communs » caractérisent ses discours qui prennent des formes très générales. Ce recours aux « lieux communs » vient directement du sentiment de ne pas se sentir chez soi, et de devoir penser de quelle manière on y est. Mais l’aspect public de l’intellect éprouvé en commun, loin de laisser libre, crée une dépendance personnelle par rapport à des hiérarchies diverses. Chacun se comporte en public en virtuose, en artiste interprète, dans la coopération productive en quoi consiste tout travail contemporain. (shrink)

Etymologies are often encountered in Vedic prose, in Brāhmaṇas and early Upaniṣads. Though they have received a fair amount of scholarly attention, Vedic etymologies still present a challenge to interpreters. To respond to it, I critically review previous interpretations, and focus on three case studies, Aitareya Brāhmaṇa 1.1.2, Bṛhadāraṇyaka Upaniṣad 1.3, and Chāndogya Upaniṣad 6.8. In my interpretation, I emphasize the need for a contextual reading, foreground Vedic etymologies’ complexity and sophistication, and call attention to the variety of purposes they (...) serve to achieve as well as to Vedic etymologists’ agency. Supplementing conventional interpretations concentrating mostly on their religious-magical aspects, I describe Vedic etymologies as discursive devices used by Vedic authors to further their thoughts and agendas. (shrink)

In this paper the PA-completeness of modal logic is studied by syntactical and constructive methods. The main results are theorems on the structure of the PA-proofs of suitable arithmetical interpretationsS of a modal sequentS, which allow the transformation of PA-proofs ofS into proof-trees similar to modal proof-trees. As an application of such theorems, a proof of Solovay's theorem on arithmetical completeness of the modal system G is presented for the class of modal sequents of Boolean combinations of formulas of the (...) form p i,m i=0, 1, 2, ... The paper is the preliminary step for a forthcoming global syntactical resolution of the PA-completeness problem for modal logic. (shrink)

Standard applications of evolutionary game theory look at a single game and focus on the evolution of behavior for that game alone. Instead, this article uses tools from evolutionary game theory to study the competition between choice mechanisms in a rich and variable multigame environment. A choice mechanism is a way of subjectively representing a decision situation, paired with a method for choosing an act based on this subjective representation. We demonstrate the usefulness of this approach by a case study (...) that shows how subjective representations in terms of regret that differ from the actual fitness can be evolutionarily advantageous. (shrink)

It has often been claimed that (i) Aristotle's expression 'protasis' means 'premiss' in syllogistic contexts and (ii) cannot refer to the conclusion of a syllogism in the Prior Analytics. In this essay we produce and defend a counter-example to these two claims. We argue that (i) the basic meaning of the expression is 'proposition' and (ii) while it is often used to refer to the premisses of a syllogism, in Prior Analytics 1.29, 45b4-8 it is used to refer to the (...) conclusion of a syllogism. In our view, the best explanation of Aristotle's use of the expression 'protasis' is that it means proposition throughout but is frequently used without change of meaning (in certain specific contexts) to refer to the premisses from which a conclusion follows. In Prior Analytics 1.29, 45b4-8 he uses 'protasis' to refer to the conclusion when he needs a single expression to refer to both the conclusion and one of the premisses of the syllogism that constitutes the core of a syllogism through the impossible. If we are correct, we have shown that the view that the expression 'the final protasis' in EN 7.3, 1147b9ff must mean 'the final premiss' and so cannot refer to the conclusion of the relevant syllogism is mistaken. (shrink)

This paper aims to foster an interdisciplinary dialogue between Ricoeur’s phenomenological- hermeneutical thought and human geography, in particular with respect to the issue of landscape interpretation. The connection draws on the idea that landscapes and lived spaces can be read as texts, not unfamiliar to human geography and semiotics from 1980s onward. In the first part of the paper I will briefly expound some theories of landscape which make use of the metaphors “landscape as cultural image” and “landscape as text” (...) in human and cultural geography. Then, I will discuss the main contribution of Ricoeur to the issue of space. The philosopher already envisioned a possible application of his “threefold mimesis” of Time and Narrative to architectural spaces. In the conclusion, I will propose to rejuvenate the geographical metaphor of “landscape as text” by introducing a possible application of the Ricoeurian notion of “meaningful action as text” to landscape. (shrink)

Hypercomputation—the hypothesis that Turing-incomputable objects can be computed through infinitary means—is ineffective, as the unsolvability of the halting problem for Turing machines depends just on the absence of a definite value for some paradoxical construction; nature and quantity of computing resources are immaterial. The assumption that the halting problem is solved by oracles of higher Turing degree amounts just to postulation; infinite-time oracles are not actually solving paradoxes, but simply assigning them conventional values. Special values for non-terminating processes are likewise (...) irrelevant, since diagonalization can cover any amount of value assignments. This should not be construed as a restriction of computing power: Turing’s uncomputability is not a ‘barrier’ to be broken, but simply an effect of the expressive power of consistent programming systems. (shrink)

This paper is the final part of the syntactic demonstration of the Arithmetical Completeness of the modal system G; in the preceding parts [9] and [10] the tools for the proof were defined, in particular the notion of syntactic countermodel. Our strategy is: PA-completeness of G as a search for interpretations which force the distance between G and a GL-LIN-theorem to zero. If the GL-LIN-theorem S is not a G-theorem, we construct a formula H expressing the non G-provability of S, (...) so that ⊢GL-LIN ∼ H and so that a canonical proof T of ∼ H in GL-LIN is a syntactic countermodel for S with respect to G, which has the height θ(T) equal to the distance d(S, G) of S from G. Then we define the interpretation ξ of S which represents the proof-tree T in PA. By induction on θ(T), we prove that ⊢PA Sξ and d(S, G) > 0 imply the inconsistency of PA. (shrink)

Fino a vent’anni fa il nome di Solger, uno dei pensatori più significativi del Romanticismo tedesco, certo il più sistematico e filosoficamente attrezzato tra i protagonisti di quella grande stagione, era noto in Italia, anche fra gli studiosi di estetica, quasi soltanto per la menzione che delle sue teorie viene fatta nelle Lezioni di Estetica di Hegel. Nel giro di pochi anni, però, la situazione è radicalmente cambiata. Sono state tradotte le sue Lezioni di estetica, apparse postume nel 182...

The Russian conquest of Central Asia marked the beginning of record-keeping for Qazaq arbitrators and customary law. It remains obscure how bīs complied with the colonial regulations obliging them to record their court proceedings. I approach this issue first by questioning the utility of extra-judicial sources crafted in Russian at the instigation of colonial bureaucrats; hence, I argue that the comparison alone of ’ādat-related judicial records written in Turki with šarī’a court certificates allows situating the legal terminology applied by Qazaq (...) arbitrators within the discursive tradition of Islamic law. By way of illustrating my approach, I offer a close reading of a report of a murder case adjudicated according to Qazaq customary law in the vicinity of Khiva in 1895. My commentary on the summary of the trial sheds light on the interplay of customary and Islamic law in the region. In addition, it challenges earlier interpretations of the use of the exculpatory oath among the Qazaqs. (shrink)

In this article I suggest that in the Soviet period Central Asians cultivated and conceptualized Islam as an episteme. They did this by reaching beyond alienating categories offered to them by the state. I argue that the constitution of an Islamic culture was made possible, among other things, by Central Asians’ encounters with the past, most notably with what they perceived as an Islamic past. We observe the curious phenomenon of Central Asians’ continuous interaction with the Islamic historical sites that (...) escaped the bulldozers of the Soviet campaigns of religious repression. For some, encounters with the past might be accidental. For many others, the exploration of the past represented a purposive, self-conscious, and reiterated emotional act. I show that Central Asians in the Soviet period—even if at school they were taught little about, and were usually offered a distorted vision of, the Islamic history of their region—were still able to access their past through the surviving architectural presence of Islam. Monumental sites, however, were not enough for Muslims to understand the past and use it to construct their own identity. Such artifacts acquired meaning through an interpretive framework provided by Sufi narratives about saints and their miracles. Therefore, shrines represented for Central Asia a collective memory space, i.e., a place in which the past was preserved for mobilization in the present through narrative. (shrink)

As is made clear by the exergue by Carlo Ginzburg at the beginning of the introduction to the volume, the topic of fakes, forgeries, deceptions, and hoaxes in early modern science touches upon several crucial issues for historians of science, such as the possibilities of disentangling the true from the false in writing history, and to assess criteria of demarcations of truth and falsity in knowledge. Moreover, dealing with fakes also means going beyond rigid disciplinary boundaries. Indeed, the editors Marco (...) Beretta and Maria Conforti underline that the inspirational sources for this book—which has its origins from the Second Watson Seminar in the History of Material and Visual Science held at the Museo Galileo in Florence in June 2013—range from Orson Welles to Trevor Roper’s famous The Hermit of Peking. Consequently, starting from the “rather naïve question” of why, since fakes, forgeries, and deception techniques proliferate in early modern sciences and culture, we still have v .. (shrink)

It has often been claimed that Aristotle’s expression ‘protasis’ means ‘premiss’ in syllogistic contexts and cannot refer to the conclusion of a syllogism in the Prior Analytics. In this essay we produce and defend a counter-example to these two claims. We argue that the basic meaning of the expression is ‘proposition’ and while it is often used to refer to the premisses of a syllogism, in Prior Analytics 1.29, 45b4-8 it is used to refer to the conclusion of a syllogism. (...) In our view, the best explanation of Aristotle’s use of the expression ‘protasis’ is that it means proposition throughout but is frequently used without change of meaning to refer to the premisses from which a conclusion follows. In Prior Analytics 1.29, 45b4-8 he uses ‘protasis’ to refer to the conclusion when he needs a single expression to refer to both the conclusion and one of the premisses of the syllogism that constitutes the core of a syllogism through the impossible. If we are correct, we have shown that the view that the expression ‘the final protasis’ in EN 7.3, 1147b9ff must mean ‘the final premiss’ and so cannot refer to the conclusion of the relevant syllogism is mistaken. (shrink)

Quantum cellular automata and quantum walks provide a framework for the foundations of quantum field theory, since the equations of motion of free relativistic quantum fields can be derived as the small wave-vector limit of quantum automata and walks starting from very general principles. The intrinsic discreteness of this framework is reconciled with the continuous Lorentz symmetry by reformulating the notion of inertial reference frame in terms of the constants of motion of the quantum walk dynamics. In particular, among the (...) symmetries of the quantum walk which recovers the Weyl equation—the so called Weyl walk—one finds a non linear realisation of the Poincaré group, which recovers the usual linear representation in the small wave-vector limit. In this paper we characterise the full symmetry group of the Weyl walk which is shown to be a non linear realization of a group which is the semidirect product of the Poincaré group and the group of dilations. (shrink)