There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

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)

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)

In this article, I draw upon the ‘post-Kantian’ reading of Hegel to examine the consequences Hegel’s idea of God has on his metaphysics. In particular, I apply Hegel’s ‘recognition-theoretic’ approach to his theology. Within the context of this analysis, I focus especially on the incarnation and sacrifice of Christ. First, I argue that Hegel’s philosophy of religion employs a distinctive notion of sacrifice (kenotic sacrifice). Here, sacrifice is conceived as a giving up something of oneself to ‘make room’ for the (...) other. Second, I argue that the idea of kenotic sacrifice plays a fundamental role in Hegel’s account of Christ. Third, I conclude by sketching some of the consequences of Hegel’s idea of a God who renounces his own divinity for an idealistically conceived metaphysics. My main thesis is that the notion of incarnation is conceived by Hegel as the expression of a spirit that advances only insofar as it is willing to withdraw and make room for the other. A kenotic reading of the Hegelian notion of the incarnation is also useful in terms of a clarification of the dispute between ‘left Hegelians’ and ‘right Hegelians’ concerning the status of the idea of God in Hegel’s philosophy. (shrink)

In the sentence “Tom sits,” the name distinguishes Tom from anyone else, whereas the predicate assimilates Tom, Theaetetus, and anyone else to whom the predicate applies. The name marks out its bearer and the predicate groups together what it applies to. On that ground, his name is used to trace back Tom, and the predi- cate is used to describe and classify what it applies to. In both cases, the semantic link is a direct link between expressions and particulars. Here, (...) I will explore the workings of predicative names along the direction just hinted at. The analysis of predication has been less central to philosophical investigation than that of referen- tial expressions. Some problems have concerned the unity of the sentence—what makes us understand “The baby cries” as a sentence rather than a list of words? Other problems have been what a predicate was taken to stand for, properties and relations, and the understanding of either at the ontological level. If a predicate refers to a property or a relation, yet predication, which is central to our understand- ing of predicates, applies it to one or more particulars. On the background hinted at, these problems might be differently viewed. (shrink)

Can we build endogenous expectations about the locus of occurrence of a target without being able to describe them? Participants performed cue–target detection tasks with different proportions of valid and invalid trials, without being informed of these proportions, and demonstrated typical endogenous effects. About half were subsequently able to correctly describe the cue–target relationships . However, even non-verbalizer participants showed endogenous orienting with peripheral cues , not depending solely on practice . Explicit instructions did not bring about dramatic advantages in (...) performance .With central symbolic cues, only verbalizers showed reliable endogenous effects . We concluded that endogenous orienting with peripheral cues can occur independently of participants developing explicit hypotheses about the cue–target relationships. (shrink)

In the lively discussions on Galileo's laws of motion after the Pisan's death, we observe what might be called a new “Galilean affair.” That is, a trial brought against his new science of motion mainly by French and Italian Jesuits with the substantial adherence of M. Mersenne. This new trail was originated by Gassendi's presentation of Galileo's de motu not simply as a perfectly coherent doctrine, but also as a convincing argument in favor of the truth of Copernicanism.

In his book Semantic Relationism, Kit Fine propounds an original and sophisticated semantic theory called ‘semantic relationism’ or ‘relational semantics’, whose peculiarity is the enrichment of Kaplan’s, Salmon’s and Soames’ Russellian semantics (more specifically, the semantic content of simple sentences and the truth-conditions of belief reports) with coordination, “the very strongest relation of synonymy or being semantically the same”. In this paper, my goal is to shed light on an undesirable result of semantic relationism: a report like “Tom believes that (...) Cicero is bald and Tom does not believe that Tully is bald” is correct according to Fine’s provided truth-conditions of belief reports, but its semantic content is (very likely) a contradiction. As I will argue in the paper, even the resort to the notion of token proposition, introduced in Fine’s recent article “Comments on Scott Soames’ ‘Coordination Problems’”, does not suffice to convincingly eliminate the contradiction; moreover, it raises new difficulties. (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)

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

The late Emanuele Severino (1929–2020) was an Italian philosopher whose work on Aeschylus has not yet been made available in English. In Il giogo: alle origini della ragione: Eschilo (The Yoke: At the Origins of Reason: Aeschylus, 1989), Severino seeks to demonstrate that Aeschylus belongs amongst the founders of philosophy, i.e., that Aeschylus was the first to set down some of philosophy’s most fundamental principles, including that ontological becoming produces unbearable suffering and that the only remedy to suffering is knowledge (...) of the truth. Thus, by introducing readers to Severino’s interpretation, and by translating various passages of his work, this article aims to enlarge Severino’s readership and spread his argument for the philosophical stature of Aeschylus. (shrink)

In this study some typical aspects of human behavior are reconsidered in a new evolutionary perspective. Firstly, a theoretical paradigm is introduced, according to which animals show a natural propensity to maintain behavior far beyond the time when the triggering motivation has been removed;, these drifting conducts are defined as Vestigial Drifting Drives or. Such a paradigm is then applied to those human attitudes that once conferred an adaptive advantage on our species but have now become dysfunctional within the framework (...) of the current ecological crisis. In this context, human beings are considered the repository of VDDs that may play out as evolutionary threats. This thesis is supported by many examples and references that, hopefully, could stimulate scientific debate and further research in evolutionary anthropology, psychology, and related disciplines. (shrink)

The two theories of pancreatic enzyme secretion, those of exocytosis and transmembrane flow, are described. Data thought to support the theory of transmembrane flow of single molecules from pancreatic acinar cells are first reviewed, and the conditions which could allow these data to be explained by the theory of exocytosis of enzyme quanta, i.e. secretory granules, are then discussed.The evidence suggesting short‐term modulation of the composition of pancreatic juice is also considered, and its possible explanations at the organ and cellular (...) level are discussed, in the light of suggested theories on enzyme secretion pathways. (shrink)

Speaker’s meaning is the act at the core of meaning shift, where meaning can be the very act or its output. What are its conditions, which intentions direct it? What’s its mechanics? I will give a first answer to the first question. Then, I will discuss the mechanics of speaker’s meaning, as well as meaningful links different from speaker’s meaning. This will bring me to surmise a second answer to the first question. Along the way, I will compare the act (...) of meaning with other acts. In closing, I will try a limited elucidation of the notion of intention, which I use throughout. On these issues there is the conspicuous tradition of studies, originating from the late Paul Grice, to confront us with. Rather naturally, I will move from it. But I am interested in the notion of speaker’s meaning and its place in an analysis of meaning, and not in that tradition as such. The notion of speaker’s meaning, I think, is relevant even for those who do not subscribe to a Gricean approach to meaning, as I don’t. (shrink)

: The present work analyses Content Moderation, focusing on ethical concerns and cognitive effects. Starting from a general description and history of the moderation process, it stresses some ethical problems: quality of moderation, transparency, and the working conditions of human moderators. Using some of Facebook leaked slides offering examples of moderation, we define some controversial rules and principles for Commercial Content Moderation. These examples highlight a general lack of coherency and transparency, which has the potential to affect users’ cognitive attitudes, (...) their perception of reality, and their freedom of speech. Such effects are studied in comparison to other well-known online cognitive phenomena and in relation to the most recent dedicated legislation in EU countries. The current Content Moderation scheme leaves users at risk of specific cognitive distortions, highlighting the urgent need for greater transparency throughout the moderation process and better working conditions for moderators. Keywords: Content Moderation; Freedom of Speech; Epistemic Bubble; Technology Ethics Commercial Content Moderation: un oscuro labirinto per la libertà d’espressione e le opinioni degli utenti Riassunto: Il presente lavoro offre un’analisi approfondita della moderazione di contenuti, concentrandosi sulle problematiche etiche e sugli effetti cognitivi. A partire da una introduzione ai concetti chiave e alla storia della moderazione di contenuti online, si concentra su alcuni problemi etici primari: la qualità della moderazione, la sua trasparenza e le condizioni di lavoro dei lavoratori. Utilizzando dei documenti formativi interni di Facebook, pubblicati da un quotidiano e dagli esempi in essi contenuti, definiremo le controverse regole e i principi della Commercial Content Moderation. Ne emerge una generale mancanza di coerenza organizzativa e di trasparenza nel processo, che mostra potenziali effetti dannosi sulle attitudini degli utenti, sulla loro percezione della realtà e la loro libertà di parola. Tali effetti saranno studiati in confronto con i più conosciuti effetti cognitivi del mondo dei social ed in relazione alle più recenti disposizioni di leggi europee in merito. Gli schemi attualmente in uso producono degli specifici effetti di distorsione cognitiva e conseguentemente mostrano l’importanza di una maggiore attenzione alla trasparenza del processo e alle condizioni di lavoro dei moderatori. Parole chiave: Moderazione di contenuti; Libertà di parola; Bolla epistemica; Etica della tecnologia. (shrink)

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

This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we (...) calculate a canonical characteristic fomula H of S (char(S)) so that ⊢G ∼ H → (∼S) and ⊢GL-LIN ∼ H, and the complexity σ of ∼ H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of ∼ H with H = char(S) and σ(∼ H) = d(S, G). (shrink)

After a period of neglect, the idealist and romantic philosophies that emerged in the wake of Kant's revolutionary writings have once more become important foci of philosophical interest, especially in relation to the question of the role of religion in human life. By developing and reinterpreting basic Kantian ideas, an array of thinkers including Schelling, Hegel, Friedrich Schlegel, Hölderlin and Novalis transformed the conceptual framework within which the nature of religion could be considered. Furthermore, in doing so they significantly shaped (...) the philosophical perspectives from within which later thinkers such as Feuerbach, Kierkegaard, Wagner and Nietzsche could re-pose the question of religion. This volume explores the spaces opened during this extended period of post-Kantian thinking for a reconsideration of the place of religion within the project of human self-fashioning. (shrink)

This paper presents in outline Luigi Ferrajoli’s axiomatic and general theory of law, as developed in his lifelong work Principia Iuris . The first section focuses on the three main aspects of the theory: the methodological, the theoretical and the pragmatic, which respectively represent the theory’s syntax, semantics and its pragmatics. Ferrajoli identifies three deontic gaps of norms: firstly, the one between their validity and efficacy ; secondly, the one between their justice and validity ; and finally, and most importantly, (...) the one between validity and existence (i.e. normative force). The presence of such gaps is, according to Ferrajoli, the extraordinary innovation that entrenched constitutions have brought into modern legal systems, by establishing norms that are superior to statutes and case law. In this sense, all normative phenomena (except for the constitution itself) can be conceived both as norms and as facts. In the second section the role of juridical science is briefly discussed. (shrink)

This interdisciplinary volume brings together expert researchers coming from primatology, anthropology, ethology, philosophy of cognitive sciences, neurophysiology, mathematics and psychology to discuss both the foundations of non-human primate and human social cognition as well as the means there currently exist to study the various facets of social cognition. The first part focusses on various aspects of social cognition across primates, from the relationship between food and social behaviour to the connection with empathy and communication, offering a multitude of innovative approaches (...) that range from field-studies to philosophy. The second part details the various epistemic and methodological means there exist to study social cognition, in particular how to ascertain the proximal and ultimate mechanisms of social cognition through experimental, modelling and field studies. In the final part, the mechanisms of cultural transmission in primate and human societies are investigated, and special attention is given to how the evolution of cognitive capacities underlie primates’ abilities to use and manufacture tools, and how this in turn influences their social ecology. A must-read for both, young scholars as well as established researchers! (shrink)

This issue of Itinera aims to address the connections between architecture and the performing arts in its various aspects and from multiple points of view. The growing emphasis on the performative character of artistic practices, namely, their ability to involve spectators directly and pervasively (Dixon 2007), imbues the relationship between architecture, the performing arts, and the spectator’s experience. The sharing of the scenic space by spectators and performers is essential for the co-production of a common energy which operates as a (...) “transforming force” and thereby opens up the shared experience of discovering oneself and the other as a union of the body and the mind (Fischer-Lichte 2004). (shrink)

Il s'agit dans cet article de montrer certains liens existant entre la conception militante de l’utopie que Ricœur a proposée dans les textes rassemblés dans Plaidoyer pour l'utopie ecclésiale des années 60 et la notion philosophique d'utopie développée dans les conférences et les recherches des années 70. Les enjeux purement éthiques de l'utopie, dans la mesure où ils visent à la fois l'accomplissement de l'humanité dans son universalité et dans sa singularité, sont surtout envisagés dans le cadre du discours militant (...) de Ricœur, don’t Plaidoyer pour l'utopie ecclésiale est une bonne illustration. Cette utopie de l'humanité accomplie était déjà présente et active pendant le militantisme de jeunesse de Ricœur dans le cadre du socialisme révolutionnaire anti-soviétique. Elle fournit un arrière-plan extra-philosophique à la conception philosophique de l'utopie comme l'un des deux pôles de l'imagination sociale, ainsi qu'aux analyses consacrées à Marx, au personnalisme de Mounier et à l'imagination transcendantale de Husserl. (shrink)

This article aims at throwing light on the connection between the municipal élite of Lanuvium and some members of Rome’s senatorial aristocracy. In particular, from the examination of the sources, a picture of a close tie between the Caecilii Metelli and the gentes Lanuvinae becomes apparent, allowing one to suppose that a patronage relationship existed between the powerful family and the municipium already in the 2nd century BC. At the beginning of the following century, the city of Lanuvium openly supported (...) Silla. The attitude of the Lanuvian community is characterized by the involvement of the Licinii Murenae in the Mithridatic War alongside the dictator. Further indications of the presence in the municipium of the Caecilii Metelli, particularly devoted to the poliadic goddess Iuno Sospita Mater Regina, can be found in the background of these events. (shrink)

An Authoritarian Scenario. The long-term war against « terrorism » embarked upon by the Bush administration in the aftermath of September 11th 2001 goes far beyond its strictly military dimension. It also involves a fundamental onslaught on democratic and social rights, both in the USA and in European countries. The result of this combination between the military and a political dimension is the establishment of an architecture of control operating in the service of the most brutal sectors of the imperialist (...) bourgeoisie and of the accumulation of capital. (shrink)