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)

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.

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.

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. DOI:10.5007/1808-1711.2010v14n1p47.

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.

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.

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.

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 (soundness and completeness) 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 . DOI:10.5007/1808-1711.2011v15n2p287.

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)

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.

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 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)

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)

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.

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)

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)

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)

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)

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

This paper reconsiders Ockham's critique of the species theory of cognition. As Ockham understands this theory, it says that the direct objects of cognition are mental representations, or species. According to many commentators, one of Ockham's main objections to this theory was that, if the direct objects of cognition are species rather than external objects, we will never be able to establish whether or not a given species is a veridical representation of the world. In this paper I argue that (...) this line of interpretation sits uneasily with Ockham's epistemology, and offer a new interpretation of Ockham's critique of species. (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)

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)