I distinguish between instantial sentences (_There are elephants that swim_), particular quantification, and predication of existence in natural language. I explore the logical relation between the first two, while the last one is shown independent of either. I continue to consider the incorporation of the three kinds of sentence in the Quantified Argument Calculus (Quarc). I provide formalisations that preserve the logical relations specified earlier. I also extend the analysis to quantified instantial sentences (_There are_ five _elephants that (...) swim_) and modal ones. A conclusion of this work is that quantification and instantial sentences provide no guide to ontology. (shrink)

The Discourses are a key source for ancient Stoicism, one of the richest and most influential schools of thought in Western philosophy. They not only represent the Stoicism of Epictetus' own time, but also reflect the teachings of such early Stoics as Zeno and Chrysippus, whose writings are largely lost. The first of the four books of the Discourses is philosophically the richest: it focuses primarily on ethics and moral psychology, but also touches on issues of logic, epistemology, science, and (...) rhetoric. Other notable schools of ancient thought, including Epicureanism, the Sceptics, and the Cynics, are discussed. Robert Dobbin presents a new translation into clear modern English of this important work, together with the first commentary on the work since the eighteenth century. Each of the thirty discourses that make up Book 1 is introduced and summarized; then the arguments are examined in detail. The general introduction gives background information about Epictetus' life, the intellectual context of the work, the style of the discourses, and the history of the text. A bibliography surveys the literature. The volume serves as a guide to Epictetus' thought as a whole. Clarendon Later Ancient Philosophers General Editors: Jonathan Barnes and A. A. LongThis series is designed to encourage philosophers and students of philosophy to explore the fertile terrain of later ancient philosophy. The texts will range in date from the first century BC to the fifth century AD, and they will cover all the parts and all the schools of philosophy. Each volume contains a substantial introduction, an English translation, and a critical commentary on the philosophical claims and arguments of the text. The translations aim primarily at accuracy and fidelity, but also at readability; they are accompanied by notes on textual problems that affect the philosophical interpretation. No knowledge of Greek or Latin is assumed. (shrink)

The identity of the Caesar at "Aeneid", 1.286 is a long-standing problem. The prevailing opinion since Heyne favors Augustus, but a few scholars agree with Servius that the Dictator is meant. In recent years the suggestion that Vergil was being deliberately ambiguous has been advanced as a solution to the problem. I argue the case for Julius Caesar anew. The paper is in five sections. The first four deal respectively with the question of nomenclature; chronology; the descriptive epithets applied to (...) Caesar, especially spoliis Orientis onustum in 289; and the rhetoric of the passage. The fourth section confronts the challenge posed to my reading by the well-known view of Ronald Syme, held to throughout his lifetime, that Julius Caesar was a virtual non-person in the Rome of Vergil's day because the princeps tried to avoid awkward comparison with the Dictator. But this view has been challenged, and I draw on recent work in this area. In the fifth and final section I support my reading with references to Vergil's earlier poetry, attending especially to what it can tell us about Vergil's attitude toward Julius Caesar. Of particular relevance is the use he makes of the sidus Iulium, an image found in the Eclogues and important in connection with the apocalyptic outlook abroad at the time of Caesar's assassination. This section of the paper expands on Servius' generally neglected note, which maintains that the Caesar in question is Julius. (shrink)

Recollection is an intellectual activity through which fundamental differences of experience, either between a plurality of individuals or within one individual at different stages of development, are comprehended and internally resolved. Together with the process of natural dialectic, recollection is the basis of Hegel’s theory of education and cultural solidification. It would, of course, be quite impossible in a single essay to enter into all the details and ramifications of this theory, and so we shall deal only with the basic (...) concept. Moreover, we shall emphasize the role of the individual, not so much to counter the gross miscomprehensions of Hegel’s thought which result when the activity of cultural enlightenment is generalized and ascribed to conceptually mystified world-historical processes, but simply to provide the proper arena for the functioning of this activity. For it is always the individual who internalizes the elaborated wealth of human spiritual capacities as best he can, and who through so doing is materially empowered to promote the education of others in turn. (shrink)

Xenophanes famously noted that if horses could draw, they would draw their gods as horses. This connection between those who depict the gods and how the gods are depicted is posed as part of a critical theological program. What follows is an argumentative reconstruction of how these observations determine the extent and content of Xenophanes’ theological reforms. In light of the strength of the critical epistemic program, it is likely Xenophanes posed ambitious theological reforms.

This work is the latest contribution to the Clarendon Later Ancient Philosophers series edited by Jonathan Barnes and A. A. Long. As with the earlier volumes (John Dillon's Alcinous, The Handbook of Platonism , R. J. Hankinson's Galen, On the Therapeutic Method Books I and II, Richard Bett's Sextus Empiricus, Against the Ethicists, and D. L. Blank's Sextus Empiricus, Against the Grammarians), D(obbin) provides an introduction, an English translation, and a critical commentary predominantly focused on the philosophical content of the (...) text of an author from the period ranging from the first century BC to the fifth century AD. A bibliography of a dozen earlier editions of E(pictetus), a painstaking bibliography of secondary literature, an index nominum, a generous index locorum, and a brief subject index are also included. Overall this edition maintains the high standards characteristic of the CLAP series. (shrink)

This piece, included in the drift special issue of continent. , was created as one step in a thread of inquiry. While each of the contributions to drift stand on their own, the project was an attempt to follow a line of theoretical inquiry as it passed through time and the postal service(s) from October 2012 until May 2013. This issue hosts two threads: between space & place and between intention & attention . The editors recommend that to experience the (...) drifiting thought that attention be paid to the contributions as they entered into conversation one after another. This particular piece is from the BETWEEN INTENTION & ATTENTION thread: Jeremy Fernando, Sitting in the Dock of the bay, watching... * R.H. Jackson, Reading Eyes * Gina Rae Foster, Nyctoleptic Nomadism: The Drift/Swerve of Knowing * Bronwyn Lay, Driftwood * Patricia Reed, Sentences on Drifitng * David Prater, drift: a way * * * * * 1. To drift is to be propelled by currents. 2. Sentences are textual currents. 3. To drift is to be com pelled with currents. 4. To be compelled is to be overcome by some force. 5. To be overcome by some force requires the instantiation of a weightless body (virtual or actual), upon which and through which a force can operate. 6. Forces can be physical, cognitive, unconscious and sensory. 7. Forces of drift have no particular telos; they incline bodies without knowable destination. 8. Drifting is nomadic, where nomadism includes movements between places, times (also time-zones), genres, thought and cognitive states. 9. Forces are attractors; attractivity is a force. 10. Attractivity is a relation between force and body. 11. Attractivity is relation of exteriority; it is of the domain of the foreign. 12. To drift is to become the prey of attraction, the prey of the foreign. 13. In the movement of becoming prey, one can either be eaten or feed into a re-composition of things. 14. Drifting is liminal; it can be equally productive and destructive. 15. The deviated course implied by drifting may yield novelty, yet may equally yield a perpetual deferral of any positionality. 16. The state of drifting is necessary to the creation of novelty. 17. The state of drifting can inhibit the creation of novelty. 18. The modern drift was celebrated as a form of emancipation, through the liberation of urban structures traced on foot, to the negation of banal tasks in riding on the open highway. In the attention economy, drifting has become a paradigm of labour, precarious and otherwise. 19. To drift in a novel fashion requires a necessary threshold between distraction and re-attraction. 20. Re-attraction is a form of going off-track, yet implies the fidelity to an alter force. Re-attraction is eccentric in inclination, that is, decentred, casting alter orbits of orientation. 21. Eccentricity is a form of drift defined as a body inflected by the force of heterogeneous inclination. Eccentricity is the fidelity to the becoming-foreign of the body as prey to attractivity. 22. Drift as eccentricity is equal to the creation of novel modes of inclination alter to the limits of normative orbits of determinate trajectories. 23. The effects of eccentric drifting can only be known post-movement. 24. All modes of drifting (natural and cognitive) are relative to some former position, although distances and their capacity for measurement are inconsistent. 25. Eccentric drifting does not result in relativism. Drifting is transitional, and, like a Moiré pattern, produces interferences between things. 26. Where there is drifting there are both side-effects and side-affects, which feed-back into the inclination of drift itself. 27. Side-effects and side-affects may produce conditions and sensibilities of failure. 28. The ethics of drifting play out in the responsiveness to side-effects/side-affects. 29. Eccentric drifting is not algorithmic, informational, strategic nor opportunistic; it is tactically lived experience. 30. Eccentric drifting is a dance with contingency, of repositioning a body (a body includes thought) through the affirmation of re-attraction. 31. Eccentric drifting is a form of love, a love of existence that proceeds strategic coupling with ideas, people, situations, places and so forth. 32. As a form of love, eccentric drifting can generate changes of state (and even changes of State). 33. Currents that propel/compel a state of eccentric drifting may be imaginary; a possible current includes the attractive force to that which is not (yet) present. 34. Eccentric drifting is not only a state of transitional movement, but most importantly includes the fabrication of imaginary forces that could propel/compel a given body and its spheres of interaction. 35. These sentences comment on drift, but are not exemplary of drifting. (shrink)

A tree‐like hierarchical branching structure is present in many biological systems, such as the kidney, lung, mammary gland, and blood vessels. Most of these organs form through branching morphogenesis, where outward growth results in smaller and smaller branches. However, the blood vasculature is unique in that it exists as two trees (arterial and venous) connected at their tips. Obtaining this organization might therefore require unique developmental mechanisms. As reviewed here, recent data indicate that arterial trees often form in reverse order. (...) Accordingly, initial arterial endothelial cell differentiation occurs outside of arterial vessels. These pre‐artery cells then build trees by following a migratory path from smaller into larger arteries, a process guided by the forces imparted by blood flow. Thus, in comparison to other branched organs, arteries can obtain their structure through inward growth and coalescence. Here, new information on the underlying mechanisms is discussed, and how defects can lead to pathologies, such as hypoplastic arteries and arteriovenous malformations. -/- . (shrink)

The human rights that are enshrined in most western democracies are based on enlightenment ideals of freedom, equality, and justice. Although these core principles are inspirational, their application has not necessarily been equitable or complete enough to provide for the stability, safety, health, and security of all citizens. A more modern understanding of human rights encompasses that which is needed to establish human flourishing, including guaranteed access to water, particularly the clean water provided by adequate sanitation. Without confidence in broad (...) safety and health, and established norms for individual protections, it is difficult for a society to be stable and flourish. Although this argument begins with political philosophy, it ends with a case study in Alabama, one of the poorest states in the United States. This study evaluates the dysfunction caused to local communities and greater society when governmental organizations fail to provide sanitation and guarantee public health for their communities. (shrink)

Object relative clauses are harder to process than subject relative clauses. UnderGrillo’s (2009)Generalized Minimality framework, complexity effects of object relatives are construed as intervention effects, which result from an interaction between locality constraints on movement (Relativized Minimality) and the sentence processing system. Specifically, intervention of the subject DP in the movement dependency is expected to generate a minimality violation whenever processing limitations render the moved object underspecified, resulting in compromised comprehension. In the present study, assuming Generalized Minimality, we compared the (...) processing of object relatives with the processing of subject control in ditransitives, which, like object relatives, instantiates a syntactic dependency across an intervening DP. This comparison is justified by the current debate on whether Control should be analyzed as movement: if control involves movement of the controller DP, as proposed byHornstein (1999), a parallel between the processing of object relatives and subject control in ditransitives may be anticipated on the basis of intervention. In addition, we explored whether general cognitive factors contribute to complexity effects ascribed to movement across a DP. Sixty-nine adult speakers of European Portuguese read sentences and answered comprehension probes in a self-paced reading task with moving-window display, comprising four experimental conditions:Subject Relatives;Object Relatives;Subject Control;Object Control. Furthermore, participants performed four supplementary tasks, serving as measures of resistance to interference, lexical knowledge, working memory capacity and lexical access ability. The results from the reading task showed that whereas object relatives were harder to process than subject relatives, subject control was not harder to process than object control, arguing against recent movement accounts of control. Furthermore, we found that whereas object relative complexity effects assessed by response times to comprehension probes interacted with Reading Span, object relative complexity effects assessed by comprehension accuracy and reading times did not interact with any of the supplementary tasks. We discuss these results in light of Generalized Minimality and the hypothesis of modularity in syntactic processing (Caplan and Waters, 1999). (shrink)

Presents a set-theoretic version of the analysis of "there be" as predicating instantiation of a property, a property-theoretic version of which was developed in McNally 1992. This paper provides a solution to the criticism that McNally 1992's analysis could not account for sentences in which postverbal nominal contains a monotone decreasing or nonmonotonic determiner.

The so-called “white horse is not horse” debate, or “white horse” dialogical argument, is beyond doubt the most famous case of argumentation in the history of Classical Chinese philosophy. The somewhat disorienting statement at the center of this debate is discussed at length by two anonymous fictive characters, a persuader and their opponent, in the ‘Báimǎ lùn’ 白馬論. The ‘Báimǎ lùn’ usually appears as the first chapter in the received text Gōngsūn Lóngzǐ 公孫龍子. The Gōngsūn Lóngzǐ is (...) a composite collection of heterogeneous materials in six chapters. The collection includes an anecdotal preface, three partially incomplete and/or corrupted dialogues, and two short and extremely intricate treatises. In particular, the dialogues included in the collection are structured in a fairly similar way and focus on what have been defined as paradoxes or sophisms belonging to the repertoire of a rather loose group of thinkers, the so-called Logicians or Chinese “Sophists”, allegedly active during the Warring States period. (shrink)

The thesis concerns the sense of self in Epictetus, with special reference to two key terms in his philosophy: prohairesis and prosopon. ;The first chapter explores the range of meaning behind the word prohairesis as Epictetus employs it. I begin by reviewing the background of the word, particularly in Aristotle. A discussion of the problem of free will and determinism in Stoic ethics follows, with reference to prohairesis in Epictetus. The implications of equating prohairesis with "the will" are then explored, (...) followed by a discussion of its significance as the complex of reason and desire, and as "intention." The first chapter concludes with a brief section on aidos in Epictetus, as an intimation of the notion of "conscience." ;Chapter Two extends the enquiry with particular attention to the word prosopon and Epictetus' view of roles as determinants of the self. The chapter opens with a review of the tradition of self-knowledge as a topos in Greek philosophy, and its importance for Epictetus. I then propose a taxonomy of the self as he understands it, organized under the categories of the "I" , the "me" and the "mine" . Two models of man, borrowed from Martin Hollis, are put forward as possible prototypes for Epictetus' perspective on "the person." Then the larger question of the Stoics' attitude toward society and social roles is addressed. The consequences of distinguishing between the first- and the third-person perspectives on "the person" are discussed. The chapter concludes with a section on the place of the body in Epictetus' thought, in connection with the dualism some scholars have ascribed to him. (shrink)

The purpose of this paper is to use the Social Cognitive Theory and its moral disengagement framework to emphasize the need for stock-type horse associations to minimize potential and actual threats to their legitimacy in an effort to maintain and strengthen self-regulating governance, specifically relating to the occurrence of inhumane treatment to horses. Despite having stated rules within their handbooks, the actions of leading stock-type associations in response to reports of inhumane treatment provide evidence of their ability to self-regulate. (...) The authors recommend the following actions: develop a commonly understood and accepted definition of inhumane treatment; publicly communicate with stakeholders violation enforcement efforts of inhumane treatment rules; increase efforts to educate stakeholders on the reasons why certain training techniques or methods are inhumane and harmful to the horse; ensure all actions taken are proactively focused on shaping future behaviors, and critically review more cases of inhumane treatment and the industry’s response. (shrink)

I argue that Frege's so-called "concept 'horse' problem" is not one problem but many. When these different sub-problems are distinguished, some emerge as more tractable than others. I argue that, contrary to a widespread scholarly assumption originating with Peter Geach, there is scant evidence that Frege engaged with the general problem of the inexpressibility of logical category distinctions in writings available to Wittgenstein. In consequence, Geach is mistaken in his claim that in the Tractatus Wittgenstein simply accepts from Frege (...) certain lessons about the inexpressibility of logical category distinctions and the say-show distinction. In truth, Wittgenstein drew his own morals about these matters, quite possibly as the result of reflecting on how the general problem of the inexpressibility of logical category distinctions arises in Frege's writings , but also, quite possibly, by discerning certain glimmerings of these doctrines in the writings of Russell. (shrink)

Though animal ethics in sport obviously applies most urgently to cases of animals at mortal risk (e.g., hunting and bullfighting) or vulnerable to various types of abuse (e.g., doping and harmful training practices), less obvious domains bear scrutiny as well. Here I examine whether we can strictly take not just riders but horses to be players in equine sports. There is an apparent tension in the concept of equestrian prowess, a peculiar blend of skills and attitudes, between regarding horses as (...) subjects of persuasion or collaboration and treating them as objects of control. As our understanding of animal cognition and behaviour continues to improve, it becomes increasingly clear that animal intelligence and agential capacities are far greater than we formerly presumed. In this light, using Suits’s theory of games, I argue that horses are game players that sometimes consent (or assent) and sometimes refuse to play equine sports. Drawing on recent accounts of horse-rider partnership and on my own equestrian background, I conclude by sketching a utopian vision of what equine sports could be. (shrink)

Some people object to realism about universals because they think that instantiation, the connection between something and the universals that characterize it, is too mysterious. Baxter and Armstrong try to make instantiation less mysterious by taking it to be a kind of partial identity. However, I argue that their accounts of instantiation, and any similar ones, fail.

This paper rejects metaphysical realism about structural universals as a basis for mathematical realism about numbers, and argues that one construal of structural universals via non-well-founded sets should be resisted by the mathematical realist.

The paper proposes the first unified account of deictic/sentence-external and sentence-internal readings of singular different . The empirical motivation for such an account is provided by a cross-linguistic survey and an analysis of the differences in distribution and interpretation between singular different , plural different and same (singular or plural) in English. The main proposal is that distributive quantification temporarily makes available two discourse referents within its nuclear scope, the values of which are required by sentence-internal uses of singular different (...) to be distinct, much as its deictic uses require the values of two discourse referents to be distinct. Thus, we take sentence-internal readings to be a form of ‘association with distributivity’ that is similar to association with focus. The contrast between singular different , plural different and same is explained in terms of several kinds of quantificational distributors that license their internal readings. The analysis is executed in a stack-based dynamic system couched in type logic, so we get compositionality in the usual Montagovian way. Quantificational subordination and dependent indefinites in various languages provide additional motivation for the account. Investigating the connections between items with sentence-internal readings and the quantificational licensors of these readings opens up a larger project of formally investigating (i) the typology of quantificational distributors and distributivity-dependent items and (ii) the fine-grained contexts of evaluation needed to capture this typological variation. (shrink)

This paper examines the contentious and confused notion of anthropomorphism. Beginning with an overview of the term's etymology and present use, it examines the arguments of those who believe it to be unscientific and demeaning, and those who believe it to be an inevitable and useful pragmatic strategy. The German philosopher Heidegger raises the more serious objection, though, that as a concept anthropomorphism is not even meaningful. Supplementing his argument with examples drawn from evolutionary theory and elsewhere, the paper concludes (...) that use of the term, anthropomorphism, commits one to an undesirable anthropocentrism, which shackles thought concerning the possible relationships between human and nonhuman animal beings. (shrink)

This chapter examines one intuitively appealing legal practice for which retributivist accounts struggle to find justification: multiple-offense sentencing discounts. It also considers several proposed strategies for justifying bulk discounts on the basis of retributivism. Three strategies are discussed: those that appeal to an absolute punishment maximum, those that appeal to interpersonal practices of blame and making amends, and those that suggest that perpetrators of multiple offenses sometimes have reduced culpability. The chapter argues that each of these strategies either is implausible (...) as a ground for bulk-sentencing discounts or is plausible only insofar as it incorporates nonretributivist considerations into its account — thus is in fact a hybrid view. It concludes by looking at hybrid theories as an alternative, suggesting that such approaches not only can provide justification for bulk-sentencing discounts, but are also more plausible in general than is generally assumed. (shrink)

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond (...) to those who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

Every recursively enumerable extension of arithmetic which obeys the disjunction property obeys the numerical existence property [Fr, 1]. The requirement of recursive enumerability is essential. For extensions of intuitionistic second order arithmetic by means of sentences (in its language) with no existential set quantifiers, the numerical existence property implies the set existence property. The restriction on existential set quantifiers is essential. The numerical existence property cannot be eliminated, but in the case of finite extensions of HAS, can be replaced (...) by a weaker form of it. As a consequence, the set existence property for intuitionistic second order arithmetic can be proved within itself. (shrink)

I argue for an alternative to Quine’s conception of observation sentences, one that better satisfies the roles Quine envisages for them, and that otherwise respects Quinean constraints. After reviewing a certain predicament Quine got into in balancing the needs of the intersubjectivity of observation sentences with his notion of the stimulus meaning of an observation sentence, I push for replacing the latter with what I call the ‘stimulus field’ of an observation sentence, a notion that remains ‘proximate’ but (...) is shared between different language users. Throughout, I emphasize the epistemological role of observation sentences. (shrink)

We study instantiated abstract argumentation frames of the form, where is an abstract argumentation frame and where the arguments x of S are instantiated by I as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas. We use the method of conceptual analysis to derive the properties of our proposed system. We seek to define the notion of complete extensions for such systems and provide algorithms for (...) finding such extensions. We further develop a theory of instantiation in the abstract, using the framework of Boolean attack formations and of conjunctive and disjunctive attacks. We discuss applications and compare critically with the existing related literature. (shrink)

This work presents and discusses the conception of instantiation as ‘partial identity’. The theory has been previously proposed in two different guises by Baxter and Armstrong . Attention will be paid mostly to Baxter’s presentation, which seems the best de veloped, and where instantiation is understood as identity of ‘aspects’ of a universal and a particular. The theory seems to offer a solution to the vexed question of Bradley’s Regress, because instantiation is no longer conceived as a (...) relation between numerically different entities. The proposed solution requires an ontology of ‘aspects’ in order to work. Aspects are presented in the form [ x insofar as j] where x is filled by the entity to which the aspect pertains and j is filled by the respect in which the entity in question is considered. Aspects are numerically identical with the entity to which they pertain and with the other aspects of the same entity. Aspects, nonetheless, are not mere ways in which one can conceive an entity. Aspects are objective. Rejection of the principle of indiscernibility of identicals is crucial to this theory. The attributions of one aspect are not also attributions to the other aspects of the same entity. Hence, aspects offer ways to deal with seemingly incoherent attributions to the same entity. Baxter uses them to solve the problem of the multi-location of universals, temporary intrinsics and trans-world identity, besides the nature of instantiation. Several difficulties are presented, both to the general metaphysics of aspects, and to the conception of instantiation as identity of aspects. In general: it is not clear how to distinguish objective aspects from the mere forms in which we conceive an entity; it is not clear what are the conditions of identity of an aspect; and although the necessity of identity is rejected in general, it reappears as necessity of ‘aspectual’ identity. The necessity of aspectual identity raises concerns about the stability of the view. In respect to the specific conception of instantiation as identity of aspects, it will be pointed out that the theory implies the complete identity of universals and particulars that instantiate them and, further, that it implies the identity of everything with everything. (shrink)

Armstrong holds the Supervenience Theory of instantiation, namely that the instantiation of universals by particulars supervenes upon what particulars and what universals there are, where supervenience is stipulated to be explanatory or dependent supervenience. I begin by rejecting the Supervenience Theory of instantiation. Having done so it is then tempting to take instantiation as primitive. This has, however, an awkward consequence, undermining one of the main advantages universals have over tropes. So I examine another account hinted (...) at by Armstrong. This is the Operator Theory of instantiation, by which I mean the theory that universals are operators, and that a particular instantiates a monadic universal because the universal operates on the particular, resulting in the state of affairs. On this theory the state of affairs supervenes on the instantiation rather than vice versa. In the second part of the paper I develop this theory of universals as operators, including an account of structural universals, which are useful for accounts of modality and of mathematics. (shrink)

We present various results regarding the decidability of certain sets of sentences by Simple Type Theory. First, we introduce the notion of decreasing sentence, and prove that the set of decreasing sentences is undecidable by Simple Type Theory with infinitely many zero-type elements ; a result that follows directly from the fact that every sentence is equivalent to a decreasing sentence. We then establish two different positive decidability results for a weak subtheory of math formula. Namely, the decidability (...) of math formula and math formula. Finally, we present some consequences for the set of existential-universal sentences. All the above results have direct implications for Quine's theory of “New Foundations” and its weak subtheory math formula. (shrink)

Language skirts the somatic fringes of the moment, particularly in practices where the powers of human speech and writing seem nullified. Horse training is one such practice. We tell stories of horse training that sensitize us and bring us close to creatures whose movements, resonating with our own, connect us to a prelinguistic, animate world. In so doing, we bridge the gap between the reflective detachment of our customary, wordy practices and the wordlessness of pre-reflective animality. Yet a (...) phenomenological discursiveness shows us how vital moments of “becoming animal” can be consciously and linguistically sustained. “Becoming horse in the duration of the moment” addresses the corporeally-charged consciousness of being with horses on the ground and in the saddle. This paper describes a relationality and temporality that, though mostly wordless in strictly human terms, speaks a sophisticated language of moment resonance. In so doing, it contests the dualisms of verbal and non-verbal discourses, the separation of humans and other animals, and the divisions that keep somaticity on the fringes of consciousness. It responds to the ecological challenge to get beyond the linguistic appropriation of the other, human speciesism and anthropomorphic projections, in order to discern the kinesthetic and energetic expressivities of connecting with other beings and with the elements of animate existence. Horse training provides a case for “living” in the somatic fullness of the moment. (shrink)

Distributive justice is the paradigmatic philosophical position regarding matters of contemporary justice. Distributive justice often focuses on issues of resource allocation and/or welfare allocation. In this essay I argue that this paradigm has ‘the cart before the horse’ because issues of productive justice—logically and normatively—are of antecedent concern. The way in which people work, and the nature of the productive workplace, conditions the conceptual and concrete possibilities of obtaining distributive justice, thus productive justice is of antecedent concern for realizing (...) justice overall. Contra Rawls, it is productive justice which in the ‘first instance’ ought to provide ‘a conception of social justice’. But even if this claim is hasty, it remains the case that distributive justice theorists have not allowed productive justice into their considered judgments and thus are operating with something short of serious reflective equilibrium. Productive justice therefore deserves unprecedented analysis and philosophical consideration. (shrink)

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for (...) this claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my (...) arguments against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

We study here equiformity, the standard identity criterion for sentences. This notion was put forward by Lesniewski, mentioned by Tarski and defined explicitly by Presburger. At the practical level this criterion seems workable but if the notion of sentence is taken as a fundamental basis for logic and mathematics, it seems that this principle cannot be maintained without vicious circle. It seems also that equiformity has some semantical features ; maybe this is not so clear for individual signs but (...) sentences are often considered as meaningful combinations of signs. If meaning has to play a role, we are thus maybe in no better position than when dealing with identity criterion for propositions. In formal logic, one speaks rather about well-formed formulas, but closed formulas are called sentences because they are meaningful in the sense that they can be true or false. Formulas look better like mathematical objects than material inscriptions and equiformity does not seem to apply to them. Various congruencies can be considered as identities between formulas and in particular "to have the same logical form". One can say that the objects of study of logic are rather logical forms than sentences conceived as material inscriptions. (shrink)

In the Christian tradition, there have always been those eager to paint the last judgment and the events leading up to it in sensational and lurid colors. Peter Lombard's simple strategy in providing a reliable account of Last Things is to stay close to the scriptural evidence. The structure of the treatise of the Sentences on Last Things is also given. Distinctions 43 and 44 address the resurrection of the dead, Distinction 44 being devoted, in particular, to the condition (...) of the bodies of the resurrected. Distinction 45 asks what prayers, alms, and burial ceremonies can accomplish on behalf of the deceased. This chapter looks at Peter's reference to the blessed and the damned, whose respective fates in the hereafter have formed the subject matter of Book IV of the Sentences. (shrink)

Three-valued logics are standardly used to formalize gappy languages, i.e., interpreted languages in which sentences can be true, false or neither. A three-valued logic that assigns the same truth value to all gappy sentences is, in our view, insufficient to capture important semantic differences between them. In this paper we will argue that there are two different kinds of pathologies that should be treated separately and we defend the usefulness of a four-valued logic to represent adequately these two (...) types of gappy sentences. Our purpose is to begin the formal exploration of the four-valued logics that could be used to represent the phenomena in question and to show that these phenomena are present in natural language, at least according to some semantic theories of natural language. (shrink)

In order to avoid the problems faced by standard realist analyses of the “relation” of instantiation, Baxter and, following him, Armstrong each analyze the instantiation of a universal by a particular in terms of their partial identity. I introduce two related conceptions of partial identity, one mereological and one non-mereological, both of which require at least one of the relata of the partial identity “relation” to be complex. I then introduce a second non-mereological conception of partial identity, which (...) allows for both relata to be simple. I take these three conceptions to exhaust the plausible ways of construing two entities as being partially identical. I then argue that there is no analysis (including those offered by Baxter and Armstrong) of a universal and a particular as being partially identical consistent with any of these three conceptions that (i) is coherent, (ii) is consistently realist, (iii) does not lead to absurd consequences, and (iv) offers a “solution” to the problem of instantiation that avoids the problems with the other standard realist responses. In so arguing, I offer a criticism of the analysis of instantiation as partial identity that is independent of the standard criticism that it entails the necessity of predication. (shrink)

This article develops a Gricean account for the computation of scalarimplicatures in cases where one scalar term is in the scope ofanother. It shows that a cross-product of two quantitative scalesyields the appropriate scale for many such cases. One exception iscases involving disjunction. For these, I propose an analysis that makesuse of a novel, partially ordered quantitative scale for disjunction andcapitalizes on the idea that implicatures may have different epistemic status.

The purpose of this paper is to define the sentence-tokened—a product of utterance distinct from the act of utterance—and highlight the role that it can play in communication. In particular, the author will suggest that this entity is plausibly at the root of John MacFarlane’s motivating intuitions for the view that truth is assessment-sensitive. Here the author argues that the truth-value intuitions that MacFarlane uses to motivate his view can be accommodated within the Kaplanian semantic framework, once we acknowledge the (...) sentence-tokened and the role it can play. (shrink)

do not really ascribe A-properties. Tensed sentences or their tokens, it is argued, are logically equivalent to, or have the same meaning as, tenseless sentences about events, and thus possess the same reference as the tenseless sentences, viz., to events with B-relations. It would follow that time has only one aspect, the B-aspect. You can search..

Husak makes a number of theoretical observations in favor of a general conception of sentencing that he calls sentencing pluralism. This framework is pluralistic in two different respects. In the first part of the chapter, he argues that the goals or objectives of a sentencing scheme are diverse and must draw from the insights supplied by various disciplines. Thus his framework embodies what he calls disciplinary pluralism. In the second part of the chapter, he argues that the sentence offenders deserve (...) cannot be identified without taking account of factors that are not contained within the proportionality calculus. Thus Husak’s framework also embodies what he calls desert pluralism. A sentencing theory that fails to include these two kinds of pluralism is deficient. (shrink)

Most everyday tasks involve multiple modalities, which raises the question of how the processing of these modalities is coordinated by the cognitive system. In this paper, we focus on the coordination of visual attention and linguistic processing during speaking. Previous research has shown that objects in a visual scene are fixated before they are mentioned, leading us to hypothesize that the scan pattern of a participant can be used to predict what he or she will say. We test this hypothesis (...) using a data set of cued scene descriptions of photo-realistic scenes. We demonstrate that similar scan patterns are correlated with similar sentences, within and between visual scenes; and that this correlation holds for three phases of the language production process (target identification, sentence planning, and speaking). We also present a simple algorithm that uses scan patterns to accurately predict associated sentences by utilizing similarity-based retrieval. (shrink)

If one examines the sky at sunset on a clear night, one seems to see a continuum of colors from reds, oranges and yellows to a deep blue-black. Between any two colored points in the sky there seem to be other colored points. Furthermore, the changes in color across the sky appear to be continuous. Although the colors at the zenith and the horizon are obviously distinct, nowhere in the sky can one see any color borders, and every sufficiently small (...) region of the sky is made up of regions that all seem to be of the same color. (shrink)

In this essay, I argue for the conclusion that the Chinese sentences that are regularly translated into subject-predicate sentences in English may be understood as all non-subject-predicate sentences. My argument is based on the premise that some grammatical features are crucial to yield the sense of contrast between the completeness of subject and the incompleteness of predicate. The absence of such grammatical features in Chinese makes it impossible to establish any criterion for the distinction between subject and (...) predicate in Chinese. (shrink)

Wild horses are becoming dependent on transitional environments between domesticity and wildness. In Dutch new nature areas they are learning to perform roles as ecological surrogates for their extinct ancestors. In the U.S. wild horses are 'feral' and exist in numbers deemed to be in excess of the carrying capacity of semi-arid public range lands. The federal government is removing and relocating thousands to long-term holding pastures. The capabilities approach of Nussbaum (2006) allows us to evaluate this transitional environment against (...) a threshold of opportunities to exercise capabilities judged to be central to their flourishing as wild horses. (shrink)

This chapter takes the conception of the sacraments as a sign of Lombard's theological system. Since the sacraments owe their salvific force directly to Christ's exemplary virtue and charity, Christology and the theology of the sacraments are considered closely related to each other. In Book IV, Peter reminds us of the structure of his work: “Having treated of those matters which pertain to the doctrine of things that are to be enjoyed [i.e., the Trinity], that are to be used [creation (...) in general], and that are to be used and enjoyed [man, the angels, the virtues, and even Christ].” The conception of sacraments as signs appropriately places them in the final part of the Lombard's theological system, governed as that is by the Augustinian distinction between things and signs. (shrink)

It seems to me that the argument has a certain initial plausibility, especially when ‘sentence’, ‘used in isolation’ and ‘meaning in isolation’ are explicated in a certain way. ~For instance, one must take sentences to include elliptical sentences; and one must take ‘use in isolation’ to entail use in the performance of a genuine speech act.! It also seems to me that the argument is important. For one thing, the Conclusion can be recruited in reasoning to the effect (...) that, because.. (shrink)

In this contribution, I aim to show how locating the Platonic dialogues in the intellectual context of their own time can illuminate their philosophical content. I seek to show, with reference to a specific dialogue (the Theaetetus), how Plato responds to other thinkers of his time, and also to bring out how, by reconstructing Plato’s response, we can gain deeper insight into the way that Plato shapes the structure and form of his argument in the dialogue. In particular, I argue (...) that the subtler thinkers (hoi kompsoteroi) discussed by Plato’s Socrates at Tht. 156a3 are Aristippus and the early Cyrenaics. (Recent scholars, such as Giannantoni and Tsouna, have rejected this identification, which was earlier defended by Schleiermacher, Grote, Zeller and Mondolfo.) Further, I claim that, once we recognise that the subtler thinkers are most likely to be the early Cyrenaics, we can make better sense of the scope and content of the arguments Plato puts forward at Tht. 156a - 160e (especially 156a - 157c). Also, I suggest that this identification helps us to understand a crucial part of Tht. 184b - 186e. Here Plato, in exploring the account of perception offered at 156a - 157c, uses the metaphor of the Wooden Horse to illustrate the conception of perception that he attributes to thinkers such as Protagoras and, in my view, the early Cyrenaics, who maintain that knowledge is a form of perception. (shrink)

In the present paper I want to do two things. First, I want to discuss Ramsey’s own views of Ramsey-sentences. This, it seems to me, is an important issue not just (or mainly) because of its historical interest. It has a deep philosophical significance. Addressing it will enable us to see what Ramsey’s lasting contribution in the philosophy of science was as well as what its relevance to today’s problems is. Since the 1950s, where the interest in Ramsey’s views (...) has mushroomed, there have been a number of different ways to read Ramsey’s views and to reconstruct Ramsey’s project. The second aim of the present paper is to discuss the most significant and controversial of this reconstruction, viz., structuralism. After some discussion of the problems of structuralism in the philosophy of science, as this was exemplified in Bertrand Russell’s and Grover Maxwell’s views and has re-appeared in Elie Zahar’s and John Worrall’s thought, I will argue that, for good reasons, Ramsey did not see his Ramsey-sentences as part of some sort of structuralist programme. I will close with an image of scientific theories that Ramsey might have found congenial. I will call it Ramseyan humility. (shrink)

Let HF be the collection of the hereditarily finite well-founded sets and let the primitive language of set theory be the first-order language which contains binary symbols for equality and membership only. As announced in a previous paper by the authors, "Truth in V for ∃*∀∀-sentences is decidable," truth in HF for ∃*∀∀-sentences of the primitive language is decidable. The paper provides the proof of that claim.