Alonzo Church famously provided three principal competing criteria for “strict synonymy,” i.e., sameness of semantic content. These are his Alternatives (0), (1), and (2)—numbered in order of increasing course-grainedness of content. On Alternative (2), expressions are deemed strictly synonymous iff they are logically equivalent. This criterion seems hopeless as an account of the objects of propositional attitude. On Alternative (1), expressions are deemed synonymous iff they are λ-convertible. Alternative (1) also evidently conflicts with discourse about the attitudes. On Alternative (...) (0), expressions are deemed strictly synonymous iff they are “synonymously isomorphic” in Church’s sense. On Alternative (0), semantic content is so fine-grained that not even “Romeo loves Juliet” and “Juliet is loved by Romeo” qualify as strictly synonymous. A fourth alternative, here called “Alternative (3),” deems expressions strictly synonymous iff they are co-intensional, i.e., they have the same semantic extension with respect to the same possible worlds. This criterion’s notion of content is even more course grained than that of Alternative (2). Several objections to Alternative (3) are considered. (shrink)

Synonymy, at its most basic, is sameness of meaning. A token-reflexive expression is an expression whose meaning assigns a referent to its tokens by relating each particular token of that particular expression to its referent. In doing so, the formulation of its meaning mentions the particular expression whose meaning it is. This seems to entail that no two token-reflexive expressions are synonymous, which would constitute a strong objection against token-reflexive semantics. In this paper, I propose and defend a notion (...) of synonymy for token-reflexive expressions that allows such expressions to be synonymous, while being a fairly conservative extension of the customary notion of synonymy. (shrink)

We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{SC2Int}\) is that it makes use of two kind of sequents, one representing proofs, the other representing refutations. The structural rules of \(\mathtt{SC2Int}\), in particular its cut rules, are shown to be admissible. Next, interaction rules are defined that allow transitions from proofs to refutations, and vice versa, mediated (...) through two different negation connectives, the well-known implies-falsity negation and the less well-known coimplies-truth negation of \(\mathtt{2Int}\). By assuming that the interaction rules have no impact on the identity of derivations, the concept of inherited identity between derivations in \(\mathtt{SC2Int}\) is introduced and the notions of positive and negative synonymy of formulas are defined. Several examples are given of distinct formulas that are either positively or negatively synonymous. It is conjectured that the two conditions cannot be satisfied simultaneously. (shrink)

The topic of identity of proofs was put on the agenda of general (or structural) proof theory at an early stage. The relevant question is: When are the differences between two distinct proofs (understood as linguistic entities, proof figures) of one and the same formula so inessential that it is justified to identify the two proofs? The paper addresses another question: When are the differences between two distinct formulas so inessential that these formulas admit of identical proofs? The question appears (...) to be especially natural if the idea of working with more than one kind of derivations is taken seriously. If a distinction is drawn between proofs and disproofs (or refutations) as primitive entities, it is quite conceivable that a proof of one formula amounts to a disproof of another formula, and vice versa. A notion of inherited identity of derivations is introduced for derivations in a cut-free sequent system for Almukdad and Nelson’s constructive paraconsistent logic N4 with strong negation. The notion is obtained by identifying sequent rules the application of which has no effect on the identity of derivations. Then the notion of inherited identity is used to define a bilateralist notion of synonymy between formulas, which is a relation drawing more fine-grained distinctions between formulas than strong equivalence. (shrink)

The starting point of this paper is a version of intra-theoretical pluralism that was recently proposed by Hjortland [2013]. In a first move, I use synonymy-relations to formulate an intuitively compelling objection against Hjortland's claim that, if one uses a single calculus to characterise the consequence relations of the paraconsistent logic LP and the paracomplete logic K3, one immediately obtains multiple consequence relations for a single language and hence a reply to the Quinean charge of meaning variance. In a (...) second move, I explain how a natural generalisation of the notion of synonymy can be used to counter this objection, but I also show how the solution can be turned into an equally devastating ‘one logic after all’ type of objection. Finally, I propose the general diagnosis that these problems could only arise in the presence of conceptual distinctions that are too coarse to accommodate coherent pluralist theses. T.. (shrink)

‘Type’ in biology is a polysemous term. In a landmark article, Paul Farber (Journal of the History of Biology 9(1): 93–119, 1976) argued that this deceptively plain term had acquired three different meanings in early nineteenth century natural history alone. ‘Type’ was used in relation to three distinct type concepts, each of them associated with a different set of practices. Important as Farber’s analysis has been for the historiography of natural history, his account conceals an important dimension of early nineteenth (...) century ‘type talk.’ Farber’s taxonomy of type concepts passes over the fact that certain uses of ‘type’ began to take on a new meaning in this period. At the closing of the eighteenth century, terms like ‘type specimen,’ ‘type species,’ and ‘type genus’ were universally recognized as referring to typical, model members of their encompassing taxa. But in the course of the nineteenth century, the same terms were co-opted for a different purpose. As part of an effort to drive out nomenclatural synonymy – the confusing state of a taxon being known to different people by different names – these terms started to signify the fixed and potentially atypical name-bearing elements of taxa. A new type concept was born: the nomenclatural type. In this article, I retrace this perplexing nineteenth century shift in meaning of ‘type.’ I uncover the nomenclatural disorder that the new nomenclatural type concept dissolved, and expose the conceptual confusion it left in its tracks. What emerges is an account of how synonymy was suppressed through the coinage of a homonym. (shrink)

A textual and philosophical study of the claim that according to ockham there is no synonymy or equivocation in mental language. It is argued that ockham is committed to both claims, Either explicitly or in virtue of other features of his doctrine. Nevertheless, Both claims lead to difficulties for ockham's theory.

The notion of synonymy has recently been severely criticized, and its replacement by graded, continuous notions of one or another sort urged on general grounds. At the same time, it has usually been assumed both by critics and defenders of the notion, that synonymy and indirect discourse are in the same boat, that analyzing the latter, for instance, requires no more than an acceptable decision on the former while it requires at least that. Defenders of synonymy have (...) thus thought it sufficient to apply their interpretations of this idea to indirect discourse, while opponents have not thought to attack such application save by way of an attack on synonymy. (shrink)

SummaryThe crux of Quine's argument against synonymy— and therewith for a version of pragmatism, and independent/y against mentalism — is his challenge to the other side to explain the behavioural difference between the disposition to employ two predicates, say, interchangeably because of habitually “believing“ them coextensive, and the disposition to do so because of “meaning” the same by each. Since synonymy is taught behaviourally, the distinction in question must make a difference behaviourally, but not necessarily one explainable wholly (...) non‐mentalistically. The distinction is drawn in terms of what would extinguish the disposition. The resultant concept of cognitive synonymy is then used to clarify the difference between trivial and non‐trivial necessary truth, and explain how logical deduction by tautological steps can lead to new knowledge.RésuméLe noeud de I'argumentation de Quine contre la synonymie— et donc pour une version de pragmatisme et indépendamment contre le mentalisme — réside dans le défi lancéà la partie adverse d'expliquer en termes de comportement la différence entre d'une part la disposition à utiliser deux prédicats de façon »interchangeable« parce qu'on les »tcroit« habituellement coextensifs, et d'autre part la disposition à le faire parce que l'un et l'autre »signifiant« la même chose. Puisque la synonymie est prise dans un sens comportemental, cette distinction doit se manifester par une différence de comportement, mais n'est pas nécessairement totalement explicable sans recourir au mental. La distinction est faite en considérant ce qui supprimerait la disposition à les utiliser de façon interchangeable. Le concept de “lsynonymie cognitive” qui se dégage de cette analyse est ensuite utilisé pour clarifier la différence entre des várités nécessaires triviales et non triviales et pour expliquer comment une deduction logique par pas tautologiques peut conduire à des connaissances nouvelles.ZusammenfassungDer entscheidende Punkt in Quines Argument gegen die Synonymitrtt— und damit für eine bestimmte Version des Pragmatismus und unabhängig davon gegen den Mentalismus — ist seine Aufforderung, den verhaltensmässigen Unterschied zu erklaen zwischen einerseits der Disposition, zwei Prädikate in austauschbarer Weise zu verwenden, weil man sie gewohnheitsmässig für Koextensiv hält, und andererseits der Disposition, dies zu tun, weil sie gleiche »Bedeutung« haben. Da die Synonymitlit behaviouristisch gelehrt und gelernt wird, muss die zur Diskussion stehende Unterscheidung verhaltensmässig einen Unterschied ausmachen, welcher jedoch nicht notwendigerweise ganz in nicht‐mentalistischer Termen erklärbar ist. Die Unterscheidung wird in Termen formuliert die die Disposition aufheben warden. Der Begriff der kognitiven Synonyrnitlft. der daraus resultiert, wird dann verwendet, urn den Unterschied zwischen trivialen und nicht‐trivialen notwendigen Wahrheiten zu erläutern und um zu erkläen, wie eine logische Deduktion durch tautologische Schritte zu neuem Wissen führen kann. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

This study explores how people with different cultural backgrounds comprehend diverse sacred spaces all over the world, from a cross-linguistic perspective. The challenges surrounding intelligibility relate to spatial resemblance, complexity of religion, as well as many obscure proper names. With the lexicalization of relevant religious concepts, “cultural synonyms” are generated. Through surveying the vocabulary within the domain of “TEMPLE” as an exemplification, the cultural synonymy of the Chinese lexicon in demonstrating spiritual intricacy has been elucidated. Based on the theory (...) of “multi-competence”, a reasonable hypothesis on cross-culturally understanding the sacred space is proposed: Multicompetent individuals can have other comprehensions about sacred spaces when compared with monolinguals of either the native or the target language; A monolingual or a cross-cultural experiencer without knowledge of the regional language depends on translation to apprehend the sacred space, which may result in confusion; Deficient translations may also interfere with multicompetent individuals, while their linguistic awareness allows them more chances of differentiating cultural synonyms and accordingly clarification of any misguided perceptions. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...) content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

Dieses Buch verteidigt die These, dass bis auf leicht ausgrenzbare Ausnahmen die Ersetzung von Synonyma in einem Satz die Wahrheit oder Falschheit des Satzes nicht beeinflusst. Maik Sühr liefert eine sorgsame Formulierung der These, indem er sie aus dem im Allgemeinen akzeptierten Prinzip der Kompositionalität ableitet. Er konfrontiert sie im Anschluss mit zum Teil noch weithin unbekannten augenscheinlichen Gegenbeispielen und macht eine Reihe von neuen Vorschlägen, um diese zu entkräften. In diesem Zusammenhang setzt sich Sühr mit verschiedenen Themen innerhalb der (...) Sprachphilosophie und der Philosophie des Geistes auseinander. So bespricht er u.a. Freges Sinnhierarchie, kognitive Äquivalenz sowie verschiedene Aspekte der Semantik von Allquantifikationen und weil-Sätzen. Ferner nimmt er mit neuen Argumenten Stellung zur Debatte zwischen Externalisten und Internalisten in Bezug auf mentalen Gehalt und plädiert für eine grundsätzliche Unterscheidung zwischen semantischen und mentalen Gehalt. Im Schlussteil wendet er die Ersetzbarkeits-These auf das sogenannte Paradox der Analyse an. Im Zuge seiner kritischen Diskussion verschiedener Theorien über Begriffsanalysen entwickelt er dabei seine eigene Konzeption von Analysen als Erklärungen. (shrink)

In this note two notions of meaning are considered and accordingly two versions of synonymy are defined, weaker and stronger ones. A new semantic device is introduced: a matrix is said to be pragmatic iff its algebra is in fact an algebra of meanings in the stronger sense. The new semantics is proved to be universal enough (Theorem 1), and it turns out to be in some sense a generalization of Wójcicki's referential semantics (Theorem 3).

This article is an invited overview of contemporary issues connected with meaning and the analytic-synthetic distinction.

W. V. O. Quine's well-known attack upon the analytic-synthetic distinction is held to affect only one of the two species of analytic statements he distinguishes. In particular it is not directed at and does not affect the so-called logical truths. In this paper the scope of Quine's attack is extended so as to embrace the logical truths as well. It is shown that the unclarifiability of the notion of 'synonymy' deprives us not only of "analytic statements that are obtainable (...) from logical truths by the replacement of synonyms with synonyms" but of "logical truths" themselves. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Moral Synonymy: John Stuart Mill and the Ethics of StyleDan BurnstoneI“A common language in which values may be expressed”: this is a phrase John Stuart Mill might well have used to describe utility—the common denominator of different ethical values in utilitarian moral reckoning. In fact, this is Mill’s phrase describing money as a circulating medium. 1 In utilitarianism, utility is the ubiquitous form of moral currency; like money (...) in the capitalist economy, it functions as the “universal equivalent” in the moral economy. 2 It is therefore unsurprising that economic idioms abound in discussions of utilitarianism, with their talk of trade-offs, calculation, and costs. But it is not the parallel with economic exchange that I want to focus on in this article. Mill’s reference to “a common language” points succinctly to a different connection which will be the center of attention, and that is between forms of ethical and linguistic equivalence.It is this conjunction that the term “moral synonymy” is intended to capture. By moral synonymy I want to indicate a particular conjunction of perspectives on ethics and language, or more precisely, style—a conjunction which, I shall argue, Mill’s work can help us both to see and to see through. A bare and schematic anticipation of my approach would be to say that what a belief in commensurability is to the realm of ethics, a belief in synonymy is to the realm of language. This article will explore the interrelationship of these two ideas. In the end I shall suggest that the collaboration between ethics and style denoted by moral synonymy imposes severe limitations on thinking about ethics and literature, and that an examination of moral synonymy and its [End Page 46] implications should be part of the currently revived attempts to work out the relationship between ethics and literature.Synonymy is the idea that identical meaning can be expressed in different linguistic forms. Style—as linguistic form of expression—can be varied or discarded without altering the body of sense it clothes. 3 To believe in moral commensurability is to believe that there is some common value by means of which different values can be measured against each other, and conflicts between them rationally decided. One leading candidate for the role of common value is, of course, utility, and utilitarianism will be taken here as typical of a commensurabilist approach. So, to outline the parallel between ethics and style that we will focus on: just as the believer in synonymy thinks that distinct linguistic styles may be shown to be so many different vehicles for expressing common meanings, so the utilitarian thinks that distinct values turn out ultimately to be so many forms for conveying the common value of utility. Utilitarians, as commensurabilists, happily commit the ethical variety of the “heresy of paraphrase.” They are happy to reduce different values merely to styles of utility. This is why I want to call utilitarianism a kind of moral synonymy.IIWe can understand ethical commensurability more clearly by turning briefly to Mill’s work. Mill relies on utility as the single criterion for settling ethical conflicts. In Utilitarianism he proposes happiness not as one among the ends or criteria of morality, but as the only one. He argues that “to desire anything except in proportion as the idea of it is pleasant, is a physical and metaphysical impossibility” (X, p. 238). Such assertions are the source of familiar difficulties for Mill’s moral theory, for there would seem to be ends other than happiness under the title of which people desire things. Moreover, some of these ends are arguably not only irreducible but also prone to come into conflict with utility (autonomy is a good example of one such value). So it is improbable that happiness is the unique categorial end. 4 There is in fact a tension—vital to Mill and to this article—between Mill’s formal philosophical adherence to utility and his practical recognition of the diversity of values; but nevertheless, he always professes ultimate allegiance to the idea that utility can be considered as the “common umpire” in ethical disputes (X, p. 226). [End Page 47]We... (shrink)

According to Paul Boghossian, some truths are knowable a priori because they are expressed by epistemically analytic sentences. In such cases, understanding the sentence is meant to suffice for justified belief in the proposition it expresses. One alleged route from understanding to justification goes via what Boghossian calls ‘the synonymy model’. This article presents a dilemma for this model and argues that although a strategy for avoiding the dilemma is available, this does not vindicate Boghossian's model.

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but accessible (...) to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

This paper advances a detailed exploration of the complex relationships among terms, concepts, and synonymy in the UMLS Metathesaurus, and proposes the study and understanding of the Metathesaurus from a model-theoretic perspective. Initial sections provide the background and motivation for such an approach, and a careful informal treatment of these notions is offered as a context and basis for the formal analysis. What emerges from this is a set of puzzles and confusions in the Metathesaurus and its literature pertaining (...) to synonymy and its relation to terms and concepts. A model theory for a segment of the Metathesaurus is then constructed, and its adequacy relative to the informal treatment is demonstrated. Finally, it is shown how this approach clarifies and addresses the puzzles educed from the informal discussion, and how the model-theoretic perspective may be employed to evaluate some fundamental criticisms of the Metathesaurus. (shrink)

The ‘prohibitionist’ idea that slurs have the same linguistic properties as their neutral counterparts hasn’t received much support in the literature. Here I offer a modified version of prohibitionism, according to which the taboo on using slurs is part of their conventional meaning. I conclude with explanations of the behaviour of slurs in embedded constructions.

The ‘prohibitionist’ idea that slurs have the same linguistic properties as their neutral counterparts hasn’t received much support in the literature. Here I offer a modified version of prohibitionism, according to which the taboo on using slurs is part of their conventional meaning. I conclude with explanations of the behaviour of slurs in embedded constructions.

In Word and Object, Quine argues from the observation that ?there is no justification for collating linguistic meanings, unless in terms of men's dispositions to respond overtly to socially observable stimulations? to the conclusion that ?the enterprise of translation is found to be involved in a certain systematic indeterminacy?. In this paper, I propose to show (1) that Quine's thesis, when properly understood, reveals in the situation of translation no peculiar indeterminacy but merely the ordinary indeterminacy present in any case (...) of empirical investigation; (2) that it is plausible that, because the subject of inquiry is language, we are in a better position with respect to such empirical indeterminacies than we are in other areas of investigation; (3) that, in any case, Quine's arguments are impotent, for they are either contradictory or incoherent; and (4) that Quine is led to his radical conclusions because he confuses a trivial and unexciting indeterminacy, which does obtain, with the striking indeterminacy for which he argues, which does not obtain. (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about essential (...) properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

We investigate synonymy in the strong sense of content identity. This notion is central in the philosophy of language and in applications of logic. We motivate, uniformly axiomatize, and characterize several “benchmark” notions of synonymy in the messy class of all possible notions of synonymy. This class is divided by two intuitive principles that are governed by a no-go result. We use the notion of a scenario to get a logic of synonymy which is the canonical (...) representative of one division. In the other division, the so-called conceptivist logics, we find, e.g., the well-known system of analytic containment. We axiomatize four logics of synonymy extending AC, relate them semantically and proof-theoretically to SF, and characterize them in terms of weak/strong subject matter preservation and weak/strong logical equivalence. This yields ways out of the no-go result and novel arguments—independent of a particular semantic framework—for each notion of synonymy discussed. This points to pluralism about meaning and a certain non-compositionality of truth in logic programs and neural networks. And it unveils an impossibility for synonymy: if it is to preserve subject matter, then either conjunction and disjunction lose an essential property or a very weak absorption law is violated. (shrink)

This article examines crop varietal standardization in the United States. Numerous committees formed in the early twentieth century to address the problem of nomenclatural rules in the horticultural and agricultural industries. Making shared reference to a varietal name proved a difficult proposition for seed-borne crops because plant conformity tended to change in the hands of different breeders. Moreover, scientific and commercial opinions diverged on the value of deviations within crop varieties. I review the function of descriptive difference in the seed (...) trade and in the framework of evolutionary theory before examining the institutional history of varietal standardization. Pimento peppers are used to represent how vegetables were treated differently than cereals. Lack of stability within a popular pimento variety caused problems for food packers in middle Georgia, which public breeders addressed by releasing new peppers. To conclude, the article questions the role of taxonomy in intellectual property, as breeding history and yield became defining attributes for making varietal distinctions. (shrink)

Quine behauptet, dass uns der Holismus (d.h. die Quine/Duhem-These) daran hindert, Synonymie zu definieren. In "Word and Object" weist er einen Synonymiebegriff zurück, der selbst dann gut funktioniert, wenn der Holismus zutrifft. Dieser Begriff lässt sich so definieren: R und S sind synonym, wenn für alle Sätze T die logische Konjunktion aus R und T reizsynonym zur Konjunktion aus S und T ist. Dieser Begriff entgeht Quines bedeutungsskeptischen, holistischen Einwänden. Anders als Quine gemeint hat, ist der Begriff enger als sein (...) Begriff der Reizsynonymie – insbesondere bei Anwendung auf Sätze mit weniger als kritischer semantischer Masse. Fazit: Wir können Synonymie selbst dann sauber definieren, wenn wir Quines Holismus, Naturalismus, Behaviorismus und radikale Übersetzung mitmachen. Quines Bedeutungsskepsis sollte sogar auf Quines eigenem Territorium zurückgewiesen werden. (shrink)

In §1 of this paper I will present the two criteria, which I will call respectively the coextensionality and the recognitional criteria of synonymy. An established tendency in the literature is to ascribe to Frege only the recognitional criterion, discounting the coextensionality criterion as inconsistent with some of his other views. My aim in the paper will be to contribute to the reversal of this tendency. First, I wish to show that the recognitional criterion is flawed in a way (...) that makes it unacceptable as a criterion of synonymy and that Frege was aware of this. I will argue, second, that in Frege’s writings a modified version of the coextensionality criterion finds better support than the recognitional criterion. And I will suggest, third, that although there is an inconsistency between some of Frege’s views and the coextensionality criterion, this inconsistency can be explained as a prominent feature of his philosophy, a tension inherent in his goals and views. Finally, in a brief appendix, I will focus on the way in which Frege applied the two criteria in the practice of linguistic analysis, and I will argue that, contrary to the accepted wisdom, within this practice the two criteria are compatible with each other. (shrink)

In "The Epistemology of Geometry" Glymour proposed a necessary structural condition for the synonymy of two space-time theories. David Zaret has recently challenged this proposal, by arguing that Newtonian gravitational theory with a flat, non-dynamic connection (FNGT) is intuitively synonymous with versions of the theory using a curved dynamical connection (CNGT), even though these two theories fail to satisfy Glymour's proposed necessary condition for synonymy. Zaret allowed that if FNGT and CNGT were not equally well (bootstrap) tested by (...) the relevant phenomena, the two theories would in fact not be synonymous. He argued, however, that when electrodynamic phenomena are considered, the two theories are equally well tested. We show that it is not FNGT and CNGT which are equally well tested when the electrodynamic phenomena are considered, but only suitable extensions of FNGT and CNGT. Thus, there is good reason to consider FNGT and CNGT to be non-synonymous. We further show that the two extensions of FNGT and CNGT which are equally well tested when electrodynamic phenomena are considered (and which could be considered intuitively synonymous) not only satisfy Glymour's original proposed necessary condition for the synonymy of space-time theories, they satisfy a plausible stronger condition as well. (shrink)