Angela Rodrigues

In his thesis 'Para uma Teoria Geral dos Homomorfismos' (1944) the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we tried to keep in mind, so much as possible, the gist of his standpoint.

This paper introduces the logic _Q__L__E__T_ _F_, a quantified extension of the logic of evidence and truth _L__E__T_ _F_, together with a corresponding sound and complete first-order non-deterministic valuation semantics. _L__E__T_ _F_ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (_FDE_) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘_A_ entails that _A_ behaves classically, ∙_A_ follows from _A_’s violating some classically valid inferences. The semantics of _Q__L__E__T_ _F_ combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of _FDE_, _K3_, and _LP_, we show how these tools, which we call here the method of _anti-extensions + valuations_, can be naturally applied to a number of non-classical logics.

Sarat Colling's Animal Resistance in the Global Capitalist Era confronts an issue vastly disregarded by activists and animal advocates, an issue that ultimately leads to the constant reaffirmation of logocentrism and human exceptionalism. Assuming that other-than-human animals do not have their own voices and a main role in their struggles for liberation constitutes what Colling names "savior narratives," a very common discourse even among those who care for the more-than-human world. In fact, other-than-human animals are seen, not rarely, as beings without a language of their own, which places them in a misleading position of dependency in relation to humans. Against this background, Colling's book lucidly...

Este trabalho expõe os esforços de diversos pensadores que contribuíram com estudos sobre quantificadores. Desde Aristóteles, que já trabalhava com os quantificadores universal e existencial; Frege e Pierce que desenvolveram teorias para tratar dos quantificadores; teorias sobre quantificadores generalizados, mais especificamente as teorias de Mostowski (1957) e Barwise e Cooper (1981); discussões em relação às abordagens dos quantificadores e definições vindas de dicionários. Defende-se que não há uma definição absoluta que abranja todos os quantificadores, nem formalmente, nem na linguagem natural.