This paper is part of a project that is based on the notion of a dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In Amidei et al. (2016, Rev. Symb. Logic, 9, 1–26) and Amidei et al. (2016, Rev. Symb. Logic, 9, 299–324), we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasi-dialectical systems, that enrich Magari’s systems with a (...) natural mechanism of revision. In the present paper we consider a third class of systems, that of p-dialectical systems, that naturally combine features coming from the two other cases. We prove several results about p-dialectical systems and the sets that they represent. Then we focus on the completions of first-order theories. In doing so, we consider systems with connectives, i.e. systems that encode the rules of classical logic. We show that any consistent system with connectives represents the completion of a given theory. We prove that dialectical and q-dialectical systems coincide with respect to the completions that they can represent. Yet, p-dialectical systems are more powerful; we exhibit a p-dialectical system representing a completion of Peano Arithmetic that is neither dialectical nor q-dialectical. (shrink)

This paper will be concerned with the role acquaintance plays in contemporary theories of introspection. Traditionally, the relation of acquaintance has been conceived in analytic epistemology and philosophy of mind as being only epistemically relevant inasmuch as it causes, or enables, or justifies a peculiar kind of propositional knowledge, i.e., knowledge by acquaintance. However, in recent years a novel account of the role of acquaintance in our introspective knowledge has been offered. According to this novel constitutive approach, acquaintance is, in (...) itself, a sui generis—i.e., non-propositional—kind of knowledge. As we will suggest, a stalemate between David Chalmers’ account of direct phenomenal concepts—as a prototypical example of a causal view—and Anna Giustina’s account of primitive introspection—as a prototypical example of a constitutive view—is looming in the current controversy between the two families of theories. Towards the end of the essay, we will point to some possible ways for a constitutive theorist to break the stalemate. (shrink)

In the last few years, a remarkable convergence of interests and results has emerged between scholars interested in the arts and aesthetics from a variety of perspectives and cognitive scientists studying the mind and brain within the predictive processing (PP) framework. This convergence has so far proven fruitful for both sides: while PP is increasingly adopted as a framework for understanding aesthetic phenomena, the arts and aesthetics, examined under the lens of PP, are starting to be seen as important windows (...) into our mental functioning. The result is a vast and fast-growing research programme that promises to deliver important insights into our aesthetic encounters as well as a wide range of psychological phenomena of general interest. Here, we present this developing research programme, describing its grounds and highlighting its prospects. We start by clarifying how the study of the arts and aesthetics encounters the PP picture of mental functioning (§1). We then go on to outline the prospects of this encounter for the fields involved: philosophy and history of art (§2), psychology of aesthetics and neuroaesthetics (§3) and psychology and neuroscience more generally (§4). The upshot is an ambitious but well-defined framework within which aesthetics and cognitive science can partner up to illuminate crucial aspects of the human mind. -/- This article is part of the theme issue ‘Art, aesthetics and predictive processing: theoretical and empirical perspectives’. -/- . (shrink)

This work investigates one of the most widespread yet elusive ideas about our experience of art: the idea that there is something cognitively valuable in engaging with great artworks, or, in other words, that we learn from them. This claim and the age-old controversy that surrounds it are reconsidered in light of the psychological and neuroscientific literature on learning, in one of the first systematic efforts to bridge the gap between philosophical and scientific inquiries on the topic. The work has (...) five chapters. Chapter 1 lays down its conceptual bases: it explains what learning is taken to be in the current philosophical debate and it points out how Bayesian cognitive science (particularly in its predictive processing formulations) might be well-suited to capture the kind of learning involved in our engagement with the arts. The following chapters test this latter hypothesis with respect to particular art forms, namely literature and literary language (Chapter 2), narrative (Chapter 3), and visual art, music and motor activities (Chapter 4). The fine-grained discussions conducted in each of these areas will enable us to see that the relationship between art and learning is indeed fundamental and pervasive. The final chapter (Chapter 5) examines the consequences of this fact for our understanding of the role of art in our epistemic practices, its ultimate usefulness and value, and its place in the interdisciplinary study of the human mind. The upshot is a novel and wide-ranging picture, both philosophically informed and empirically sound, that bypasses many of the problems and dead ends of the current philosophical debate on the topic and captures the deep sense in which art and learning are interrelated. (shrink)

Even if the “value-free ideal of science” (VFI) were an unattainable goal, one could ask: can it be a useful fiction, one that is beneficial for the research community and society? This question is particularly crucial for scholars and institutions concerned with research integrity (RI), as one cannot offer normative guidance to researchers without making some assumptions about what ideal scientific research looks like. Despite the insofar little interaction between scholars studying RI and those working on values in science, the (...) overlap of topics and interests make collaboration between the two fields promising for understanding research and its ethics. Here, we identify—for the use of RI scholars—the non-epistemic reasons (societal, political, professional) for and against the VFI considered in the literature. All of these are concerned with the beneficial or detrimental consequences that endorsing the VFI would have on society, policy-making, or the scientific community, with some authors appealing to the same principles to argue for opposite positions. Though most of the reviewed articles do not endorse the VFI, it is generally agreed that some constraints have to be put on the use of non-epistemic values. Disagreement on the utility of the VFI lies both on the different epistemic-descriptive positions taken by different authors, and on the scarcity of relevant empirical studies. Engaging critically with the reasons here identified and more in general with the values in science debate will help the RI community decide whether the VFI should be included in future codes of conduct. (shrink)

In this paper, we use antecedent-final conditionals to formulate two problems for parsing-based theories of presupposition projection and triviality of the kind given in Schlenker 2009. We show that, when it comes to antecedent-final conditionals, parsing-based theories predict filtering of presuppositions where there is in fact projection, and triviality judgments for sentences which are in fact felicitous. More concretely, these theories predict that presuppositions triggered in the antecedent of antecedent-final conditionals will be filtered (i.e. will not project) if the negation (...) of the consequent entails the presupposition. But this is wrong: John isn’t in Paris, if he regrets being in France intuitively presupposes that John is in France, contrary to this prediction. Likewise, parsing-based approaches to triviality predict that material entailed by the negation of the consequent will be redundant in the antecedent of the conditional; but John isn’t in Paris, if he’s in France and Mary is with him is intuitively felicitous, contrary to these predictions. Importantly, given that the trigger appears in sentence-final position, both incremental (left-to-right) and symmetric versions of such theories make the same predictions. These data constitute a challenge to the idea that presupposition projection and triviality should be computed on the basis of parsing. This issue is important because it relates to the more general question as to whether presupposition and triviality calculation should be thought of as a pragmatic post-compositional phenomenon or as part of compositional semantics (as in the more traditional dynamic approaches). We discuss a solution which allows us to maintain the parsing-based pragmatic approach; it is based on an analysis of conditionals which incorporates a presupposition that their antecedent is compatible with the context, together with a modification to Schlenker’s (2009) algorithm for calculating local contexts so that it takes into account presupposed material. As we will discuss, this solution works within a framework broadly similar to that of Schlenker’s (2009), but it doesn’t extend in an obvious way to other parsing-based accounts (e.g. parsing-based trivalent approaches). We conclude that a parsing-based theory can be maintained, but only if we adopt a substantial change of perspective on the framework. (shrink)

“There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...) states. On the other hand, as von Neumann already conjectured, irreversible information processing is expensive: to erase a single bit of information costs ~3 × 10−21 joules at room temperature. Information entropy is a thermodynamic cost, to be paid in non-computational energy dissipation. This paper addresses the problem drawing on Edward Fredkin’s Finite Nature hypothesis: the ultimate nature of the universe is discrete and finite, satisfying the axioms of classical, atomistic mereology. The chosen model is a cellular automaton with reversible dynamics, capable of retaining memory of the information present at the beginning of the universe. Such a CA can implement the Boolean logical operations and the other building bricks of computation: it can develop and host all-purpose computers. The model is a candidate for the realization of computational systems, capable of exploiting the resources of the physical world in an efficient way, for they can host logical circuits with negligible internal energy dissipation. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Why is there a long-standing debate about paraphrase in poetry? Everyone agrees that paraphrase can be useful; everyone agrees that paraphrase is no substitute for the poem itself. What is there to disagree about? Perhaps this: whether paraphrase can specify everything that counts as a contribution to the meaning of a poem. There are, we say, two ways to take the question; on one way of taking it, the answer is that paraphrase cannot. Does this entail that there is meaning (...) mysteriously locked in a poem, meaning that cannot be represented in any way other than via the poem itself? If that were so it would have profound implications for poetry’s capacity to convey insight. We suggest reasons for thinking that the entailment does not hold. Throughout, we connect the traditional debate over paraphrase, which has largely been conducted within the fields of philosophy and literary theory, with recent empirically oriented thinking about the communicability of meaning, represented by work in pragmatics. We end with a suggestion about what is to count as belonging to meaning, and what as merely among the things that determine meaning. (shrink)

En este artı́culo se analizarán algunos nudos temáticos desarrollados en la Crı́tica de la razón pura, utilizando las lentes teóricas de Jacques Derrida, con el fin de proponer, sobre algunos conceptos-clave en la filosofı́a transcendental de Kant, una lectura distinta respecto a la que se está acostumbrado estudiar y problematizar. Después de haber puesto en relación la imaginación kantiana con la noción derridiana de différance, se subrayará el aspecto paradójico de la auto-afección, mostrando que ésta, en su misma singularidad, trasciende (...) la oposición entre activo y pasivo, permitiendo mirar al sentido interno como posibilidad de archi-escritura, a partir de las huellas psı́quicas dejadas en su terreno. A continuación, las reflexiones se desplazarán hacia el tema del esquematismo, problematizando cómo y hasta qué medida la actividad productiva de la imaginación, por un lado, y la relación entre imagen y esquema, por otro, podrı́an relacionarse con los conceptos más significativos de la teorı́a derridiana de la escritura. (shrink)

Negli ultimi quindici anni la letteratura filosofico-linguistica ha registrato un rinnovato interesse per i meccanismi di implicatura, specialmente del tipo scalare. In buona parte, l’interesse stato suscitato dall’emergere di una prospettiva grammaticale, secondo la quale i fenomeni di implicatura scalare sarebbero conseguenza di un meccanismo interpretativo incassato nella logica delle lingue naturali, e quindi riferibile al componente semantico dell’architettura cognitiva umana. L’obiettivo di questo testo fornire una presentazione di alcuni tra gli argomenti che hanno motivato l’emergere della prospettiva grammaticale. Inizieremo, (...) con una descrizione del fenomeno di implicatura scalare, sostanzialmente condivisa dai fautori delle diverse prospettive. Quindi, approfondiremo la nostra comprensione del fenomeno, pre- sentando alcuni punti fermi della prospettiva pragmaticista, e mostrandone i punti di debolezza individuati dai fautori della prospettiva grammaticale. Infine, presenteremo la prospettiva grammaticale, presentando da una parte i vantaggi che questo approccio presenta rispetto alla prospettiva pragmaticista, e dall’altra discutendo le sfide che attendono questa nuova prospettiva. (shrink)

Compare the following conditionals: 'If John is not in Paris, he is in France' versus 'If John is in France, he is not in Paris.' The second sounds entirely natural, whereas the first sounds quite strange. This contrast is puzzling, because these two conditionals have the same structure at a certain level of logical abstraction, namely 'If ¬p+, then p.' -/- We argue that existing theories of informational oddness do not distinguish between these conditionals. We do not have an account (...) of the divergence in judgments about the two, but we think this is a fascinating puzzle which we pose here in the hope others will be able to solve it. (shrink)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (shrink)

Is the basic mechanism behind presupposition projection fundamentally asymmetric or symmetric? This is a basic question for the theory of presupposition, which also bears on broader issues concerning the source of asymmetries observed in natural language: are these simply rooted in superficial asymmetries of language use— language use unfolds in time, which we experience as fundamentally asymmetric— or can they be, at least in part, directly referenced in linguistic knowledge and representations? In this paper we aim to make progress on (...) these questions by exploring presupposition projection across conjunction, which has typically been taken as a central piece of evidence that presupposition projection is asymmetric. As a number of authors have recently pointed out, however, whether or not this conclusion is warranted is not clear once we take into account independent issues of redundancy. Building on previous work by Chemla & Schlenker (2012) and Schwarz (2015), we approach this question experimentally by using an inference task which controls for redundancy and presupposition suspension. We find strong evidence for left-to-right filtering across conjunctions, but no evidence for right-to-left filtering, suggesting that, at least as a default, presupposition projection across conjunction is indeed asymmetric. (shrink)

How to account for the power that art holds over us? Why do artworks touch us deeply, consoling, transforming or invigorating us in the process? In this paper, we argue that an answer to this question might emerge from a fecund framework in cognitive science known as predictive processing (a.k.a. active inference). We unpack how this approach connects sense-making and aesthetic experiences through the idea of an ‘epistemic arc’, consisting of three parts (curiosity, epistemic action and aha experiences), which we (...) cast as aspects of active inference. We then show how epistemic arcs are built and sustained by artworks to provide us with those satisfying experiences that we tend to call ‘aesthetic’. Next, we defuse two key objections to this approach; namely, that it places undue emphasis on the cognitive component of our aesthetic encounters—at the expense of affective aspects—and on closure and uncertainty minimization (order)—at the expense of openness and lingering uncertainty (change). We show that the approach offers crucial resources to account for the open-ended, free and playful behaviour inherent in aesthetic experiences. The upshot is a promising but deflationary approach, both philosophically informed and psychologically sound, that opens new empirical avenues for understanding our aesthetic encounters. -/- This article is part of the theme issue ‘Art, aesthetics and predictive processing: theoretical and empirical perspectives’. (shrink)

The main aim of Samuel Hartlib was to provide an advancement of learning finalized to the amelioration of the material conditions of men and the pursuit of a religious peace, i.e., the unification of the Protestants. To this aim, inspired by Comenius, he devoted his efforts or gathering knowledge by the creation of a society or office of learned men (in technical fields, philosophy, and theology), and by the establishment of a network of correspondents (the Hartlib Circle). The method of (...) discovery underlying his program of advancement of learning was inspired by Bacon’s Novum Organum and by Jacopo Aconcio’s method of analysis, while the categorization and transmission of knowledge had to be based on commonplace books and artificial languages. His plan of economic improvement, to be fulfilled mainly through the amelioration of husbandry, was motivated by the Puritan Millenarianism to which he adhered. (shrink)

How induction was understood took a substantial turn during the Renaissance. At the beginning, induction was understood as it had been throughout the medieval period, as a kind of propositional inference that is stronger the more it approximates deduction. During the Renaissance, an older understanding, one prevalent in antiquity, was rediscovered and adopted. By this understanding, induction identifies defining characteristics using a process of comparing and contrasting. Important participants in the change were Jean Buridan, humanists such as Lorenzo Valla and (...) Rudolph Agricola, Paduan Aristotelians such as Agostino Nifo, Jacopo Zabarella, and members of the medical faculty, writers on philosophy of mind such as the Englishman John Case, writers of reasoning handbooks, and Francis Bacon. (shrink)

"Subjectivisation of Sense Perception and Two Models of Early Modern Idealism" The distinction between primary and secondary qualities, most famously outlined by Galileo, and subsequently supported, inter alia, by Descartes and by Locke has widely been considered one of the crucial factors in the development of modern idealism. In its contemporary form, the distinction identifies some of the perceived properties as mental phenomena due to their content and structural dependence on the mind. However, this account of the primary/secondary distinction is (...) largely different from its original version developed by the above-mentioned philosophers, within whose work the mental being of the perceived qualities was demonstrated objectively, from the conceptually-derived nature of matter, and not subjectively, by referring to the mind’s participation in the cognitive process. It was only at the next stage of the early modern subjectivisation of sense perception, best exemplified by such philosophers as Arnold Geulincx and Richard Burthogge, that the creative role played by the mind in sensation and, consequently, the mind-dependency of the sensible qualities was recognised – a turn influenced by the reinterpretation of Aristotelian philosophy offered by Jacopo Zabarella and Paduan school as well as by Anti-Aristotelianism of the kind developed in Netherlands. Furthermore, the two different approaches to the primary/secondary distinction can be linked with two main types of post-Cartesian idealism, i.e. Berkeleian and Kantian – a claim for which illustrative evidence from British philosophy, namely from Berkeley’s and Burthogge’s respective theories, can be drawn. (shrink)