Noise in behavior is often viewed as a nuisance: while the mind aims to take the best possible action, it is let down by unreliability in the sensory and response systems. How researchers study cognition reflects this viewpoint – averaging over trials and participants to discover the deterministic relationships between experimental manipulations and their behavioral consequences, with noise represented as additive, often Gaussian, and independent. Yet a careful look at behavioral noise reveals rich structure that defies easy explanation. First, both (...) perceptual and preferential judgments show that sensory and response noise may potentially only play minor roles, with most noise arising in the cognitive computations. Second, the functional form of the noise is both non-Gaussian and non-independent, with the distribution of noise being better characterized as heavy-tailed and as having substantial long-range autocorrelations. It is possible that this structure results from brains that are, for some reason, bedeviled by a fundamental design flaw, albeit one with intriguingly distinctive characteristics. Alternatively, noise might not be a bug but a feature: indeed, we suggest that noise is fundamental to how cognition works. Specifically, we propose that the brain approximates probabilistic inference with a local sampling algorithm, one that uses randomness to drive its exploration of alternative hypotheses. Reframing cognition in this way explains the rich structure of noise and leads to a surprising conclusion: that noise is not a symptom of cognitive malfunction but plays a central role in underpinning human intelligence. (shrink)

This contribution deals with the ethical challenges arising from the IoT landscape with reference to a specific context, i.e. the realm of agri-food. In this sector, innumerable web-connected tools, platforms and sensors are constantly interacting with consumers/users/citizens, by reshaping and redefining the core elements and functions of machine–human being relationships. By sketching out the main pillars which ethics of the Internet of Food is founded on, my argument posits that the civic hybridization of knowledge production mediated by IoT technologies may (...) create breeding ground for the move towards an ‘ethical in-design’ approach to the IoF-driven smart systems. (shrink)

This article describes research to build an embodied conversational agent as an interface to a question-and-answer system about a National Science Foundation program. We call this ECA the LifeLike Avatar, and it can interact with its users in spoken natural language to answer general as well as specific questions about specific topics. In an idealized case, the LifeLike Avatar could conceivably provide a user with a level of interaction such that he or she would not be certain as to whether (...) he or she is talking to the actual person via video teleconference. This could be considered a extended version of the seminal Turing test. Although passing such a test is still far off, our work moves the science in that direction. The Uncanny Valley notwithstanding, applications of such lifelike interfaces could include those where specific instructors/caregivers could be represented as stand-ins for the actual person in situations where personal representation is important. Possible areas that come to mind that might benefit from these lifelike ECAs include health-care support for elderly/disabled patients in extended home care, education/training, and knowledge preservation. Another more personal application would be to posthumously preserve elements of the persona of a loved one by family members. We apply this approach to a Q/a system for knowledge preservation and dissemination, where the specific individual who had this knowledge was to retire from the US National Science Foundation. The system is described in detail, and evaluations were performed to determine how well the system was perceived by users. (shrink)

Flesh of My Flesh is a collection of articles by today's most respected scientists, philosophers, bioethicists, theologians, and law professors about whether we should allow human cloning. It includes historical pieces to provide background for the current debate. Religious, philosophical, and legal points of view are all represented.

Both Aristotle and Ernst Mayr present theories of dual explanation in biology, with proximal, clearly physical explanations and more distal, biology-specific explanations. Aristotle’s presentation of final cause explanations in Posterior Analytics relates final causes to the necessary material, formal, and efficient causes that mediate them. Johnson and Leunissen demonstrate the problematic nature of historical and recent interpretations and open the door for a new interpretation consistent with modern evolutionary theory. Mayr’s differentiation of proximate and ultimate/evolutionary causes provides a key (...) to appropriating Aristotle for modern use, if care is taken to differentiate Mayr’s proximate/distal and mechanical/evolutionary distinctions from his intentional/non-intentional distinction. Building on Mayr, and noting his appropriation of ancient and recent commentary, a strong case can be made for nested explanation, wherein evolutionary explanations are instantiated in systems of mechanical explanations. Biological concepts of organism, gene, function, etc., are etiologically prior to mechanical explanations of function, but temporally posterior to mechanical explanations of historical adaptation. Such an analysis sheds light on recent arguments within evolutionary biology while highlighting the importance of epistemology in contemporary science. (shrink)

Leon Horsten has recently claimed that the class of mathematical truths coincides with the class of theorems of ZFC. I argue that the naturalistic character of Horsten’s proposal undermines his contention that this claim constitutes an analogue of a thesis that Daniel Isaacson has advanced for PA. I argue, moreover, that Horsten’s defence of his claim against an obvious objection makes use of a distinction which is not available to him given his naturalistic approach. I suggest a way out (...) of the objection which is in line with the naturalistic spirit of Horsten’s proposal but which further weakens the analogy with Isaacson’s Thesis. I conclude by evaluating the prospects for providing an analogue of Isaacson’s Thesis for ZFC. (shrink)

The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the (...) mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Godel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field. (shrink)

Considerando la disciplina degli effetti civili del matrimonio canonico, improntata a diversi “sistemi matrimoniali”, il volume ripercorre le vicende politiche e culturali che hanno segnato la storia dei rapporti tra le autorità statali e le autorità ecclesiastiche, lungo un periodo che copre circa due secoli, dal Code civil napoleonico del 1804 ai Codici degli Stati preunitari, dal Codice civile del 1865 del Regno d’Italia ai Patti Lateranensi stipulati dal regime fascista nel 1929, dalla discussione nell’Assemblea costituente nell’Italia repubblicana alle (...) vicende politiche degli anni Cinquanta e Sessanta, sino ai negoziati bilaterali che portarono all’Accordo di Villa Madama, ratificato il 25 marzo 1985. Esaminando le innovazioni formali e sostanziali introdotte nella riforma del matrimonio concordatario, si evidenziano le questioni che continuano a essere oggetto di controversie dottrinali e di sentenze delle corti di giustizia, volte a colmare le lacune e contraddizioni dell’attuale normativa matrimoniale. (shrink)

A gênese histórica da paróquia e seu desenvolvimento estrutural em relação à história da Igreja é a problemática central à qual este texto está subordinado. Por esta razão, o texto parte da etimologia do termo paróquia à compreensão de suas origens e matrizes dentro da concepção do cristianismo nascente e em suas raízes bíblicas, sem a pretensão de apresentar críticas e reformulações da estrutura paroquial. O respectivo trabalho toma como alicerce os decorrentes períodos e fatos históricos da Igreja para caracterizar (...) e contextualizar o desenvolvimento da paróquia que, desde os primórdios, está subordinada a estruturas de autoridades eclesiais. O seguinte texto vale-se de documentos importantes que contextualizam a visão, função e organização da paróquia como parte fundamentalmente integrante do corpo eclesial, bem como conceituam juridicamente esta comunidade de fé, célula da Igreja Particular. Após um apanhado geral da genealogia eclesiástica, com o desenvolvimento paroquial no seu interior, o presente trabalho atem-se a contextualizar a visão que a paróquia assumiu dentro da eclesiologia do XXI Concílio Ecumênico da Igreja Católica, o Concílio Vaticano II e do Código do Direito Canônico de 1983 em comparação com o Código Pio-beneditino. Com isso, o presente texto intui proporcionar fundamentos a futuros estudos e questionar a efemeridade. (shrink)

Dunayevskaya is a unique thinker for the twentieth century. She combines an involvement in freedom struggles with a very deep commitment to philosophical ideas and exploration. She served as secretary to Leon Trotsky in 1937–38, but then broke with him in 1939 during the Hitler-Stalin pact and developed a very sophisticated analysis of state capitalism. “She argued that Roosevelt’s New Deal, Hitler’s Germany, and especially Stalin’s Russia represented varieties of a new stage of global capitalism”. This volume presents her (...) life-long thinking, showing how influential her reading of Hegel was for her interpretation of how humanity works to make itself free. She used Marx and Hegel to think through how the movement of negation promotes human freedom. She explored “the positive within the negative, to express philosophically the yearning of women, children, and men to be whole human beings. (shrink)

Os dois primeiros capítulos dos Evangelhos canônicos de Mateus e Lucas têm dois conceitos teológicos que precisam ser mais investigados. Trata-se de “justiça” e “virgindade”, que podem ser entendidos como “tópoi”, isto é, palavras ou conceitos muito especiais. A tentativa desde artigo é abrir o debate a respeito e propor uma nova leitura dos relatos de Anunciação, desta-cando as figuras fundamentais de José e Maria, referências específicas de Jesus: sua messiani-dade e sua humanidade.

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the (...) graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

The discussion of whether psychopaths are morally responsible for their behaviour has long taken place in philosophy. In recent years this has moved into scientific and psychiatric investigation. Responsibility and Psychopathy discusses this subject from both the philosophical and scientific disciplines, as well as a legal perspective.

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Comments on: “Just War Theory in Comparative Perspective: AReview Essay” by Simeon O. Ilesanmi Journal of Religious Ethics 28.1 (Spring 2000).

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

This paper develops a hermeneutic technology assessment of quantum technologies. It offers a “vision assessment” of quantum technologies that can eventually lead to socio-ethical analysis. Section 2 describes this methodological approach and in particular the concept of the hermeneutic circle applied to technology. Section 3 gives a generic overview of quantum technologies and their impacts. Sections 4 and 5 apply the hermeneutic technology assessment approach to the study of quantum technologies. Section 5 proposes distinguishing three levels in the analysis of (...) the creation and communication of social meanings to quantum technologies: (a) fictions, (b) popularization, and (c) scientific journalism. Section 6 analyzes the results and defines some lines of action to increase social acceptance and trust in quantum technologies. The aim of this paper is to contribute to the debate on quantum technologies by enhancing the reflection on them and their potential, as well as illustrating the complexity of technological innovation and the need to shape it. (shrink)

This paper criticizes phenomenal conservatism––the influential view according to which a subject S’s seeming that P provides S with defeasible justification for believing P. I argue that phenomenal conservatism, if true at all, has a significant limitation: seeming-based justification is elusive because S can easily lose it by just reflecting on her seemings and speculating about their causes––I call this the problem of reflective awareness. Because of this limitation, phenomenal conservatism doesn’t have all the epistemic merits attributed to it by (...) its advocates. If true, phenomenal conservatism would constitute a unified theory of epistemic justification capable of giving everyday epistemic practices a rationale, but it wouldn’t afford us the means of an effective response to the sceptic. Furthermore, phenomenal conservatism couldn’t form the general basis for foundationalism. (shrink)

Åsa Burman has recently introduced the important notion of telic power and differentiated it from deontic power in an attempt to build a bridge between ideal and non-ideal social ontology. We find Burman’s project promising but we argue that more is to be done to make it entirely successful. First, there is a palpable tension between Burman’s claim that telic power can be ontologically independent of deontic power and her examples, which suggests that these forms of power share the same (...) basis. Second, it is not completely clear how telic power helps non-ideal social ontologists explain oppression, since Burman thinks that both forms of power are transparent to social agents. We offer solutions to both problems. First, we question the thesis that telic power can exist without deontic power. Burman contends that this is possible because some social roles involving telic power can exist independently of institutions, which are––in her opinion––the source of deontic power. Against Burman, we suggest that all social roles involve deontic power, whether or not they are institutional. Second, we argue that while the exercise of deontic power requires a mutual recognition of the social roles of the interacting agents and, therefore, an acceptance of the associated norms, the exercise of telic power does not require acceptance of the relevant norms. This is why invoking telic power is useful in explaining how oppression and injustice can arise. Lastly, we suggest that the relation between teleological normativity and telic power has not been fully clarified by Burman and requires a deeper analysis. (shrink)

According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of the paper, (...) I outline a different approach, which circumvents these problems by dispensing with the priority or dependence relation altogether. Along the way, I show how this approach enables the mathematical structuralist to defuse an objection recently raised against her view. (shrink)

This paper investigates Hegel’s account of the animal organism as it is presented in the Philosophy of Nature, with a special focus on its normative implications. I argue that the notion of “organisation” is fundamental to Hegel’s theory of animal normativity. The paper starts by showing how a Hegelian approach takes up the scientific image of organism and assigns a basic explanatory role to the notion of “organisation” in its understanding living beings. Moving from this premise, the paper turns to (...) the group of accounts in contemporary theoretical biology known as “organisational accounts”, which offer a widely debated strategy for naturalizing teleology and normativity in organisms. As recent scholarship recognizes, these accounts explicitly rely on insights from Kant and Post-Kantianism. I make the historical and conceptual argument that Hegel’s view of the organism shares several basic commitments with OAs, especially regarding the notion of “organisational closure”. I assess the account of normativity that such accounts advance and its implications for how we approach Hegel. Finally, I argue that the notion of “organisation” is more fundamental to Hegel’s theory of animal normativity than the Aristotelian notion of “Gattung” or “species”, which by contrast appears derivative – at least in the Philosophy of Nature and the Lectures – and does not play the central role in his account maintained by some scholars. (shrink)

This article investigates Hegel's later theory of perception and cognition, identifying and analysing its general assumptions about the relation among the mind's activities. These often unremarked upon assumptions, I claim, continue to underwrite recent interpretive controversies. I demonstrate how a correct understanding of such assumptions points us toward an alternative interpretation of Hegel's model of the mind. I argue that this new model changes how we understand (a) Hegel's later notion of ‘non-conceptual content’ and (b) his distinction between human and (...) animal minds—two areas that constitute the fault line dividing interpretations of late Hegel. To isolate the relevant assumptions, I use Matthew Boyle's influential conceptual distinction between ‘additive’ and ‘transformative’ models of rationality. I demonstrate that Hegel himself addresses the basic issues characterizing this distinction and clarify how approaching his work in these terms presents considerable interpretative and conceptual advantages, including allowing us to defend the position that Hegel adopts a ‘transformative’ framework of mind. To support this argument, this paper closely analyses Hegel's treatment of sensation (Empfindung), which has not yet been systematically addressed by scholars. I show how sensation can be best understood as part of Hegel's later ‘transformative’ framework for cognition. I also show how this framework can be extended to other parts of Hegel's theory. (shrink)

In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...) of maximality principles. (shrink)

This paper focuses on whether static images can depict motion. It is natural to say that pictures depicting objects caught in the middle of a dynamic action—such as Henri Cartier-Bresson’s (1932) Behind the Gare St. Lazare—are pictures of movement, but, given that pictures themselves do not move, can we make sense of such an idea? Drawing on results from experimental psychology and cognitive sciences, I show that we can. Psychological studies on implicit motion and representational momentum indicate that motion is (...) really perceived in some static images: our visual system is built in order to detect motion, even where it is only implied, and to anticipate the probable outcomes of others’ actions—even when the ‘others’ are only the subject matters of pictures’. I argue that, consequently, a range of popular depiction theories—perceptualist theories of depiction—can accommodate depicted motion. (shrink)

In this paper we develop a general theory of algorithmic fairness. Drawing on Johnson King and Babic’s work on moral encroachment, on Gary Becker’s work on labor market discrimination, and on Strawson’s idea of resentment and indignation as responses to violations of the demand for goodwill toward oneself and others, we locate attitudes to fairness in an agent’s utility function. In particular, we first argue that fairness is a matter of a decision-maker’s relative concern for the plight of people (...) from different groups, rather than of the outcomes produced for different groups. We then show how an agent’s preferences, including in particular their attitudes to error, give rise to their decision thresholds. Tying these points together, we argue that the agent’s relative degrees of concern for different groups manifest in a difference in decision thresholds applied to these groups. (shrink)

In this paper we argue that an account of proof-theoretic harmony based on reductions and expansions delivers an inferentialist picture of meaning which should be regarded as intensional, as opposed to other approaches to harmony that will be dubbed extensional. We show how the intensional account applies to any connective whose rules obey the inversion principle first proposed by Prawitz and Schroeder-Heister. In particular, by improving previous formulations of expansions, we solve a problem with quantum-disjunction first posed by Dummett. As (...) recently observed by Schroeder-Heister, however, the specification of an inversion principle cannot yield an exhaustive account of harmony. The reason is that there are more collections of elimination rules than just the one obtained by inversion which we are willing to acknowledge as being in harmony with a given collection of introduction rules. Several authors more or less implicitly suggest that what is common to all alternative harmonious collection of rules is their being interderivable with each other. On the basis of considerations about identity of proofs and formula isomorphism, we show that this is too weak a condition for a given collection of elimination rules to be in harmony with a collection of introduction rules, at least if the intensional picture of meaning we advocate is not to collapse on an extensional one. (shrink)

The crucial problem in the philosophy of psychiatry is to determine under which conditions certain behaviors, mental states, and personality traits should be regarded as symptoms of mental illnesses. Participants in the debate can be placed on a continuum of positions. On the one side of the continuum, there are naturalists who maintain that the concept of mental illness can be explained by relying on the conceptual apparatus of the natural sciences, such as biology and neuroscience. On the other side (...) of the continuum, there are normativists who maintain that the appropriate characterization of the concept of mental illness cannot avoid reference to epistemic, moral and other social values. Although, this article is primarily an introduction to the debate, we stress the importance of the normativist positions. (shrink)

In 1886, Nietzsche felt the need to exercise a retrospective look at the works he had written up to that point. Hence, the writing of a series of prefaces (Vorreden). They can be considered and read as a thematically unified textual body. Rereading them as a unified work allows us to recognise their value as an “auto-pathobiography”. In it, the concepts of health and illness occupy a central position that Nietzschean research has long been questioning. Nevertheless, in reflecting on health (...) and illness, in the Vorreden, Nietzsche also prepares the fundamental epistemological move that will enable him to gradually and increasingly shift his speculative focus from the autoanalytical and biographical to the genealogical plane and authorise him to look at his main object of research, the moral phenomenon, as no other thinker had done before. (shrink)

The recurring claim that the construct of psychopathy is value laden often is not qualified in enough detail. The chapters in this part of the volume, instead, investigate in depth the role and significance of values in different aspects of the construct of psychopathy. Following these chapters, but also by offering a background to them, we show how certain values are involved in the characterisation of psychopathy, inform societal needs satisfied by this construct, and have a central role in determining (...) whether psychopathy is a mental disorder. Moreover, we relate this description to our criticism of the view that the entrenchment of the notion of psychopathy with values in principle renders it irreconcilable with sound psychiatric theory and practice. However, we also recognize that the value-ladenness of psychopathy leaves open other important challenges. Meeting them needs addressing interdisciplinary interrelated issues that have empirical, normative, and theoretical dimensions. (shrink)