This chapter contains sections titled: Introduction The Stoic Logical System Conclusion Bibliography.

About Sextus Sextus Empiricus is one of the most important ancient philosophical writers after Plato and Aristotle. His writings are our main source for the doctrines and arguments of Scepticism. He probably lived in the second century AD. Eleven books of his writings have survived, covering logic, physics, ethics, and numerous more specialized fields. About Against the Ethicists In this unjustly neglected and misunderstood work Sextus sets out a distinctive Sceptic position in ethics. He discusses the concepts good and bad, (...) and puts forward the sceptical argument that nothing is either good or bad by nature or intrinsically or invariably, but only relatively to persons and/or to circumstances. He then argues that the sceptic is better off than the non-sceptic. In the latter part of the book, Sextus attacks the Stoic view that there is such a thing as a `skill for life'. About this edition This volume contains a translation of Against the Ethicists in clear modern English, together with an introduction and a detailed commentary. Those who have discussed this work in the past have tended to underestimate it, often regarding its main position as essentially the same as that of Sextus' better-known Outlines of Pyrrhonism. Richard Bett shows that Against the Ethicists represents quite a distinct and coherent philosophical outlook, associated with a phase of Scepticism earlier than Sextus himself, an outlook of which little other evidence survives. (shrink)

David Blank presents a new translation into clear modern English of a key treatise by one of the greatest of ancient philosophers, together with the first ever commentary on this work. Sextus Empiricus' Against the Grammarians is a polemical attack on ancient Greek ideas about grammar, and provides one of the best examples of sustained Sceptical reasoning.

THE following treatise on Sextus Empiricus and Greek Scepticism has been prepared to supply a need much felt in the English language by students of Greek philosophy. For while other schools of Greek philosophy have been exhaustively and critically discussed by English scholars, there are few sources of information available to the student who wishes to make himself familiar with the teachings of Pyrrhonism. The aim has been, accordingly, to give a concise presentation of Pyrrhonism in relation to its historical (...) development and the Scepticism of the Academy, with critical references to the French and German works existing on the subject. The time and manner of the connection of Sextus Empiricus with the Pyrrhonean School has also been discussed. As the First Book of the "Hypotyposes," or Pyrrhonic Sketches by Sextus Empiricus, contains the substance of the teachings of Pyrrhonism, it has been hoped that a translation of it into English might prove a useful contribution to the literature on Pyrrhonism, and this translation has been added to the critical part of the work. (shrink)

By far the most detailed surviving examination by any ancient Greek sceptic of epistemology and logic, this work critically reviews the pretensions of non-sceptical philosophers, to have discovered methods for determining the truth, either through direct observation or by inference from the observed to the unobserved. A fine example of the Pyrrhonist sceptical method at work, it also provides extensive information about the ideas of other Greek thinkers, which in many instances, are poorly preserved in other sources.

Socrates' greatest philosophical contribution was to have initiated the search for definitions. In Definition in Greek Philosophy his views on definition are examined, together with those of his successors, including Plato, Aristotle, the Stoics, Galen, the Sceptics and Plotinus. Although definition was a major pre-occupation for many Greek philosophers, it has rarely been treated as a separate topic in its own right in recent years. This volume, which contains fourteen new essays by leading scholars, aims to reawaken (...) interest in a number of central and relatively unexplored issues concerning definition. These issues are briefly set out in the Introduction, which also seeks to point out scholarly and philosophical questions which merit further study. (shrink)

Arithmetic deals with numbers: but what is the nature of their existence, of their parts, and of their relationship with countable items? These questions nourished a lively debate between the Platonico-Pythagorean tradition (trying to answer them) and the Pyrrhonian tradition (trying to show that these answers were unsatisfactory). The debate lies at the heart of Sextus Empiricus' Against the Arithmeticians. The present book aims at facing the remarkable historical and philosophical questions raised by Sextus' treatise by offering a new translation (...) of it and the first dedicated commentary to it. (shrink)

In this article, I tackle a heretofore unnoticed difficulty with the application of Pyrrhonian scepticism to science. Sceptics can suspend belief regarding a dogmatic proposition only by setting up opposing arguments for and against that proposition. Since Sextus provides arguments exclusively against particular geometrical definitions in Adversus Mathematicos III, commentators have argued that Sextus’ method is not scepticism, but negative dogmatism. However, commentators have overlooked the fact that arguments in favour of particular geometrical definitions were absent in ancient geometry, and (...) hence unavailable to Sextus. While this might explain why they are also absent from Sextus’ text, I survey and evaluate various strategies to supply arguments in support of particular geometrical definitions. (shrink)

This mainly historical paper provides a comprehensive discussion of the (heretoforth neglected) evidence of Peripatetic syllogistic in Sextus Empiricus. The paper sets out to show that it is likely that in Sextus (and Apuleius) there is valuable evidence of a transitional period in later ancient logic that is marked out as such by a number of characteristics, which include the following: (i) A Peripatetic term ‘categorical syllogism’ is newly in use, but no term ‘hypothetical syllogism’ has been established yet. (ii) (...) Stoic and Peripatetic logic are treated as complementing each other. (iii) The reversion of quantified propositions from predicate-subject to subject-predicate formulation is still fairly new. (iv) The so-called crocodile example is used to show that induction lacks the feature of concluding by necessity that is a defining mark of Aristotelian syllogisms. (v) The use of the expression katholikê protasis for categorical universal premise-propositions is distinctive of the period. (vi) The argument forms displayed by Sextus’ three examples appear to be indirectly related to the soon-to-appear Platonist hypothetical syllogistic. (vii) There are parallels that suggest that Sextus’ source belongs to the same historical period of logic as Apuleius’ source and as some probably recent source of Alexander of Aphrodisias’ Prior Analytics commentary (that is presented along with some later views and arguments, which may include Alexander’s own). Small differences between the three authors show that Sextus did not draw from the Greek handbook that was Apuleius’ source. (shrink)

This monograph discusses the sources for ancient propositional logic, mainly in Sextus Empiricus and Diogenes Laertius bk. VII. It is argued that most of the sources in Sextus which have hitherto been taken to be sources for Stoic logic either do not report Stoic logic at all or report pre-Chrysippean Stoic logic. These texts report (in the first case) a group labelled the Dialecticians whose most prominent members were Diodorus Cronus and Philo or else (in the second (...) case) early Stoic logicians heavily influenced by the Dialecticians. The texts discussed concern the theory of signs, the theory of proof and the classifications of propositions and of arguments. (shrink)

In this paper I focus on the relationships between language, definition and being in Antisthenes. I start from Plato’s Sophist 251b–c, in which the reference to the ὀψιμαθεῖς stands out, and I conclude that it is not possible to identify these characters with Antisthenes. The conception of ὀψιμαθεῖς provides for the exclusive legitimacy of identical judgments, exploiting in an eristic sense an evident Eleatic legacy. But this position, rather than concordances, reveals serious opposition to what is surely known to (...) us of the logical and linguistic doctrines of Antisthenes. The most explicit testimony about the relationship between language and being in Antisthenes is handed down by Porphyry, who attributes to Antisthenes the equation λέγειν = λέγειν τι = λέγειν τὸ ὄν. My analysis intends to show that this equation is assumed by Antisthenes through a Socratic mediation and has a double objective: to ensure an objective reference of language, as opposed to Gorgias’ self-referential conception of language, and to nullify the antilogy, which is typical of sophistic argumentation. To it Antisthenes contrasts the ἐπίσκεψις τῶν ὀνομάτων, which is a development of Socratic ἐξετάζειν, and whose aim is to reach, at the end of the examination, no longer just a ὁμολογία, but a definition valid once and for all. Antisthenes is aware that there is a distinction between essence and quality, and with this, he moves a first important step beyond the univocal conception of being proper to Parmenides. The doxography will sum up Antisthenes’ position by describing him as the first philosopher to advance a definition of logos, i. e., definition. He bases his theory of definition on the identification of that attribute which is ἴδιον καὶ οἰκεῖον of the proposed object. Antisthenes coined the phrase τὸ τί ἦν to designate what the predicate is meant to say in a definition, i. e., the proper quality. This expression does not seem to identify the general notion of a predicate as such, but rather to indicate the determination or qualification necessary to actually define the object in question. In the final part of my article, I examine some testimonies that show how, with his theory of definition, Antisthenes is, and was considered already in antiquity, the precursor of the Stoic theory of definition, whose objective is, according to Chrysippus’ formula, to provide the explanation of what is proper (ἰδίου ἀπόδοσις). (shrink)

Although it is difficult to exaggerate the similarities between the philosophical doctrines of contemporary scientific empiricists and those which were expounded by Sextus Empiricus, the Greek physician and sceptic of the third century A. D., Sextus seems to have been neglected by most historians of empiricism. An account of his position may be of some pertinence at the present time, for a striking parallel can be drawn without any distortion. His most significant contributions are: first, the positivistic and behavioristic theory (...) of signs which he opposed to the metaphysical theory of the Stoics; secondly, his discussion of phenomenalism and its relation to common sense claims to knowledge; and, thirdly, his account of the controversy over the principle of extensionality in logic, where the anticipation of contemporary doctrines is perhaps most remarkable. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Sextus, Montaigne, Hume: Pyrrhonizers by Brian C. RibeiroJerry GreenRIBEIRO, Brian C. Sextus, Montaigne, Hume: Pyrrhonizers. Leiden: Brill, 2021. ix + 165 pp. Cloth, $145.00; eBook, $149.00As the title suggests, this short, engaging work explores a continuity between three major thinkers in the Western skeptical tradition. The label "Pyrrhonizers" is well chosen: What draws Sextus Empiricus, Montaigne, and Hume together is a set of attitudes about the limits of (...) reason and the value of constant inquiry. These thinkers are united not by commitment to a set of propositions that would group them together in some kind of static philosophical school but, rather, by a kind of pessimism about rationality's power. Ribeiro uses these figures to prompt a thought-provoking inversion of a traditional challenge to skepticism: Not only is it possible for a skeptic to live his skepticism, it is also unexpectedly easy to do so, because rationality has a surprisingly weak hold on us. This means that we can continue to be skeptics even when we cannot bring ourselves to believe or reject dogmatic claims, so long as we continue to pyrrhonize.Chapter 1 is a defense of the psychological reality of epistemic akrasia, a phenomenon by which an epistemic agent fails to form beliefs governed by the evidence she takes herself to have (analogous to the more familiar weakness of will in moral psychology). In particular, Ribeiro focuses on skeptical cases where one takes oneself to have sufficient reason to suspend judgment regarding p but nevertheless persists in believing that p. This chapter engages with contemporary literature in epistemology that [End Page 158] denies the possibility of epistemic akrasia; Ribeiro points to real cases of the phenomenon to show that it is an actual occurrence in human psychology.Chapter 2 surveys the three eponymous subjects of the book, arguing that Sextus, Montaigne, and Hume are engaged in a single, historically continuous project regarding epistemic agency and human reason-responsiveness. Whatever differences these three figures may have, each is interested in probing the boundaries of belief, looking for the borders of rationality where our beliefs persist even in the face of evidence or arguments against them.Chapter 3 looks more closely at the version of Pyrrhonian skepticism found in Sextus Empiricus. Ribeiro argues that Sextus saw global suspension of belief as an ethical ideal conducive to tranquility and hence eudaimonia. Comparable to the Stoic moral sage, this ideal may not be fully realizable in actual life, but one can nevertheless make progress toward this ideal. Crucially, this progress is compatible with intractable beliefs about which suspension of judgment is difficult or fleeting: Even if one cannot globally suspend judgment about all matters at once, one can still become increasingly more tranquil as one develops the ability to suspend judgment more successfully over time.Chapter 4 transitions to Montaigne's Essays. Ribeiro devotes the bulk of the chapter to showing that Montaigne was explicitly influenced by ancient Pyrrhonian skepticism (via both Sextus and Cicero). The most important point, however, is that Montaigne exemplifies the Pyrrhonian project in his constant revisions to his Essays throughout his life, modeling the zetetic approach of perpetual investigation. Montaigne's chief contribution to this project is to redirect it away from the dogmatic disputes over unclear matters that we see among the ancient skeptics, and toward continual autobiographical self-reflection.Chapter 5 pauses the historical focus of the previous chapters, to return to the topic of human rationality. This chapter uses a Humean observation of the power of custom or habit compared to reason to argue that human rational self-control is surprisingly weak. Similar to the worry about epistemic akrasia discussed in chapter 1, here Ribeiro uses the plausibility of certain skeptical arguments to suggest that we may lack the ability to form beliefs even when we take the arguments supporting those beliefs to be persuasive.Chapters 6 and 7 return to a historical focus, this time concentrating on Hume. Drawing on the work of Karánn Durland, chapter 6 argues that there is an irresolvable tension across Hume's works: In some places Hume endorses naturalism, in others skepticism. Ribeiro takes this to be further evidence for... (shrink)

One Stoic response to the skeptical indistinguishability argument is that it fails to account for expertise: the Stoics allow that while two similar objects create indistinguishable appearances in the amateur, this is not true of the expert, whose appearances succeed in discriminating the pair. This paper re-examines the motivations for this Stoic response, and argues that it reveals the Stoic claim that, in generating a kataleptic appearance, the perceiver’s mind is active, insofar as it applies concepts matching (...) the perceptual stimulus. I argue that this claim is reflected in the Stoic definition of the kataleptic appearance, and that it respects their more general account of mental representation. I further suggest that, in attributing some activity to the mind in creating each kataleptic appearance, and in claiming that the expert’s mind allows her to form more kataleptic appearances than the amateur, the Stoics draw inspiration from the wax tablet model in Plato’s Theaetetus (190e–196d), where Socrates distinguishes the wise from the ignorant on the basis of how well they match sensory input with its appropriate mental ‘seal’ (σφραγίς). (shrink)

The author defends a combination of Strawson’s account of definite descriptions as devices of singular reference par excellence with the Russellian truth-evaluation of utterances of sentences with descriptions. The complex Russellian proposition is, according to the author’s view, introduced by such utterances into communication as a by-product of the instrumental side of an attempt to make a singular statement. This, precisely like the instrumental aspects of similar attempts exploiting names or demonstratives has to be reflected by analysis but should not (...) be confused with the communicative function of utterances. The success of all these attempts depends on the fulfilment of empirical conditions of various types, given by semantics of descriptions, names or demonstratives . But their communicative function does not consist in claiming that these conditions are fulfilled.The author agrees with Strawson that the first two conjuncts of the complex Russellian proposition are introduced into communication as presuppositions: but argues in favour of defining presupposition in normative, rather the intentional terms. (shrink)

In this book, Matthew Duncombe argues that Plato, Aristotle, certain Stoics, and Sextus Empiricus each held a broadly "constitutive" view of relativity. According to constitutive accounts, a "relative" is constituted by the relation that it bears to its "correlative". Such treatments of relativity sharply contrast with more familiar nonconstitutive accounts, according to which standing in some relation suffices for being a relative. On such a view, versions of which many scholars have assumed to be at work in antiquity, Alcibiades counts (...) as a relative because he is related to Socrates through the "is more beautiful than" relation. On... (shrink)

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power (...) of the essence of composite substances. (shrink)

The paper deals with some logical, semantic and methodological aspects of defining and definitions. First of all, basic features of the background semantic theory are specified. Next, three different kinds of definitions are distinguished: codifying definitions, objectual analytic definitions and meaning analytic definitions. It is shown that the relationships between the definiendum and the definiens in a given definition differ with respect to these different kinds of definition. Furthermore, it is argued that definitions and defining are intrinsically connected (...) with so called conceptual systems. Finally, definitions are distinguished from explications. (shrink)

This paper argues for a view that maximizes in the Stoics' epistemology the starkness and clarity characteristic of other parts of their philosophy. I reconsider our evidence concerning doxa (opinion/belief): should we really take the Stoics to define it as assent to the incognitive, so that it does not include the assent of ordinary people to their kataleptic impressions, and is thus actually inferior to agnoia (ignorance)? I argue against this, and for the simple view that in Stoicism assent is (...) either, in the case of the fool, doxa = agnoia, or alternatively, in that of the sage, epistêmê (knowledge). This view, together with reflection on the appropriate sense of "between" in the relevant reports of SE and Cicero, yields a sympathetic reading of an otherwise problematic challenge Sextus reports Arcesilaus as having prepared for the Stoic claim that katalêpsis, which is the criterion of truth, is between knowledge and opinion; on my view each side is proceeding in a philosophically legitimate way. (shrink)

In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic account of the target (...) contrasts. On this approach, demonstratives take two arguments and generally require that the first, covert argument is non-redundant with respect to the second, overt argument. I derive this condition through an economy principle discussed by Schlenker (2005). (shrink)

This chapter contains sections titled: A Socratic Theory of Definition The Meno: Between Definitions and Forms Forms.

This paper presents Niketas Stethatos’ use of the definition of philosophy as “knowledge of human and divine things”. The definition, of Stoic origin, was elaborated by the Neoplatonic school of Alexandria together with five other definitions, and was adopted by the Church Fathers. The first part discusses aspects of the definition’s history in ancient, Patristic, and Byzantine literature until the eleventh century, which indicates Stethatos’ uniqueness. The second part presents the definition in his works, with (...) emphasis on its relation to the φυσικὴ θεωρία. Also the extraordinary often and multifaceted appearance of this definition in Stethatos’ works in his controversy with Michael Psellos is investigated. Stethatos, through his elaborated and systematic reference to the definition, propagates the mystical experience as authentic philosophy against the rise of secular philosophy and its tendency to become autonomous. (shrink)

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...) arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

This article discusses the “Argument from Inference” raised against the view that definite descriptions are semantically referring expressions. According to this argument, the indicated view is inadequate since it evaluates some invalid inferences with definite descriptions as “valid” and vice versa. I argue that the Argument from Inference is basically wrong. Firstly, it is crucially based on the assumption that a proponent of the view that definite descriptions are referring expressions conceives them as directly referring terms, i.e., the terms which (...) contribute their referents into the semantic content of the sentences in which they occur. However, the framework of direct reference is not essential to the idea that descriptions might have semantic referential interpretation. Secondly, the Argument of Inference - if correct - suffices to establish an overgeneralized conclusion that even paradigmatically referring terms, like proper names, cannot be semantically referential. This fact indicates that the argument is flawed. In the final part of this article, I briefly consider what the source of the problem with the Argument of Inference might be. (shrink)

The Stoics have often been compared to the earthborn Giants in the Battle of Gods and Giants in Plato’s Sophist, but with diverging opinions about the lessons they drew in reaction to Plato. At issue are questions about what in the Sophist the Stoics were reacting to, how the Stoics are like and unlike the Giants, the status of being for the Stoics, and the extent to which they were Platonizing with their incorporeals. With these open questions in mind, I (...) reexamine the Sophist from the Stoic perspective, finding eight distinct challenges that are likely to have been salient to the Stoics, and offer a new account of the Stoics as responding to these challenges with an innovative ontology that prises apart something from being to make room for what is not, and a sophisticated one-world metaphysics that grounds everything there is in two fundamental bodies. (shrink)

Paul Elbourne defends the Fregean view that definite descriptions ('the table', 'the King of France') refer to individuals, and offers a new and radical account of the semantics of pronouns. He draws on a wide range of work, from Frege, Peano, and Russell to the latest findings in linguistics, philosophy of language, and psycholinguistics.

This chapter stages an ongoing conversation between Arthur Danto and the author. In a series of encounters from 1985 till 2012 (in New York City and elsewhere) the problem of defining art is explored from different angles. Eventually, two kinds of definition are distinguished. On the one hand, a definition may aspire to identify peculiar characteristics of the things that are commonly regarded members of the noble class of artworks. On the other hand, a definition might also (...) name criteria for deciding whether an object may become a member of this class in the first place. Danto focused on the first task because he felt, quite rightly, that the second would require competences that philosophy does not dispose of. (shrink)

Socrates recognizes a distinction between formal and material definitional conditions. In this dissertation, I concentrate on the material conditions rather than the formal ones for two reasons: Socrates allows a great deal of syntactic flexibility, and many answers he regards as formally adequate resist classification by contemporary standards. I argue that Socrates is committed to four material adequacy conditions in answers to "what is F-ness?" He is committed to the extensional equivalence condition, that the definiens picks out all and only (...) instances of the definiendum, the property sameness condition, that the definiens is a property identical to the definiendum, the explanation condition, that the definiens explains instances of the definiendum, and the semantic completeness condition, that statements about F-nesses involving evaluative predicates do not change their truth-value, regardless of context. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

The prototypes of definiteness and indefiniteness in English are the definite article the and the indefinite article a/an, and singular noun phrases (NPs)1 determined by them. That being the case it is not to be predicted that the concepts, whatever their content, will extend satisfactorily to other determiners or NP types. However it has become standard to extend these notions. Of the two categories definites have received rather more attention, and more than one researcher has characterized the category of definite (...) NPs by enumerating NP types. Westerståhl (1985), who is concerned only with determiners in the paper cited, gives a very short list: demonstrative NPs, possessive NPs, and definite descriptions. Prince (1992) lists proper names and personal pronouns, as well as NPs with the, a demonstrative, or a possessive NP as determiner. She notes, in addition, that “certain quantifiers (e.g. all, every) have been argued to be definite” (Prince 1992: 299). This list, with the quantifiers added, agrees with that given by Birner & Ward (1998, 114). Ariel (1988, 1990) adds null anaphoric NPs. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The argumentative (...) structure of PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

We present a statistical analysis of the realization of definiteness in Tunisian Arabic (TA) texts written in Arabizi, a hybrid system reflecting some features of TA phonetics (assimilation), but also showing orthographic features, as the use of arithmographs. In §1, we give an overview of definiteness in TA from a semantic and syntactic point of view. In §2 we outline a typology of definite articles and show that TA normally marks definiteness with articles or similar devices, but also presents zero-markings (...) or weak definites. In §3 we discuss TA and how definiteness is instantiated in TA. In §4, we present data from the Tunisian Arabizi Corpus (TAC), a multidisciplinary work with a hybrid approach based on dialectological questions, corpus linguistics standards, and deep learning techniques. In §5 we define the behavior of TA with respect to what we observed in §1, §2 and §3, describing our TAC-based analysis. (shrink)

This paper is devoted to show the development of some of the model-theoretic ideas which are clearly present in the main members of the Peano school (Peano himself, Burali-Forti, Pieri and Padoa) asa result of their conception of nominal definitions. Also, their semantic definition of logical consequence (Pieri, Padoa) is viewed as one of the outcomes of that conception. Some examples of their use of theexpression “nominal definition” are presented first. Second, the main advantages of this kind of (...) definition, as they saw them, are briefly explained, mainly in a philosophical context. Finally, already in the kernel of the paper, some of the details of the model-theoretic view itself are shown, first in Peano, then in Pieri and Padoa, including in both cases some study of their semantic definitions of logicalconsequence. (shrink)

In their Basic Logic, Sambin, Battilotti and Faggian give a foundation of logical inference rules by reference to certain reflection principles. We investigate the relationship between these principles and the principle of Definitional Reflection proposed by Hallnäs and Schroeder-Heister.

Charles Stevenson introduced the term 'persuasive definition’ to describe a suspect form of moral argument 'which gives a new conceptual meaning to a familiar word without substantially changing its emotive meaning’. However, as Stevenson acknowledges, such a move can be employed legitimately. If persuasive definition is to be a useful notion, we shall need a criterion for identifying specifically illegitimate usage. I criticize a recent proposed criterion from Keith Burgess-Jackson and offer an alternative.

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (shrink)

I formulate an apparent inconsistency between some claims Aristotle makes in his Metaphysics about the sameness and non-sameness relations which obtain between an object and its essence: while a object is not the same as its essence, an essence is thought as being the same as its essence. I discuss different ways in which one may propose to overcome this apparent inconsistency and show that they are problematic. My diagnosis of the problem is that all these putative solutions share the (...) assumption that Aristotle is operating exclusively with the notion of strict numerical identity between an object and its essence, or between definiendum and definiens. I introduce the notion of sameness in nature which holds between an object and its essence, understood as the metaphysical counterpart to the relation of 'being defined as': two items are the same in nature just in case the answer to the 'what is it?' or 'what is its nature/essence?' question is common to both. I argue that the notions of sameness in nature and 'being defined as' need not entail strict identity. Further, they are compatible with, indeed require, the idea that an essence is prior to its essence-bearer, or that a definiens is prior to the relevant definiendum. I conclude that the twin notions of sameness in nature and 'being defined as' successfully defuse the apparent inconsistency formulated at the outset. (shrink)

An attempt to answer four unsettled questions about the Stoic definition of passions. (I am no longer working on this paper, but have incorporated some of its thoughts into subsequent work.).

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F,G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended here (...) and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

An introduction to the project of defining music, which considers extant definitions and suggests a new definition.

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.

Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics of (...) the concept defined, or listing the constituent parts of the denotatum. All these definitions play different argumentative roles in legal discourse. At a third level, definitions can be thought of as premises in complex patterns of reasoning (for the subject of reasoning from definition in law, see Aarnio 1977; Moore 1980; Lindahl, 2004). They constitute the fundamental element of argument from classification, namely a pattern of inference in which a new property (or a name) is attributed to an entity on the basis of other properties. (shrink)

In this paper we analyze the uses and misuses of argumentation schemes from verbal classification, and show how argument from definition supports argumentation based on argument from verbal classification. The inquiry has inevitably included the broader study of the concept of definition. The paper presents the schemes for argument from classification and for argument from definition, and shows how the latter type of argument so typically supports the former. The problem of analyzing arguments based on classification is (...) framed in a structure that reveals the crucial role it plays in the persuasion process. The survey of the literature includes the work of Hastings, Perelman, Kienpointner and Schiappa, but still finds much of value in Aristotle. Lessons drawn from Aristotle’s Topics are shown to be useful for developing new tools for assessing definitions and arguments from definition. (shrink)

This paper reexamines some examples, discussed by Mates and others, of sentences containing both definite descriptions and quantifiers. It has frequently been claimed that these sentences provide evidence for the view that definite descriptions themselves are quantifiers. The main goal of this paper is to argue this is not so. Though the examples are compatible with quantificational approaches to definite descriptions, they are also compatible with views that treat definite descriptions as basically scopeless. They thus provide no reason to see (...) definite descriptions as quantifiers. Even so, this paper shows that the examples do raise a surprising range of complex issues about how quantifier scope works, and where it occurs. Thus, a clear picture of how these examples work will help us to understand better where definite descriptions fit into the larger picture of quantifiers and related phenomena. (shrink)