‘Universal benevolence’ may be defined as the goal of promoting the welfare of every individual, however remote, to the best of one’s ability. Currently, the commonest model of universal benevolence is that of ‘impartiality,’ the notion promoted by Peter Singer, Roderick Firth, and others, that every individual (including oneself) is of equal intrinsic worth. This paper contends that the impartialist model is seriously flawed. Specifically, it is demonstrated that impartialist accounts of benevolence (1) attempt to draw positive moral conclusions from (...) negative premises, (2) draw actual conclusions from merely counterfactual premises, (3) fail to live up to stated claims of naturalism, and (4) give no compelling account of moral motivation. By contrast, I propose an alternate model of universal benevolence, grounded in the Stoic, cosmopolitan theory of oikeiôsis, i.e. ‘appropriation.’ Such a model, in contradistinction to impartiality, would see benevolence as the positive identification between moral agent and moral patient, rather than a charitable sacrifice of oneself for a distinct but equal other. An ethics of oikeiôsis has the further benefit of avoiding each of the four abovementioned conceptual pitfalls common to impartialist theories. (shrink)

Plotinus’s debt to the Stoic thought is well documented. Not only was this debt a function of the general intellectual atmosphere in which Plotinus worked, but the philosopher frequently adopted and modified Stoic positions consciously and carefully. The concept of oikeiôsis / οἰκείωσις plays an important role in Stoic thought. Indeed, some scholars assert that it provides the very foundations for Stoic ethics and political philosophy. In the present study, we will exam Plotinus’ use of this important concept. It shall (...) become clear that, on account of the great differences between Neoplatonic and Stoic metaphysics, Plotinus employs the notion of oikeiôsis in manners that are very distinct from the ways in which it was deployed by various Stoic thinkers. Nevertheless, it shall also become evident that Plotinus’ appropriation of the concept of oikeiôsis accorded him a conceptual tool by which to better think problems concerning the nature of the self. (shrink)

I investigate Stoic accounts of the structure and function of self-consciousness, specifically in connection with the Stoic notion of Oikeiosis. After reviewing the tortured history of attempts to translate this ancient notion into modern terms, I set out to determine its content by identifying its inferential role in Stoic moral psychology. I then provide a reconstruction of the Stoic claim that Oikeiosis is or involves a form of self-consciousness (Chrysippus), self-sentiment (Seneca), or synæsthesia (Hierocles). I show how the Stoic conception (...) of self-consciousness differs fundamentally from modern accounts of selfconsciousness as a form of psychic self-presence or epistemic self-certainty, and I exhibit the limitations of Long’s treatment of Stoic self-consciousness as proprioception. Finally, I offer a reconstruction of the Stoic claim that self-consciousness figures as a condition on the possibility of perception and desire, providing a form of normative orientation essential for intentional determinacy. (shrink)

En este libro se reconstruye el modelo de fundamentación ética naturalista que el estoicismo desa¬r¬rolló a partir de la noción clave de la oikeiosis. Lo sorprendente de este modelo con¬sis¬te en el hecho de que, a pesar de orientarse a partir de la noción de autoconservación, los estoicos no desarrollaron una ética de la supervivencia ni asumieron ninguna otra variante habitual del egoísmo moral, sino que elaboraron, por el contrario, una ética de marcado contenido social, que adquiere in¬clu¬so un carácter (...) decididamente universalista y cosmopolita. A través de un estudio detallado de los textos estoicos más relevantes y en diálogo con las voces contemporáneas que lideran el estudio de esta escuela helenística, el autor analiza las diferentes fases del proceso de modulación de los impulsos naturales que se da en el ser humano con el surgimiento de la razón, y explica en qué sentido el logro de la virtud equivale para un estoico a una “vida en conformidad con naturaleza”. This book makes a critical examination of the Stoic theory of oikeiosis offering a systematic reconstruction of the natural basis of morality within this philosophical school. What is striking about this theory is the fact that, despite being guided by the notion of self-preservation, the Stoics did not develop an ethics of survival or assume any other variant of the usual ethical egoism but rather developed a model of ethics replete with social content, which takes on a decidedly universal and cosmopolitan character. Through a detailed study of classical sources and in dialogue with leading contemporary scholars in the field of Stoic studies, the author accounts for the different stages of the process of modulation of natural impulses that occurs in human beings with the emergence of reason, and also explains in what sense the attainment of virtue is for a Stoic equivalent to a “life in accordance with nature”. (shrink)

Seneca’s Letters sketch a theory of attentive action according to which distraction is caused by inconsistent beliefs about values, such that the degree of an agent’s attention to an endorsed action is proportionate to the consistency of her beliefs about value, i. e. her proximity to virtue. The agent’s activity of attentive action is co-ordinated with a state of alertness to her interests, which accordingly triggers switches in attention that sustain the endorsed action in single-minded agents or cause distraction (...) if the new interest is irrelevant to it. Seneca’s theory reflects the older Stoic conception of the tensional mental strength of the virtuous agent, which Chrysippus identified as the causal factor over and above virtue that ensures her successful performance of right action. (shrink)

One of the most puzzling things about Stoicism has always been its position concerning the so-called “indifferents”. Let me summarize it. The Stoics seem to hold that all states of affairs other than virtue are indifferent as to goodness. At the same time they seem to think that virtue is partially constituted by a propensity to choose certain such indifferent states of affairs. For they maintain that the end, which they identify with virtue and the sole good, is “to (...) live in agreement with nature”, in a sense that is taken to involve selecting things that are in accord with nature, even though these things, it seems, are indifferent. They make two seemingly evaluative distinctions within the class of indifferents, one between things that are “preferred” and things that are “dispreferred”, and another between “appropriate acts” and others. All of this is well known and uncontroversial. (shrink)

We propose a family of Labelled Deductive Conditional Logic systems by defining a Labelled Deductive formalisation for the propositional conditional logics of normality proposed by Boutilier and Lamarre. By making use of the Compilation approach to Labelled Deductive Systems we define natural deduction rules for conditional logics and prove that our formalisation is a generalisation of the conditional logics of normality.

The concept of concrete and abstract entities relates to an ontological specification problem, described by Plato’s Sophist concept of the Gods and Giants and their interpretation of metaphysical reality. Developing an ontology without considering the full metaphysical implications leaves conceptual gaps in the creation of events, change in states and management of thoughts, plans and deceptions. This paper seeks to resolve conceptual gaps in the field of cyberspace representation, enabling both ontological interoperability and the development of more complex artificial intelligence (...) technologies. The beginnings of a new meta-ontology for cyberspace are proposed, based on Stoic metaphysics. A meta-ontology provides high-level construction of meaning, upon which more specific ontologies can be built. Coherence between ontologies is important because cyberspace is a contextually dependent knowledge space within the broader infosphere, with many interdependent concepts. This paper enhances the potential for ontological interoperability and transparency between users, human or machine. (shrink)

We experience anxiety because things may not turn out as we wish. Perhaps the problem is not located in the unfolding of events, but rather in the nature of the wishing. In this paper, I will argue that the Roman Stoics correctly analyzed the necessary conditions surrounding the arising of anxiety, and offered an effective prescription for the treatment and prevention of this disordered emotional state—a prescription that does not involve benzodiazepines such as Valium or Xanax, but one (...) that holds out the promise of a more stable and enduring anxiolytic effect. Ultimately, anxiety can afflict only those whose desires are not rationally governed. There is little that anyone can do about the vicissitudes of the external world and the unraveling of events therein, but there is a great deal thata rational agent can do to manage the objects and direction of desire and aversion. Though not dispensed in tablet or capsule form, Stoic anxiolytics remain available without prescription and exhibit an extraordinarily benign side effect profile. They rarely cause weight gain, sexual dysfunction, or uncontrollable movements of the limbs. Physiological dependence is relatively rare—and not especially pernicious. Instead, Stoicism offers rationally grounded, proven psychological techniques for the gradual development of consistent self-mastery and emotional detachment from those facets of the human condition that tend to cause the most pervasive and unsettling forms of fear, anxiety, and avoidable disquiet. (shrink)

Students of Stoicism often bewail the state of our sources. Of the works of Zeno and Chrysippus, the two major early Stoics, we have only fragments and later accounts whose distance from the original we can only guess. Our sources for early Stoic ethics are in better shape than our sources for Stoic metaphysics or logic, but they are still gappy and have the frustating feature that almost none of them are concerned to reveal the argumentative structure of (...) the theory. (shrink)

This paper deals with Aristotelian and Stoic logic. In the first part the author writes about the history of logic and shows, why Stoic logic had not been studied properly from the Middle Ages up to the beginning of the 20th century, when an increasing interest in the study of Stoic logic is visible. The paper describes the character of Aristotelian and Stoic logic respectively. Stoic logic is first introduced as a system of propositional logic. On this basis a complementarity (...) between the two logical systems of Antiquity is stated. The ways to support the thesis that Stoic logic involved some features of predicative logic are shown at the end of the first part. The ways in which the two rival logical systems were perceived by the authors of the first centuries A. D., namely Galen and Boethius, is described in the second part. Galen is seen as the first to develop an objective synthesis of the two systems. In his Eisagogé dialektiké he tries to show the goals of both rival logical systems. Boethius, in his De hypotheticis syllogismis, is also combining the Aristotelian and the Stoic logic. However, his synthesis is different from Galen's because Boethius probably forms the synthesis unknowingly and indirectly through compiling his confused sources. (shrink)

The point of view endorsed in John Lachs’s Stoic Pragmatism is easy to state, yet profound in its application. If pragmatists can be accused of sometimes under-appreciating the irremediable, and stoics of sometimes being fatalist in a manner that shuts out real possibilities, the two orientations may need each other. His perspective combines a pragmatic commitment to amelioratory achievement and a stoic recognition of unbridgeable limits. As the book conveys, the marriage of stoicism and prag...

Labelled tableau systems are developed for subintuitionistic logics \, \ and \. These subintuitionistic logics are embedded into corresponding normal modal logics. Hintikka’s model systems are applied to prove the completeness of labelled tableau systems. The finite model property, decidability and disjunction property are obtained by labelled tableau method.

Central passages: Alexander of Aphrodisias On Fate 181–3, 189, 192, 205, Nemesius On Human Nature 105.6–106.13; Although in the first three centuries AD there were several Stoic theories of fate in circulation, only one systematic exposition of a later Stoic compatibilist theory has survived. This is found in Alexander of Aphrodisias’ On Fate, with parallels in Nemesius. These are the only sources that provide a Stoic account of that which depends on us and its relation to Stoic fate theory. This (...) chapter is devoted to this theory and its reception by opponents in later antiquity. It is shown that this theory goes back to a particular second century AD Stoic view, which, although ‘orthodox’, differs noticeably from Chrysippus’. The reason for the modifications can be found in the confrontation with the newly developed Middle Platonist and Peripatetic theories of fate and freedom, and the shift of emphasis to the predetermination of ‘mental events’ as opposed to actions only, which forced the discussion of Stoic type determinism and that which depends on us to a new level. It is in the context of the confrontation of these theories with the Stoic ones that problems similar to modern problems of free will and determinism arise, and both the Stoics and their opponents introduce new arguments designed to cope with the new state of the debate. (shrink)

Cut elimination is shown, in a constructive way, to hold in sequent calculi labelled with truth values for a wide class of normal modal logics, supporting global and local reasoning and allowing a general frame semantics. The complexity of cut elimination is studied in terms of the increase of logical depth of the derivations. A hyperexponential worst case bound is established. The subformula property and a similar property for the label terms are shown to be satisfied by that class of (...) modal sequent calculi. Modal logics presented by these calculi are proven to be globally and locally consistent. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

C. I. Lewis’ systems were the first axiomatisations of modal logics. However some of those systems are non-normal modal logics, since they do not admit a full rule of necessitation, but only a restricted version thereof. We provide G3-style labelled sequent calculi for Lewis’ non-normal propositional systems. The calculi enjoy good structural properties, namely admissibility of structural rules and admissibility of cut. Furthermore they allow for straightforward proofs of admissibility of the restricted versions of the necessitation rule. We establish completeness (...) of the calculi and we discuss also related systems. (shrink)

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. (...) Our approach has a modular metatheory too; soundness, completeness and normalization are proved uniformly for every logic in our class. Finally, our work leads to a simple implementation of a modal logic theorem prover in a standard logical framework. (shrink)

In this paper a uniform methodology to perform natural\ndeduction over the family of linear, relevance and intuitionistic\nlogics is proposed. The methodology follows the Labelled\nDeductive Systems (LDS) discipline, where the deductive process\nmanipulates {\em declarative units} -- formulas {\em labelled}\naccording to a {\em labelling algebra}. In the system described\nhere, labels are either ground terms or variables of a given {\em\nlabelling language} and inference rules manipulate formulas and\nlabels simultaneously, generating (whenever necessary)\nconstraints on the labels used in the rules. A set of natural\ndeduction style (...) inference rules is given, and the notion of a\n{\em derivation} is defined which associates a labelled natural\ndeduction style ``structural derivation'' with a set of generated\nconstraints. Algorithmic procedures, based on a technique called\n{\em resource abduction\/}, are defined to solve the constraints\ngenerated within a structural derivation, and their termination\nconditions discussed. A natural deduction derivation is then\ndefined to be {\em correct} with respect to a given substructural\nlogic, if, under the condition that the algorithmic procedures\nterminate, the associated set of constraints is satisfied with\nrespect to the underlying labelling algebra. Finally, soundness\nand completeness of the natural deduction system are proved with\nrespect to the LKE tableaux system \cite{daga:LAD}.\footnote{Full\nversion of a paper presented at the {\em 3rd Workshop on Logic,\nLanguage, Information and Computation\/} ({\em WoLLIC'96\/}), May\n8--10, Salvador (Bahia), Brazil, organised by Univ.\ Federal de\nPernambuco (UFPE) and Univ.\ Federal da Bahia (UFBA), and\nsponsored by IGPL, FoLLI, and ASL.}. (shrink)

In this paper I would like to argue that Stoic logic is a kind ofrelevant logic rather than the classical logic. To realize this purpose I willtry to keep as close as possible to Stoic calculus as expressed with the helpof their arguments.

A significant portion of the world’s text is tagged by readers on social bookmarking websites. Credit attribution is an inherent problem in these corpora because most pages have multiple tags, but the tags do not always apply with equal specificity across the whole document. Solving the credit attribution problem requires associating each word in a document with the most appropriate tags and vice versa. This paper introduces Labeled LDA, a topic model that constrains Latent Dirichlet Allocation by defining a (...) one-to-one correspondence between LDA’s latent topics and user tags. This allows Labeled LDA to directly learn word-tag correspondences. We demonstrate Labeled LDA’s improved expressiveness over traditional LDA with visualizations of a corpus of tagged web pages from del.icio.us. Labeled LDA outperforms SVMs by more than 3 to 1 when extracting tag-specific document snippets. As a multi-label text classifier, our model is competitive with a discriminative baseline on a variety of datasets. (shrink)

Orthologic is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic. Sequent calculus is used as a tool for proof in logic and has been examinedfor several decades. Although there are many studies on sequent calculus forOL, these sequent calculi have some problems. In particular, they do not includeimplication connective and they are mostly incompatible with the cut-eliminationtheorem. In this paper, we introduce new labeled (...) sequent calculus called LGOI, and show that this sequent calculus solve the above problems. It is alreadyknown that OL is decidable. We prove that decidability is preserved when theimplication connective is added to OL. (shrink)

Chuck Chakrapani ABSTRACT: Stoic Minimalism may be described as ‘just enough Stoicism.’ Just enough for what? Just enough to lead the good life. Just enough to cope with the stress of modern life. Just enough to not be rattled by the constant changes that characterize the times we live in. Just enough to be resilient ….

John Lachs, one of American philosophy's most distinguished interpreters, turns to William James, Josiah Royce, Charles S. Peirce, John Dewey, and George Santayana to elaborate stoic pragmatism, or a way to live life within reasonable limits. Stoic pragmatism makes sense of our moral obligations in a world driven by perfectionist human ambition and unreachable standards of achievement. Lachs proposes a corrective to pragmatist amelioration and stoic acquiescence by being satisfied with what is good enough. This personal, yet modest, philosophy offers (...) penetrating insights into the American way of life and our human character. (shrink)

We give a new proof of a theorem of Shelah which states that for every family of labeled trees, if the cardinality κ of the family is much larger (in the sense of large cardinals) than the cardinality λ of the set of labels, more precisely if the partition relation holds, then there is a homomorphism from one labeled tree in the family to another. Our proof uses a characterization of such homomorphisms in terms of games.

Whenever we worry about what to eat, how to love, or simply how to be happy, we are worrying about how to lead a good life. No goal is more elusive. In How to Be a Stoic, philosopher Massimo Pigliucci offers Stoicism, the ancient philosophy that inspired the great emperor Marcus Aurelius, as the best way to attain it. Stoicism is a pragmatic philosophy that teaches us to act depending on what is within our control and separate things worth getting (...) upset about from those that are not. By understanding Stoicism, we can learn to answer crucial questions: Should we get married or divorced? How should we bank in a world nearly destroyed by a financial crisis? How can we survive great personal tragedy? Whoever you are, Stoicism has something for you—and How to Be a Stoic is your essential guide. (shrink)

Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calculi labelled with truth values and with a semantics based on a two-sorted algebra allowing, in particular, the representation of general Kripke structures. A wide variety of logics, including non-classical logics like, for instance, modal logics and intuitionistic logic can be presented by logic systems of this kind. A categorical approach of fusion (...) is defined in the context of these logic systems. Preservation of soundness and completeness by fusion is studied. Soundness is preserved without further requirements, completeness is preserved under mild assumptions. (shrink)

Whatever specific beliefs pragmatists share concerning experience, knowledge, value, and meaning, they generally agree that a central part of the business of life is to make life better. James speaks of the ideal of meeting all needs, Royce of defeating evil, and Dewey of making experience richer and more secure. They are at one in thinking that human intelligence can make a vast difference to how well we live, and they extol the possibility of improving our circumstances. They tend to (...) be dissatisfied with the status quo and see indefinitely sustained amelioration as the solution to our problems. Stoics, in sharp contrast, are quick to call attention to the limits of our powers and recommend accepting them without complaint. They tend to think that only our beliefs and attitudes fall securely in our control. Epictetus, Seneca, and Marcus Aurelius agree that anything we would consider an improvement of the human condition is temporary and that, in any case, fulfilling our desires accomplishes little. The key to living well, they maintain, is control over self, not over circumstance, and they embrace inner calm in the face of whatever misfortune befalls us. Even such a brief characterization of these two great philosophical traditions makes it clear that pragmatic ambition and... (shrink)

In his A Treatise of Freewill, Ralph Cudworth argues against Stoic determinism by drawing on what he takes to be other concepts found in Stoicism, notably the claim that some things are ?up to us? and that these things are the product of our choice. These concepts are central to the late Stoic Epictetus and it appears at first glance as if Cudworth is opposing late Stoic voluntarism against early Stoic determinism. This paper argues that in fact, despite his claim (...) to be drawing on Stoic doctrine, Cudworth uses these terms with a meaning first articulated only later, by the Peripatetic commentator Alexander of Aphrodisias. (shrink)

We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are similar to formulae of automaton propositional dynamic logic. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. We show that the known EXPTIME upper bound for regular grammar logics can be obtained using our tableau calculus. We also give an effective Craig interpolation lemma for regular grammar (...) logics using our calculus. (shrink)

ABSTRACT: This paper traces the evidence in Galen's Introduction to Logic (Institutio Logica) for a hypothetical syllogistic which predates Stoic propositional logic. It emerges that Galen is one of our main witnesses for such a theory, whose authors are most likely Theophrastus and Eudemus. A reconstruction of this theory is offered which - among other things - allows to solve some apparent textual difficulties in the Institutio Logica.

Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as well as for combined modal-justification logics. Using a method due to Sara Negri, we internalize the Kripke-style semantics of justification and modal-justification logics, known as Fitting models, within the syntax of the sequent calculus to produce labeled sequent calculi. We show that all rules of these systems are invertible and the structural rules (weakening and contraction) (...) and the cut rule are admissible. Soundness and completeness are established as well. The analyticity for some of our labeled sequent calculi are shown by proving that they enjoy the subformula, sublabel and subterm properties. We also present an analytic labeled sequent calculus for S4LPN based on Artemov–Fitting models. (shrink)

Christopher Gill ABSTRACT: How much theory is enough for a complete account of ancient Stoic ethics and for modern life-guidance? Stoic ethics was presented either purely in its own terms or combined with the idea of human or universal nature. Although the combination of ethical theory with human and universal nature provides the ….

Tristan J. Rogers ABSTRACT: What might a Stoic approach to politics look like? David Goodhart aptly describes the political divide pervading Western societies in terms of the ‘somewheres,’ who are communitarian, rooted in particular places, and resistant to social and political change, versus the ‘anywheres,’ who are cosmopolitan, mobile, and enthusiastic embracers of change. Stoicism ….

In his treatiseOn Prayer Origen raises and answers four objections against prayer. In this essay I examine the Stoic strategies to which Origen appeals in his attempt to answer them. His defense of the claim that providence and prayer are compatible assumes a standard account of freedom and human agency common among the Stoics of his time. In addition to appealing to the standard compatibilist view of human agency found in the Stoics, Origen’s presentation and response to these (...) questions turns out to be reminiscent of Stoic attempts to resolve those thorny issues surrounding fate presented in the so-called ‘Idle Argument’. (shrink)