In this paper the PA-completeness of modal logic is studied by syntactical and constructive methods. The main results are theorems on the structure of the PA-proofs of suitable arithmetical interpretationsS of a modal sequentS, which allow the transformation of PA-proofs ofS into proof-trees similar to modal proof-trees. As an application of such theorems, a proof of Solovay's theorem on arithmetical completeness of the modal system G is presented for the class of modal sequents of Boolean combinations of formulas of the (...) form p i,m i=0, 1, 2, ... The paper is the preliminary step for a forthcoming global syntactical resolution of the PA-completeness problem for modal logic. (shrink)

Recently discovered correspondence from Oskar Becker to Hermann Weyl sheds new light on Weyl's engagement with Husserlian transcendental phenomenology in 1918-1927. Here the last two of these letters, dated July and August, 1926, dealing with issues in the philosophy of mathematics are presented, together with background and a detailed commentary. The letters provide an instructive context for re-assessing the connection between intuitionism and phenomenology in Weyl's foundational thought, and for understanding Weyl's term ‘symbolic construction’ as marking his own considered position (...) in the foundational controversy of the 1920s. In addition, they reveal Weyl's hitherto unknown objections to Becker's detailed attempt (Mathematische Existenz, 1927) to ground the transfinite phenomenologically. (shrink)

This article responds to the arguments put forth by Peter Lamarque and Stein Haugom Olsen in Truth, Fiction, and Literature: A Philosophical Perspective (1994). It argues that the said work is representative of the widespread tendency in literary theory today to discard the possibility of literary truth, and it provides counterarguments to the work’s main theses. Consequently, it criticizes the philosophy of pragmatism and its implications, and it offers a theory that defines fictional objects as existing and solves contradictions that (...) commonly affect our debates on the ontology of fiction. The article does not provide a positive theory of literary truth, but it undermines its denials, which have become popular in recent decades. (shrink)

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.

In a previous paper we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equational theory for System F codifying at a syntactic level some properties found in parametric models of polymorphic type theory. A different approach to extract proof-theoretic properties of natural deduction derivations was proposed in a recent series of papers on the basis of an embedding of intuitionistic propositional logic into a (...) predicative fragment of System F, called atomic System F. In this paper we show that this approach finds a general explanation within our equational study of second-order natural deduction, and a clear semantic justification in terms of parametricity. (shrink)

In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants and to better understand and overcome the failure of (...) interpolation for the implication-free fragment. (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)

To our contemporary eyes, science appears as the most reliable guide to the human enterprise. However, we possess little awareness as to what the proper meaning of scientific specialization is, and this knowledge is indispensable if we are not to proceed mindlessly in our relationship with being. Italian philosopher Emanuele Severino sees in scientific specialization the most coherent consequence of humanity’s most ancestral interpretation of the world, which all human decisions and actions enact. To him, this coherency is what makes (...) the dominance of scientific specialization on our time necessary. By focusing on one of Severino’s major theoretical works (Oltre il linguaggio, 1992), and with reference to other key texts, this essay introduces international readers to a specific facet of Severino’s discourse. In doing so, it translates passages of his works that have never appeared in English. (shrink)

We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact relation. A similar characterization is proved with respect to Boolean algebras and distributive lattices with weak contact, not necessarily additive, nor overlap.

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.

We present a sequent calculus for extensional mereology. It extends the classical first-order sequent calculus with identity by rules of inference corresponding to well-known mereological axioms. Structural rules, including cut, are admissible.

This article argues that Tolstoy’s What Is Art? had a direct influence on David Foster Wallace’s conception of literature, and most specifically that Wallace appropriated Tolstoy’s discourse (down to most of its most specific details) to found his literary project. The article seeks to prove this by exhibiting the striking extent of Wallace’s alignment with Tolstoy’s beliefs, by retracing the multiple direct references to Tolstoy in Wallace’s work, and by uncovering Wallace’s annotations on his own copy of What Is Art? (...) as further confirmation of what a careful comparative analysis of the works of the two authors makes manifest. (shrink)

This essay argues that Wallace’s non-fiction presents a sociology that constitutes the foundation of Wallace’s literary project. By tracing the influences of Wallace’s sociology and by contrasting Wallace’s non-fictional works with those of Zygmunt Bauman, Ulrich Beck, Anthony Giddens and Christopher Lasch, this essay provides a necessary contribution to an adequate critique of the foundation of Wallace’s literary ethics. Finally, the analysis proposes that an existentialist contradiction pervades Wallace’s work. This contradiction revolves around the problem of free will, and it (...) characterizes a particularly strong wave of contemporary western ethics. (shrink)

The rise of XVIIthcentury natural philosophy determines a significant break with the tradition and enthe idea of a new beginning of scientific investigation grounded on mathematics and experiment; at the same time, the diffusion of printed books represents an essential factor for the dissemination of the new philosophy. The ideal of the book, as an expression for this new philosophy, results from the speculation about the correspondence between the language and structure of the philosophical book and the “book of nature” (...) written by God. At the same time, the pursuit of this ideal requires the critical knowledge of the book tradition and the awareness of the imperfection that characterizes any given accomplishment of the ideal. This inner tension finds an exemplary solution in Newton’s Principia mathematica, where the incompleteness of the book of natural philosophy is recognized as an intrinsic feature, which directs Newton’s own selection and ordering of the material in the process of editing his work. After Newton, several attempts have been made to recover the systematic unity of natural philosophy in a single book, in a system of books or in encyclopaedies. In late XIXthcentury, as the specialization and multiplication of scientific disciplines establishes the impossibility to master natural philosophy as a whole, the intrinsic historicity of natural philosophy is recognized as a crucial factor of scientific thought itself. This significant change of perspective, compared to early modern philosophy, produces the need for different ways of understanding the unity of science and the role of books in scientific practice. Nowadays several distinguished scholars in the history and philosophy of science underscore the need to restore the historical awareness of late XIXth-early XXthcentury science among scientists, in order to promote the development of new scientific ideas. (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)

In contemporary literary theory, Plato is often cited as the original repudiator of literary truth, and Aristotle as he who set down that literature is “imitation,” thus himself involuntarily banning literature from truth. This essay argues that these interpretations adulterate the original arguments of Plato and Aristotle, who both believed in literary truth. We—literary theorists and philosophers of literature—should recognize this and rethink our interpretation of these ancient texts. This will, in turn, lead us to ask better questions about the (...) nature of literary truth and value. (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)

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)

Ce texte examine l’affirmation d’Aristote qui se trouve dans les Seconds Analytiques II 19, que la perception porte sur l’universel. L’examen s’effectuera par le biais du De Anima II 6 et III 6-8 où Aristote décrit les objets de la perception et de l’intellect. L’auteur soutient que selon Aristote, la perception humaine porte toujours sur l’universel contenu dans le particulier parce que l’unité de la substance individuelle est garante de l’unité de l’acte de perception. Par conséquent, l’analyse en termes de (...) trois objets de perception n’est que le résultat de la méthode analytique qu’Aristote emploie afin d’étudier l’acte de perception. (shrink)

The question of how, according to Aristotle, the principles of science are acquired remains contested among scholars. An aspect of this broader topic concerns the role of induction, and whether it is able to provide us with knowledge of natural necessity without the assistance of intuition. In a recent publication in this journal, David Botting argues in favour of the enumerative/empiricist interpretation of induction and criticizes the intuitive/rationalist interpretation of it, a version of which was defended in one of my (...) publications. He thinks that Aristotle is like Hume: both understand the cognitive process of induction similarly; and, both are equally skeptical about acquiring knowledge of natural necessity through induction. My reply argues that reading Aristotle’s induction in Humean terms is problematic in several respects. I argue, in addition, that natural necessity can be known through induction if nous is involved. My explanation of how this is possible relies on thinking of the act of noēsis in terms of an act of recognition. Botting claims, furthermore, that Aristotle only differs from Hume in that the former does have a non-inductive and non-intuitive method by which natural necessity may become known, and which Botting calls “the constructive proof of necessity”. My reply examines this method, showing how certain steps in it rely on cognitive acts that are really acts of intuition merely expressed in Humean terms. Despite the criticisms, I end with suggestions for how Botting’s account might offer original paths of research to Aristotle scholars seeking to answer the question of the acquisition of principles of science, particularly in the early stages of this process. (shrink)

In "The Measure of the Mental" (Davidson 1990), replying to a series of criticisms, that grow out of inadvertence or misunderstanding, Davidson has revisited his thesis concerning the physical and the mental, which he called "anomalous monism" (henceforth, AM). The thesis is subtle and elusive, as it is most often the case with Davidson: there is only one kind of event and state, which has a physical description (i.e., a description in physical terms) and may have a mental description too (...) (i.e., a description in mental terms) -- that shows the monism. But there is no strict law to go from a mental to a physical description of events and states or vice versa -- that shows the anomalousness.This sophisticated third way captures the intuition, generally shared today, that we are physical machines, whereas it acknowledges the mind a peculiarity: the mental is identical with a part of the physical, but no part of the mind is specifically identifiable with any part of the physical; or, more weakly, each mental event or state is identical with a physical one, though there is no systematic way to connect the mental and the physical. (shrink)

Marxist social scientists have argued that the relationship between social and technical change is one of mutual interaction; innovation in the modes of production affects social organization, and social organization, in turn, has an impact on the development of novel modes of production. This consideration is of fundamental importance for the construction of any economic development policy. However, analyses of this critical relationship have been elaborated within a conceptual framework which most social scientists and policy makers who work within the (...) framework of neoclassical economic thought find difficult to understand. When marxists argue that technical innovations are the product of a class conflict, non-marxist social scientists are left wondering about what the exact meaning of such a statement. Because marxists have been unable to communicate their message, their important insights into the relation between social and technical change have not been incorporated in contemporary development policy; this situation has often resulted in great social costs. In the past fifteen years, however, Yujiro Hayami and Vernon Ruttan have attempted to analyze the critical interaction of social and technical change using neo-classical economic concepts. I argue that their approach can be utilized to express marxist insights in a language accessible to non-marxist social scientists. The careful and critical adoption of this approach could provide the grounds for a more fruitful dialogue about the interaction of social and technical change, and aid the construction of a new development policy. (shrink)

Unilateral neglect stems from a relatively selective impairment of exogenous, or stimulus-related, orienting of attention. This neuropsychological evidence parallels “change blindness” experiments, in which normal individuals lack awareness of salient details in the visual scene as a consequence of their attention being exogenously attracted by a competing event, suggesting that visual consciousness requires the integrity of exogenous orienting of attention.

Through her silencing thesis, Langton has contributed to the study of epistemic injustice by highlighting a possible cause of such a phenomenon: She asserts that the pornographic representation of sexual relationships affects the felicity conditions of speech uttered by women, so this speech is not understood as an illocution by men. This fact arguably undermines women’s credibility, since their testimony is not even registered in men’s testimonial sensibility. However, this thesis entails problematic consequences from at least two standpoints. From a (...) theoretical perspective, it enacts a circularity when it comes to the empirical individuation of the subordinative effects of pornography. I will point out that this problem arises from Langton’s substantive conception of power, i.e. from her notion of authority as an attribute which can be ascribed to preexisting subjects. From a political perspective, such conception of power allows Langton to performatively rank women as credible when testifying sexual violence, but it also leads her to silencing alternative political strategies, e.g. the ones proposed by Butler. Hence, I propose to consider this form of silencing as a specific kind of epistemic injustice, one that neutralises the performative value of political discourses. (shrink)

Questo testo nasce da alcune indagini sul nesso tra matematica e filosofia in ambiente “accademico”. È interessante notare che l'esplorazione di tale nesso costituisce un felice tratto di continuità tra gli studi più classici e ...

We present a cut-free sequent calculus for a class of first-order theories in negation normal form which include coherent and co-coherent theories alike. All structural rules, including cut, are admissible.

The aim of this paper is to say something significant about Stanley Cavell's style. To accomplish this task, we adopt a distant reading approach, quantifying what seems to be an idiosyncratic use of parentheses. After outlining our methodological approach and the choices of texts from Cavell's corpus, we will present the results of our quantitative analysis. Two kinds of results will be presented and interpreted: the result of a comparison between Cavell and other authors (i.e. why Cavell's use of parentheses (...) is exceptional) and the result of a quantitative analysis of Cavell's texts (i.e. how Cavell uses parentheses throughout his books). For both results, we will provide our own interpretation. In the conclusion, we will draw the moral of this parenthetical story, hoping to open future parentheses. (shrink)