Ce nouvel opus de la collection Les écrits de Plotin a été rédigé en italien par A. Linguiti, puis traduit en français par A.C. Peduzzi, la traduction française du texte grec de Plotin ayant naturellement été vérifiée par A. Linguiti. Les citations de Plotin extraites d’autres traités (dans l’Introduction et le Commentaire) sont données dans la traduction d’Émile Bréhier. Ce travail, en grande partie inédit, bénéficie de recherches déjà publiées par A. Linguiti dans un ouvrage plus volumineux...

Until the issue of Altheim's book Roemische Religionsgeschichte there was little doubt about the correctness of Wissowa's view that the two groups of the diindigetes and the di novensides combined with each other represent the whole of theRoman pantheon, the di indigetes being the old, indigenous deities of the Roman people, inherited so to speak from the days of Romulus, the di novensides the new deities, imported in historical times from foreign peoples. This view has now been abandoned, owing to (...) Altheim's arguments. Besides this, Altheim and later C. Koch have proved that the proximity of the expressions divi novensiles and di indigetes in Livy's report about the devotio of P. Decius Mus does not in itself justify the conclusion that the di indigetes and the di novensides are linked together in such a manner that the solution of the problem of one group involves that of the other. Hence the questions arise, first, what is the nature of the di novensides or of the di indigetes, and whether either of these questions has been satisfactorily answered; secondly, is it possible to establish any relationship between these two groups of deities, and can such a relation be usedas a starting-point from which to investigate the nature of the other group? In choosing this line of research it seems to me that an attempt to solve the problem of the novensides rather than that of the indigetes promises greater success. I shall, therefore, treat the di novensides in the first part of this paper. (shrink)

According to John Rawls’s famous Liberal Principle of Legitimacy, the exercise of political power is legitimate only if it is justifiable to all citizens. The currently dominant interpretation of what is justifiable to persons in this sense is an internalist one. On this view, what is justifiable to persons depends on their beliefs and commitments. In this paper I challenge this reading of Rawls’s principle, and instead suggest that it is most plausibly interpreted in externalist terms. On this alternative view, (...) what is justifiable to persons is not in any way dependent on, or relativized to, their beliefs and commitments. Instead, what is justifiable to all in the relevant sense is what all could accept as free and equal. I defend this reinterpretation of the view by showing how it is supported by Rawls’s account of the freedom and equality of persons. In addition, a considerable advantage of this suggestion is that it allows for an inclusive account of to whom the exercise of political power must be made justifiable. (shrink)

It is often assumed that how we talk about the world matters a great deal. This is one reason why conceptual engineers seek to improve our linguistic practices by advocating novel uses of our words, or by inventing new ones altogether. A core idea shared by conceptual engineers is that by changing our language in this way, we can reap all sorts of cognitive and practical benefits, such as improving our theorizing, combating hermeneutical injustice, or promoting social emancipation. But how (...) do changes at the linguistic level translate into any of these worthwhile benefits? In this paper, we propose the nameability account as a novel answer to this question. More specifically, we argue that what linguistic resources are readily available to us directly affects our cognitive performance on various categorization-related tasks. Consequently, our performance on such tasks can be improved by making controlled changes to our linguistic resources. We argue that this finding supports and extends recent motivations for conceptual engineering, as categorization plays an important role in both theoretical and practical contexts. (shrink)

We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP-hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC) is in coNE, thus obtaining a sharp complexity estimate for admissibility in these systems.

Das Buch erkundet Wege und Umwege des Gedachtnisses in Philosophie und erzahlender Literatur. Es fragt nach der existentiellen Bedeutung der Erinnerung: Wieso verlangt der Mensch nach Erinnerung? Wonach strebt die Suche nach der verlorenen Zeit? Lebenserinnerung verfolgt ein zweifaches Ziel: die zerrinnende Zeit anzuhalten und sich in seinem Leben gegenwartig zu werden. Sie wehrt sich gegen das Vergehen und Vergessen, in ihr sucht der Mensch sich zu finden und sich uber sein Leben zu verstandigen. Erinnerung vollzieht sich in mannigfachen Formen. (...) Das Vergangene kann in spontanen Bildern wiederkehren oder verschlossen sein und sich nur der beharrlichen Arbeit des Gedachtnisses offnen; Erinnerungen konnen in Leidenserfahrungen und in Glucksversprechen wurzeln. Sich erinnern entspricht einem ursprunglichen Bedurfnis der Menschen und geht ein in den Vollzug eines gelingenden Lebens. (shrink)

The issue of democracy is alive once more. There is a growing number of works debating the current state of democracy both in theory and practice.1 In particular a pragmatist conception of democracy has also been revived. Not only has a Deweyan version of a participatory democracy become the focus but the intricacies of a Rortian version have also come to the forefront, from both sympathetic as well as critical viewpoints.2 Thus the impression that the contemporary world is in quite (...) an exigent need of reconsidering—and perhaps even forming a novel conception of—democracy seems to be obvious, at least from a global point of view.3 Moreover, the fact that the idea or ideal of democracy still seems to be .. (shrink)

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.

D’Aquino et al. (J Symb Log 75(1):1–11, 2010) have recently shown that every real-closed field with an integer part satisfying the arithmetic theory IΣ4 is recursively saturated, and that this theorem fails if IΣ4 is replaced by IΔ0. We prove that the theorem holds if IΣ4 is replaced by weak subtheories of Buss’ bounded arithmetic: PV or $${\Sigma^b_1-IND^{|x|_k}}$$. It also holds for IΔ0 (and even its subtheory IE 2) under a rather mild assumption on cofinality. On the other hand, it (...) fails for the extension of IOpen by an axiom expressing the Bézout property, even under the same assumption on cofinality. (shrink)

We show that \, the basic theory of bounded arithmetic corresponding to the complexity class \, proves the \ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the \ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, \ can also prove the integer division axiom, and the \-translation of induction and minimization for sharply bounded formulas. Similar consequences hold for the related theories \ and \. As a side (...) result, we also prove that there is a well-behaved \ definition of modular powering in \\). (shrink)

We show that $$ VTC ^0$$, the basic theory of bounded arithmetic corresponding to the complexity class $$\mathrm {TC}^0$$, proves the $$ IMUL $$ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the $$\mathrm {TC}^0$$ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, $$ VTC ^0$$ can also prove the integer division axiom, and (by our previous results) the $$ RSUV $$ -translation of induction and minimization for sharply (...) bounded formulas. Similar consequences hold for the related theories $$\Delta ^b_1\text{- } CR $$ and $$C^0_2$$. As a side result, we also prove that there is a well-behaved $$\Delta _0$$ definition of modular powering in $$I\Delta _0+ WPHP (\Delta _0)$$. (shrink)

It has been argued that there is a genuine conflict between the views of geometry defended by Hume in the Treatise and in the Enquiry: while the former work attributes to geometry a different status from that of arithmetic and algebra, the latter attempts to restore its status as an exact and certain science. A closer reading of Hume shows that, in fact, there is no conflict between the two works with respect to geometry. The key to understanding Hume's view (...) of geometry is the distinction he draws between two standards of equality in extension. (shrink)

We study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...) nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal. (shrink)

1. Fichtes idealismus und die geschichte. Rechtsphilosophie. Hegel in seinem verhältnis zur weltanschaung der aufklärung. Gibt es einen "Primat der praktischen vernunft" in der logik?--2. Die logik der philosophie und die kategorienlehre. Die lehre vom urteil.--3. Platon. Zum system der logik. Zum system der wissenschaften.

This essay explores the implications of historicising John Rawls’s theory of justice. While historical research on Rawls and his social context has provided valuable insights, some scholars argue that historicising carries significant philosophical consequences. This paper critically examines one such argument that contends that historicising Rawls’s theory demonstrates its contextual nature, undermines its diagnostic powers, and leads to its complete dissolution. We offer a reconstruction of this argument and show that it fails. Further, while we argue that this argument fails, (...) we go on to suggest that historical evidence may contribute to a defensive argument against appeals to expert opinion. By examining the appropriate relationship between historical research and philosophy, this essay contributes to the evaluation of the historicist critique and offers insights into the broader role of historical research in philosophical discourse. (shrink)

We study the extension 123) of the theory S21 by instances of the dual weak pigeonhole principle for p-time functions, dWPHPx2x. We propose a natural framework for formalization of randomized algorithms in bounded arithmetic, and use it to provide a strengthening of Wilkie's witnessing theorem for S21+dWPHP. We construct a propositional proof system WF , which captures the Π1b-consequences of S21+dWPHP. We also show that WF p-simulates the Unstructured Extended Nullstellensatz proof system of Buss et al. 256). We prove that (...) dWPHP is equivalent to a statement asserting the existence of a family of Boolean functions with exponential circuit complexity. Building on this result, we formalize the Nisan–Wigderson construction in a conservative extension of S21+dWPHP. (shrink)

Ameliorative projects design and propagate new linguistic content for some expressions we use for political or social justice purposes. These projects are often driven by an anti-essentialist agenda: they aim to debunk the idea that social categories such as “woman,” “man,” or “race” are constituted by natural essences. But critics argue that nouns tend to trigger essentialist thinking. And because ameliorative projects typically retain nouns, it is argued that these projects cannot achieve their anti-essentialist goals. In response, I argue that (...) the psychological effects of noun use tend to support, rather than hinder, the anti-essentialist goals of ameliorators. (shrink)

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in (...) existential theories in the process. (shrink)

Mixed strategies have been used to show that Pascal’s Wager fails to offer sufficient pragmatic reasons for believing in God. Their proponents have argued that, in addition to outright belief in God, rational agents can follow alternatives strategies whose expected utility is infinite as well. One objection that has been raised against this way of blocking Pascal’s Wager is that applying a mixed strategy in Pascal’s case is tantamount to applying an iterated mixed strategy which, properly understood, collapses into the (...) pure strategy of becoming a theist. I argue that since the assumptions used to develop the iterated mixed strategies response are even more questionable than those the initial objection relies on, this type of response to the mixed strategy objection fails. (shrink)

In his book The Intellectual Virtues and the Life of the Mind: On the Place of the Virtues in Contemporary Epistemology, Jonathan Kvanvig argues that there is an interchangeability of personal and doxastic justification, which ‘blocks the quick route to virtue epistemology’. To prove that personal justification is reducible to doxastic justification, he utilizes λ-calculus expressions that aim to show the logical equivalence of the two notions of justification. In this paper, I argue that he has made an illegitimate move (...) in his translation of the ordinary talk of personal justification into λ-expressions because his translation involves both an elimination from and an addition to the ordinary language. Pace Kvanvig, there is no logical equivalence of personal to doxastic justification. So, his argument for the reducibility of personal to doxastic justification founders. More importantly, since he has failed to disprove that personal justification is irreducibly primitive, he hasn’t shown that the prospects for virtue epistemology are ‘hopeless’. (shrink)

We prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.

The unfolding of string theory has led to a successive refinement and generalization of our understanding of geometry and topology. A brief overview of these developments is given.