Este artigo apresenta reflexões sobre o letramento literário a partir da recepção da obra O olho de vidro do meu avô, de Bartolomeu Campos de Queirós, por meio da análise de depoimentos de leitores comuns – a literatura no cotidiano dos indivíduos - e de trechos de artigos científicos sobre a obra – a literatura no campo acadêmico. Apresentamos também uma sequência didática desenvolvida com alunos do 6º ano do Ensino Fundamental de uma escola pública de Itabirito, interior de Minas (...) Gerais, a partir da recepção do livro. Para a realização da prática pedagógica, usamos a proposta sugerida e experienciada por Rildo Cosson para o letramento literário, denominada pelo pesquisador como “Sequência Básica”, composta por quatro etapas: motivação, introdução, leitura e interpretação. Dessa forma, procuramos compreender a literatura, a leitura literária e o letramento literário na vida social e na escola, pois cabe a essa instituição proporcionar aos alunos experiências que desenvolvam essa competência para o letramento literário, a se perpetuar pela vida adulta. O principal objetivo desse processo no contexto escolar é formar um leitor que aprecie significações estéticas, capaz de se inserir em uma comunidade que faça suas próprias escolhas literárias, que saiba manipular seus instrumentos culturais e possa construir com eles um sentido para si e para o mundo em que vive. Dessa forma, é necessário reconhecer a importância de atividades que abarquem diferentes tipos de materiais escritos, mas que não sejam negligenciados os textos literários, multiplicando, dessa forma, os espaços de leitura e constituindo comunidades de leitores na escola e fora dela. (shrink)

We investigate the properties of a modal algebra, more specifically, a non-distributive lattice with operators via Galois connections. Pairs of Galois are very common in mathematical environments, and, in this article, they appear as unary operators in lattices even without the distributivity. In a previous paper, Castiglioni and Ertola-Biraben studied the meet-complemented lattices with two modal operators for necessary □ and possible ◊. We observed that this pair of operators determines an adjunction. Then, we used Galois pairs on the meet-complemented (...) lattices, showing some properties of this structure that were already been proved in their paper, and some new laws non presented. Lastly, we define a new pair of operators that also constitute another Galois pair. (shrink)

Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space. • DOI:10.5007/1808-1711.2010v14n1p47.

Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como interpretar suas fórmulas em polinômios sobre uma TK-álgebra e discorre sobre a decidibilidade algébrica de TK segundo esta interpretação polinomial.

Deontic logic is a branch of symbolic logic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Deontic Logic or KD. In this paper, we will mention some of them and highlight one that is of interest. With this presentation we can propose a simple algebraic model for the Standard Deontic Logic.

From generalized quantifiers we move to modulated logic. So with this motivation we show ways for the construction of some modal logics. With the translations between logics we show some inter-relations between modal logics. Finally, we introduce some opportune concepts for a type of classification of deontic logic.

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.

Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o (...) de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa. (shrink)

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing (in a preliminary form) some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as (...) its Lindembaum algebra, which we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic (a Boolean algebra), is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum algebra, which (...) we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic, is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.

The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.

Hastings Center Report, Volume 52, Issue 2, Page 32-40, March‐April 2022.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hercules Cross-dressed, Hercules Undressed: Unmasking the Construction of the Propertian amator In Elegy 4.9Sara H. LindheimVain trifles as they seem, clothes have, as they say, more important offices than merely to keep us warm. They change our view of the world and the world’s view of us.—Virginia Woolf, OrlandoPropertius begins 4.9 with his version of the story of Hercules and Cacus that he adapts from Virgil’s recently published Aeneid. (...) 1 Once he has recovered his stolen cattle, slain the monstrous, thieving Cacus and founded the Forum Boarium, the Propertian Hercules feels an overwhelming thirst. He hears the laughter of women and follows the sound to a grove in which the worship of the Bona Dea is taking place. Arriving on the threshold of the sanctuary, he pleads for some water from the spring he hears inside the grove, citing his heroic deeds as credentials for admittance. When his request achieves no immediate results, however, he considers that perhaps the women hesitate to open their sanctuary to a strong hero. He then offers a second self-presentation, this time telling how he once dressed as a woman and served Omphale, queen of Lydia. When the high priestess denies him entrance, reminding him that men, by religious prescription, cannot look upon the rites, Hercules gains access to the grove violently, drinks the spring dry, and announces that the Ara Maxima which he establishes 2 will forever exclude women from worship.The poem purports to offer a myth of origins for the Ara Maxima. Indeed, in the opening elegy to his fourth and final poetic collection, the poet proclaims his desire to dispense with love and to concentrate [End Page 43] instead on aetiology. Subscribing to Callimachean poetics, he will now compose aetiological verse on Roman subjects. Yet a second voice threatens the unity of the poet’s declaration, suggesting a second and incompatible thematic focus. Even as Propertius proclaims his bold, new stance, Horos the astrologer interrupts, insisting on the poet’s inability to leave behind themes of erotic elegy. 3 The programmatic elegy never resolves the tensions between the two poles of the bipartite agenda, promising that warring interests will haunt the elegies in the fourth book.It comes as no surprise, therefore, that antithetical arguments surface in poem 4.9. I argue that the tension animating the poem emerges from its two competing discourses about gender identity. An exploration of the three stories about the hero in the poem—the opening account offered by the poet, as well as the two self-defining, yet contradictory, narratives that Hercules weaves, in which he presents himself first as a great masculine force and then as the cross-dressed servant of Omphale—suggests the ephemeral nature of “real” gender identity. Considering briefly a modern theoretical model of cross-dressing, I examine Propertius’ own manipulation of transvestism to categorize gender, on the one hand, as a fluid construction, a social performance. On the other hand—and here lies the poem’s tension—a second, antithetical argument also emerges from the poem, which insists on the possibility of assigning persons to a specific gender category based on firm, stable criteria. When the priestess reads Hercules as man, and when the hero ultimately differentiates himself from woman by establishing male-only worship at the Ara Maxima, gender becomes essential or biological. The question I want to pose is: why do these discourses stand side by side, and what kind of synthesis between them ultimately materializes? Finally, I suggest that this debate about gender reaches beyond poem 4.9. By constructing Hercules so that the hero comes to represent, on an exaggerated scale, the Propertian amator, who himself vacillates between “masculine” and “feminine” identities, Propertius invites the reader to see a similar tension in the poet’s first three books of elegies. Thus, towards the end of his poetic career, the poet issues a reconsideration [End Page 44] of the portrait of the lover/poet in light of the questions elegy 4.9 raises about gender identity.While some might consider that to seek out, within ancient texts, whether gender appears essential or constructed in nature reveals an... (shrink)

In ancient literature and religion, Hercules—in common with many other deities—is frequently associated with particular trees or types of tree. There are tales connecting him with the wild olive, laurel and oak, but his most prominent and frequent arboreal link is with the poplar, an association mentioned twice in the Hercules-heavy first half of Aeneid Book 8. The festival of Hercules celebrated by Evander and his people takes place just outside the city within a ‘great grove’ of unspecified species, in (...) an area surrounded by less defined expanses of trees. Trees crowd the banks of the Tiber, leaning out for wonder as Aeneas’ fleet passes by and soon uariisque teguntur | arboribus, uiridisque secant placido aequore siluas ; looking up through the sacrificial smoke on the altars, Pallas and his friends are initially frightened ut celsas uidere rates atque inter opacum | adlabi nemus. When Evander later shows Aeneas around, the emphasis on trees recurs, with the huge grove destined to become Romulus’ Asylum, and the bramble- and god-haunted woods of the Capitol. Later, Aeneas and his men camp in a vast grove of Silvanus, as Venus approaches to bring her son his new shield. (shrink)

Agatha Christie’s Murder on the Orient Express remains well-read, and its hero Hercule Poirot continues to enjoy popular currency. Yet the text has not aged well due to some of its now clichéd plot developments and dialogue, as well as Christie’s depiction of class, ethnic and national prejudices in it and her other novels. This study hopes to re-energize discussion on Murder by finding defensible reasons for its apparent flaws. Not only do the stereotypical behaviors of the passengers narratively distract (...) Poirot and the reader from a solution, but their flaws serve as foils against which Poirot’s heroic gravitas and cultural values are positively contrasted. Further, criticism often misses the point that the passengers are performing their behaviors, and if so, the deployment of stereotypes as only acted performances destabilizes them as permanent aspects of national or ethnic identity. Can Murder then be read as an anti-racist text? (shrink)

The Aedes Herculis Musarum (AHM), embodying musical harmony, was a symbolic focal point for political concordia at Rome. The treatment of its cult honorands in high poetry also embraces Juno Regina, whose contemporary temple was adjacent to the AHM. Juno (as Moneta) and the Muses are further associated in the function of "memory," and Juno, when offended, is susceptible to musical propitiation. The AHM is prominently identified with concord and Junonian reconciliation at the end of the Fasti, and in the (...) Aeneid, Vergil evokes his Muse's Roman cult identity in exploring Juno's hostility towards the "Herculean" Aeneas, as also when he foreshadows her assent to the existence of Rome. (shrink)

A famous portrait of Erasmus by Hans Holbein depicts the scholar with his hands resting on a volume identified as his ‘Herculean Labours’. Erasmus associated this adage with the effort expended and ingratitude encountered by the philologist, and made it central to his self-presentation. In this article, its origins are traced to Erasmus’s encounter with Aldus Manutius, the venetian printer-humanist who published his Adagia in 1508. The impact of Aldus on Erasmus is shown to be significant, affecting his entire ideology (...) of humanism, including its relationship to print and its religious purpose. This article challenges distinctions between the Italian and the Northern Renaissance that are unhelpful for understanding Erasmus’s development. In light of its findings, it also proposes a new interpretation of Holbein’s painting. (shrink)

Análise semiológica de simetrias e assimetrias que caracterizam os percursos dos personagens Teseu (na versão do escritor francês André Gide) e Hércules, com o escopo de destacar a significação identitária profunda que os mesmos evocam, por intermédio do cotejo de uma proposta destituída de um sentido existencial (Hércules), em contraposição a uma leitura iluminista, humanista e “desengajada” dos feitos praticados pelo heroi ateniense (o Teseu de Gide).

Segundo Shaftesbury e seus sucessore (James Harris, Adam Smith, Gotthold Ephraim Lessing), uma obra de arte imitativa, corretamente produzida, exprime um conteúdo moral no sentido geral do termo (mental, intelectual, bem como ético). O que esses autores têm no espírito é a expressão não somente enquanto função geral da arte, mas também e sobretudo enquato estrutura particular de cada obra. A expressão não é somente o objetivo de uma obra de arte, mas também a maneira segundo a qual ela funciona. (...) Este artigo mostra como as reflexões de Shaftesbury em A Notion of the Historical Draught or Tablature of the Judgement of Hercules abrem a via para uma nova maneira de considerar cada obra de arte individual como uma solução para um problema da expressão que não depende do meio empregado. No artigo se estuda também o contexto histórico desse escrito de Shaftesbury bem como de sua posteridade em Harris, Smith, e Lessing. (shrink)

There are archetypal parallels between the shamanic African, and ‘diviner detectives' like Hercule Poirot, when it comes to tracking down homicidal sorcerers, and witches, on the one hand, and direct Western-style murderers on the other. The Ndembu diviner uses the fall of symbolic figurines or images, and the canny questioning of his clients and suspects to pierce the veil of deceit and reveal the sorcerer or witch. Hercule Poirot uses chance clues, questioning, and his intuition to identify the murderer. Both (...) processes culminate in the binding up of an evil, or at least the yearned for revelation of its source. As such they supply a form of purgation or cure to their respective congregations or guilds of readers. When the practices of diviner and detective are compared at an archetypal level, a universal dramatic pattern or model emerges which reveals that the adventitious clues commonly powering the modern detective narrative along, could have developed from what was, or still is in Africa, the old axiomatic belief that an African god is manipulating the images of divination. (shrink)

Cicero's praise of Caesar in thePro Marcelloof September 46b.c.e.has been much discussed for its sincerity or otherwise. Here I would like to point out some unobserved literary colour which may make some contribution to the argument, namely Cicero's subtle evocation of Hercules in describing the achievements of the victorious Caesar. Such an analogy is not unlikely in the context of Roman military image-making: Sulla in 78b.c.e.and Crassus and Pompey in 70b.c.e.had earlier encouraged connections with Hercules in analogous victorious contexts, and (...) similar comparisons are later made between the foreign conquests of Augustus and those of Hercules in both Virgil and Horace. (shrink)

Hegel’s early essay called “The Spirit of Christianity and Its Fate” contains his longest analysis of the resurrection of Jesus, which he attributes to the spirit of the early Christian communit y. To represent its practice of the love he taught, the community made him into a god. Furthermore, because it withdrew from life in the world, the communit y knew its love as deficient, and portrayed this defect by adding the separate human individuality of its teacher to his divinity. (...) The risen Christ (both human and divine) lives only in the subjective mind of the communit y, as an expression of its feeling. However, Hegel does recognize divine objectivity in the “one” source of theuniverse, the Father of Jesus. (shrink)

This is a new release of the original 1924 edition.