The focus of this paper is the analysis of the epistemological and practical role played bypathe/affections in Epicurus’ philosophy. Epicurus firstly considered the affections not as emotional/passional conditions, but as firm criteria of truth and more specifically as the third criterion of the canonic (i.e. the epistemological part of his philosophical system). In this article the critical reactions (in particular by the Peripatetic side: Aristocles of Messene) against the Epicurean position about the function of the affections will be investigated too. (...) Finally, two parts of this paper are devoted to the Cyrenaic tripartition ofpathe(in all likelihood, a subject criticized by Epicurus) and to the probable doctrinal relationship between Epicurus’patheand Aristotle’sNicomachean EthicsBook 2. (shrink)

The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

"Questo volume esamina la dottrina epicurea dei minimi che rappresenta un nodo cruciale della filosofia di Epicuro e un autentico punto di svolta rispetto all'atomismo di Leucippo e Democrito. Il libro è organizzato in tre capitoli dedicati rispettivamente: all'analisi filologica e teorica delle fonti primarie, alla ricostruzione del contesto storico-filosofico a cui la dottrina dei minimi verosimilmente fa riferimento, e, infine, all'approfondimento dello sviluppo della teoria dei minimi in ambito prevalentemente geometrico all'interno della scuola di Epicuro. L'esame critico delle fonti (...) antiche, anche attraverso l'attenta analisi della letteratura secondaria, conferma il ruolo decisivo giocato dai minimi nella scienza della natura epicurea. Si tratta della prima monografia interamente consacrata allo studio di questa significativa dottrina in tutta la sua ampiezza storica e teorica."--Provided by publisher. (shrink)

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in (...) terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic. -/- . (shrink)

This contribution provides a new collection of the textual extant remains (reliquiae) of the Peripatetic philosopher Cratippus of Pergamon (I c. bc), and a full and detailed overview of the biographical and doctrinal features of this thinker.

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

The COVID-19 pandemic has placed an enormous burden on health systems, and guidelines have been developed to help healthcare practitioners when resource shortage imposes the choice on who to treat. However, little is known on the public perception of these guidelines and the underlying moral principles. Here, we assess on a sample of 1033 American citizens’ moral views and agreement with proposed guidelines. We find substantial heterogeneity in citizens’ moral principles, often not in line with the guidelines recommendations. As the (...) guidelines are likely to directly affect a considerable number of citizens, our results call for policy interventions to inform people on the ethical rationale behind physicians or triage committees decisions to avoid resentment and feelings of unfairness. (shrink)

In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...) same strategy to counter Quine's meaning variance argument against deviant logics. In a nutshell, we claim that genuine rivalry between (similar) logics *L* and *L'* is possible whenever each constant in *L* has the same operational meaning as its counterpart in *L'* although differences in global meaning arise in at least one case. (shrink)

This short note deals with an epigram preserved by the Anthologia Palatina Book IX (360) attributed to a Metrodorus whom, especially for chronological reasons, one tends to identify with the Epicurean Metrodorus of Lampsacus, at least from the Phoinix von Kolophon by Gustav Adolph Gerhard (1909). This epigram looks like a “symmetrical” polemical reply to the immediately preceding one (AP IX 359), which can be attributed (but not without difficulty) to the Hellenistic poet Posidippus. The careful historical-philosophical examination of the (...) contents of this alleged Epicurean epigram (360) leads to believe that it is basically impossible that the author is an Epicurean philosopher such as Metrodorus. (shrink)

In this short note I would like to reflect again upon paragraphs 39–40 of Epicurus’ Letter to Herodotus and, more specifically, on the text printed in the last critical edition by Tiziano Dorandi, which I quote below together with the critical apparatus :495 ἀλλὰ μὴν καὶ τὸ πᾶν ἐστι · σώματα μὲν γὰρ ὡς ἔστιν, αὐτὴ ἡ αἴσθησις ἐπὶπάντων μαρτυρεῖ, καθ’ ἣν ἀναγκαῖον τὸ ἄδηλον τῷλογισμῷ τεκμαίρεσθαι, ὥσπερ προεῖπον. [40] τόπος δὲ εἰ500 μὴ ἦν ὃ κενὸν καὶ χώραν καὶ ἀναφῆ (...) φύσιν ὀνομάζομεν, οὐκἂν εἶχε τὰ σώματα ὅπου ἦν οὐδὲ δι’ οὗ ἐκινεῖτο, καθάπερφαίνεται κινούμενα.495–496 de scholiis glossematibusque in tribus Epicuri epistulis et in RS i, vid. Dorandi, Epicuro 277–8 496–497 σώματα καὶ κενόν duce Gass. suppl. V. d. Muehll: σώματα καὶ τόπος Us. Traditam lectionem defendere conatur Arndt 26. Vid. K. Algra, Elenchos 15 100 et D. Obbink, Philodemus On Piety. Part 1 338–9 497 σώματα ΦFP4: σώμα· τὰ BP1498 πάντων om. Φ 499 τόπος δὲ Us.: τὸ πρόσθε B1: τὸ πρόσθεν B2PΦ: πρόσθεν F Cf. Lucr. 1.426–7 et vid. Sedley, Phronesis 183–4 εἰ δὲ Φ 500 ὃ Φ: ὃ* B2: ὃν B1, ut vid.: ὂν PF ὃ post κενὸν traiecit Φ προεῖπον τὸ πρόσθεν· εἰ δὲ μὴ ἦν ὃ κενὸν Brieger, Seele 5 Vid. Dorandi, Epicuro 282–4 501 ἦν B: εἴη ΦFP4: ἔνι P1 502 οὐδ’ Us.: οὔτε B2PF: ὅτε B1503 περιληπτικῶς rec. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

Two Worlds represents an attempt to overcome the boundaries between science fiction and fantasy. The story is set in a remote future, on an Earth very different from today: the Chimeric development has taken human evolution on strange paths, paths that have led to the advent of other races; hybrid species that possess in their modified DNA genes coming from birds and fishes. The presence of a mysterious Tower of Seeds—a long forgotten place—will rekindle in some people new hopes and (...) the desire, perhaps utopian, to restore the ancient environmental balance with planet Earth. (shrink)

La Jetée is a Chris Marker movie composed by still images, photographs, with the exception of a very short sequence. The paper aims to account for the experience of temporality induced by photography, framing the structural analysis of the movie in a phenomenological horizon, in particular with regard to the Husserlian’s notion of “Living Present”.

Nominalism in formal ontology is still the thesis that the only acceptable domain of quantification is the first-order domain of particulars. Nominalists may assert that second-order well-formed formulas can be fully and completely interpreted within the first-order domain, thereby avoiding any ontological commitment to second-order entities, by means of an appropriate semantics called “substitutional”. In this paper I argue that the success of this strategy depends on the ability of Nominalists to maintain that identity, and equivalence relations more in general, (...) is first-order and invariant. Firstly, I explain why Nominalists are formally bound to this first-order concept of identity. Secondly, I show that the resources needed to justify identity, a certain conception of identity invariance, are out of the Nominalist’s reach. (shrink)

We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian ℓ-groups, (...) where such logics respectively correspond to: i) Meyer and Slaney’s Abelian logic [31]; ii) Galli et al.’s logic of equilibrium [21]; iii) a new logic of “preservation of truth degrees”. (shrink)

Paraconsistent weak Kleene logic is the $3$-valued logic based on the weak Kleene matrices and with two designated values. In this paper, we investigate the poset of prevarieties of generalized involutive bisemilattices, focussing in particular on the order ideal generated by Α$\textrm{lg} $. Applying to this poset a general result by Alexej Pynko, we prove that, exactly like Priest’s logic of paradox, $\textrm{PWK}$ has only one proper nontrivial extension apart from classical logic: $\textrm{PWK}_{\textrm{E}}\textrm{,}$ PWK logic plus explosion. This $6$-valued logic, (...) unlike $\textrm{PWK} $, fails to be paraconsistent. We describe its consequence relation via a variable inclusion criterion and identify its Suszko-reduced models. (shrink)

1. Prolegomena -- 2. [Without special title] -- 3. Opera theologica.

It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.

Genetic mosaicism has long been linked to aging, and several hypotheses have been proposed to explain the potential connections between mosaicism and susceptibility to cancer. It has been proposed that mosaicism may disrupt tissue homeostasis by affecting intercellular communications and releasing microenvironmental constraints within tissues. The underlying mechanisms driving these tissue‐level influences remain unidentified, however. Here, we present an evolutionary perspective on the interplay between mosaicism and cancer, suggesting that the tissue‐level impacts of genetic mosaicism can be attributed to Indirect (...) Genetic Effects (IGEs). IGEs can increase the level of cellular stochasticity and phenotypic instability among adjacent cells, thereby elevating the risk of cancer development within the tissue. Moreover, as cells experience phenotypic changes in response to challenging microenvironmental conditions, these changes can initiate a cascade of nongenetic alterations, referred to as Indirect non‐Genetic Effects (InGEs), which in turn catalyze IGEs among surrounding cells. We argue that incorporating both InGEs and IGEs into our understanding of the process of oncogenic transformation could trigger a major paradigm shift in cancer research with far‐reaching implications for practical applications. (shrink)

In the tradition of substructural logics, it has been claimed for a long time that conjunction and inclusive disjunction are ambiguous:we should, in fact, distinguish between ‘lattice’ connectives (also called additive or extensional) and ‘group’ connectives (also called multiplicative or intensional). We argue that an analogous ambiguity affects the quantifiers. Moreover, we show how such a perspective could yield solutions for two well-known logical puzzles: McGee’s counterexample to modus ponens and the lottery paradox.

I present a formal framework historically faithful to Leibniz's analysis of relational sentences, which: (i) engrafts thematic roles and the non-truth-functional connective insofar as (quatenus) into the monadic fragment of first-order logic; (ii) suggests a plausible ontological picture of thematic roles and relational facts; (iii) supports argument deletion and related inferential patterns that are not taken into account by standard first-order logic.

The paper discusses some formal difficulties concerning the theory of universals of Trope-Only ontologies, from which the formal theory of predication advanced by Trope-Only theorists seems to be irremediably affected. It is impossible to lay out a successful defense of a Trope-Only theory without Russellian types, but such types are ontologically inconsistent with tropes’ nominalism. Historically, Tropists’ first way to avoid the problem is appealing to the supervenience claim, which however fails on its terms and, thus, fails as a ground (...) for a solution to the higher-order or ‘type’ problem. A later solution involves the invariance of primitive equivalence relations in order to make universals ontologically innocuous. However, I argue that this latter solution fails to meet the requirements imposed on an ontologically unbiased nominalist attitude. So, this paper discusses how Trope-Only theories alter standard formal moves in Nominalism, and also is interested in clarifying further the formal assumptions for these problems. (shrink)

According to a well-established interpretive line, the Benthamic judge would be allowed no room for autonomous calculations of utility and his or her task would only be that of mechanically applying substantive law, which expresses the legislator's will. For Gerald Postema, in contrast, Bentham's judge would be granted ample power to decide cases by directly applying the principle of utility. This article criticizes both views, by showing that a adjudication was for Bentham utterly impossible, although this does not mean that (...) judges should be free to decide according to direct utility calculations. Judges must be the tutors of the citizens’ expectations, which, under a system of statute law, will focus on the code. However, they can avoid suboptimality in cases where applying a general rule would not maximize utility, without preponderant damage for law-induced expectations: Bentham's suggestion is that they do so by proposing amendments of the code to the legislature. (shrink)

In this paper I examine G. R. Carone's interpretation of the mind-body problem in late Plato, published in a recent issue of this review. Against Carone's attempt to attribute Plato with a reductionist thesis, whereby the soul can be reduced to the body, I argue that a careful reading of the Timaeus confirms that Plato held a dualist thesis, the soul consisting of an incorporeal substance which cannot be reduced to the corporeal substance the body consists of.

The main aim of this paper is to analyze the relationship between brain and language in terms of coevolution. Nowadays, the thesis of coevolution is defended by the exponents of the neoculturalist paradigm to claim that language is the product of cultural (not biological) evolution. In our opinion, this claim is misleading. From our point of view, in fact, we can refer to the relationship between brain and language in terms of coevolution only if we are prepared to maintain that (...) language is the product of natural selection. In our opinion, in other words, the coevolution thesis involves the idea of language as biological (not cultural) adaptation. (shrink)

We investigate some properties of two varieties of algebras arising from quantum computation - quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras - first introduced in \cite{Ledda et al. 2006}, \cite{Giuntini et al. 200+} and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of $\sqrt{^{\prime }}$ quasi-MV algebras; we give a representation of semisimple $\sqrt{^{\prime }}$ quasi-MV algebras in terms of algebras of functions; (...) finally, we describe the structure of free algebras with one generator in both varieties. (shrink)

We design an experiment to study investment behavior in different repeated contest settings, varying the uncertainty of the outcomes and the number of participants in contests. We find decreasing over-expenditures and a higher rate of ‘dropout’ in contests with high uncertainty over outcomes, while we detect a quick convergence toward equilibrium predictions and a near to full participation when this type of uncertainty vanishes. These results are robust to changes in the number of contestants. A learning parameter estimation using the (...) experience-weighted attraction model suggests that subjects adopt different learning modes across different contest structures and helps to explain expenditure patterns deviating from theoretical predictions. (shrink)

The connection between economics and ethics is as old as economics itself, and central to both disciplines. It is an issue that has recently attracted much interest from economists and philosophers. The connection is, in part, a result of the desire of economists to make policy prescriptions, which clearly require some normative criteria. More deeply, much economic theory is founded on the assumption of utility maximization, thereby creating an immediate connection between the foundations of economics and the philosophical literature on (...) utilitarianism and reasons for action. In fact, some influential contemporary approaches to ethics advocate decision-theoretic or game-theoretic foundations of some sort for moral principles, while several economic theorists are now prepared to take into account the ethical dimensions of rational decisions. As a result, it appears that economics and ethics are somehow inextricably linked through theories of rational decision-making. Most of us would probably find it disturbing to concede that there are contradictions between the prescriptions of rationality and the requirements of moral `rightness'. The essays included in the present volume provide a detailed analysis of the connections between ethics and economics as viewed from several different - sometimes conflicting - perspectives. This book, the outcome of a joint meeting of philosophers and economists, has three main themes: the validity of utilitarianism much used by economists, the notion of fairness and equity, and the coherence of the rationality postulate of economics. The book does not reach any final conclusions, but it greatly illuminates the exact areas of possible disagreement and indeed the open-ended nature of ethical reasoning. There is much that economists, and especially welfare economists, can learn from these papers - not least circumspection. (shrink)

This paper presents a type-free property-theoretic system in the spirit of a framework proposed by Menzel and then supplements it with a theory of truth and exemplification. The notions of a truth-relevantly complex (simple) sentence and of a truth-relevant subsentence are introduced and then used in order to motivate the proposed theory. Finally, it is shown how the theory avoids Russell's paradox and similar problems. Some potential applications to the foundations of mathematics and to natural language semantics are sketched in (...) the introduction. (shrink)

Hípias Menor apresenta a conversação que tem lugar na conclusão da conferência dada por Hípias sobre os poemas homéricos diante de um público numeroso. Sócrates deseja interrogar o sofista sobre um aspecto particular de sua exegese homérica, aquele da descrição dos personagens de Aquiles e de Ulisses: o primeiro, o mais simples e sincero (ou verdadeiro, haploústatos kaì alethéstatos), seria melhor que o segundo, que é dúplice (polútropos). A simplicidade de Aquiles deveria revelar a sinceridade, enquanto a duplicidade (ou melhor (...) a multiplicidade, polú-tropos) de Ulisses indicaria um caráter ambíguo e enganador. Parece então que a quem sabe muitas coisas pertence a capacidade de enganar, precisamente utilizando os muitos conhecimentos que possui, enquanto a sinceridade constituiria um traço específico de quem, não possuindo conhecimentos, não pode senão revelar-se pelo que é. O paradoxo ético que disso deriva é examinado através de uma análise dos argumentos desenvolvidos no diálogo. (shrink)

According to the tradition of natural law justice is inherent to, and should always be observed in, all interpersonal relations: the science of natural law is nothing more or less than the expression of such principles of justice. The theoretical peculiarities that crop up regarding the lawfulness of appropriation are determined by the indirect interpersonal relations that take place within the process of appropriation: though appropriation is an action directed not towards another person or his property, but towards tangible external (...) goods, this action may have important consequences for other people. Therefore Locke's theory of appropriation is a theory of justice.Locke's solution is made possible by the methodological improvement which allows a clear separation between the natural law and the historical and empirical conditions of its application: this improvement is a consequence of the distinction between modes and substances established in Locke's Essay. (shrink)