The logic of proofs is a refinement of modal logic introduced by Artemov in 1995 in which the modality ◻A is revisited as ⟦t⟧A where t is an expression that bears witness to the validity of A. It enjoys arithmetical soundness and completeness and is capable of reflecting its own proofs . We develop the Hypothetical Logic of Proofs, a reformulation of LP based on judgemental reasoning.

La diversificación de prácticas y estrategias laborales y organizativas suscitadas en Argentina en las últimas dos décadas ha puesto en evidencia la dificultad de asir la complejidad que las caracteriza con las categorías clásicas de observación y análisis utilizadas por la sociología del trabajo y las relaciones laborales. Esta dificultad tiene a su vez un correlato en el ámbito de las políticas públicas, lo cual conlleva diversos obstáculos al momento de regular y garantizar derechos y protecciones para los/as trabajadores/as no (...) asalariados/as, así como el marco de organización y negociación de sus condiciones laborales. Ante ello, este artículo tiene por objetivo analizar las características que adquieren las relaciones laborales en las organizaciones de trabajadores/as asociados/as y autogestionados/as (no asalariados/as) a partir de la experiencia del caso argentino en el período 2003-2018. El recorte propuesto retoma diversos aspectos que hacen al campo de las relaciones laborales, como la seguridad social y el acceso a protecciones, las formas de gestión y organización del trabajo y las modalidades de representación y negociación colectiva. Se propone que el abordaje de las relaciones laborales en este sector requiere tener en cuenta dos dimensiones imbricadas. La primera —una dimensión normativa— refiere al análisis de las normas y regulaciones formales que delimitan el accionar de estas organizaciones. La segunda —una dimensión sociocultural— se refiere a las modalidades organizativas en términos políticos, sociales y productivos adoptadas por las organizaciones. Las reflexiones aquí presentadas se basan en observaciones y análisis realizados a partir de trabajos propios de investigación, vinculación y transferencia llevados a cabo con organizaciones asociativas. Asimismo, se ha recurrido a la técnica de análisis documental para la revisión bibliográfica de investigaciones realizadas en el campo temático de nuestro interés. (shrink)

This essay examines the sanitary policies for the protection of overseas communities that Italian fascism employed during the empire. From 1935–1936, the vast scale of the Ethiopian campaign, as well as intensive colonisation programmes, gave new political visibility to the issue of safeguarding Italian settlers from the risks of the tropical climate. In this period, the problem of how Italians could adapt to overseas environments moved beyond the boundaries of scientific discussion to become a major concern of colonial rule. Analysing (...) both the medical literature and archival sources, this essay examines the concepts and practices that underpinned the fascist project for the “reclamation” of the empire: from the intensification of hygienic propaganda, to the redefinition of the medical-geographical boundaries of tropical risk, and to the expansion of social security benefits, which were extended to harms caused by tropical diseases. Finally, it investigates how the notion of acclimatisation was transformed within the context of the regime's imperial ideology, showing how the conception of the tropics as a pathogenic space remained widespread, fuelled by the regime's organicistic vision and its concerns for upholding the racial prestige of Italians in the colony. (shrink)

Eduardo Arroyo, Armelle Auris, François Boissonnet, Paul HENRY, Pierre-Jean LABARRIERE, MATIEU, Gilles AILLAUD, Gérad THALMANN, Nicole MATHIEU, Jacques VIMARD, Michel QUAREZ, Leonardo CREMONINI, L'atelier d'Eduardo Arryo: Le carré blanc du ring, Rue Descartes, No. 7, Logiques de l'éthique (Juin 1993), pp. 149-168.

This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...) works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)

This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...) works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

This volume collects a number of important and revealing interviews with Richard Rorty, spanning more than two decades of his public intellectual commentary, engagement, and criticism. In colloquial language, Rorty discusses the relevance and nonrelevance of philosophy to American political and public life. The collection also provides a candid set of insights into Rorty's political beliefs and his commitment to the labor and union traditions in this country. Finally, the interviews reveal Rorty to be a deeply engaged social thinker and (...) observer. (shrink)

info:eu-repo/semantics/publishedVersion.

Ce volume présente une nouvelle édition et la première traduction dans une langue moderne du Lexique platonicien de Timée le Sophiste. Il présente également une histoire, riche de nouveaux matériaux, de la lexicographie platonicienne ancienne. Le texte est préfacé d’une longue introduction de Jonathan Barnes. This book contains a new edition of the Greek text of the Lexicon to Plato by Timaeus the Sophist. There is a rich commentary, and a French translation―the first translation of the work into a modern (...) language. The text is prefaced by a long introduction, by Jonathan Barnes. (shrink)

This important new volume brings together Habermas' key writing on religion and religious belief. Habermas explores the relations between Christian and Jewish thought, on the one hand, and the Western philosophical tradition on the other. In so doing, he examines a range of important figures, including Benjamin, Heidegger, Johann Baptist Metz and Gershom Scholem. In a new introduction written especially for this volume, Eduardo Mendieta places Habermas' engagement with religion in the context of his work as a whole. Mendieta (...) also discusses Habermas' writings in relation to Jewish Messianism and the Frankfurt School, showing how the essays in Religion and Rationality, one of which is translated into English for the first time, foreground an important, yet often neglected, dimension of critical theory. The volume concludes with an original extended interview, also in English for the first time, in which Habermas develops his current views on religion in modern society. This book will be of great interest to students and scholars in theology, religious studies and philosophy, as well as to all those already familiar with Habermas' work. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

Until now, North American and European philosophies have been engaged in debates about the possibility of a postmetaphysical philosophy and the consequences of the linguistic turn for the assessment of modernity; they have done so, however, without departing from the narrow horizons of their respective nationalistic perspectives. In this incisive critique, Dussel demonstrates how most of thse philosophies have either failed to give historically faithful analyses of the genesis of the "myth" of modernity, or have never engaged in a serious (...) questioning of their own Eurocentric presuppositions. He shows how North American and European philosophers have presupposed a no-longer-acceptable philosophy of history that has led them to fall into a "developmental fallacy," the belief that there is a linear sequence that moves from the premodern, underdeveloped, or on the way to industrialization, to the modern, developed, and industrialized. (shrink)

El artículo busca dilucidar algunas características del epistolario en tanto que fuente historiográfica y encontrar claves de comparación con la autobiografía. Con importantes aspectos en común, sus propósitos, sus sesgos y la posición subjetiva de sus autores evidencian importantes diferencias. A partir de esta problemática, se analizará la correspondencia sostenida por Max Weber desde el servicio militar durante la Gran Guerra. En un período en el que no tiene intervención pública alguna, el análisis se centra en la evolución de su (...) perspectiva sobre el papel de Alemania y sobre su actividad específica en los lazaretos. Cada uno de estos aspectos se relaciona respectivamente con dos piedras angulares de la obra weberiana: el problema nacional y el proceso de burocratización. (shrink)

This paper deals with the ways in which jurists and law professors applied transnational systems of public law, in particular US constitutionalism and French droit administratif, in their approaches to the state building process in late nineteenth century Argentina. In covering these movements of adaptation of a nascent legal culture to changing ideological and political circumstances, this article attempts to illuminate the strong links between the process of institutionalization of certain academic disciplines or forms of social knowledge, and modern state (...) building in Latin America. (shrink)

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

En este trabajo se analiza la relación entre los conceptos de fetichismo y lucha de clases en el particular marxismo de Slavoj Žižek. Žižek comprende el fetichismo marxiano a través del psicoanálisis y en el marco de la concepción de Marx de la religión en dos sentidos: como ideología y como fundamento. Esto le permite mostrar que el fetichismo y en general el hecho religioso, no es únicamente «falsa conciencia» sino que también funciona como el elemento constitutivo e insuperable de (...) lo real, lo que, a su vez permite repensar la lucha de clases. (shrink)

This work aims to make a critical and propositional exposition about the semantics of concepts in general, from the book Transcendental semantics of Kant (2000), by Loparic. In general terms, the exposition of the theme, by this author, focused on the general classification of the semantics of concepts, their meanings and referents. In turn, the critics was directed to several aspects of its exposition, such as: the precision of the nomenclature used, the introduction of new definitions and the correction of (...) others, the reformulation of the classification of the semantics of the concepts. Finally, the proposition highlighted three main points: (i) the conception of the equivalent epistemological status between logic and mathematics, as symbolic sciences with their own form and content; (ii) the weak and strong concept of sciences in general (formal and empirical) as pure and applied sciences, respectively; (iii) the possible metalinguistic conception of the semantics of concepts. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

There is a long-standing discussion concerning the nature of moral discourse. Multiple views range from realism—according to which moral discourse is closer to scientific discourse than to fictional discourse—to anti-realism—according to which moral discourse is rather closer to fictional discourse. In this paper, I want to motivate a novel anti-realist account. On this view, there are no moral properties or truths, neither mind-independent nor mind-dependent ones (i.e., anti-realism). However, moral cognition results from the use of higher order cognitive abilities with (...) enough resources to grant moral discourse with all the features of a realist talk (i.e., cognitive quasi-realism). I defend this view based on empirical evidence on human moral development and by showing that the resulting account can meet the demands of robust moral realism. The paper concludes by placing the proposed view within the metaethical landscape by comparing it against other forms of anti-realism, most significantly against expressivism. (shrink)

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...) a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely. (shrink)

Entrevista com o Prof. Eduardo Jardim, Revisor técnico da edição brasileira de "Pensar sem corrimão", mais recente livro de Hannah Arendt no Brasil.

Dans le commentaire d’Alexandre d’Aphrodise sur la Métaphysique d’Aristote, nous trouvons plusieurs passages concernant « les intermédiaires » (τὰ μεταξύ). Dans cet article, j’en considérerai quelques-uns, tirés des commentaires sur les livres Alpha (6, 987b14-18) et Beta (2, 997a34-b3 ; 997b25-28 ; 998a7-9), car dans ces passages on ne trouve pas une simple paraphrase de ce qu’Aristote dit (comme c’est fréquent chez Alexandre), mais une prise de position qui me semble fort originale. À partir de cette analyse, nous trouverons une (...) confirmation de ce que l’on dit souvent, à savoir qu’Alexandre ne s’intéresse pas aux philosophes (passés et contemporains) en tant que tels, mais seulement en tant qu’objets de considération, souvent polémique, d’Aristote et des aristotéliciens « purs et durs » comme lui. On trouvera aussi une autre confirmation, à savoir qu’Alexandre essaye toujours et à tout prix d’expliquer systématiquement Aristote, même lorsque les thèses aristotéliciennes ne paraissent pas cohérentes ou bien harmonisées entre elles. D’ailleurs, il faudra constater aussi que les passages du commentaire d’Alexandre que l’on analysera ont le mérite de souligner et d’expliquer clairement les difficultés sérieuses que nous rencontrons lorsque nous réfléchissons sur les μεταξύ des Platoniciens : la difficulté de concevoir leur rapport avec la réalité sensible si on les considère comme les objets de certaines sciences mathématiques ; la difficulté de considérer leur existence si on les conçoit comme des objets immanents au réel. (shrink)

Dans cet article j’analyse quelques extraits de la traduction latine du De anima d’Alexandre d’Aphrodise, faite par Girolamo Donato (1457-1511), noble vénitien, ambassadeur de la Serenissima auprès de plusieurs cours en Italie et en Europe, homme de lettres ami de Poliziano, Marsilio Ficino et Aldo Manuzio. En comparant les extraits avec l’original grec, le but est d’en vérifier la valeur : la fidélité du latin au grec, la compréhension générale du contenu et, en l’occurrence, la possibilité de rendre plus clairs (...) certains passages obscurs du texte d’Alexandre. (shrink)

Dans cet article j’analyse quelques extraits de la traduction latine du De anima d’Alexandre d’Aphrodise, faite par Girolamo Donato (1457-1511), noble vénitien, ambassadeur de la Serenissima auprès de plusieurs cours en Italie et en Europe, homme de lettres ami de Poliziano, Marsilio Ficino et Aldo Manuzio. En comparant les extraits avec l’original grec, le but est d’en vérifier la valeur : la fidélité du latin au grec, la compréhension générale du contenu et, en l’occurrence, la possibilité de rendre plus clairs (...) certains passages obscurs du texte d’Alexandre. (shrink)

Porphyry’s Expositio per interrogationem et responsionem can help us to understand some obscure passages of chapter seven of Aristotle’s Categories, focused on the relative. The Porphyrian analysis of πρός τι presents indeed developments which are both useful for the understanding of the Aristotelian text and very innovative too. First, we can mention the general Porphyrian thesis according to which categories are predicates. This theory fits very well with πρός τι, which are predicates corresponding to properties that subjects only possess because (...) of an observed reciprocal relationship. This brings us to the second novelty of Porphyry’s analysis, really important for modern developments of the notion of relation, namely the difference between σχέσις and πρός τι, which depends on it. Finally, we will mention the important Porphyry’s contribution to the understanding of a particularly obscure issue concerning the relationship between the two definitions of πρός τι that Aristotle provides. Porphyry points out the Platonic origin of the first definition, without dismissing it though: instead, he will just consider it too vast and encompassing the true πρός τι, object of the second definition. (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...) a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely. (shrink)

In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other. Moreover, he also show that any such group G can be recovered from its segment since \^*}\), establishing an equivalence of categories. In “Interpretation of AF C (...) *-algebras in Lukasiewicz sentential calculus” Mundici extended this result to arbitrary MV-algebras and l-groups with strong unit. He takes the representation of A as a sub-direct product of chains A i, and observes that \ where \. Then he let A * be the l-subgroup generated by A inside \. He proves that this idea works, and establish an equivalence of categories in a rather elaborate way by means of his concept of good sequences and its complicated arithmetics. In this note, essentially self-contained except for Chang’s result, we give a simple proof of this equivalence taking advantage directly of the arithmetics of the the product l-group \, avoiding entirely the notion of good sequence. (shrink)

O artigo busca abordar o pensamento de Auerbach quanto ao romance do século XX, especificamente o que ele chama de romance realista. Realismo, representação, historicismo são alguns dos conceitos-chave para a compreensão do pensamento auerbachiano e cuja apresentação serve como abertura do artigo. A seguir há uma investigação das características do romance entreguerras tal como Auerbach o pensa. Finalmente faço a relação entre o projeto filológico e o tratamento que o filólogo dá ao romance do século XX.