Robert Brandom claims that the theory of meaning he presents in Making It Explicit is expressively complete—i.e., it successfully applies to the language in which the theory of meaning is formulated. He also endorses a broadly Kripkean approach to the liar paradox. I show that these two commitments are incompatible, and I survey several options for resolving the problem.

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely (...) combinatorial characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

This paper deploys a Cantor-style diagonal argument which indicates that there is more possible mathematical content than there are propositional functions in Russell and Whitehead's Principia Mathematica and similar formal systems. This technical result raises a historical question: "How did Russell, who was himself an expert in diagonal arguments, not see this coming?" It turns out that answering this question requires an appreciation of Russell's understanding of what logic is, and how he construed the relationship between logic and Principia Mathematica.

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are (...) often justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

In Nicomachean Ethics 1.8, Aristotle seems to argue that certain external goods are needed for happiness because, in the first place, they are needed for virtuous activity. This has puzzled scholars. After all, it seems possible for a virtuous agent to exercise her virtuous character even under conditions of extreme hardship or deprivation. Indeed, it is natural to think these are precisely the conditions under which one's virtue shines through most clearly. Why then does Aristotle think that a wide range (...) of external goods is required for virtuous activity, and therefore, for happiness? -/- I argue that there is good sense to be made of Aristotle's stance on external goods. Specifically, I explain how, on this view, a range of external goods is required for the full exercise of virtue, and I show that it is only this full exercise that is constitutive of eudaimonia. Drawing on passages in Politics 7.13 and Nicomachean Ethics 3.1, I develop and defend a distinction between the "mere" exercise of virtue, and the full or complete exercise of virtue. I argue that, for Aristotle, the distinguishing feature of this distinction is the value of the virtuous action's ends. An action that fully expresses virtue aims at an end that is unqualifiedly good, while an action that merely exercises virtue does not. I argue that the external goods Aristotle mentions in NE 1.8 are necessary for performing actions with unqualifiedly good ends, and so necessary for the complete exercise of virtue. In addition to providing a more satisfactory account than existing proposals of the role of external goods in Aristotelian happiness, my interpretation has two additional upshots. First, it brings to light an under-appreciated and independently compelling feature of Aristotle's ethical thought: the value of virtuous actions depends in part on the value of the ends they aim to realize. Second, it finds in Aristotle a distinct and powerful way of thinking about the badness of certain kinds of misfortune and deprivation: they are bad in part because they prevent us from fully realizing our capacity for moral agency, from fully engaging with value in the world. (shrink)

The dilemma referred to in the title occurs in many contexts concerned with expressive meaning in art, and especially music, which suggests that the issue it raises will be central to any complete theory of musical expressiveness. One notable attempt to resolve the paradox of simultaneous generality and particularity in music is in Aaron Ridley’s book Music, Value and the Passions. I show why I consider his account unsatisfactory and then propose my own resolution of the paradox. It takes (...) the form of distinguishing between two distinct notions of generality (which I term ‘generality’ and ‘abstractness’) and of particularity (‘specificity’ and ‘concreteness’), and of constructing two relatively independent oppositions: the concrete versus the abstract and the specifi c versus the general. Finally, I show that a description of music’s expressive meaning as abstract, but specific, rightly captures what is usually thought about music, and does not entail any contradictions. (shrink)

Both patients and clinicians frequently report problems around communicating and assessing pain. Patients express dissatisfaction with their doctors and doctors often find exchanges with chronic pain patients difficult and frustrating. This chapter thus asks how we could improve pain communication and thereby enhance outcomes for chronic pain patients. We argue that improving matters will require a better appreciation of the complex meaning of pain terms and of the variability and flexibility in how individuals think about pain. We start by examining (...) the various accounts of the meaning of pain terms that have been suggested within philosophy and suggest that, while each of the accounts captures something important about our use of pain terms, none is completely satisfactory. We propose that pain terms should be viewed as communicating complex meanings, which may change across different communicative contexts, and this in turn suggests that we should view our ordinary thought about pain as similarly complex. We then sketch what a view taking seriously this variability in meaning and thought might look like, which we call the “polyeidic” view. According to this view, individuals tacitly occupy divergent stances across a range of different dimensions of pain, with one agent, for instance, thinking of pain in a much more “bodycentric” kind of way, while another thinks of pain in a much more "mindcentric” way. The polyeidic view attempts to expand the multidimensionality recognised in, e.g., biopsychosocial models in two directions: first, it holds that the standard triumvirate— dividing sensory/cognitive/affective factors— needs to be enriched in order to capture important distinctions within the social and psychological dimensions. Second, the polyeidic view attempts to explain (at least in part) why modulation of experience by these social and psychological factors is possible in the first place. It does so by arguing that because the folk concept of pain is complex, different weightings of the different parts of the concept can modulate pain experience in a variety of ways. Finally, we argue that adopting a polyeidic approach to the meaning of pain would have a range of measurable clinical outcomes. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

Is it not surprising that we look with so much pleasure and emotion at works of art that were made thousands of years ago? Works depicting people we do not know, people whose backgrounds are usually a mystery to us, who lived in a very different society and time and who, moreover, have been ‘frozen’ by the artist in a very deliberate pose. It was the Classical Greek philosopher Aristotle who observed in his Poetics that people could apparently be moved (...) even by the imitation of a person or an act. And although we are usually well aware that it is a simulacrum, not a real situation, it nevertheless sometimes seems as if we ourselves are standing there on the stage or in the painting, so intense and emotional is our response, even though we are just spectators. Aristotle concludes from this that we have intellectual capacities which allow us put ourselves in another’s place and consequently to react to simulated situations as though they are actually happening to us, here and now. In this process, he contends, observation, memory, imagination and emotions are crucial elements. In the past it was not customary to invoke human mental faculties to explain our response to works of art. The Ancient Greeks, after all, knew little about the human body or brain and usually referred to the extended world of the gods in their endeavours to comprehend the ‘inner world’ of human beings. In our time the situation is completely different—such an allusion to the brain no longer surprises us. Whether it is about the mystery of the consciousness, the question of free will or accounts of bizarre psychological aberrations or disorders, we have become accustomed to references to parts of the brain, to images of brain scans, to reports about neural networks and the like. However, because there are so many factors that play a part in our appreciation of works of art we need a complex explanation for it, and it is not enough to look only at certain properties of the brain that are determined by evolution. Those properties are shared by every human being, and so are rather useless in explaining people’s different reactions to the same work of art. Evidently the brains of individuals differ so much that they make it possible for people to respond differently to one and the same artwork. This, of course, raises questions concerning the painted emotions that can be seen in this exhibition. Virtually everyone, after all, is fascinated by such paintings and usually recognizes the emotions they represent. The reactions to these painted emotions are also often similar. This is probably why artworks like this are generally highly valued, then and now, here and elsewhere: from the enigmatically smiling Egyptian Queen Nefertiti and the startled Rembrandt to a seemingly despairing African mask. Aristotle observed that in the theatre players imitate actions that are associated with emotions in a number of ways and that these emotions are shared in a particular fashion by the playwright, the actors and the audience. The audience may even be carried away by these emotions to such an extent that they are in a sense purged of them and can subsequently leave the theatre relieved. Are such emotional reactions perhaps related to the fact that emotions are universal and that brains respond similarly to them? Is this why we can so readily identify painted emotions? May we therefore also assume that the properties of the brain determined by evolution help us to explain these emotions? In answering these questions we shall discuss a number of insights into emotions in psychology and brain science and explore some theories about the possible function of emotions and their expression. (shrink)

This paper is part of a project that is based on the notion of a dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In Amidei et al. (2016, Rev. Symb. Logic, 9, 1–26) and Amidei et al. (2016, Rev. Symb. Logic, 9, 299–324), we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasi-dialectical systems, that enrich Magari’s systems with a natural (...) mechanism of revision. In the present paper we consider a third class of systems, that of p-dialectical systems, that naturally combine features coming from the two other cases. We prove several results about p-dialectical systems and the sets that they represent. Then we focus on the completions of first-order theories. In doing so, we consider systems with connectives, i.e. systems that encode the rules of classical logic. We show that any consistent system with connectives represents the completion of a given theory. We prove that dialectical and q-dialectical systems coincide with respect to the completions that they can represent. Yet, p-dialectical systems are more powerful; we exhibit a p-dialectical system representing a completion of Peano Arithmetic that is neither dialectical nor q-dialectical. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown (...) to be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of (...) being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

This paper defends the idea that Cassirer's methodology is idealistic in regard to validity claims and the structuralist views he holds and at the same time empiric in regard to the facts and genealogy of culture. This perspective is best to be unfolded along Cassirer's model of representation. The author does so by showing that Cassirer's triad of symbolic articulation (expressive, presentational, significative) and the triad of symbolic development (mimetic, analogical, symbolic) form a coherent and exhaustive theory of symbolic (...) formation. In order to defend this view, two main objections from the secondary literature against the consistency of this essential theory piece of The Philosophy of Symbolic Forms have to be rejected. (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)

In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, (...) however, Fogelin and Geach nevertheless share several common and problematic assumptions regarding Wittgenstein’s logical philosophy, and it is these mistaken assumptions which are the source of the dilemma. Once we recognize and correct these, and other, associated expository errors, it will become clear how to reconcile the expressive completeness of Wittgenstein’s N operator, with several commonly recognized features of, and fundamental theses within, the Tractarian logical system. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for (...) reasoning about branching time. (shrink)

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's (...) and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

ABSTRACT A complete axiomatic system CTLrp is introduced for a temporal logic for finitely branching ω+ -trees in a language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTLrp. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium (...) for reasoning about branching time. (shrink)

In The World as Will and Representation (Vol. I, Book 3, § 52) by Arthur Schopenhauer we find the following, striking words: It is just this universality that belongs uniquely to music, together with the most precise distinctness, that gives it that high value as the panacea of all our sorrows. (p. 262) Accordingly, music ... is in the highest degree a universal language ... Yet its universality is by no means that empty universality of abstraction, but is of quite (...) a different kind; it is united with thorough and unmistakable distinctness. (p. 262) ... music expresses in an exceedingly universal language, in a material, that is, in mere tones, and with the greatest distinctness and truth, the inner being, the in-itself, of the world, which we think of under the concept of will (p. 264). These quotations contain an outright paradox: the meanings of music should be at the same time universal in the highest degree and characterised by the greatest distinctness. As it turns out this paradox does not follow merely from Schopenhauer's liking for brilliant, rethorical formulations. For it occurs in many contexts concerned with the expressive meaning of art, and especially music. Other occurrences of the dilemma are to be found in the writings of Felix Mendelssohn-Bartholdy and in the aesthetic theory of Susanne Langer formulated in chapter VIII, >On the Significance in Music of her book Philosophy in a New Key and it would be possible to quote many other sources. The persistently recurring nature of this paradox confirms that the issue will be central to any attempt at a complete theory of musical meaning. Furthermore, it may be essential for it to be resolved first if one aims to make sense of the relationship between musical and linguistic forms of meaning and, consequent upon this, to address the much debated question of whether music itself can be considered to be a language of the emotions. An attempt at a solution to the paradox in question constitutes the subject of this paper. For this purpose the framework and some notions of Langer's theory are used. The solution which I propose takes the form of distinguishing between two distinct notions of generality (which I will term 'generality' and 'abstractness'), as well as two distinct notions of particularity (which I will term 'specificity' and 'concreteness'), and involves assigning technically precise meanings to these with a view to constructing two relatively independent oppositions: on the one hand the concrete versus the abstract and, on the other, the specific versus the general. (Hints at such a solution are to be found both in Schopenhauer and in Langer). With the help of these notions it is, I believe, then possible to show that the arguments often quoted to the effect that musical meanings possess a certain generality in fact justify no more than their abstractness, while arguments usually thought to demonstrate that they possess a certain particularity in fact show only their specificity (but not concreteness). Consequently, musical meanings are shown to be abstract but specific, which does not entail any contradiction since these notions are independent and not opposed to each other. At the same time, musical meanings may then be contrasted with linguistic meanings, which themselves are abstract and general. If, however, each of the notions of abstractness and generality is understood as also permitting gradations, it will be the case that whereas linguistic meanings may be said to be more general (i.e. less specific) than musical ones, the latter are without any doubt more abstract than the former. (shrink)

Let’s suppose all the rules of physics will change, but, before the change, we finally figured out everything there was to be figured out about physics. This means that we achieved pragmatic completeness at that point. It’s not a universal Platonic completeness, but everything there was to be expressed about the physics at that moment was expressed.

Complete information dispositional metasemantics says that our expressions get their meaning in virtue of what our dispositions to apply those terms would be given complete information. The view has recently been advanced and argued to have a number of attractive features. I argue that that it threatens to make the meanings of our words indeterminate and doesn’t do what it was that made a dispositional view attractive in the first place.

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ (...) ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

This chapter begins with an empirical analysis of attitudes towards the law, which, in turn, inspires a philosophical re-examination of the moral status of the rule of law. In Section 2, we empirically analyse relevant survey data from the US. Although the survey, and the completion of our study, preceded the recent anti-police brutality protests sparked by the killing of George Floyd, the relevance of our observations extends to this recent development and its likely reverberations. Consistently with prior studies, we (...) find that people’s ascriptions of legitimacy to the legal system are predicted strongly by their perceptions of the procedural justice and lawfulness of police and court officials’ action. Two factors emerge as significant predictors of people’s compliance with the law: (i) their belief that they have a (content-independent, moral) duty to obey the law (which is one element of legitimacy, as defined here); and (ii) their moral assessment of the content of specific legal requirements (‘perceived moral content of laws’). We also observe an interactive relationship between these two factors. At higher levels of perceived moral content of laws, felt duty to obey is a better predictor of compliance. And, similarly, perceived moral content of laws is a better predictor of compliance at higher levels of felt duty to obey. This suggests that the moral content incorporated in specific laws interacts with the normative force people ascribe to legal authorities by virtue of other qualities, specifically here procedural justice and lawfulness. In Section 3, the focus shifts to a philosophical analysis, whereby we identify a parallel (similarly interactive) modality in the way that form and content mutually affect the value of the rule of law. We advocate a distinctive alternative to two rival approaches in jurisprudential discourse, the first of which claims that Lon Fuller’s eight precepts of legality embody moral qualities not contingent on the law’s content, while the second denies any independent moral value in these eight precepts, viewing them as entirely subservient to the law’s substantive goals. In contrast, on the view put forward here, Fuller’s principles possess (inter alia) an expressive moral quality, but their expressive effect does not materialise in isolation from other, contextual factors. In particular, the extent to which it materialises is partly sensitive to the moral quality of the law’s content. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Economic disparities often translate into disparities in political influence, rendering political liberties less worthy to poor citizens than to wealthier ones. Concerned with this, Rawls advocated that a guarantee of the fair value of political liberties be included in the first principle of justice as fairness, with significant regulatory and distributive implications. He nonetheless supplied little examination of the content and grounding of such guarantee, which we here offer. After examining three uncompelling arguments in its favor, we complete a more (...) promising yet less explored argument that builds on the value of self-respect. We first inspect the conditions and duties that securing self-respect entails. We then look into how uneven allocations of the value of political liberties bear, expressively and due to the power imbalances they yield, on such conditions and duties. (shrink)

Hobbes repeatedly expressed concerns about moral and political language, e.g., about the bad consequences of various uses and misuses of language. He did not simply focus on the consequences though. He also attempted to understand the problems, using the central semantic notion in his philosophy of language, signification. Hobbes, in both the Elements of Law and Leviathan, argues that a wide variety of terms – including ‘good’, ‘bad’, and the names of virtues and vices – have a double and inconstant (...) signification. This paper explores and explains that theory of Hobbes's. (In the course of the discussion, two other interpretations of Hobbes's claims are discussed: Pettit’s discussion in terms of indexicals, and Alexandra’s in terms of sense and reference.) This phenomenon is, Hobbes thinks, pervasive in our use of moral and political language. Indeed he says his analysis applies to all “names of such things as affect us, that is, which please, and displease us” (Leviathan 4.24), which seems a very broad category indeed. This inconstancy of signification has considerable potential to cause confusion and conflict. Given those practical consequences, it is of some importance for Hobbes to find a solution to this problem. The paper examines several possible Hobbesian solutions to the problem. There is, however, reason to think that these suggested solutions cannot completely solve the problem. The paper concludes, then, by arguing that double and inconstant signification would always be a danger, even in a properly constituted Hobbesian commonwealth. (shrink)

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

Manley and Wasserman (2008) have provided a convincing case against analyses of dispositions in terms of one conditional, and a very interesting positive proposal that links any disposition to a ‘suitable proportion’ of a particular set of precise conditionals. I focus on their positive proposal and ask just how precise those conditionals are to be. I argue that, contrary to what Manley and Wasserman imply in their paper, they must be maximally specific, describing in their antecedents complete centred worlds. This (...) suggests a natural semantics for dispositional expressions, which I briefly explore to argue that it lacks uniformity. I end by suggesting a variation on Manley and Wasserman's view which would preserve uniformity, though at the cost of some new puzzling questions. (shrink)

How does Aristotle think about sentences like ‘Every x is y’ in the Prior Analytics? A recently popular answer conceives of these sentences as expressing a mereological relationship between x and y: the sentence is true just in case x is, in some sense, a part of y. I argue that the motivations for this interpretation have so far not been compelling. I provide a new justification for the mereological interpretation. First, I prove a very general algebraic soundness and (...) class='Hi'>completeness result that unifies the most important soundness and completeness results to date. Then I argue that this result vindicates the mereological interpretation. In contrast to previous interpretations, this argument shows how Aristotle’s conception of predication in mereological terms can do important logical work. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

I argue that the most promising approach to understanding J.J. Gibson's "affordances" takes affordances themselves as ontological primitives, instead of treating them as dispositional properties of more primitive things, events, surfaces, or substances. These latter are best treated as coalescences of affordances present in the environment (or "coalescences of use-potential," as in Sanders (1994) and Hilditch (1995)). On this view, even the ecological approach's stress on the complementary organism/environment pair is seen as expressing a particular affordance relation between the world (...) and the analyst. That the world is parsed in any way among events and objects, perceivers and worlds, etc., reflects equally features of certain real or possible perspectives on the world and features of the world itself. In section 1, I begin by contending that, contrary to the apparent expectations of some in the field, the bare existence of affordances is surely quite uncontroversial. In section 2, I argue that the most reasonable approach to foundational ontology is a relativistic one. In section 3, I address the claim that affordances must be ontologically complemented by effectivities for the sake of completeness, and I shall argue against that claim on grounds that I take to reflect some of Gibson's most important insights. This work will help to clarify the way affordances are to be used in the fourth and final section, where I argue that ontological work, even within special sciences, should not be merely "regional," and that the most attractive general approach to ontological questions is one that is based on affordances, rather than upon things, events, surfaces, and the like. (shrink)

This essay aims at inspecting the question of evil within Gilles Deleuze’s thought, focusing especially on his historical-philosophical works. I will attempt to show how, for Deleuze, the question of evil represented the most difficult issue to overcome in the construction of his vitalistic materialism, the latter established on the complete overlapping of ontology and ethics. By reconstructing the gradual composition of such «pure ontology» through Deleuze’s interpretations of Hume, Bergson, Spinoza, and Nietzsche, I will eventually define his vitalistic materialism (...) as a biodicy that makes the question of evil ethically irrelevant for the sake of individuals’ freedom to express their vitality. The main consequence of such a biodicy is the definition of a dichotomous relationship between suffering and freedom that risks justifying natural inequalities subsisting among living beings. (shrink)

Bare plural generic sentences pervade ordinary talk. And yet it is extremely controversial what semantics to assign to such sentences. In this paper, I achieve two tasks. First, I develop a novel classification of the various standard uses to which bare plurals may be put. This “variety data” is important—it gives rise to much of the difficulty in systematically theorizing about bare plurals. Second, I develop a novel account of bare plurals, the radical account. On this account, all bare plurals (...) fail to express propositions. The content of a bare plural has to be pragmatically “completed” by a speaker in order for her to make an assertion. At least the content of a quantifier expression has to be supplied. But sometimes, the content of a sentential operator or modal verb is also supplied. The radical account straightforwardly explains the variety data: Speakers’ communicative intentions vary wildly across different contexts. (shrink)

_Theurgy and the Soul_ is a study of Iamblichus of Syria, whose teachings set the final form of pagan spirituality prior to the Christianization of the Roman Empire. Gregory Shaw focuses on the theory and practice of theurgy, the most controversial and significant aspect of Iamblichus's Platonism. Theurgy literally means "divine action." Unlike previous Platonists who stressed the elevated status of the human soul, Iamblichus taught that the soul descended completely into the body and thereby required the performance of theurgic (...) rites—revealed by the gods—to unite the soul with the One. Iamblichus was once considered one of the great philosophers whose views on the soul and the importance of ritual profoundly influenced subsequent Platonists such as Proclus and Damascius. The Emperor Julian followed Iamblichus's teachings to guide the restoration of traditional pagan cults in his campaign against Christianity. Although Julian was unsuccessful, Iamblichus's ideas persisted well into the Middle Ages and beyond. His vision of a hierarchical cosmos united by divine ritual became the dominant world view for the entire medieval world and played an important role in the Renaissance Platonism of Marsilio Ficino. Even Ralph Waldo Emerson wrote that he expected a reading of Iamblichus to cause a "revival in the churches." But modern scholars have dismissed him, seeing theurgy as ritual magic or "manipulation of the gods." Shaw, however, shows that theurgy was a subtle and intellectually sophisticated attempt to apply Platonic and Pythagorean teachings to the full expression of human existence in the material world. (shrink)

In this chapter we argue that emotions are mediated in an incomplete way in online social media because of the heavy reliance on textual messages which fosters a rationalistic bias and an inclination towards less nuanced emotional expressions. This incompleteness can happen either by obscuring emotions, showing less than the original intensity, misinterpreting emotions, or eliciting emotions without feedback and context. Online interactions and deliberations tend to contribute rather than overcome stalemates and informational bubbles, partially due to prevalence of anti-social (...) emotions. It is tempting to see emotions as being the cause of the problem of online verbal aggression and bullying. However, we argue that social media are actually designed in a predominantly rationalistic way, because of the reliance on text-based communication, thereby filtering out social emotions and leaving space for easily expressed antisocial emotions. Based on research on emotions that sees these as key ingredients to moral interaction and deliberation, as well as on research on text-based versus non-verbal communication, we propose a richer understanding of emotions, requiring different designs of online deliberation platforms. We propose that such designs should move from text-centred designs and should find ways to incorporate the complete expression of the full range of human emotions so that these can play a constructive role in online deliberations. (shrink)

Many tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for pure probabilistic (or “associational”) languages. Despite several senses in which causal reasoning is indeed more complex—both expressively and inferentially—we show that causal entailment (or satisfiability) problems can be systematically and robustly reduced to purely probabilistic problems. Thus there is no jump in computational complexity. (...) Along the way we answer several open problems concerning the complexity of well-known probability logics, in particular demonstrating the ${\exists \mathbb {R}}$ -completeness of a polynomial probability calculus, as well as a seemingly much simpler system, the logic of comparative conditional probability. (shrink)

Summary Background Self-binding directives instruct clinicians to overrule treatment refusal during future severe episodes of illness. These directives are promoted as having potential to increase autonomy for individuals with severe episodic mental illness. Although lived experience is central to their creation, service users’ views on self-binding directives have not been investigated substantially. This study aimed to explore whether reasons for endorsement, ambivalence, or rejection given by service users with bipolar disorder can address concerns regarding self-binding directives, decision-making capacity, and human (...) rights. Methods This study used qualitative data from an internet-based survey distributed to the mailing list of the UK charity Bipolar UK, which contained multiple closed and open questions on advance decision-making in bipolar disorder. Quantitative analysis of a closed question about self-binding directives had already demonstrated endorsement amongst a very high proportion of participants with bipolar disorder who completed the survey. We conducted thematic analysis of responses from those participants who answered a subsequent open question about reasons for their view. Research was co-produced within a multi-disciplinary team, with clinical, legal, and ethical expertise, and lived experience of bipolar disorder. Ideas and methodologies associated with all these areas of expertise were used in the analysis of these reasons and to gain insight into the thoughts of individuals with bipolar disorder about self-binding directives and associated issues. Findings Between Oct 23 and Dec 5, 2017, 932 individuals with a self-reported clinical diagnosis of bipolar disorder completed the internet survey, with 565 (154 men; 400 women; 11 transgender or other) providing free text answers to the open question. A large majority of respondents endorsed self-binding directives, nearly all describing a determinate shift to types of distorted thinking and decision-making when unwell as their key justification. Responses indicating ambivalence were dominated by logistical concerns about the drafting and implementation of self-binding directives, while those who rejected self-binding directives also cited logistical concerns, validity of their thinking when unwell, and potential contravention of human rights. Interpretation This study is, to our knowledge, the first large study of reasons why mental health service users might endorse or reject the use of self-binding directives. The findings provide empirical support for introducing self-binding directives into mental health advance decision-making practice and policy and may help to address enduring ethical concerns surrounding possible implementation of the directive while a person retains decision-making capacity. The opinions expressed here in responses given by multiple service users with bipolar disorder challenge a prominent view within international disability rights debates that involuntary treatment and recognition of impaired mental capacity constitute inherent human rights violations. Funding The Wellcome Trust . (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

It is commonly assumed that the expression “an sich selbst” (“in itself”) in Kant combines with terms to form complex nouns such as “thing in itself” and “end in itself.” I argue that the basic use of “an sich selbst” in Kant’s German is as a sentence adverb, which has the role of modifying subject-predicate combinations, rather than either subject or predicate on their own. Expressions of the form “S is P an sich selbst” mean roughly that S is P (...) ‘in its own right’ or without some further ‘condition’. Accordingly, “an sich selbst” should not be treated as forming complex nouns. This analysis has significant consequences for the interpretation of “thing in itself” in particular, for it implies that the latter is not a complete nominal expression. Instead, one must treat ‘an sich selbst’ as expressing how some S is a ‘thing’, looking to the wider sentential context. I conclude with a brief account of the new significance granted to the concept of a ‘thing’ (Ding) according to the present interpretation. (shrink)

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. (...) Then, I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

The essay brings a summation of human efforts seeking to understand our existence. Plato and Kant & cognitive science complete reduction of philosophy to a neural mechanism, evolved along elementary Darwinian principles. Plato in his famous Cave Allegory explains that between reality and our experience of it there exists a great chasm, a metaphysical gap, fully confirmed through particle-wave duality of quantum physics. Kant found that we have two kinds of perception, two senses: By the spatial outer sense we perceive (...) phenomena, objects in space. Our temporal inner sense lets us perceive our inner state, noumena . Kant's two senses are fully confirmed through bilateral brain duality of cognitive science. The bilateral brain serves inner, temporal sense, logic & noumena in the left hemisphere. The right brain half is for the outer, spatial sense, geometry & phenomena. We form a whole system, a bilateral interior cosmos, a kind of world model, expressing what may lie beyond the metaphysical gap. In the right brain we build a phenomenal cosmos, to resemble the outer environment. In the brain's left hemisphere a noumenal cosmos, a model of our private world including Saint Teresa of Avila's castillo interior. The cosmos is regularly updated with novel sense data integrated into our memory banks. This was recognized early by Helmholtz (1860s). Our lives, health & well-being depend on us keeping our interior cosmos in good order. This used to be seen as saving one's precious soul from perdition. While we endeavour to keep our phenomenal cosmos neat & orderly by protecting the environment from harm, our noumenal cosmos to be livable requires us to engage in ethical conduct. This bilateral cosmos is responsible for our common sense judgment power, that we depend on for being able to lead a good & benign life. The 200 million neurons of BA10 in the prefrontal lobe have global access to the interior cosmos, & apply massive feedback to identify environmental conditions rapidly. The global access also gives conscious presence of the individual to itself, all that is present in the interior cosmos, for total freedom of action. In the left brain private ego, we are guarded by faith in divine mercy, & guided to choose the best course of action, able to survive under the most adverse conditions. For this, we receive directions from the Holy Ghost in Saint Teresa's castillo interior. (shrink)

Monists and pluralists disagree concerning how many ordinary objects there are in a single situation. For instance, pluralists argue that a statue and the clay it is made of have different properties, and thereby are different. The standard monist’s response is to hold that there is just a single object, and that, under the description “being a statue”, this object is, e.g., aesthetically valuable, and that, under the description “being a piece of clay”, it is not aesthetically valuable. However, Fine (...) provided an ontological reading of the expression “an object under a description”: the theory of rigid embodiments. The debate between monists and pluralists reduplicates in the domain of ordinary occurrences, like walks and conferences. Specifically, they disagree whether an occurrence in progress (also called “process”) like John’s walk that is happening at tn is identical to some completed occurrence (also called “event”) like John’s walk that happened between, e.g., t1 and tn. Under the adoption of the pluralist’s position, the article aims to provide a novel theory of ordinary occurrences that develops the ontological reading of “under a description” to account for occurrences in progress and completed occurrences. As a first result, we formulate a theory according to which both occurrences in progress and completed occurrences are rigid embodiments. As a second result, we argue that the suggested theory is explanatorily powerful to the extent it solves two puzzles that we call “the Puzzle from the Completion of a Process” and “the Metaphysical-cum-Semantical Puzzle”. (shrink)

Corporations have often been taken to be the paradigm of an organization whose agency is autonomous from that of the successive waves of people who occupy the pattern of roles that define its structure, which licenses saying that the corporation has attitudes, interests, goals, and beliefs which are not those of the role occupants. In this essay, I sketch a deflationary account of agency-discourse about corporations. I identify institutional roles with a special type of status function, a status role, in (...) which the collectively accepted function is expressed in part through its occupier’s intentional expression of her agency in that role. I identify institutions as systems of status roles and show how this is compatible with seeing the agency of institutions generally, even over time periods in which there is complete change in role occupiers, as a matter of the contributions only of individual agents. I explain how the reduction of the institution to its members is compatible with its potentially having had a completely different membership. I show in the case of the corporation in particular that, once we see its origins and function, the surface features of legal discourse about corporate agency are misleading and are compatible with a deflationary account of corporate agency. I show in connection with this that the corporation is to be identified with its shareholders, and that where a corporation separates ownership and control, its managers and employees are proxy agents of the shareholders doing business under the corporate form. Finally, I canvass the legitimate ways of construing ordinary talk about corporate intention, belief, and so on, in light of this, none of which support the attribution of genuine agency or intentionality to any group per se associated with the corporation. (shrink)

The Simple Question (SQ) asks: “What are the necessary and jointly sufficient conditions any x must satisfy in order for it to be true that x is a simple?” The main motivation for asking SQ stems from the hope that it could teach us important lessons for material-object ontology. It is universally accepted that a proper answer to it has to be finite, complete and devoid of mereological expressions. This paper argues that we should stop treating SQ as the central (...) question to be asked about simples; there are a plethora of questions about simples that may even be addressed without answering the original question. The paper closes with some tentative remarks on how this lesson could be extended to van Inwagen’s Special Composition Question. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...) problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their func- tionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adapta- tions, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In (...) particular, the analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an oppor- tunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would sug- gest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to imple- ment novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engi- neering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engi- neering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

It seems that no philosopher these days wants a theory of truth which can be accused of being metaphysical. But even if we agree that grandiose metaphysics is to be spurned, even if we agree that our theory of truth should be a deflated one, the controversy does not die down. A variety of deflationist options present themselves. Some, with Richard Rorty, take the notion of truth to be so wedded to metaphysics that we are advised to drop it altogether. (...) Others, with Paul Horwich, take the disquotational or equivalence schema—'p' is T if and only if p—to completely capture the content of the predicate 'is true'. And others argue that there is a conception of truth to be had which is non-metaphysical but which goes beyond the triviality expressed by the disquotational schema. (shrink)