This paper introduces the notion of syntactic feature to provide a unified treatment of earlier model theoretic proofs of both the compactness and interpolation theorems for a variety of two valued logics including sentential logic, first order logic, and a family of modal sentential logic includingM,B,S 4 andS 5. The compactness papers focused on providing a proof of the consequence formulation which exhibited the appropriate finite subset. A unified presentation of these proofs is given by isolating their essential feature and (...) presenting it as an abstract principle about syntactic features. The interpolation papers focused on exhibiting the interpolant. A unified presentation of these proofs is given by isolating their essential feature and presenting it as a second abstract principle about syntactic features. This second principle reduces the problem of exhibiting the interpolant to that of establishing the existence of a family of syntactic features satisfying certain conditions. The existence of such features is established for a variety of logics (including those mentioned above) by purely combinatorial arguments. (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)

We introduce the notions of syntactic synonymy and referential syn- onymy due to Moschovakis. Those notions are capable of accounting for fine- grained aspects of the meaning of linguistic expressions, by formalizing the Fregean distinction between sense and denotation. We integrate Moschovakis’s theory with the theory of concepts developed in the foundational ontology DOLCE, in order to enable a formal treatment of equivalence between concepts.

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because (...) logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

The principle of compositionality requires that the meaning of a complex expression remains the same after substitution of synonymous expressions. Alleged counterexamples to compositionality seem to force a theoretical choice: either apparent synonyms are not synonyms or synonyms do not syntactically occur where they appear to occur. Some theorists have instead looked to Frege’s doctrine of “reference shift” according to which the meaning of an expression is sensitive to its linguistic context. This doctrine is alleged to retain the relevant claims (...) about synonymy and substitution while respecting the compositionality principle. Thus, Salmon (Philos Rev 115(4):415, 2006) and Glanzberg and King (Philosophers’ Imprint 20(2):1–29, 2020) offer occurrence-based accounts of variable binding, and Pagin and Westerståhl (Linguist Philos 33(5):381–415, 2010c) argue that an occurrence-based semantics delivers a compositional account of quotation. Our thesis is this: the occurrence-based strategies resolve the apparent failures of substitutivity in the same general way as the standard expression-based semantics do. So it is a myth that a Frege-inspired occurrence-based semantics affords a genuine alternative strategy. (shrink)

A logically perfect language must meet following requirements: (i) it must not contain „empty“ expressions designating nothing and (ii) it must not involve phrases that are synonymous, homonymous etc. According to Frege, the meaning of a compound expression is a function of meanings of its components, i.e. the meaning of an expression consisting of a functional phrase and a name is the value of the function for the argument. However, for some arguments a function need not give values and, hence, (...) some compound phrases designate nothing in spite of the fact that every simple expression does designate something. Frege’s construction of a logically perfect language fails because it violates condition (i). According to Wittgenstein, every language is logically perfect; otherwise it cannot represent the world. Every expression, simple or compound, does designate something; the meaning of a compound expression consists of meanings of its components; the structure of a complex expression’s meaning mirrors, when completely analysed, the syntactic structure of the expression. Wittgenstein distinguishes between language and notation and we are supposed to look for a logically perfect notation that does not contain homonymy or synonymy. However, following some ideas from Tractatus, it can be shown that Wittgenstein cannot eliminate these phenomena and, hence, violates condition (ii). (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express (...) different propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

This article provides the first comprehensive reconstruction and analysis of Hintikka’s attempt to obtain a measure of the information yield of deductive inferences. The reconstruction is detailed by necessity due to the originality of Hintikka’s contribution. The analysis will turn out to be destructive. It dismisses Hintikka’s distinction between surface information and depth information as being of any utility towards obtaining a measure of the information yield of deductive inferences. Hintikka is right to identify the failure of canonical information theory (...) to give an account of the information yield of deductions as a scandal, however this article demonstrates that his attempt to provide such an account fails. It fails primarily because it applies to only a restricted set of deductions in the polyadic predicate calculus, and fails to apply at all to the deductions in the monadic predicate calculus and the propositional calculus. Some corollaries of these facts are a number of undesirable and counterintuitive results concerning the proposed relation of linguistic meaning (and hence synonymy) with surface information. Some of these results will be seen to contradict Hintikka’s stated aims, whilst others are seen to be false. The consequence is that the problem of obtaining a measure of the information yield of deductive inferences remains an open one. The failure of Hintikka’s proposal will suggest that a purely syntactic approach to the problem be abandoned in favour of an intrinsically semantic one. (shrink)

Several studies have highlighted that reading comprehension is determined by different linguistic skills: semantics, syntax, and morphology, in addition to one’s own competence in reading fluency. On the other hand, according to the Linguistic Interdependence Hypothesis, linguistic skills developed in one’s own native language facilitate the development of these skills in a second one. In this study, we wanted to explore the linguistic abilities that determine reading comprehension in Spanish and in English in Secondary Education students. To do this, 73 (...) Secondary Education Students participated in this study. The students carried out a battery of tasks in English and Spanish, all of them related to reading comprehension and different linguistic skills, which included syntactic awareness tasks, synonymy judgment tasks, and morphological awareness tasks. The results indicated a positive correlation between linguistic competencies in both languages, which were determined by school year, with a lower performance in the 1st year than in the 3rd year. Moreover, we found more skills with correlations in English reading comprehension than in Spanish. Finally, reading comprehension in L1 was mainly explained English reading comprehension, while English reading comprehension was predicted by grade, and syntactic awareness, as well as Spanish reading comprehension. This could be explained by the different levels of exposure to L1 and L2 of sample subjects, as the linguistic variables have different influences on the reading comprehension of both languages. (shrink)

According to the philosophical tradition, translation is successful when one has substituted words and sentences from one language with those from another by cross-linguistic synonymy. Moreover, according to the orthodox view, the meaning of expressions and sentences of languages are determined by their basic or systematic role in a language. This makes translating normative and evaluative discourse puzzling for two reasons. First, as languages are syntactically and semantically different because of their peculiar cultural and historical influences, and as values (...) and norms differ across cultures, it is unlikely that languages will have synonymous evaluative and normative expressions. If translation is only successful by cross-linguistic synonymy, it would seem that we will not be able to translate the value theoretic claims of persons from radically different cultures. But it is with such persons that dialogue on evaluative matters is imperative, to resolve ethical and axiological differences that could be the root of conflict. Second, as the orthodox account of meaning renders it linguistically relative, it is unlikely that expressions across languages will be cross-linguistically synonymous. Thus, on the Orthodox account of translation, translation is indeterminate (as W.V.O. Quine has argued) or impossible (as Jacques Derrida has argued). In this dissertation I argue for a novel theory of meaning and translation based on innovations in the translation studies literature and my prior work in cross cultural research, which I call Text-Type Semantics or TTS. TTS explains how translation is successful while affirming radical cultural and linguistic diversity. It treats disciplinary concerns as the neutral criteria to calibrate translation. On the basis of TTS I argue that we need what I call the “Quasi-Indexical” account of thick and thin concepts (or QI) to translate normative and evaluative discourse. I argue that QI and TTS succeed where competing accounts in the moral semantics literature (such as Non-Analytic Naturalism and Expressivism) fail. The argument also shows that the relativization of truth (in philosophy and beyond) to languages and cultures is mistaken. (shrink)

Two positions of Bolinger, about synonymy and meaningfulness of words, point to significance of controlling the referentiality of word forms, from representing them in grammar to their projection onto surface structure, i.e. configurationality. In particular, it becomes critical to control the range of surface substitution for surface syntactic categories of words to maintain referential properties of idiosyncrasy. Categorial grammars as reference systems suggest ways to keep the two aspects in grammar. The first dividend of adopting a categorial perspective is (...) systematically distinguishing metaphorical sense extensions from idioms. The second dividend is procedural. Some tokens can be seen to be types themselves, with distinct referential import. Furthermore, some idiomatic meanings which require a unique phonological word for specific reference to events and participants can be types too. Together they can be thought of as the idiotype. The idiotype as idiosyncrasy’s foot through the door of grammar reveals controllable range of possibilities for referentiality and configurationality of idiosyncrasy. Phrasal and idiomatic meanings can then be treated compositionally, given the proposed added role of paracompositionality arising from event versus predicate distinction at the level of predicate-argument structure, in multiword expression cum idiom and phrasal verb treatment, which we show for English, Mandarin Chinese and Turkish. (shrink)

A-LOGIC is a full-length book (600+ pg). It functions as a system of logic designed to: 1) solve the standard paradoxes and major problems of standard mathematical logic; 2) minimize that logic's anomalies with respect to ordinary language, yet; 3) prove that all theorems in mathematical logic are tautologies. It covers lst order logic the logic of the words "and", "or", "not", "all" and "some". But it also has a non truth functional "if...then" and differs in its definition of validity, (...) its semantics and its theorems. In the book A-logic is contrasted step by step with standard mathematical logic as presented and defended by Quine. All of standard logic's theorems are proven tautologies in A-logic. But some argument-forms called "valid" in standard logic are not valid in A-logic -- notably non-sequiturs like "(P and not-P), therefore Q". In addition A-logic has many tautologies with its non-truthfunctional "if ... then" that standard logic can not derive -- e.g., "Not-(if P&Q then not-P)." A-logic's semantics is based on syntactically defined concepts of logical synonymy and containment of meanings rather than on truth-values and truth-functions. Its "if...then" sentences (called "C-conditionals") are valid if and only if (i) the meaning of the consequent is logically contained in that of the antecedent, and (ii) the antecedent and consequent are jointly consistent. The predicate "valid" holds only of C-conditionals and arguments. No valid C-conditionals are translatable into standard logic though all of them imply tautologies of standard logic. (shrink)

There is, currently, much resistance to so-maligned Cartesian or internalist theories of meaning and mental content in the philosophies of mind and language. Internalist semantics tend to view the meaning of psychological attitudes as primary and that of public language items as essentially derivative. Moreover, internalists regard meaning as determined by internal facts--mental representations, mental sentences, conceptual roles, cognitive procedures--to name the favourites. In opposition, externalists argue that meaning is determined by external causal and social factors. They claim to provide (...) a more naturalistic theory of meaning; one more amenable to the sciences. I shall argue, however, that externalism is, at present, deeply flawed. ;As an internalist, I am less concerned by social versions of externalism for as I argue in chapter 2, it is not obvious that the sociolinguistic hypothesis is incompatible with internalism. The focus of this thesis is on causal theories of meaning and mental content. ;In chapter 1, I demonstrate, by means of the Swampman thought experiment, some of the absurd consequences of holding both that causal interaction with objects is a necessary condition for being able to have thoughts about those objects, and that causal interaction, in general, is a necessary condition for thought at all. The topic for chapter 2 is: To what extent and how does the res itself contribute to the meaning of a referring term in a language? I argue that the only coherent form of causal externalism is one that presupposes the truth of essentialism. In chapter 3 the legitimacy of the connection between the causal theory of reference and essentialism is called into question. ;If semantic relations are primarily causal they ought to be ripe for naturalistic reduction. I examine three attempts to get such reductions underway, in chapter 4. In chapter 5, I deign to speak for Descartes, risky though that be, and try to defend him against his twentieth century adversaries' charge that he is the founder of individualism--the most extreme of internalisms for it claims that the notion of psychological content is essentially a syntactic notion. ;In chapter 6, I return to the swamp and argue for an internalist conception of psychological content. To the charge that internalists cannot answer questions of the form: What makes a thought about one thing rather than another?, I argue that we must reconceive the role of thought in locating us in the world. The externalists have it backward; it is not the world which fixes our thought but our thought which fixes our relation to the world. In the conclusion, chapter 7, I make some remarks about the two traditional problems which I see as having divided philosophers into internalists and externalists: the problem of synonymy and the singularity question. Externalists have often thought themselves to have the upper hand in answering the latter, whilst dismissing the former as a non-problem. I argue, on the one hand, that synonymy is a real problem and that internalists are more likely to be able to explain it. On the other hand, I argue that externalists do not fare as well on the singularity question as they like to think. (shrink)

The distinction has occasioned a long controversy between Carnap and W.V. Quine. The latter distinguishes two sorts of analytic statements: the logical truths, characterized by their remaining true under all reinterpretations of the descriptive terms; and the statements, which reduce to logical truths with the help of definitions or by substitution of synonyms for synonyms. In “Two Dogmas of Empiricism”, he directs his criticism mainly against the latter arguing that the explications so far provided move in a circle, since, in (...) the end, the concept of synonymy is explained in terms of analyticity. He reaches the conclusion that the only form of synonymy not exhibiting this deficiency is that introduced by explicit conventions. But according to him, this procedure is of no avail, because the philosophically interesting content of the general term “analytic in L” cannot be grasped with its help. Carnap’s suggestion of defining a new basic concept “analytic in L0” does not solve the problem since we could just as well designate this with a neutral word, say “K”, thus avoiding the illusion of an explanation. The attempt to define synonymy with the help of semantic rules fails in a similar way: it accomplishes nothing more than to place certain statements under the rubric “Semantic rules” — a notion which is no clearer than the explicandum. Carnap replies that his definition of “analytically true” is given with regard to artificial or formalized languages for which we can determine syntactic and semantic rules in such a way that the concept of truth, in Tarski’s sense, can be applied to them. Analytic statements other than logical truths will thus be distinguished by means of so-called meaning postulates which serve to make the truth-value of such statements independent of empirical matters. I share Carnap’s astonishment that Quine finds the term “semantic rule” unintelligible while formulating no complaint against similar notions such as that of a syntactically well-formed formula, or that of an axiom etc. It appears that he cannot be satisfied with rules, because he expects a theory which would give us an empirical, i.e., a behavioristic, criterion of analyticity for natural languages. His chief dissatisfaction seems to come from the fact that no clear explicandum has been put forward — in contrast, e.g., with the notion of truth, where we have a sufficiently clear pre-theoretical concept. Thus, according to him, there is nothing that could be clarified by an explication. (shrink)

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. (This article is wholly contained within the author’s more definitive essay, “Singular Concepts”.). (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)

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)

‘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)

Logical form has semantic import. Logical sentences (GG: Greeks are Greeks) and their synonym interceptions (GH: Greeks are Hellenes) state the same fact but different truths with different explanations. Terms retain objectual reference but its role in explaining truth is preempted by syntax or synonymy. Church’s Test exposes puzzles. QMi sentences (GmG: ‘Greeks’ means Greeks), and QTi sentences (p≡it is true that p≡“p” is true) are metalogical necessities, true by syntax. Their interceptions alter syntax and modality, yielding contingent truths (...) (GmH: ‘Greeks’ means Hellenes, HmG: ‘Hellenes’ means Greeks). Meta-logical translation preserves syntax (GmG: ‘Greichen’ bedeutet Greichen), not necessarily objectual reference. Metalogical syntax secures truth by self-referential quotational indexing that identifies quotational referent with an intrasentential replica. (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)

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)

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.

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)

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)

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)

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)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Noam Chomsky's book on syntactic structures is a serious attempts on the part of a linguist to construct within the tradition of scientific theory-construction ...

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.

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).

We characterize Morita equivalence of theories in the sense of Johnstone in terms of a new syntactic notion of a common definitional extension developed by Barrett and Halvorson for cartesian, regular, coherent, geometric and first-order theories. This provides a purely syntactic characterization of the relation between two theories that have equivalent categories of models naturally in any Grothendieck topos.

Charles S. Peirce’s second trichotomy, which introduces the concepts of iconicity, indexicality, and symbolicity, is probably the only piece of his semiotic that is familiar to visual artists and designers. Although the concepts have found their way into the academy, their utility in the field has been reduced for a couple of reasons. First, as with all of Peirce’s philosophy, his second trichotomy is a concept that is subtle, fluid, and difficult to fully grasp in a sound bite. Second, there (...) has simply been no bridge concept that would form a working connection between that philosophy in its logical guise and the studio practice in the visual arts. The purpose of this article is to remedy that situation by investigating the subtle ways the second trichotomy functions within the visual sphere, and to then suggest a model that can serve to bridge the divide between pure theory and practice. The article makes four main points: first, using examples from visual identity and the graphic arts, it demonstrates how the modes of icon, index, and symbol tend to be blended; second, examples from fine art are used to illustrate how the concept of abstraction, as used in the art world, can only be partially accounted for within the second trichotomy, but can be modeled by supplying a syntactical supplement; third, it expands on and elaborates a previously sketched model, the visual gamut, which makes it possible to classify visual entities according to their position within a map of semantic and syntactic space; finally, it concludes by suggesting ways this enhanced version of the visual gamut model might be used in the analysis of, or creation of, art and design, presenting suggestions for further study. (shrink)

Syntactic complexity effects have been investigated extensively with respect to comprehension . According to one prominent class of accounts , certain structures cause comprehension difficulty due to their scarcity in the language. But why are some structures less frequent than others? In two elicited-production experiments we investigated syntactic complexity effects in relative clauses and wh-questions varying in whether or not they contained non-local dependencies. In both experiments, we found reliable durational differences between subject-extracted structures and object-extracted structures : Participants took (...) longer to begin and produce object-extractions. Furthermore, participants were more likely to be disfluent in the object-extracted constructions. These results suggest that there is a cost associated with planning and uttering the more syntactically complex, object-extracted structures, and that this cost manifests in the form of longer durations and disfluencies. Although the precise nature of this cost remains to be determined, these effects provide one plausible explanation for the relative rarity of object-extractions: They are more costly to produce. (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)

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)

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)

In our article, “Syntactic complexity effects in sentence production”, we reported two elicited production experiments and argued that there is a cost associated with planning and uttering syntactically complex, object-extracted structures that contain a non-local syntactic dependency. MacDonald et al. () have argued that the results of our investigation provide little new information on the topic. We disagree. Examining the production of subject versus object extractions in two constructions across two experimental paradigms—relative clauses in Experiment 1 and wh-questions in Experiment (...) 2—we found a strikingly similar pattern: reliable differences in latency and word durations, as well as in rates of disfluencies, signaling a greater cost associated with planning and uttering the syntactically more complex object extractions. MacDonald et al. reject that interpretation, namely that the differences we observed in the production of subject versus object extractions demonstrate asymmetric production difficulties. Here we address the concerns they raise by clarifying confusion and presenting novel experimental evidence in support of our original claims. (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)

Corcoran, J. 2007. Syntactics, American Philosophy: an Encyclopedia. 2007. Eds. John Lachs and Robert Talisse. New York: Routledge. pp.745-6. -/- Syntactics, semantics, and pragmatics are the three levels of investigation into semiotics, or the comprehensive study of systems of communication, as described in 1938 by the American philosopher Charles Morris (1903-1979). Syntactics studies signs themselves and their interrelations in abstraction from their meanings and from their uses and users. Semantics studies signs in relation to their meanings, but still in abstraction (...) from their uses and users. Pragmatics studies signs as meaningful entities used in various ways by humans. Taking current written English as the system of communication under investigation, it is a matter of syntactics that the two four-character strings ‘tact’ and ‘tics’ both occur in the ten-character string ‘syntactics’. It is a matter of semantics that the ten-character string ‘syntactics’ has only one sense and, in that sense, it denotes a branch of semiotics. It is a matter of pragmatics that the ten-character string ‘syntactics’ was not used as an English word before 1937 and that it is sometimes confused with the much older six-character string ‘syntax’. Syntactics is the simplest and most abstract branch of semiotics. At the same time, it is the most basic. Pragmatics presupposes semantics and syntactics; semantics presupposes syntactics. The basic terms of syntactics include the following: ‘character’ as alphabetic letters, numeric digits, and punctuation marks; ‘string’ as sign composed of a concatenation of characters; ‘occur’ as ‘t’ and ‘c’ both occur twice in ‘syntactics’. However, perhaps the most basic terms of syntactics are ‘type’ and ‘token’ in the senses introduced by Charles Sanders Peirce (1839-1914), America’s greatest logician, who could be considered the grandfather of syntactics, if not the father. These are explained below. (shrink)

Most syntacticians, no matter their theoretical persuasion, agree that features are the most important units of analysis. Within Chomskyan generative grammar, the importance of features has grown steadily and within minimalism, it can be said that everything depends on features. They are obstacles in any interdisciplinary investigation concerning the nature of language and it is hard to imagine a syntactic description that does not explore them. For the first time, this book turns grammar upside down and proposes a new model (...) of syntax that is better suited for interdisciplinary interactions, and shows how syntax can proceed free of lexical influence. The empirical domain examined is vast, and all the fundamental units and properties of syntax are rethought. Opening up new avenues of investigation, this book will be invaluable to researchers and students in syntactic theory, and linguistics more broadly. (shrink)

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

The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...) The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to formal mathematics. (shrink)

A syntactic derivation of Cornish identity from the axioms of HBCK is presented which amounts to a syntactic proof of Wronski's conjecture that naturally ordered BCK-algebras form a variety.

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)

Fisher, Jin, and Scott push a central assumption of syntactic bootstrapping: that learners have a universal bias to map each noun in a sentence onto a participant role (i.e., argument of the verb). They propose two enrichments: First, that children use both semantic and syntactic information in representing nouns that accompany a verb; second, that children expect continuity across a discourse. They provide evidence for both learning mechanisms among young children, further spelling out the precise mechanisms underlying syntactic bootstrapping.

In Jackendoff's Parallel Architecture, the well-formed expressions of a language are licensed by correspondences between phonology, syntax, and conceptual structure. I show how this architecture can be used to make sense of the existence of parasitic gap constructions. A parasitic gap is one that is rendered acceptable because of the presence of another gap in the same sentence. Compare *a person whoi everyone who talks to ti likes Chris, which shows an illicit extraction from a relative clause, and a person (...) whoi everyone who talks to pgi likes ti, which shows a parasitic gap in the relative clause. Languages differ in terms of the range of configurations in which they allow parasitic gaps; these configurations appear to form a hierarchy. These observations raise some fundamental questions: Why do parasitic gaps exist at all? Why are different syntactic configurations possible for P-gaps and why just these configurations? Why is there a parasitic gap hierarchy? The answers that I propose make crucial use of constructional overgeneralization of across-the-board extraction in coordinate constructions, formulated straightforwardly in the framework of Jackendoff's Parallel Architecture. (shrink)

Luciano Floridi’s informational structural realism takes a constructionist attitude towards the problems of epistemology and metaphysics, but the question of the nature of the semantical component of his view remains vexing. In this paper, I propose to dispense with the semantical component of ISR completely. I outline a Syntactical version of ISR. The unified entropy-based framework of information has been adopted as the groundwork of SISR. To establish its realist component, SISR should be able to dissolve the latching problem. (...) We have to be able to account for the informational structures–reality relationship in the absence of the standard semantical resources. The paper offers a pragmatic solution to the latching problem. I also take pains to account for the naturalistic plausibility of this solution by grounding it in the recent computational neuroscience of the predictive coding and the free energy principle. (shrink)