Using a base of philosophical athropology, this article suggests that an ethical analysis of persuasion must include not just the logic human response, but culture and experience as well. The authors propose potential maxims for ethical behavior in advertising and public relations and applies them to two case studies, political advertising and the Bridgestone/Firestone controversy.

In this article, I suggest an original solution to the Liar Paradox, based on the pragmatic theory of speech acts. This solution implies making a distinction between two concepts of truth: the intentional truth of a speaker’s utterances directed toward an addressee with the objective of obtaining a consensual agreement; the effective truth objectively recognized by the addressee in the speaker’s utterances. In view of reaching this new solution to the classic paradox, I conduct a critical review of solutions put (...) forward by Tarski, Kripke and Strawson. (shrink)

Michael Devitt claims that the predicative material that constitutes complex referential expressions makes a semantic contribution to the proposition expressed. He thus deviates from direct referentialism, according to which every referential expression -either simple or complex- contributes just with an object to the proposition expressed, leaving the predicative material out of the semantic content. However, when dealing with misdescriptions, Devitt has suggested a pragmatic way out: the audience can understand what the speaker is referring to even if the object does (...) not fall under the corresponding description. From my perspective, this proposal questions the semantic validity of the predicative material, together with Devitt's original claim. In this paper, I propose a way to solve the problem posed by misdescriptions that appeals to the idea of epistemically relativized properties, according to which the properties ascribed to the object -by means of the predicative material- correspond to the way the speaker thinks of it and not to the way the object really is. Michael Devitt sostiene que el material predicativo que constituye las expresiones referenciales complejas hace un aporte semántico a la proposición expresada, alejándose así del referencialismo directo, para el cual toda expresión referencial -sea ésta simple o compleja- contribuye sólo con un objeto singular a la proposición expresada. Sin embargo, al enfrentarse al problema de las descripciones fallidas, Devitt ofrece una salida pragmática: el oyente comprende a qué se refiere el hablante aun cuando el objeto referido no caiga bajo la descripción utilizada. Esto pone en cuestión la validez semántica del material predicativo, desestimando la postura original de Devitt. En el trabajo propongo una solución a este problema, apelando a la idea de propiedades epistémicamente relativizadas, de acuerdo con la cual lo que se predica del objeto por medio del material predicativo corresponde a las creencias del hablante, y no a lo que el objeto realmente es. (shrink)

Russell urged that some phrases having no meaning in isolation could nonetheless, Contribute to the meaning of sentences in which they occur. In the case of definite descriptive phrases, A proof is offered. It is argued that russell's proof is valid, Contrary to some commentators. Proper understanding of the notion of "incomplete symbol" plays a key role in the assessment of the argument, As well as in full appreciation of the radical departure of russell's analysis from "surface" grammar.

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

Ambiguity is a property of syntactic expressions which is ubiquitous in all informal languages–natural, scientific and mathematical; the efficient use of language depends to an exceptional extent on this feature. Disambiguation is the process of separating out the possible meanings of ambiguous expressions. Ambiguity is typical if the process of disambiguation can be carried out in some systematic way. Russell made use of typical ambiguity in the theory of types in order to combine the assurance of its (apparent) consistency (“having (...) the cake”) with the freedom of the informal untyped theory of classes and relations (“eating it too”). The paper begins with a brief tour of Russell’s uses of typical ambiguity, including his treatment of the statement Cls ∈ Cls. This is generalized to a treatment in simple type theory of statements of the form A ∈ B where A and B are class expressions for which A is prima facie of the same or higher type than B. In order to treat mathematically more interesting statements of self membership we then formulate a version of typical ambiguity for such statements in an extension of Zermelo-Fraenkel set theory. Specific attention is given to how the“naive” theory of categories can thereby be accounted for. (shrink)

There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.

In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...) variables. This has the effect that negation of unbounded universal and existential propositions cannot be expressed. This is claimed in the second section to be the basis for Wittgenstein's criticism of the universal validity of the law of excluded middle. In the last section, there is a brief discussion of Wittgenstein's remarks on real numbers. These show a preference, in line with finitism, for a recursive version of the continuum. (shrink)

Philosophers have recently expressed interest in accounting for the usefulness of mathematics to science. However, it is certainly not a new concern. Putnam and Quine have each worked out an argument for the existence of mathematical objects from the indispensability of mathematics to science. Were Quine or Putnam to disregard the applicability of mathematics to science, he would not have had as strong a case for platonism. But I think there must be ways of parsing mathematical sentences which account for (...) applicability of mathematics and also do not require us to believe in entities we have no evidence for, other than through reading these sentences literally. We will explore a particular way to interpret sentences of arithmetic which promises to account for their applicability without bringing in metaphysics not also brought in by science. The investigation will be limited to the arithmetic of cardinal numbers. The general strategy is to argue for the analogy between arithmetic and science, rather than to argue for one case having a particular characteristic independently of the other. (shrink)

Statements of degree appear to falsify basic doctrines in Tractatus Logico-Philosophicus. I offer a fresh formulation of the challenge and assess a solution proposed on Wittgenstein’s behalf by Sarah Moss. I find that Moss’s proposal fails. The proposal rides in part on novel interpretations of pronouncements by Wittgenstein on the nature of the elementary proposition. I find that the interpretations cannot be sustained but that Moss’s textual case hints at important and overlooked features of the Tractarian program. I develop Wittgenstein’s (...) comparison of propositions to measuring instruments and apply it throughout, showing that it captures philosophical commitments in Tractatus that otherwise tend to slip from view. (shrink)

A definition of a property P is impredicative if it quantifies over a domain to which P belongs. Due to influential arguments by Ramsey and Gödel, impredicative mathematics is often thought to possess special metaphysical commitments. It seems that an impredicative definition of a property P does not have the intended meaning unless P already exists, suggesting that the existence of P cannot depend on its explicit definition. Carnap (1937 [1934], p. 164) argues, however, that accepting impredicative definitions amounts to (...) choosing a "form of language" and is free from metaphysical implications. This paper explains this view in its historical context. I discuss the development of Carnap’s thought on the foundations of mathematics from the mid-1920s to the mid-1930s, concluding with an account of Carnap’s (1937 [1934]) non-Platonistic defense of impredicativity. This discussion is also important for understanding Carnap’s influential views on ontology more generally, since Carnap’s (1937 [1934]) view, according to which accepting impredicative definitions amounts to choosing a "form of language", is an early precursor of the view Carnap presents in "Empiricism, Semantics and Ontology" (1956 [1950]), according to which referring to abstract entities amounts to accepting a "linguistic framework". (shrink)

In his article “Opacity” (1986), David Kaplan propounded a counterexample to the the- sis, defended by Quine and known as Quine’s Theorem, that establishes the illegitimacy of quantifying from outside into a position not open to substitution. He ingeniously built his counterexample using Quine’s own philosophical material and novel devices, arc quotes and $entences. The present article offers detailed analysis and critical discus- sion of Kaplan’s counterexample and proposes a reasonable reformulation of Quine’s Theorem that bypasses both this counterexample and (...) another, in the author’s opinion, more persuasive counterexample, also discussed in this paper and somehow implicit in “Opacity”, which involves Russellian propositions instead of the Quinean apparatus. (shrink)

According to his own account, Russell was “led to” the Theory of Descriptions by “the desire to avoid Meinong’s unduly populous realm of being”. This “official view” has been subjected to severe criticism. However stimulating this criticism may be, it is too extreme and therefore not critical enough. It fails to fully acknowledge both the way it is itself opposed to Russell and the way Russell and Meinong were opposed to _their_ opponents. In order to avoid these failures, a more (...) “dialectical” kind of analysis will be applied. It leads to unravelling two confusions shared by the official and the unofficial views: the confusion between _conception_ and _adoption_ of the theory of descriptions and the confusion between _three varieties of Meinongianism_. By means of these distinctions both a significant kernel of truth contained in Russell’s account and the underlying motive for his distortion of the historical facts can be laid bare. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

The Analytic Tradition in Philosophy is an excellent successor to an excellent book : It is a fine an example of the necromantic style in the history of philosophy where the object of the exercise is to resurrect the mighty dead in order to get into an argument with them, either because we think them importantly right or instructively wrong. However what was a pardonable a simplification and a reasonable omission in the earlier book has now metamorphosed into a sin (...) of omission and an oversimplification in its successor—the book lacks is an adequate discussion of the Ramified Theory of Types and Russell’s reasons for adopting it. I conclude with a brief meditation on Open Question Arguments and the threats that they pose to some of the analyses proposed by Russell and Moore themselves. (shrink)

Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to (...) abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves. (shrink)

This paper is concerned with the use of logic to solve philosophical problems. Such use of logic goes counter to the prevailing empiricist tradition in analytic circles. Specifically, model-theoretic tools are applied to three fundamental issues in the philosophy of logic and mathematics, namely, to the issue of the existence of mathematical entities, to the dispute between first- and second-order logic and to the definition of analyticity.

In ‘On Denoting’ and to some extent in ‘Review of Meinong and Others, Untersuchungen zur Gegenstandstheorie und Psychologie’, published in the same issue of Mind (Russell, 1905a,b), Russell presents not only his famous elimination (or contextual defi nition) of defi nite descriptions, but also a series of considerations against understanding defi nite descriptions as singular terms. At the end of ‘On Denoting’, Russell believes he has shown that all the theories that do treat defi nite descriptions as singular terms fall (...) logically short: Meinong’s, Mally’s, his own earlier (1903) theory, and Frege’s. (He also believes that at least some of them fall short on other grounds—epistemological and metaphysical—but we do not discuss these criticisms except in passing). Our aim in the present paper is to discuss whether his criticisms actually refute Frege’s theory. We fi rst attempt to specify just what Frege’s theory is and present the evidence that has moved scholars to attribute one of three different theories to Frege in this area. We think that each of these theories has some claim to be Fregean, even though they are logically quite different from each other. This raises the issue of determining Frege’s attitude towards these three theories. We consider whether he changed his mind and came to replace one theory with another, or whether he perhaps thought that the different theories applied to different realms, for example, to natural language versus a language for formal logic and arithmetic. We do not come to any hard and fast conclusion here, but instead just note that all these theories treat defi nite descriptions as singular terms, and that Russell proceeds as if he has refuted them all. After taking a brief look at the formal properties of the Fregean theories (particularly the logical status of various sentences containing nonproper defi - nite descriptions) and comparing them to Russell’s theory in this regard, we turn to Russell’s actual criticisms in the above-mentioned articles to examine the extent to which the criticisms hold.. (shrink)

Frege's main contributions to logic and the philosophy of mathematics are, on the one hand, his introduction of modern relational and quantificational logic and, on the other, his analysis of the concept of number. My focus in this paper will be on the latter, although the two are closely related, of course, in ways that will also play a role. More specifically, I will discuss Frege's logicist reconceptualization of the natural numbers with the goal of clarifying two aspects: the motivations (...) for its core ideas; the step-by-step development of these ideas, from Begriffsschrift through Die Grundlagen der Arithmetik and Grundgesetze der Arithmetik to Frege's very last writings, indeed even beyond those, to a number of recent "neo-Fregean" proposals for how to update them. One main development, or break, in Frege's views occurred after he was informed of Russell's antinomy. His attempt to come to terms with this antinomy has found some attention in the literature already. It has seldom been analyzed in connection with earlier changes in his views, however, partly because those changes themselves have been largely ignored. Nor has it been discussed much in connection with Frege's basic motivations, as formed in reaction to earlier positions. Doing both in this paper will not only shed new light on his response to Russell's antinomy, but also on other aspects of his views. In addition, it will provide us with a framework for comparing recent updates of these views, thus for assessing the remaining attraction of Frege's general approach. I will proceed as follows: In the first part of the paper (§1.1 and §1.2), I will consider the relationship of Frege's conception of the natural numbers to earlier conceptions, in particular to what I will call the "pluralities conception", thus bringing into sharper focus his core ideas and their motivations. In the next part (§2.1 and §2.2), I will trace the order in which these ideas come up in Frege's writings, as well as the ways in which his position gets modified along the way, both before and after Russell's antinomy.. (shrink)

Ernst Friedrich Ferdinand Zermelo transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. Two (...) decades later Zermelo promoted a distinctive cumulative hierarchy view of models of set theory and championed the use of infinitary logic, anticipating broad modern developments. In this paper Zermelo's published mathematical work in set theory is described and analyzed in its historical context, with the hindsight afforded by the awareness of what has endured in the subsequent development of set theory. Elaborating formulations and results are provided, and special emphasis is placed on the to and fro surrounding the Schröder-Bernstein Theorem and the correspondence and comparative approaches of Zermelo and Gödel. Much can be and has been written about philosophical and biographical issues and about the reception of the Axiom of Choice, and we will refer and defer to others, staying the course through the decidedly mathematical themes and details. (shrink)

In this paper I examine the prospects for a successful neo–logicist reconstruction of the real numbers, focusing on Bob Hale's use of a cut-abstraction principle. There is a serious problem plaguing Hale's project. Natural generalizations of this principle imply that there are far more objects than one would expect from a position that stresses its epistemological conservativeness. In other words, the sort of abstraction needed to obtain a theory of the reals is rampantly inflationary. I also indicate briefly why this (...) problem is likely to reappear in any neo–logicist reconstruction of real analysis. (shrink)

This paper investigates Vācaspati Miśra’s remarkably complex argumentative architecture in support of non-difference by means of a microsimulation model, the classical gold-crown case. A full range of positions, including instantaneism, transformative continuum, indeterminate common basis reference, difference and non-difference coordination, etc., is put under the scrutiny of the Vācaspati Miśra’s dialectic effort. The possibility of coexistence of multiple properties with a single referent is then formally explored. The analysis is carried out in compliance with the ‘Navya-Nyāya Formal Language’ extensional set-based (...) approach and its non-predicative, and variables free, relational syntax. Repeatable modules and structures of reasoning are identified and designed in the form of hypothesis frameworks, axioms and theorems to allow more accurate inferences, in particular regarding transformation and permanence, together with possible or impossible plexuses of properties. Identity and difference qua mutual absence are thoroughly defined with the aid of these formal tools, which conjointly might cast new light on the heuristic and expressive power of Navya-Nyāya logic, as well as on the theoretical potentialities of the non-dualistic account. (shrink)

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

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

This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Gödel presented with the help of Gentzen’s sequents, which amounts to Jaśkowski’s natural deduction system of 1934, and which may be found in Gödel’s unpublished notes for the elementary logic course he gave in 1939 (...) at the University of Notre Dame. Here one finds a presentation of this system of Gödel accompanied by a brief reexamination in the light of the notes of some points concerning his interest in sequents made in the preceding paper. This is preceded by a brief summary of Gödel’s Notre Dame course, and is followed by comments concerning Gödel’s natural deduction system. (shrink)

This paper systematically outlines Wittgenstein's ab-notation. The purpose of this notation is to provide a proof procedure in which ordinary logical formulas are converted into ideal symbols that identify the logical properties of the initial formulas. The general ideas underlying this procedure are in opposition to a traditional conception of axiomatic proof and are related to Peirce's iconic logic. Based on Wittgenstein's scanty remarks concerning his ab-notation, which almost all apply to propositional logic, this paper explains how to extend his (...) method to a subset of first-order formulas, namely, formulas that do not contain dyadic sentential connectives within the scope of any quantifier. (shrink)

Two more or less standard methods exist for the systematic, logical construction of classical mathematics, the so-called theory of types, due in the main to Russell, and the Zermelo axiomatic set theory. In systems based upon either of these, the connective of membership, “ε”, plays a fundamental role. Usually although not always it figures as a primitive or undefined symbol.Following the familiar simplification of Russell's theory, let us mean by alogical typein the strict sense any one of the following: (i) (...) the totality consisting exclusively of individuals, (ii) the totality consisting exclusively of classes whose members are exclusively individuals, (iii) the totality consisting exclusively of classes whose members are exclusively classes whose members in turn are exclusively individuals, and so on. Any entity from (ii) is said to beone type higherthan any entity from (i), any entity from (iii), one type higher than any entity from (ii), and so on. In systems based upon this simplified theory of types, the only significant atomic formulae involving “ε” are those asserting the membership of an entity in an entity one type higher. Thus any expression of the form “(x∈y)” is meaningless except where “y” denotes an entity of just one type higher than the type of the entity denoted by “x” It is by means of general type restrictions of this kind that the Russell and other paradoxes are avoided. (shrink)

A study is made of the history of the type and related concepts, from Greek Antiquity up to the present. It is demonstrated that the type-concept of eighteenth century biology was based on Leibniz's concept of substantial form, and was not related to a Platonic Idea, whilst it is now generally understood in the sense of model or norm. In the present paper, a type-concept is developed which includes ontogenetic and phylogenetic time and various evolutionary mechanisms. This type can serve (...) as a model of the evolutionary potentialities of a taxon, and as a standard of higher classification. All classifications based on the same archetype, whether typological, numerical or phylogenetic, will be comparable, although not necessarily identical. (shrink)

I offer an interpretation of Wittgenstein's claim that Russell's theory of judgment fails to show that it's not possible to judge nonsense.

This article is an attempt to operationalize A.N. Whitehead's ontological approach within sociology. Whitehead offers lessons and clues to a way of re-envisioning `sociological practice' so that it captures something of the nature of a `social' that is at once real and constructed, material and cultural, and processual and actual. In the course of the article, the terms `operationalize' and `sociology' will themselves be transformed, not least because the range of objects and relations of study will far outstrip those common (...) to sociology; further, the term `operationalize' would seem to retain the notion of a stable sociologist-subject translating precepts into methods. So, the article will follow Whitehead's shift in emphasis toward an understanding of much more relational, heterogeneous and emergent entities — which in turn will require new methodological approaches. In staking out these claims, we follow in an intellectual lineage in which Whitehead's presence has been profound but generally oblique. For it is clear that, while Whitehead has informed various writing, little attempt has been made to draw out, more or less systematically, some of the general methodological tactics that would allow us to practise a Whiteheadian sociology. (shrink)