Agostino d’Ippona è stato un punto di riferimento costante nella produzione filosofica arendtiana, a partire dalla dissertazione di dottorato del 1928, intitolata Il concetto d’amore in Agostino, fino alle ultime pagine scritte prima di morire, e dedicate alla trattazione della volontà. Il segno più evidente di questo rapporto è costituito da una frase del De civitate Dei, « initium ut esset creatus est homo, ante quem nullus fuit» sulla quale Hannah Arendt fonda il proprio concetto di libertà, intesa come la (...) capacità dell’uomo di “essere” un nuovo inizio. Attraverso questo concetto H. Arendt tenta di restituire all’uomo il senso della propria irriducibile unicità, contro i tentativi del potere di rendere ogni individuo “superfluo”. A monte dell’interesse per Agostino vi sono, però, anche ragioni di carattere biografico, se è vero che la donna conobbe Agostino attraverso la mediazione, umana e intellettuale, del suo maestro Martin Heidegger. (shrink)

We prove a generalization of the hyper-game theorem by using an abstract version of inductively generated formal topology. As applications we show proofs for Cantor theorem, uncountability of the set of functions from N to N and Gödel theorem which use no diagonal argument.

By means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.

We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.

A. M. Pitts in [Pi] proved that HA op fp is a bi-Heyting category satisfying the Lawrence condition. We show that the embedding $\Phi: HA^\mathrm{op}_\mathrm{fp} \longrightarrow Sh(\mathbf{P_0,J_0})$ into the topos of sheaves, (P 0 is the category of finite rooted posets and open maps, J 0 the canonical topology on P 0 ) given by $H \longmapsto HA(H,\mathscr{D}(-)): \mathbf{P_0} \longrightarrow \text{Set}$ preserves the structure mentioned above, finite coproducts, and subobject classifier, it is also conservative. This whole structure on HA op (...) fp can be derived from that of Sh(P 0 ,J 0 ) via the embedding Φ. We also show that the equivalence relations in HA op fp are not effective in general. On the way to these results we establish a new kind of duality between HA op fp and a category of sheaves equipped with certain structure defined in terms of Ehrenfeucht games. Our methods are model-theoretic and combinatorial as opposed to proof-theoretic as in [Pi]. (shrink)

O Argumento da Terra Gêmea Moral (ATGM) é o desafio semântico central para o Realismo Moral Naturalista (RMN). À fim de evitar tal problema, os defensores do RMN têm articulado uma série de réplicas ao ATGM. Neste artigo, abordo algumas dessas réplicas e defendo a tese de que elas não refutam o ATGM. Considero duas propostas em específico: o Argumento da Tradução, de D. Copp, e o Argumento do Fim da Investigação Moral, de A. Viggiano. Apresento essas objeções, mostro em (...) que sentido pretendem responder ao ATGM e argumento que cada uma delas é vulnerável a vários problemas. Concluo que os ataques de Copp e Viggiano ao ATGM devem ser recusados e que o desafio semântico ao RMN persiste. (shrink)

De nombreuses publications analysent par différents biais l’idéologie de la démocratie et la déconstruisent, tout en relevant les liens qui existent entre la pensée démocratique et la pensée aristocratique (voire oligarchique ou tyrannique). L’ouvrage de Luciano Canfora de 2004 (La democrazia. Storia di un’ideologia), qui retrace l’histoire de l’idéologie démocratique et a soulevé de nombreuses polémiques, a notamment montré qu'il s'agit là d'un terrain glissant. Dans son introduction, Ivan J...

Aquí lo que me interesa es, primero, distinguir dos problemas de justificación con respecto a la inferencia inductiva: por un lado, el de una justificación persuasiva de este tipo de inferencia y, por otro lado, el de una justificación explicativa de tal inferencia. En segundo lugar, intento mostrar que el argumento de Ramsey-de Finetti a favor de las reglas inductivas de la lógica bayesiana no es capaz de proporcionar una justifi-cación persuasiva de estas reglas. Finalmente, propongo una justificación explicativa para (...) las reglas de condicionalización bayesianas en términos de un argumento trascendental de inspiración kantiana y de estilo davidsoniano.Here, I am interested, firstly, in distinguishing two justification problems concerning inductive inference: on the one hand, the problem of a persuasive justification of induction and, on the other, the problem of an explicative justification of this sort of inference. Secondly, I intend to show that Ramsey-de Finetti’s argument in favor of Bayesian inductive rules cannot provide a persuasive justification for these rules. Finally, I propose an explicative justification for Bayesian conditionalization rules in terms of a transcendental argument of Kantian inspiration and Davidsonian style. (shrink)

In this paper a proof of the normal form theorem for the closed terms of Girard's system F is given by using a computability method à la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as well. From the proof-theoretical point of view the interest of the proof is that the definition of computable derivation here used does not seem to be well founded. (...) MSC: 03F05, 03B15. (shrink)

We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.

We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly normalizing terms (...) of pure lambda calculus can be characterized in this system, but also that a straightforward modification of its rules allows to characterize the set of weakly normalizing terms. (shrink)

Die Entwicklung der Rationalität ist eine Erfolgsgeschichte. Denn die Rationalität war und ist der Motor der abendländischen Kultur und der Grund dafür, dass sie in der Neuzeit allen anderen Weltkulturen machtpolitisch überlegen ist. Zwischen dem 8. und 6. Jahrhundert v. Chr. formierte sich das logische Denken gleich auf mehreren Feldern: Durch die Erfindung der philosophischen Wissenschaft, die Geometrisierung des Raumes und der Schlachtordnung, die Berechnung der Zeit, durch die Geldwirtschaft und die neuen Organisationsformen des Politischen wurde Rationalität zum Synonym für (...) Fortschritt. Auch die Begriffe Freiheit und Demokratie gehören in diesen Zusammenhang. Silvio Vietta zeichnet diese Erfolgsgeschichte nach, beschreibt aber auch ihre Gefahren und Kurzschlüsse. In der Konsequenz entwickelt er eine : ndere9 aisthetisch rückgebundene und reflexive Rationalität, die uns aus den gegenwärtigen Krisen herausführen könnte. (shrink)

By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.

http://dx.doi.org/10.5007/1808-1711.2008v12n1p49 The aim of this article is to offer a rejoinder to an argument against scientific realism put forward by van Fraassen, based on theoretical considerations regarding microphysics. At a certain stage of his general attack to scientific realism, van Fraassen argues, in contrast to what realists typically hold, that empirical regularities should sometimes be regarded as “brute facts”, which do not ask for explanation in terms of deeper, unobservable mechanisms. The argument from microphysics formulated by van Fraassen is based (...) on the claim that in microphysics the demand for explanation leads to a demand for the so-called hidden-variable theories, which “runs contrary to at least one major school of thought in twentieth-century physics”. It is shown here that this argument does not represent an insurmountable obstacle to scientific realism, not even when a series of important theoretical and experimental results against hidden-variable theories — and not merely a conflict with a certain school of thought—is taken into account. (shrink)

O presente artigo trata sobre experiências leitoras motivadas por canções, memórias autobiográficas e comentários publicados em plataformas digitais. Partindo-se do princípio de que a leitura é mais que uma simples atividade de decodificação, defende-se que ao deixar-se ler pelas canções e pela arte o sujeito, involuntariamente, arma-se para produzir sentidos às marcas inscritas e re-inscritas na sua própria história, reinventando-se e gerando novos processos de subjetivação. Os objetivos deste trabalho são: 1. Construir uma compreensão sobre o lugar da canção no (...) cenário artístico brasileiro, bem como sobre a sua capacidade de produzir efeitos nos sujeitos leitores, amparando-se em algumas produções intelectuais reconhecidas no meio acadêmico. 2. Narrar uma experiência de leitura, em que a canção atua como desveladora de demandas afetivas pessoais, geradora de um produto artístico: a série de vídeo Histórias de Maria. 3. Identificar e analisar possíveis leituras sobre as Histórias de Maria, imersas em comentários sobre a respectiva série, publicados nas plataformas digitais. Para efeito didático e metodológico, organiza-se este artigo em três itens: 1) O lugar da canção como suporte de leitura. 2. Experiência subjetiva: leituras de marcas inscritas e reinscritas pela canção. 3. Histórias de Maria: leituras e leitores. Autores como Wisnik, Rossi e Neder Lima, Agamben, Martins e Jouve contribuem para a compreensão do lugar da canção no cenário artístico brasileiro, sua qualidade de objeto biográfico e dispositivo, bem como sua potência em levar o corpo a produzir sentidos para marcas inscritas e reinscritas, através de diversos níveis de leitura. Contribuem, também, para a análise das possíveis leituras imersas nos comentários recolhidos para este trabalho. Por fim, nas considerações finais, conclui-se que toda forma de ler vale a pena. (shrink)

This article argues that we cannot separate theology on the one hand and politics, law and economy on the other when trying to understand how to deal with religious and cultural diversity. Through an historical examination of the formation of the right to religious liberty in the West, it shows that the European secular state is still deeply indebted with its theological presuppositions. This conclusion explains why systems of religiously based personal regimes are much less widespread in Europe than in (...) other parts of the world. It also suggests that the best way to manage cultural and religious diversity in Europe consists in strengthening the pluralistic components of the European legal systems, as already shown by recent reforms in the field of family and commercial law. (shrink)

The author argues that a correct approach to the question of tolerance cannot ignore the increasing importance of the religious factor on the political, cultural and social scene of the last few years. The common European model of the relationship between the State and religious faiths that may be called the Law possesses some margins of elasticity. These margins of elasticity may be defined as tolerance. A mechanism of selection allows the law to welcome those new requests for liberty that (...) do not undermine the fundamental features of the model. (shrink)

The theory of knowledge is justified only by its results. Each of its statements is essentially an hypothesis, valuable in so far as its practical purpose is fulfilled. Consequently, the same speculative characteristics common to all natural sciences, must be attributed also to the theory of knowledge.

A Constituição dos Atenienses é uma pequena obra acerca da politeia de Atenas e das condições que permitem que a democracia permaneça em Atenas como forma de gerenciar a vida da polis. Esta obra representa um problema filológico e historiográfico, porque, embora esteja no corpus das obras de Xenofonte, ela é considerada obra de outro autor, conhecido como Pseudo-Xenofonte ou “Velho Oligarca”. Trata-se de um pamphlet de orientação oligárquica que apresenta Atenas como um mundo ao contrário, em que os piores (...) comandam e os melhores são como escravizados pela multidão ignorante. (shrink)

I propose to show in this paper how Bosanquet’s aesthetics, in certain of its aspects, conditions William Temple’s reflection on art — a reflection which occupies a central position in Temple’s “Christo-centric metaphysics,” and which finds expression particularly in Mens Creatrix. Bosanquet’s influence becomes still more evident if we compare Temple’s position with the philosophy of art which R.G. Collingwood delineated in the initial phase of his thought, above all in Speculum Mentis and Outlines of a Philosophy of Art.