We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical (...) matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately fails, (...) and that $$\mathcal {ET\!L}$$ ET L cannot easily be dismissed. We then proceed to give an overview of the research that was inspired by this logic over the last decade, thus providing further motivation for the study of $$\mathcal {ET\!L}$$ ET L and, more generally, of $$\mathcal {FDE}$$ FDE -related logics that result from semantical analyses alternative to Belnap’s canonical one. We focus, in particular, on philosophical questions that these developments raise. (shrink)

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. We (...) provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twiststructures, generalizing a known result on the representation of the algebraic counterpart of paraconsistent Nelson logic.

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract (...) algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing on (...) the problem of defining suitable neutrosophic propositional connectives and discussing the relationship between neutrosophic logics and other well-known frameworks for reasoning with uncertainty and vagueness, such as (intuitionistic and interval-valued) fuzzy systems and Belnap’s logic. (shrink)

We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lat- tice factors. Finally, we show how (...) to employ our product construction to define first-order definable classes of bi- lattices corresponding to any first-order definable subclass of residuated lattices. (shrink)

The paper contains some algebraic results on several varieties of algebras having an (interlaced) bilattice reduct. Some of these algebras have already been studied in the literature (for instance bilattices with conflation, introduced by M. Fit- ting), while others arose from the algebraic study of O. Arieli and A. Avron’s bilattice logics developed in the third author’s PhD dissertation. We extend the representation theorem for bounded interlaced bilattices (proved, among others, by A. Avron) to un- bounded bilattices and prove analogous (...) representation theorems for the other classes of bilattices considered. We use these results to establish categorical equivalences between these structures and well-known varieties of lattices. (shrink)

We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new log- ics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite (...) logical matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

This essay analyses Peter Damian’s idea of perfection, by taking into account his texts devoted to the eremitic conversatio avellanita: in particular, Epistles 18, 50, and 109. It answers to the following working question: how is it possible to achieve an ‘angelic’ condition? Particular attention is paid to the ideas of time, space and ascesis.

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...) arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

A mesure qu'ils avancent dans leur œuvre de prospection, les sémioticiens s'aperçoivent que tout est communication, la langue bien sûr, mais aussi les images, les sons, les objets, les gestes, et que tous ces phénomènes constituent des systèmes de signes qui doivent être étudiés en ramenant chaque message aux codes qui en régissent l'émission et la compréhension. Comprendre les systèmes de signes impose toutefois d'envisager les codes comme des structures, puis de recouvrir à des structures toujours plus vastes, dans un (...) mouvement de régression vers la matrice originelle de toute communication possible, vers un prétendu Code des Codes qui devrait représenter la détermination " naturelle " précédant toute culture. Mais si la sémiotique s'engageait dans cette voie, elle ne pourrait qu'aboutir à la " source " de toute structure possible, forcément non structurée, à ce qu'Umberto Ecco appelle la structure absente. Son livre, tout en refusant ce Code des Codes, essaie de montrer que tout acte communicatif est dominé par la présence massive de codes socialement et historiquement déterminés. La sémiotique découvre ainsi dans la dialectique entre code et message les rapports entre l'univers de signes et l'univers des idéologies, qui se reflètent dans les modes communicatifs préconstitués, et elle relie le monde des choses au monde de la culture, qui formalise les choses non pas pour les reconnaître comme elles sont mais afin de les transformer. Après avoir étudié dans L'œuvre ouverte (1965) les structures des langages expérimentaux de l'art contemporain, Umberto Ecco traite ici l'ensemble des problèmes sémiotiques et ce livre constitue à la fois sa contribution à la recherche en cours et le panorama actuellement le plus vaste et le plus complet sur les préalables constitutifs à toute sémiotique et sur l'état présent du structuralisme. (shrink)

Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic (...) semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...) that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...) view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies. (shrink)

In a previous work we studied, from the perspective ofAlgebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice language. We prove that this logic is algebraizable and investigate its algebraic models, which turn out to be distributive bilattices with additional implication (...) operations. We axiomatize and state several results on these new classes of algebras, in particular representation theorems analogue to the well-known one for interlaced bilattices. (shrink)

We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...) problem of the safety of the agenda). We provide results both for specific aggregation procedures (the quota rules, the premisebased procedure, and a distance-based procedure) and for classes of aggregation procedures characterised in terms of fundamental axioms. (shrink)

Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...) sets of issues can lead to paradoxical outcomes. Any pragmatic method for running a multi-issue election will have to balance these two concerns. We identify and analyse the problem of generating an agenda for a given election, specifying which issues to vote on together in local elections and in which order to schedule those local elections. (shrink)

This text explores four books produced by one of the most prominent semioticians of the previous century, Umberto Eco, in order to create a semiotic meta-theory which enhances a multifarious way of â oereadabilityâ and scientifically justifies the dichotomy between the creation of a work of art and its being read, visualized and experienced by the audience. It begins by treating the â oenarrationâ component as one of the main theoretical challenges of Ecoâ s theory, specifically focusing on the (...) concept of time, seen from the linguistic and semiotic viewpoints. The book also explores Ecoâ s text theory, as well as â oesemiotics properâ, representing an analysis of the â oeencodingâ and â oedecodingâ theories. In addition, it exemplifies the â oeopennessâ and â oecollaborationâ between the writer and the reader, as well as relationships between the creator and audience in all forms of art. The book will appeal to scholars, students, and intellectuals who want to have a detailed knowledge of Ecoâ s overall contribution to semiotics, and seek a â oeformulaâ which would inter-connect informational and code theories with the narration method, so as to create what we call â oeinterpretative semioticsâ today. (shrink)

The "semiotic threshold" is U. Eco's metaphor of the borderline between the world of semiosis and the nonsemiotic world and hence also between semiotics and its neighboring disciplines. The paper examines Eco's threshold in comparison to the views of semiosis and semiotics of C. S. Peirce. While Eco follows the structuralist tradition, postulating the conventionality of signs as the main criterion of semiosis, Peirce has a much broader concept of semiosis, which is not restricted to phenomena of culture but includes (...) many processes in nature. Whereas Eco arrives at the conclusion that biological processes, such as the ones within the immune system, cannot be included in the program of semiotic research, Peirce's broader defmition of semiosis has meanwhile become thefoundation of semiotic studies in biology and medicine and hence in biosemiotics and medical semiotics. (shrink)

This is a review of Umberto Eco's novel La misteriosa fiamma della regina Loana (2004) with a special focus on its portrayal of the self and memory, and reflections on the way the novel's treatment reveals the intertextual makeup of personal identity and of ideology, and their grounding in a specific cultural and discursive environment. -/- Note: Downloadable file is in Spanish: "La identidad intertextual: La misteriosa llamada de la reina Loana".

In this paper, I interrogate the question of how aesthetics might be used in terms of an antifascist project. The exposition includes two main steps. First, drawing on the work of Umberto Eco and Sven Reichardt, I introduce a perspective on fascism, in which I identify its character as synthetico-paradoxical. Then, I utilize Jacques Rancière’s conception of aesthetics as politics to show how a decentralized understanding of what makes good art can disrupt fascism by appealing to the sense of (...) re-recognition of the individual political subject. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus (...) for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

A discussion of Umberto Eco's notion of open and closed texts.

What do we do with Judges? This two-edged word? This ambidextrous book? These ambivalent heroes? The Judges were drawing their last fleeting breaths shipwrecked and scattered upon the shores of historical-critical-grammatical-linear-modernist-masculine interpretation. "The narrative is primitive," they said. "The editors have made a mess," they exclaimed. "The conclusion is really an appendix," another said. Then the bible-acrobats jumped in pretending there was no literary carnage while at the same time drawing our eyes away from the literary carnage. "No, no, there (...) is an order to this disorderly book!" "Gideon is a man of faith," they explained. "Gideon is a sham," others retorted. "Long live the king," they cried. "Oh no, the king will bring down the nation," others said. Enter the latest literary critics and the fresh feminist readers to save the day. And save they have. Barry noted the irony. Cheryl called attention to the elaborate, spiraling labyrinth. Phyllis remembered the forgotten. Mieke heralded the incoherence. Deborah the Bee slings Barak with irony. Cowardly Jephthah sacrifices his virgin daughter immediately after he is filled with the spirit. Blind Samson remains stuck in some adolescent, Pinnochio-like stage milling around the same old vices. The Levite, the man of word and sacrifice, lies to the people and dismembers his wife. To beat it all the myopic narrator joins in lock step with the other blind characters stumbling around in the narrative. What manner of text is this? These Judges, these stories, are even more troubling now that we take them seriously. Now what do we do with Judges? The recent scholarship is most promising, but I think we must press forward, or is that backward, or perhaps to another plan. Perhaps Judges hearkens forward to the postmodern. What would Judges look like if we viewed the story through a postmodern lens? Would we see the text in another dimension? Would we let the characters live and breathe as confusing, confounding, intricate characters? Judges speaks to me. These judges, they teach me. How can I ever forget my reading of Judges? For once I found a text reflecting the madness of faith in my maddening world. For once I saw a text like Pablo. I heard the echo of Umberto. I noted the faint murmurings of Jacques. I danced a most joyous jig with Julia. I saw, up ahead, or was that behind me, or over to the side, Martin's flickering candle. Mieke, meet Jael. Barak, meet Barry. Jacques, meet Gideon. Samson, meet Martin. Umberto, meet the narrator or two or three. Pablo, meet the Levite's wife---sorry, she has no name. (shrink)

“Il n’y a pas de hors-texte”. Intralinguistic Semantics and Its Philosophical and Cognitive Consequences The aim of this paper is to present and metatheoretically analyse the model of intralinguistic semantics as set forth by Umberto Eco in his Theory of Semiotics. The distinctive feature of this system is the rejection of the realistic category of reference, understood as a correspondence of meaningful units with the extralinguistic domain of interpretation, i.e., with a class of extralinguistic semantic correlates. As a result, (...) the main idea of Eco’s theory is to replace the traditional extralinguistic semantics with the new one, in which the meaning of each unit is determined solely by its relations with the other elements of the system. Language formed in this way is semantically autonomous, intralinguistically closed and self-explaining. Analysis of Eco’s theory by means of the appropriate conceptual apparatus reveals the far-reaching philosophical and cognitive implications of his approach in studies on language, meaning and truth. (shrink)

Semiotics is an innovative science that has latterly entered the field of contemporary research. This knowledge application has become more or less common in urban planning, although gradually and not directly. Various urban phenomena tend to be hidden based on their characteristics, and only their effects can be studied in the city, so semiotics can be an efficient and accurate mechanism to generate qualitative data from cities. This article consists of three sections; First, with an initial review of the fundamental (...) concepts and definitions of semiotics, the SIGN is defined and then based on the theoretical foundations of Saussure's concepts, semiotics indicators are categorized. Next, the prototypes of semiotics from the point of view of Umberto Eco, which is one of the most famous categorizations done in this regard, will be studied. Subsequently, the following classifications will be considered in this article: - Biological semiotics - Ecological semiotics - Computer Semiotics - Social semiotics - Cultural semiotics - Visual semiotics - Visual semiotics In the last section, for each of the seven types of semiotics explained, first, a definition and second Saussure's concepts of it will be analyzed and finally the interpretation of that class of semiotics in urban planning, or in other words, the application of each type of semiotics in urban planning will be discussed. (shrink)

This article proposes the comparison of two methods of analysis, semiotics, and hermeneutics, to address contemporary issues in ethical and political philosophy, through the study of the phenomenon of epistemic injustice. Conceptualized by Fricker (2007), epistemic injustice is synonymous with the denial of the value of knowledge that an individual possesses because of prejudices about the social group to which he or she belongs or is affiliated. When epistemic injustice is studied in the empirical world, it poses some crucial issues (...) in terms of interpreting the meaning that the individual gives to the experience of injustice that he or she experiences. Although the interpretation of injustice is central to the understanding of the phenomenon itself, little research in ethical and political philosophy addresses these aspects, because of the failure to sufficiently mobilize analytical methods such as semiotics and hermeneutics. However, these two methods, usually used in other fields to deal with these aspects, allow us to question the treatment and the interpretative scope of the epistemic injustice by the different interlocutors involved in the interaction in which it is reconducted. The comparison of these two methods in the analysis of epistemic injustice finally allows us to argue in favor of the hermeneutic method, as defined by Gadamer and rethought by Code (2003), to enhance Gadamer's legacy through the analysis of ethical and political issues in human sciences research. (shrink)

O presente artigo deseja observar como a crônica esportiva de futebol (especialmente a produção textual de Nelson Rodrigues e José Lins do Rego) consegue engendrar, em sua narrativa, mundos possíveis que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando-se o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.

Neste artigo, analisa-se como as histórias em quadrinhos sobre automo-bilismo, notadamente a do personagem Michel Vaillant, conseguem en- gendrar, em sua narrativa, mundos possíveis, que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.

Propaganda is one of the most apparent avenues of ideological struggle. Amidst the battlefield in the social consciousness, the purpose of this study is to forward revolutionary ideology through intensification of revolutionary propaganda, specifically the pamphlet. It is a crucial step for revolutionaries in the aim to forward their methods of propaganda writing to overcome the illness of stereotypical propaganda writing as described by Mao Zedong. Stereotypical propaganda writing in the practice of progressive propaganda leads to a genesis of a (...) manufactured language characterized by the alienation of the masses from the language of revolutionaries and the alienation of revolutionary-propagandists from the practical experience of the masses. To overcome stereotypical propaganda writing, revolutionary propagandists must have a semiotic framework and a dialectical-materialist understanding of their relationship as Author-propagandists with the Reader-masses. By incorporating modest authorial-intentionalism from E.D. Hirsch and the Model-Reader theory of Umberto Eco into textual relationships, the role and the purpose of the sign as a medium in communicating ideologies can be established. In the process, it poses an alternative against the prevalent post-structuralist view of semantic autonomy and reader-response theory in the field of literary criticism. This paper also uses V.N. Voloshinov’s linguistic theory as the framework for semantico-pragmatic linguistic relations and social intercourse as the material base of the sign. (shrink)

Il contributo consiste in una analisi e commento della prima sezione del De docta ignorantia di Nicola Cusano (capp. I-XVI), dedicata ai concetti di precisione matematica e di uguaglianza. Il saggio offre la possibilità di ripercorrere la teoria della conoscenza di Cusano, laddove l'impossibilità per la ragione di giungere ad una mens-ura precisa dell'oggetto da conoscere non si trasforma in una mera cultura del limite, bensì la filosofia negativa diviene base per la mistica. In altri termini l'obiettivo specifico del saggio (...) è rilevare come il metodo della dotta ignoranza apra alla conoscenza dell'infinito proprio nel momento in cui essa nega ogni conoscenza razionale precisa. La matematica diviene dunque il fondamento su cui far leva per innalzare la propria mente (transferre) verso la conoscenza simbolica di Dio, nel medesimo solco tracciato da Dionigi e dalla tradizione della mistica speculativa. (shrink)

A short dialogue around the question of whether the thoughts expressed by the characters of an historical novel belong to the characters or to the author.