L'histoire répond à la volonté du matérialisme marxiste de se construire comme science en saisissant les principes constitutifs des sociétés humaines et de leur évolution. L'existence humaine est historique parce qu'elle évolue nécessairement en totalité en recouvrant toutes les dimensions de la vie sociale, matérielle et idéologique. Le marxisme rencontre donc l'histoire parce qu'il s'enracine dans une pensée dialectique du monde qui appréhende le réel en mouvement par les catégories de processus et de totalité. Dialectique et histoire sont ainsi essentiellement (...) liées dans la constitution du marxisme. Ce recueil souhaite renouer le fil, parfois occulté, mais jamais rompu, qui relie la dialectique au marxisme, et le marxisme à l'histoire. Il s'agit de souligner que l'adaptation de la pensée, et de l'historiographie marxiste, au mouvement de l'histoire, repose sur sa nature dialectique, et donc sur le rapport assumé à la philosophie idéaliste allemande (Hegel notamment). La position prise face à ce rapport détermine ici l'histoire de la dialectique, histoire de sa réception, dans le marxisme, ainsi que ries fractures structurant ce dernier, tant internes (Lukacs, et en un sens opposé, Althusser) qu'externe (Foucault). (shrink)

This paper discusses an earlier emendation to fr. 54 GRF Funaioli from Varro's De bibliothecis and argues that, while the text et citro refers to cedar oil, it should not be emended to et cedro. A comparison with a passage from Pliny the Elder (HN 13.86) is used to support the view presented in the article.

Journal Name: SATS Issue: Ahead of print.

By a comparison between Maxwell's electrodynamics classically interpreted (MT) and relativistic electrodynamics (RED), this paper discusses whether the “asymmetries” in MT mentioned by A. Einstein in his 1905 relativity paper are only of a conceptual nature or rather involve specific empirical claims. It is shown that in fact MT predicts strongly asymmetric behaviour for very simple interactions, and an analysis is made of the extent of the “symmetry” achieved by means of relativistic postulates. A “low” velocity experiment is suggested which (...) could provide another test of the accuracy of RED with respect to MT. (shrink)

In preference aggregation a set of individuals express preferences over a set of alternatives, and these preferences have to be aggregated into a collective preference. When preferences are represented as orders, aggregation procedures are called social welfare functions. Classical results in social choice theory state that it is impossible to aggregate the preferences of a set of individuals under different natural sets of axiomatic conditions. We define a first-order language for social welfare functions and we give a complete axiomatisation for (...) this class, without having the number of individuals or alternatives specified in the language. We are able to express classical axiomatic requirements in our first-order language, giving formal axioms for three classical theorems of preference aggregation by Arrow, by Sen, and by Kirman and Sondermann. We explore to what extent such theorems can be formally derived from our axiomatisations, obtaining positive results for Sen’s Theorem and the Kirman-Sondermann Theorem. For the case of Arrow’s Theorem, which does not apply in the case of infinite societies, we have to resort to fixing the number of individuals with an additional axiom. In the long run, we hope that our approach to formalisation can serve as the basis for a fully automated proof of classical and new theorems in social choice theory. (shrink)

Serendipities is a careful unraveling of the fabulous and the false, a brilliant exposition of how unanticipated truths often spring from false ideas. From Leibniz's belief that the I Ching illustrated the principles of calculus to Marco Polo's mistaking a rhinoceros for a unicorn, Umberto Eco offers a dazzling tour of intellectual history, illuminating the ways in which we project the familiar onto the strange to make sense of the world. Uncovering layers of mistakes that have shaped human history, (...) Eco offers with wit and clarity such instances as Columbus's voyage to the New World, the fictions that grew around the Rosicrucians and Knights Templar, and the linguistic endeavors to recreate the language of Babel, to show how serendipities can evolve out of mistakes. With erudition, anecdotes, and scholarly rigor, this new collection of essays is sure to entertain and enlighten any reader with a passion for the curious history of languages and ideas. (shrink)

This paper is chiefly aimed at individuating some deep, but as yet almost unnoticed, similarities between Aristotle's syllogistic and the Stoic doctrine of conditionals, notably between Aristotle's metasyllogistic equimodality condition and truth-conditions for third type conditionals. In fact, as is shown in §1, Aristotle's condition amounts to introducing in his metasyllogistic a non-truthfunctional implicational arrow '', the truth-conditions of which turn out to be logically equivalent to truth-conditions of third type conditionals, according to which only the impossible follows from the (...) impossible. Moreover, Aristotle is given precisely this non-Scotian conditional logic in two so far overlooked passages of Themistius' Paraphrasis of De Caelo. Some further consequences of Aristotle's equimodality condition on his logic, and notably on his syllogistic, are pointed out and discussed at length. A extension of Aristotle's condition is also discussed, along with a full characterization of truth-conditions of fourth type conditionals. (shrink)

This is the second of a series of papers that investigate fragments of quasi-Nelson logic (QNL) from an algebraic logic standpoint. QNL, recently introduced as a common generalization of intuitionistic and Nelson’s constructive logic with strong negation, is the axiomatic extension of the substructural logic |$FL_{ew}$| (full Lambek calculus with exchange and weakening) by the Nelson axiom. The algebraic counterpart of QNL (quasi-Nelson algebras) is a class of commutative integral residuated lattices (a.k.a. |$FL_{ew}$|-algebras) that includes both Heyting and Nelson algebras (...) and can be characterized algebraically in several alternative ways. The present paper focuses on the algebraic counterpart (a class we dub quasi-Nelson implication algebras, QNI-algebras) of the implication–negation fragment of QNL, corresponding to the connectives that witness the algebraizability of QNL. We recall the main known results on QNI-algebras and establish a number of new ones. Among these, we show that QNI-algebras form a congruence-distributive variety (Cor. 3.15) that enjoys equationally definable principal congruences and the strong congruence extension property (Prop. 3.16); we also characterize the subdirectly irreducible QNI-algebras in terms of the underlying poset structure (Thm. 4.23). Most of these results are obtained thanks to twist representations for QNI-algebras, which generalize the known ones for Nelson and quasi-Nelson algebras; we further introduce a Hilbert-style calculus that is algebraizable and has the variety of QNI-algebras as its equivalent algebraic semantics. (shrink)

We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical (...) matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately fails, (...) and that $$\mathcal {ET\!L}$$ ET L cannot easily be dismissed. We then proceed to give an overview of the research that was inspired by this logic over the last decade, thus providing further motivation for the study of $$\mathcal {ET\!L}$$ ET L and, more generally, of $$\mathcal {FDE}$$ FDE -related logics that result from semantical analyses alternative to Belnap’s canonical one. We focus, in particular, on philosophical questions that these developments raise. (shrink)

In a companion volume to his "History of Beauty," the renowned philosopher and cultural critic analyzes our attraction to the gruesome, horrific, and repellant in visual culture and the arts, drawing on abundant examples of painting and sculpture, ranging from antiquity to the works of Bosch, Goya, and others.