Several authors have made claims about the compatibility between the Free Energy Principle and theories of autopoiesis and enaction. Many see these theories as natural partners or as making similar statements about the nature of biological and cognitive systems. We critically examine these claims and identify a series of misreadings and misinterpretations of key enactive concepts. In particular, we notice a tendency to disregard the operational definition of autopoiesis and the distinction between a system’s structure and its organization. Other misreadings (...) concern the conflation of processes of self-distinction in operationally closed systems and Markov blankets. Deeper theoretical tensions underlie some of these misinterpretations. FEP assumes systems that reach a non-equilibrium steady state and are enveloped by a Markov blanket. We argue that these assumptions contradict the historicity of sense-making that is explicit in the enactive approach. Enactive concepts such as adaptivity and agency are defined in terms of the modulation of parameters and constraints of the agent-environment coupling, which entail the possibility of changes in variable and parameter sets, constraints, and in the dynamical laws affecting the system. This allows enaction to address the path-dependent diversity of human bodies and minds. We argue that these ideas are incompatible with the time invariance of non-equilibrium steady states assumed by the FEP. In addition, the enactive perspective foregrounds the enabling and constitutive roles played by the world in sense-making, agency, development. We argue that this view of transactional and constitutive relations between organisms and environments is a challenge to the FEP. Once we move beyond superficial similarities, identify misreadings, and examine the theoretical commitments of the two approaches, we reach the conclusion that far from being easily integrated, the FEP, as it stands formulated today, is in tension with the theories of autopoiesis and enaction. (shrink)

Enactive cognitive science combines questions in epistemology, ontology, and ethics by conceiving of bodies as open-ended and mutually transforming through activity. While enaction is not a theory of ethics, it can contribute to its foundations. We present a schematization of enactive ideas that underlie traditional distinctions between Being, Knowing, and Doing. Ethics in this scheme begins in the relation between knowing and becoming. Critical of dichotomous thinking, we approach the questions of alterity and ethical reality. Alterity is relevant to the (...) enactive approach, but not in the radical sense of transcendental arguments. We propose difference, instead, as a more generative concept. Following Simondon, we see norms and values manifest in webs of past and future acts together with their potentialities for becoming. We propose a transindividual concept of moral attunement that includes ethical know-how and consciousness raising. Through generative difference and attunement to configurations of becoming, enaction underpins an ethics of participation linking virtue ethics and ethics of care. (shrink)

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)

Aristotle's theory of truth, which has been the most influential account of the concept of truth from Antiquity onwards, spans several areas of philosophy: philosophy of language, logic, ontology and epistemology. In this 2004 book, Paolo Crivelli discusses all the main aspects of Aristotle's views on truth and falsehood. He analyses in detail the main relevant passages, addresses some well-known problems of Aristotelian semantics, and assesses Aristotle's theory from the point of view of modern analytic philosophy. In the process (...) he discusses most of the literature on Aristotle's semantic theory to have appeared in the last two centuries. His book vindicates and clarifies the often repeated claim that Aristotle's is a correspondence theory of truth. It will be of interest to a wide range of readers working in both ancient philosophy and modern philosophy of language. (shrink)

The aim of this article is to tackle the sociosemiotic strategies through which the relation between power and visibility is articulated in today’s metropolitan São Paulo. Drawing on the theoretical-methodological framework of Greimasian and post-Greimasian semiotics, the following hypotheses are put forth: (1) contemporary São Paulo is characterized by a true visual hypertrophy, which manifests itself, all at once, in both its architectural and mediatic landscapes; (2) in São Paulo, power is hypervisible and apparently transparent; (3) the excess of images, (...) gazes, and perspectives produces, in São Paulo, dense and wide areas of topological, mediatic, and social invisibility; (4) the predominant visibility in São Paulo can be qualified as a “populist” visibility. Based on these assumptions, this article intends to contribute to the consolidation of a critical debate on the visual matrices of power and on social processes of exclusion and inclusion currently in place in global metropolises. Likewise, it is intended to contribute to the elaboration of a theoretical-methodological framework capable of understanding and addressing the complexity of the phenomena that characterize such debate. (shrink)

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical pay-offs to (...) be expected by deepening our understanding of the topic. (shrink)

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic, natural deduction and the normalization theorems, the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these (...) results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics. (shrink)

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 937-947, December 2021.

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].

On a popular view dating back to Russell, descriptions, both definite and indefinite alike, work syntactically and semantically like quantifiers. I have an argument against Russell's view. The argument supports a different picture: descriptions can behave syntactically and semantically like variables. This basic idea can be implemented in very different systematic analyses, but, whichever way one goes, there will be a significant departure from Russell. The claim that descriptions are variables is not new: what I offer is a new way (...) of defending it. The argument centers on attitude reports. I argue that we should recognize a new reading of descriptions under attitude reports, which I call ‘singular opaque’. The existence of this reading cannot be explained on the traditional Russellian view, and demands a switch to the variable view. Along the way, some interesting new facts about attitude reports come to light. (shrink)

Ever since the early decades of this century, there have emerged a number of competing schools of ecology that have attempted to weave the concepts underlying natural resource management and natural-historical traditions into a formal theoretical framework. It was widely believed that the discovery of the fundamental mechanisms underlying ecological phenomena would allow ecologists to articulate mathematically rigorous statements whose validity was not predicated on contingent factors. The formulation of such statements would elevate ecology to the standing of a rigorous (...) scientific discipline on a par with physics. However, there was no agreement as to the fundamental units of ecology. Systems ecologists sought to identify the fundamental organization that tied the physical and biological components of ecosystems into an irreducible unit: the ecosystem was their fundamental unit. Population ecologists sought, instead, to identify the biological mechanisms regulating the abundance and distribution of plant and animal species: to these ecologists, the individual organism was the fundamental unit of ecology, and the physical environment was nothing more than a stage upon which the play of individuals in perennial competition took place. As Joel Hagen has pointed out, the two schools were thus dividied by fundamentally different and irreconcilable assumptions about the nature of ecosystems.Notwithstanding these divisive efforts to elevate the image of ecology, the discipline remained in the shadows of American academia until the mid-1960s, when systems ecologists succeeded in projecting ecology onto the national scene. They did so by seeking closer involvement with practical problems: they argued before Congress that their approach to the theoretical problems of ecology was uniquely suited to the solution of the impending “environmental crisis.” With the establishment of the International Biological Program, they succeeded in attracting unprecedented levels of funding for systems ecology research. Theoretical population ecologists, on the other hand, found themselves consigned to the outer regions of this new institutional landscape. The systems ecologists' successful capture of the limelight and the purse brought the divisions between them and population ecologists into sharper relief — hence the hardening of the division of ecology observed by Hagen.45I have argued that the population biologist Richard Levins, prompted by these institutional developments, sought to challenge the social position of systems ecology, and to assert the intellectual priority of theoretical population ecology. He attempted to do so by articulating a nontrivial and rather carefully thought out classification of ecological models that led to the disqualification of systems analysis as a legitimate approach to the study of ecological phenomena. I have suggested that — ultimately —Levins's case against systems analysis in ecology rested on the view that an aspiration to realism and prediction was incompatible with an interest in theoretical issues, a concern that he equated with the search for generality. He sought to reinforce this argument by exploiting the fact that systems ecologists had staked their future on the provision of technical solutions to the problems of the “environmental crisis”: he associated systems ecologists' aspiration to realism and precision with a concern for practical issues, trading on the widely accepted view that practical imperatives are incompatible with the aims of scientific inquiry.46 These are plausible, but nonetheless questionable, claims which have now become an integral part of ecological knowledge. And finally, I hope to have shown how even the most abstract levels of scientific argument are shaped by political considerations, and how discussions of the conceptual development of modern ecology might benefit from a greater consideration of its historical and social dimensions.47. (shrink)

I temi della fede e della religione, e del loro conflitto con la cultura laica, sono da qualche tempo al centro di un interesse mediatico crescente, alimentato anche dalle polemiche politiche suscitate dal moltiplicarsi degli interventi e delle "scomuniche" del papa e della Conferenza Episcopale Italiana contro la modernità. Mancava fin qui, tuttavia, un testo di discussione, da punti di vista diversi e reciprocamente problematici, sulle ragioni dell'ateismo e della fede. Un confronto tra gli esponenti di tre posizioni ideologiche molto (...) lontane tra loro, accomunate però dal rifiuto di ogni appartenenza accademica: il cristianesimo nietzschiano del "pensiero debole" di Gianni Vattimo, la saggezza atea di una tradizione antica rilanciata da Michel Onfray e l'empirismo naturalistico-esistenziale della "filosofia del finito" di Paolo Flores d'Arcais. In questo insolito dialogo a tre voci emergono tutti gli interrogativi essenziali legati al problema, a partire da quello più generale: quali devono essere i rapporti tra filosofia e ateismo? L'"ipotesi Dio" deve ormai essere considerata superflua anche dalla riflessione filosofica, visto che le scienze ne fanno metodologicamente a meno? Quali sono le conseguenze etiche e politiche dell'essere atei o, all'opposto, credenti? (shrink)

Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox is presented (...) following a labelled approach to sequent calculi. First, a cut-free system for classical bimodal logic is introduced as the logical basis for the Church–Fitch paradox and the relationships between ${\mathcal {K}}$ and ${\diamondsuit}$ are taken into account. Afterwards, by exploiting the structural properties of the system, in particular cut elimination, the semantic frame conditions that correspond to KP are determined and added in the form of a block of nonlogical inference rules. Within this new system for classical and intuitionistic “knowability logic”, it is possible to give a satisfactory cut-free reconstruction of the Church–Fitch derivation and to confirm that OP is only classically derivable, but neither intuitionistically derivable nor intuitionistically admissible. Finally, it is shown that in classical knowability logic, the Church–Fitch derivation is nothing else but a fallacy and does not represent a real threat for anti-realism. (shrink)

This article argues that Sartre’s “What Is Literature?” had a profound and direct influence on David Foster Wallace’s conception of literature. At the very least, a number of factors oblige scholars to take this interpretation seriously. We know that Sartre’s existentialism pervades Wallace’s fiction, that Wallace repeatedly mentioned the Existentialists throughout his work, that he’d learned French to read them in the original, and that Sartre was one of his favorites, as testified by Zadie Smith. Most importantly, a comparative analysis (...) of Sartre’s text and Wallace’s nonfiction shows not only striking parallels but also almost exact repetitions in the writers’ fundamental ideals. In this sense, Sartre’s direct influence on Wallace appears so major as to invest multiple specific details of Wallace’s conception of literature both in its content and in the logical structuring of that content. In this article, we explore the extent of this influence through a structured investigation of its multiple features, showing that many of Wallace’s tenets – the rejection of Realism, the affirmation of meaning-as-use and of literature as a means to human communion and individual and social engagement, and many many more – follow from Sartre’s discourse. (shrink)

The thesis argues that a basic ontology of dóxa and appearances (and more in general mental episodes) can be gleaned from a careful analysis of Plato's early dialogues. To this aim, the first part (chapter 1) discusses the main issues concerning Plato's language of dóxa and appearances, both from the linguistic and from the philosophical point of view, and argues that dóxa is best understood as judgement. The second part develops a three-stage argument: chapter 2 argues that dóxa and appearances (...) are for Plato affections (páthe); chapter 3 that affections are for Plato fundamentally relational events; chapter 4 that, therefore, appearances are for Plato fundamentally relational events. The third and last part (chapter 5) investigates Plato's ontology of evaluative appearances (and desire) by focussing on the interplay between the ontology of appearances and the ontology of values (“goods and evils”) as one can extract it from the dialogue Gorgias. The three parts are secluded within a general introduction and conclusions. Four appendices complement the thesis with: a philosophical glossary of mental events; a table of frequencies of terms for mental episodes in the Platonic corpus; a list of all the occurrences of 'phaínomai' and 'dokéo' in the early dialogues; and a semi-formal appendix discussing the logical form of Plato's statements about metaphysical explanations. (shrink)

D’une constatation générique du platonisme chez Descartes, l’auteur passe à la considération de cette direction platonicienne dans les éléments analysés du cartésianisme. Les éléments maîtres du cartésianisme sont le cogito, l’innéisme, le nouveau critère de vérité, la démonstration de l’existence de Dieu et de la Nature, le binôme res cogitans et res extensa, enfin le mécanisme. L’auteur, quoique brièvement, passe une revue analytique de ces éléments, pour montrer qu’en chacun d’eux on constate et retrouve des thèmes du platonisme, de sorte (...) que la direction platonicienne chez Descartes s’en manifeste plus déterminée et plus concrète. (shrink)

Most studies of René Descartes’s legacy have focused on the novelty of his ideas, but little has been done to uncover the conditions that allowed these ideas to spread. Seventeenth-century Europe was already a small world—it presented a high degree of connectedness with a few brokers bridging otherwise disparate regions. A communication network known as the Republic of Letters enabled scholars to trade ideas—including Descartes’s—by means of correspondence. This article offers an analysis—both qualitative and quantitative—of a corpus of letters written (...) during Descartes’s lifetime and mentioning his name. The aim is to unveil the factors that drove the diffusion of Descartes’s ideas. The results are twofold. First, a close reading of the letters reveals that they were not used to create awareness about Descartes and his works but rather to discuss his ideas. Second, a network analysis of the letters shows that ideas do not spread like viruses, thus undermining the ‘social contagion’ model, and that weak ties are not as effective in promoting innovations as they are in circulating information. (shrink)