This paper proposes a reading of the history of equivalence in mathematics. The paper has two main parts. The first part focuses on a relatively short historical period when the notion of equivalence is about to be decontextualized, but yet, has no commonly agreed-upon name. The method for this part is rather straightforward: following the clues left by the others for the ‘first’ modern use of equivalence. The second part focuses on a relatively long historical period when equivalence is experienced (...) in context. The method for this part is to strip the ideas from their set-theoretic formulations and methodically examine the variations in the ways equivalence appears in some prominent historical texts. The paper reveals several critical differences in the conceptions of equivalence at different points in history that are at variance with the standard account of the mathematical notion of equivalence encompassing the concepts of equivalence relation and equivalence class. (shrink)

In 1942, before his duties began in the USA Navy, W.V. Quine lectured at the Free School of Sociology and Politics of São Paulo. He wrote up the lectures in Por.

In 1942, before his duties began in the USA Navy, W.V. Quine lectured at the Free School of Sociology and Politics of São Paulo. He wrote up the lectures in Por.

Starting from the familiar observation that no straightforward treatment of pure quotation can be compositional in the standard (homomorphism) sense, we introduce general compositionality, which can be described as compositionality that takes linguistic context into account. A formal notion of linguistic context type is developed, allowing the context type of a complex expression to be distinct from those of its constituents. We formulate natural conditions under which an ordinary meaning assignment can be non-trivially extended to one that is sensitive to (...) context types and satisfies general compositionality. As our main example we work out a Fregean treatment of pure quotation, but we also indicate that the method applies to other kinds of context, e.g. intensional contexts. (shrink)

Concept originalism, recently introduced and defended by Sainsbury and Tye, Tye, and Sainsbury, holds that “atomic concepts are to be individuated by their historical origins, as opposed to their semantic or epistemic properties”. The view is immune to Gareth Evans’s “Madagascar” objection to the Causal Theory of Reference since it allows a concept to change its reference over time without losing its identity. The possibility of reference-shift, however, raises the problem of misleading belief reports. S&T try to tackle the problem (...) by strengthening the sufficient condition for a truthful belief report. We will argue that, first, their solution fails, second, and more importantly, their diagnosis of the root of the problem is misguided, third, two initially appealing ways out of the problem fail, and fourth, the prospect of finding a solution to the problem within CO is dim. The view opens the Pandora’s box of reference-shift, in a wide range of cases, without providing the necessary semantic means to take care of them. (shrink)

Sometimes form-meaning mappings in language are not arbitrary, but iconic: they depict what they represent. Incorporating iconic elements of language into a compositional semantics faces a number of challenges in formal frameworks as evidenced by the lengthy literature in linguistics and philosophy on quotation/direct speech, which iconically portrays the words of another in the form that they were used. This paper compares the well-studied type of iconicity found with verbs of quotation with another form of iconicity common in sign languages: (...) classifier predicates. I argue that these two types of verbal iconicity can, and should, incorporate their iconic elements in the same way using event modification via the notion of a context dependent demonstration. This unified formal account of quotation and classifier predicates predicts that a language might use the same strategy for conveying both, and I argue that this is the case with role shift in American Sign Language. Role shift is used to report others’ language and thoughts as well as their actions, and recently has been argued to provide evidence in favor of Kaplanian “monstrous” indexical expressions. By reimagining role shift as involving either quotation for language demonstrations or “body classifier” predicates for action demonstrations, the proposed account eliminates one major argument for these monsters coming from sign languages. Throughout this paper, sign languages provide a fruitful perspective for studying quotation and other forms of iconicity in natural language due to their lack of a commonly used writing system which is otherwise often mistaken as primary data instead of speech, the rich existing literature on iconicity within sign language linguistics, and the ability of role shift to overtly mark the scope of a language report. In this view, written language is merely a special case of a more general phenomenon of sign and speech demonstration, which accounts more accurately for natural language data by permitting more strict or loose verbatim interpretations of demonstrations through the context dependent pragmatics. (shrink)

This paper investigates the conditions under which diagonal sentences can be taken to constitute paradigmatic cases of self-reference. We put forward well-motivated constraints on the diagonal operator and the coding apparatus which separate paradigmatic self-referential sentences, for instance obtained via Gödel’s diagonalization method, from accidental diagonal sentences. In particular, we show that these constraints successfully exclude refutable Henkin sentences, as constructed by Kreisel.

In a recent paper, Pickel and Rabern (2016) argue that a dynamic Tarskian semantics resolves Fine’s antinomy of the variable without the radical consequences for semantics proposed by Fine (2003, 2007). While Pickel and Rabern’s basic insight—a parameter of discourse context that tracks occurrences of variable-binding expressions—is important, I will argue that their own Tarskian theory faces a destructive dilemma: either their theory does not resolve Fine’s antinomy as they propose, or their theory does not reflect the intuitive motivation for (...) what they call structured meanings. I suggest that in response to this dilemma we should reject one of the principles that generates Pickel and Rabern’s version of the antinomy. Here Pickel and Rabern’s insight has surprising, but salutary, foundational consequences for semantics. (shrink)

This paper presents syntactic and semantic rules for a fragment of English with mixed quotation. The fragment shows that quotation has a recursive and compositional structure. Quoted expressions turn out to denote characters, so the semantics of quotation simulates the pragmatics of speech, including dependence on utterance contexts and reference to mental entities. The analysis also accommodates varieties of unquotation, pure quotation, and causal reference.

According to quotational theory, indirect ascriptions of propositional attitudes should be analyzed as direct ascriptions of attitudes towards natural-language sentences specified by quotations. A famous objection to this theory is Church's translation argument. In the literature several objections to the translation argument have been raised, which in this paper are shown to be unsuccessful. This paper offers a new objection. We argue against Church's presupposition that quoted expressions, since they are mentioned, cannot be translated. In many contexts quoted expressions are (...) used and mentioned simultaneously, and the quotational analysis of propositional-attitude ascriptions is such a context. Hence the translation argument is unsound. (shrink)

Mathematical logic was first introduced to China in early 1920s. Although, the process of introduction was facilitated by the lectures of Bertrand Russel at Peking University in 1921 and continued by China’s most passionate adherents of Russell’s philosophy, the establishment of mathematical logic as an academic discipline occurred only in late 1920s, in the framework of a recently reorganised Qinghua University in Peking. The main aim of this paper is to shed some light on the process of establishment of mathematical (...) logic at the department of philosophy at Qinghua University, between the years 1926 and 1945. In its main line of discussion, the article highlights the curricular developments at the department, connecting them with concrete theoretical endeavours by the leading members of the department. Furthermore, in its later parts, the article summarises the main advances made in the context of studies of modern logic at Qinghua University, from the expositions on the quintessential work Principia Mathematica, to the subsequent integration of criticisms coming from circles of logicians at Harvard University and ground-breaking contributions of Kurt Gödel in the mid-1930s. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of (...) variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

On the surface, bi- and multilingualism would seem to be an ideal context for exploring questions of typological proximity. The obvious intuition is that the more closely related two languages are, the easier it should be to implement the two languages in one mind. This is the starting point adopted here, but we immediately run into the difficulty that the overwhelming majority of cognitive, computational, and linguistic research on bi- and multilingualism exhibits a monolingual bias (i.e., where monolingual grammars are (...) used as the standard of comparison for outputs from bilingual grammars). The primary questions so far have focused on how bilinguals balance and switch between their two languages, but our perspective on typology leads us to consider the nature of bi- and multi-lingual systems as a whole. Following an initial proposal from Hsin ( 2014 ), we conjecture that bilingual grammars are neither isolated, nor (completely) conjoined with one another in the bilingual mind, but rather exist as integrated source grammars that are further mitigated by a common, combined grammar (Cook, 2016 ; Goldrick et al., 2016a, b ; Putnam and Klosinski, 2017 ). Here we conceive such a combined grammar in a parallel, distributed, and gradient architecture implemented in a shared vector-space model that employs compression through routinization and dimensionality reduction. We discuss the emergence of such representations and their function in the minds of bilinguals. This architecture aims to be consistent with empirical results on bilingual cognition and memory representations in computational cognitive architectures. (shrink)

Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos paraconsistentes. A fim de ilustrar nossas considerações de modo mais concreto, abordaremos uma nova teoria de conjuntos baseada em um sistema bem conhecido de Quine e em um cálculo paraconsistente.Palavras-chave: existência, contradição, lógica e paraconsistência.: In the present paper we deal with the philosophical aspects of paraconsistent set theories. In order to illustrate our points more concretely, we will discuss new paraconsistent set theory based both on Quine's well-known (...) system and on a paraconsistent calculus.Keywords: existence, contradiction, logic and paraconsistency. (shrink)

Ciertas interpretaciones de la obra de Kuhn subrayan su contribución inconsciente al positivismo lógico, lo que es consecuencia de un conocimiento y una crítica superficiales de dicha corriente por su parte. En este artículo critico dicha tesis a partir de un texto inédito de Kuhn: The Quest for Physical Theory (1951), sus conferencias en el Instituto Lowell de Boston y una primera presentación del punto de vista de The Structure of Scientific Revolutions.

This article was written jointly by a philosopher and a mathematician. It has two aims: to acquaint mathematicians with some of the philosophical questions at the foundations of their subject and to familiarize philosophers with some of the answers to these questions which have recently been obtained by mathematicians. In particular, we argue that, if these recent findings are borne in mind, four different basic philosophical positions, logicism, formalism, platonism and intuitionism, if stated with some moderation, are in fact reconcilable, (...) although with some reservations in the case of logicism, provided one adopts a nominalistic interpretation of Plato's ideal objects. This eclectic view has been asserted by Lambek and Scott (LS 1986) on fairly technical grounds, but the present argument is meant to be accessible to a wider audience and to provide some new insights. (shrink)

The notion of scope as it relates to a model of logical form is discussed. The inability of the accepted definition of scope to account for the contrast between priority scope - the logical priority of different quantifiers & other logical notions via rule ordering - & binding scope - the identification of the connection between variables of quantification & a particular quantifier - is demonstrated. The semantic ambiguity of this dichotomy of scope is explored via examination of donkey sentences. (...) A formal representation of this dichotomy is suggested. The government-binding approach & principle of compositionality that handle scope relations via the logical form is rejected due to the complexity of the mechanism by which syntactic form results in logical forms. A discourse representational approach is also rejected. It is concluded that the interaction of syntax & semantics is instead better represented by a game-theoretical treatment of scope & anaphora. 26 References. T. Rosenberg. (shrink)

One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...) the focal point is the categorical syllogism. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

It is often assumed that two linguistic agents can come to understand one another in part because they use the same words. That is, many philosophical theories of communication posit an intersubjective same-word relation. However, giving an account of this relation is complicated by what I call “The Variation Problem”—a problem resulting from the fact that the same word can be pronounced differently. In this paper, I first argue that previous models of the same-word relation, including Kaplanian and Chomskyan models, (...) fail to escape The Variation Problem. I then propose a new model on which the same-word relation is grounded in a particular kind of social relation that holds between the speaker and the audience. On this model, using the same word requires not that agents make the same sounds, but that they coordinate their internal linguistic representations. (shrink)

The unification argument, usually regarded as the main argument for predicativism about proper names, has recently been attacked by Robin Jeshion. According to Jeshion, the unification argument is based on the assumption of the literality of predicative uses of proper names in statements such as “There is one Alfred in Princeton.” In such a use, a proper name ‘N’ is used predicatively to denote those, and only those, objects called N. As Jeshion argues, however, there are many other examples in (...) which a proper name ‘N’ is used predicatively to denote objects which are not called N. Based on such cases, Jeshion challenges the predicativist to provide a justification for assuming that the original predicative use of proper names, to which the predicativist appeals in the unification argument, is literal. My aim in this paper is to defend predicativism by arguing that the predicativist’s assumption is well motivated. To this end, I first present the unification argument for predicativism and Jeshion’s challenge to it. Then, I argue that the answer provided by Delia Graff Fara to Jeshion’s challenge is unsatisfactory. Finally, I meet Jeshion’s challenge by extending the phenomena highlighted in Jeshion’s examples to the referential uses of proper names. (shrink)