Latin America struggles to reach advanced Artificial Intelligence (AI) development due to limited resources and talent retention. However, different public indexes indicate the region’s potential to become an AI hub. Our analysis of research databases indicates a growing trend towards NeuroAI — an interdisciplinary field emerging from neuroscience and artificial intelligence — suggesting that this area of study may be a driving force behind the potential for Latin America. This paper explores how NeuroAI could enable Latin America to bridge the (...) development gap with global AI leaders, leveraging its potential to overcome resource constraints. We analyze strategies for integrating NeuroAI advancements into the private sector, which could provide essential financial support for highimpact scientific research and foster regional innovation. (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)

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)

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)

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)

Anthony Grafton, like Jacob Burckhardt before him, begins his appreciation of Leon Battista Alberti by reviewing how the fifteenth‐century Italian author created a many‐faceted identity through willful self‐fashioning. Grafton, however, offers the reader a much richer Bildungsroman than the older portrait and exposes many forces undercutting the monolithic character of Burckhardt's Renaissance, the same forces that may provide a key to the contrary and doubt‐ridden persona frequenting Alberti's writings. Alberti's ambitions and the leitmotifs of his life from his youthful aspirations (...) to their later glorious fulfillment are laid out in stunning detail.Moving well beyond the unrelenting brightness of Burckhardt's presentation, Grafton also attempts to fuse what have become for scholars the dramatic polarities of Alberti's enigmatic personality. An ambitious scholar and writer on academic subjects, on the visual and practical arts, Alberti was a lover of nature and a sensitive commentator on aesthetic, familial, and cultural ideals. He was also given to irony, despair, and bitter isolation. Grafton makes a strong case for Alberti's dependence on an unwavering determination that compelled him to assume many guises and foster numerous strategies to achieve his literary, social, and economic goals. As his friend Cristoforo Landino once noted, Alberti was like a chameleon. In Grafton's hands, however, Alberti remains dazzlingly inventive and radically humanist, and he endures as appropriately leonine and the hero of his own tale.With a predictable outpouring of references, Grafton evokes Alberti's social, political, and intellectual world and, reprising his earlier writings, develops several themes. These include Alberti's literary erudition and the high price he paid to achieve it; how Alberti applied the lessons of ancient sources to the problems of his own world, and in so doing subverted those lessons to create something new; how the humanist author developed special vocabularies for writing about such novel subjects as the visual arts, instruments of measure, and other current technologies; and, perhaps most surprisingly for a man given to bitterly mocking his contemporaries, how Alberti became involved in the creative energy of early modern life with apparent enthusiasm and accomplished the astonishing feat for a humanist of becoming a practicing architect.Grafton finds Alberti's confidence in a material culture driven by technology, theoretical knowledge, and careful observation expressed forcefully in the dedicatory letter of his essay On Painting addressed to the builder Filippo Brunelleschi. Brunelleschi deserved to be praised not for slavishly drinking from the fountain of the ancients, but for the brilliance of his intelligence and the successful application of his knowledge. Further, by requesting that the architect emend his essay, Alberti, the scholar, is shown to have treated Brunelleschi, the builder, as an equal and thereby to have elevated all technical knowledge. Alberti cleverly places himself within the circle of the ingenious engineers who were masters of practical knowledge based on underlying principles and therefore at the forefront of an intellectual parade led by its most renowned practitioner. One wonders, perhaps, what Brunelleschi at the height of his fame might have desired to learn from the audacious savant.As Alberti masters how to make his way in Florence and among the elegant courts of his day, he is seen to revisit the themes of his youthful writings with ever‐deepening insight. Grafton's reflections on Alberti and Florence, though generally convincing, have been greatly enriched by Luca Boschetto's recent book devoted to that subject . In addition, some of Grafton's notions about the influence of On Painting as centered in courtly art seem to reach beyond the evidence and the explicit directives found in Alberti's writings.The reader interested in Alberti's involvement in science and technology will still want to consult Joan Gadol's Leon Battista Alberti: Universal Man of the Early Renaissance , and the lack of a general bibliography will be an irritation to those who like to follow an author's research trail, the trekker in this case having to stumble through a thicket of footnotes. Nonetheless, Grafton has created a richly drawn portrait of Alberti. Scholar and student alike will garner much that is important about this immensely gifted and mercurial man whose writings continue to influence our understanding of the beginnings of early modernity. (shrink)

The essay investigates the anthropological concept of personhood from the point of view of the dialectics between two fundamental elements of the socio-cultural, linguistic, and semiotic construction of the self-identity of the human species: on the one hand, the human face and, on the other, the non-human muzzle. After demonstrating that their semantics is contrastively articulated in all Indo-European languages, and after showing that such contrast is featured also in several non-Indo-European languages, including those referring to supposedly alternative “ontologies of (...) nature”, the essay criticizes such opposition through a close reading of Lévinas, Deleuze and Guattari, and Derrida’s philosophical texts on the face and on animality. Ultimately, it proposes that the construction of the animal muzzle as an interface of non-personhood is instrumental to the substitution of the human victim in the sacrifice that establishes the human community. Only through eradicating the primordial stigmatization of the muzzle, however, will a non-violent foundation of human personhood and community be possible. (shrink)

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)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using (...) the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospects of turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. (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)

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal ontologies (...) and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

The combination of panpsychism and priority monism leads to priority cosmopsychism, the view that the consciousness of individual sentient creatures is derivative of an underlying cosmic consciousness. It has been suggested that contemporary priority cosmopsychism parallels central ideas in the Advaita Vedānta tradition. The paper offers a critical evaluation of this claim. It argues that the Advaitic account of consciousness cannot be characterized as an instance of priority cosmopsychism, points out the differences between the two views, and suggests an alternative (...) positioning of the Advaitic canon within the contemporary debate on monism and panpsychism. (shrink)

Maddy gave a semi-formal account of restrictiveness by defining a formal notion based on a class of interpretations and explaining how to handle false positives and false negatives. Recently, Hamkins pointed out some structural issues with Maddy's definition. We look at Maddy's formal definitions from the point of view of an abstract interpretation relation. We consider various candidates for this interpretation relation, including one that is close to Maddy's original notion, but fixes the issues raised by Hamkins. Our work brings (...) to light additional structural issues that we also discuss. (shrink)

We question memory reconsolidation and emotional arousal as sufficient determinants of therapeutic change. Generating new feelings and meanings must be contrasted with activating and stabilizing the evolving memories that reflect those novel experiences. Some therapeutic changes are not attributable to a memory model alone. “Emotional processing” is also needed and is often an undeclared form of complex executive problem solving.

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 authors' results support a functionalist conception of working memory: a manifold repertoire of schemes/schemas (long-term memory) and a small set of general-purpose “hidden operators.” Using some of these operators I define mental (i.e., endogenous) attention. Then, analyzing two of the authors' unexplained important findings, I illustrate the mental-attention model's explanatory power. Multivariate methodology that varies developmental, task differences, and individual differences is recommended.

Using neoPiagetian theory of mental attention (or working memory), I task-analyze two complex performances of great apes and one symbolic performance (funeral burials) of early Homo sapiens. Relating results to brain size growth data, I derive estimates of mental attention for great apes, Homo erectus, Neanderthals, and modern Homo sapiens, and use children's cognitive development as reference. This heuristic model seems consistent with research.

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)

Arbitrariness is a distinctive feature of human language, and a growing body of comparative work is investigating its presence in animal communication. But what is arbitrariness, exactly? We propose to distinguish four notions of semiotic arbitrariness: a notion of opaque association between sign forms and semiotic functions, one of sign‐function mapping optionality, one of acquisition‐dependent sign‐function coupling, and one of lack of motivatedness. We characterize these notions, illustrate the benefits of keeping them apart, and describe two reactions to our proposal: (...) abandoning arbitrariness‐talk in favor of the newly introduced conceptual vocabulary, or feeding the distinctions back into the parent concept. (shrink)

Scholarly dissatisfaction with Aristotle’s fallacy of accident has traditionally focused on his examples, whose compatibility with the fallacy’s definition has been doubted time and again. Besides a unified account of the fallacy of accident itself, the paper provides a formalized analysis of its several examples in Aristotle’s Sophistici elenchi. The most problematic instances are dealt with by means of an internal reconstruction of their features as conveyed by Aristotle’s text and an extensive survey of their interpretation in the Byzantine and (...) Latin exegetical tradition. Carefully handled a doxographical approach, as opposed to rapid results oriented practices, proves to be most effective in that it supplies both useful albeit ordinarily overlooked insights and a comprehensive framework of reference for further investigations. (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)

Quaestio, Volume 20, Issue, Page 519-523, January 2020.

This study traces the fundamental stages of Benedetto Croce’s moral thought, focusing on the concept of ‘ethical-utility’ (etico-utile). In his texts, Croce understands utility as inseparable from morality. Moral action is good precisely because it is first and foremost useful. He distinguishes between a merely personal utility (which is the basis of all economic and moral action) and a utility that may develop into universal-utility (ethical- utility). Compared to the economic individual who aims at private profit, the moral person would (...) instead tend to privilege the profit that concerns the ‘greater number’, going so far as to make his own individual interest coincide with interest in the universal good. The pursuit of common utility thus seems to be the distinctive attitude of morality (and also of politics). This utility, in favour of the interest of the community does not mean altruism; rather, the moral act requires to be put before any personal interest and the interest of others, in order to favour, ultimately, only that of the Spirit. This concept of ‘ethical-utility’, theorised by the Neapolitan thinker, seems to have been materialised in the only political-legislative act, promoted by Croce himself: the law for the protection of the Italian landscape heritage (no. 778 of 11 May 1922). Croce’s law is in fact characterised by a defence of the national cultural and environmental heritage motivated precisely by the concept of the latter’s ‘public interest’. (shrink)

We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure A as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of A; the degree of bi-embeddable categoricity of A is the least degree in this spectrum (if it exists). We extend many known results about categoricity spectra to the case of bi-embeddability. In particular, we exhibit structures without degree of bi-embeddable categoricity, and (...) we show that every degree d.c.e above 0(α) for α a computable successor ordinal and 0(λ) for λ a computable limit ordinal is a degree of bi-embeddable categoricity. We also give examples of families of degrees that are not bi-embeddable categoricity spectra. (shrink)

Lexical innovations (e.g., zero-derivations coined on the fly by a speaker) seem to bear semantic content. Yet, such expressions cannot bear semantic content as a function of the conventions of meaning in force in the language, since they are not part of its lexicon. This is in tension with the commonplace view that the semantic content of lexical expressions is constituted by linguistic conventions. The conventionalist has two immediate ways out of the tension. The first is to preserve the conventionalist (...) assumption and deny that lexical innovations bear semantic content. The second is to dynamicize the conventionalist assumption, that is, argue that presentations of unattested expressions trigger an augmentation of the standing semantic resources of the language and instantiate content as a result of this underlying update. Building on a comparison with the production of novel onomatopoeic words, iconic pseudowords and pro-speech gestures, the paper argues that the issue is best addressed by suspending the conventionalist assumption, and describes the metasemantic implications of the claim. (shrink)