First published in 1982. Routledge is an imprint of Taylor & Francis, an informa company.

Idioms are the unity of figurative and formulaic expressions, driving a variety of creative variants used in everyday life. This study explored how Chinese readers made sense of Chinese idioms and their variants, with possible constraints from their strength in overall inhibitory control (OIC). Our new attempt at a comprehensive measure of inhibitory control managed to predict the readers’ self-paced reading behavior in the context of the idioms written in the Chinese ideographic script. Those with poorer OIC were assumed to (...) show more difficulties in inhibiting the literal meaning of a Chinese idiom as the supportive context unfolded. Such constraints from OIC also resurfaced during the comprehension of the Chinese variants employed in this study that were likely treated as novel idioms. We thereby assumed a hybrid route for the comprehension of Chinese idiomatic expressions. Nonetheless, idiom familiarity or decomposability exerted limited influence during these processes. The current study enriches the individual-difference approach to idiom comprehension by further expounding how its account varies with an ideographic writing system characterized by symbolic glyphs. (shrink)

Recent scholarship on the philosophy of time in pre-Qin Daoist thought has not yet produced a thorough examination of dao’s relationship to time. This essay resolves this omission through a systematic study of the concept heng 恒 in pre-Qin Daoist literature. While principally expressing the ‘constancy’ of dao, heng also significantly presupposes dao’s ability to change. This change is characterized in the texts as a cyclical movement of ‘return’ and identified with the universe’s circular metanarrative of generation and reintegration. The (...) essay turns to examine pre-Qin Daoist literature’s use of primal wu 無 metaphors to describe dao. It concludes that they present dao as undifferentiated infinitude, liberating dao as heng from the tense structure of past-present-future that divides life in time. These metaphors further associate the movement of dao with the flow of time, reformulating time’s relentless ever-greater advancement into an endless cycle of creative transformation. (shrink)

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different approaches (...) to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

Volume 41, Issue 2, April-June 2026, Page 98-112.

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists (...) put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

An original and comprehensive study of the history, symbols and languages of the common law tradition.

Why is mutual understanding between two substantially different comprehensive language communities often problematic and even unattainable? To answer this question, the author first introduces a notion of presuppositional languages. Based on the semantic structure of a presuppositional language, the author identifies a significant condition necessary for effective understanding of a language: the interpreter is able to effectively understand a language only if he/she is able to recognize and comprehend its metaphysical presuppositions. The essential role of the knowledge of metaphysical (...) presuppositions in understanding is further strengthened by developing a truth-value conditional theory of understanding. It is concluded that if the interpreter approaches an incompatible alien language from the standpoint of the interpreter's own language by projecting the metaphysical presuppositions of his/her own language upon the alien language, then the mutual understanding between the two language communities is doomed to failure. (shrink)

"Like Dewey, he has revolted against the empiricist dogma and the Kantian dualisms which have compartmentalized philosophical thought.... Unlike Dewey, he has provided detailed incisive argumentation, and has shown just where the dogmas and dualisms break down." --Richard Rorty, _The Yale Review_.

My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sofia school, the method remains little known. In our view this has deprived temporal logic of a valuable tool.The aim of the paper is to explain why hybridization is useful in temporal logic. We make two major points, the first technical, the second conceptual. First, we show that hybridization gives rise to well-behaved (...) logics that exhibit an interesting synergy between modal and classical ideas. This synergy, obvious for hybrid languages with full first-order expressive strength, is demonstrated for a weaker local language capable of defining the Until operator; we provide a minimal axiomatization, and show that in a wide range of temporally interesting cases extended completeness results can be obtained automatically. Second, we argue that the idea of sorted atomic symbols which underpins the hybrid enterprise can be developed further. To illustrate this, we discuss the advantages and disadvantages of a simple hybrid language which can quantify over paths. (shrink)

1. There is a tendency nowadays for linguists, philosophers and other theorists of language, to dismiss the notion of an object like the English language or the Polish language as simply mythological or mythopoeic—as of no interest to any serious science of language. Some theorists even appear to deny that there are such things as languages. ‘This notion [of a public language] is unknown to empirical inquiry and raises what seem to be irresolvable problems’, Chomsky said in a lecture (...) he gave recently in London. (shrink)

Under John Searle’s theory of institutional facts, the law can be understood both as an institution governed by foundational documents and practices, and as a method for creating new institutions through the codification of the assignment of functions, usually of the form ‘X counts as Y in circumstances C’. The architect Christopher Alexander’s notion of pattern languages, schematic templates for problem-solving widely adopted by computer programmers, can be developed within a legal system as a coherence constraint on the assignment (...) of functions such that codified legal solutions do not conflict with other legal solutions to related or distinct problems. (shrink)

This collection of essays charts the influence of the Lutheran Reformation on various (northern) European languages and texts written in them. The central themes of Languages in the Lutheran Reformation: Textual Networks and the Spread of Ideas are: how the ideas related to Lutheranism were adapted to the new areas, new languages, and new contexts during the Reformation period in the 16th and 17th centuries; and how the Reformation affected the standardization of the languages. Networks of (...) texts, knowledge, and authors belong to the topics of the present volume. The contributions look into language use, language culture, and translation activities during the Reformation, but also in the prelude to the Reformation as well as after it, in the early modern period. The contributors are experts in the study of their respective languages, including Czech, Dutch, English, Estonian, Finnish, High German, Icelandic, Latvian, Lithuanian, Low German, Norwegian, Polish, and Swedish. The primary texts explored in the essays are Bible translations, but genres other than biblical are also discussed."--Page 4 of cover. (shrink)

In its opening chapters, ‘Languages of the Unheard’ offers a broad account of militancy as an aid to democracy and a principled response to the intransigence of elites and the unresponsiveness of institutions to the public interest. It proposes an understanding of militancy as a civic virtue and a contribution to democratic politics, relying on a normative conception of ‘autonomous democracy.’ In the second part of the book, this understanding of admirable militancy is applied to a wide range of (...) protest styles, including the nonviolent civil disobedience promoted by Gandhi and King, the disruptive direct action of strikes and other forms organized disruption, the rioting and black blocs of militant street protest, and the armed insurgency promoted by both urban and rural guerrilla groups. (shrink)

Theories of subjective probability are viewed as formal languages for analyzing evidence and expressing degrees of belief. This article focuses on two probability langauges, the Bayesian language and the language of belief functions (Shafer, 1976). We describe and compare the semantics (i.e., the meaning of the scale) and the syntax (i.e., the formal calculus) of these languages. We also investigate some of the designs for probability judgment afforded by the two languages.

Numerous difficulties arising in connection with developing an ontology for linguistic entities can be thought of as manifestations of a more general problem, aptly characterized by David Lewis (1975) as a tension between two conflicting conceptions of language. On the one hand, our best theories model languages as abstract semantic systems—roughly, functions assigning meanings to expressions. On the other hand, we think of languages as contingent and changing social constructs—both grounded in, and grounding, various social relations and institutions (...) of human beings. There are various ways in which these conceptions appear to be in conflict. For instance, if languages are set-theoretical entities—as our best logical and linguistic theories would have it—how do we account for the fact that they change? Or that they could have been different in various respects? And how do we provide principled and noncircular conditions for set-membership, when there appears to be nothing in common to all tokens of the same expression other than belonging to the same type? This paper aims to develop an ontology of linguistic entities—specifically, of languages and linguistic communities—that can resolve these apparent tensions. (shrink)

Alien Languages and Linguistic Structure.

In this paper we study the expressive power and definability for modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt–Thomason definability theorem in terms of the well-established first-order topological language.

Kaviraj Sudipta’s Languages of Secularity outlines two main concerns: recent debates about secularity in Indian social science, and the colonial side of modernity. The former focuses on the reexamination of Indian thinking, and analyzing the historical changes in politics, religion, and Indian society. Sudipta argues that this change in thought was a significant moment in political theory, as it shows how India began to move away from Western social theory, and how the nature of social theory depends on the (...) extension and elaboration of ideas combined with academic thinking from the historical world. Sudipta’s second part of the paper concerns the differences between early modernization theory and more recent theories. Casanova, Jose. (shrink)

In this paper I propose a series of arguments in order to show that it is preferable for analytic philosophy to be practiced in different languages. In the first section, I show that the analytic tradition includes people developing their philosophical work in different natural languages. In the second section, I will address the question of the role of language in thought, and more specifically in philosophical thought, concluding that it is preferable to allow for the use of (...) different languages as a vehicle for philosophical ideas. Finally, I make some suggestions regarding changes that could be made in academic practices to better allow a plurality of languages and voices within the analytic tradition. (shrink)

In the last fifteen years, philosophical interest in inner speech has increased drastically. Although philosophers working on the topic have often made claims about inner speech generally, it seems they have often only been thinking about inner speech in voiced languages. However, inner speech can also take place in sign languages. Externally signed speech differs from externally voiced speech in ways which go beyond the sensory modality involved. For one thing, the experience of externally signed speech is perspective-relative (...) in a way that the experience of externally voiced speech is not. For another, the process of signing externally (moving one’s hands etc.) is not distinct from the speech produced (the movements), whereas the process of producing voiced speech externally (moving one’s mouth) is distinct from the sounds produced (the soundwaves). This justifies the extrapolation that inner speech in sign languages may differ in important ways from inner speech in voiced languages. I show that a number of claims that have been made about inner speech—about the content of inner speech, about the tokening of words in inner speech, and about the role of inner speech in self-knowledge—are complicated if one takes account of inner speech in sign languages. (shrink)

Several writers have assumed that when in “Outline of a Theory of Truth” I wrote that “the orthodox approach” – that is, Tarski’s account of the truth definition – admits descending chains, I was relying on a simple compactness theorem argument, and that non-standard models must result. However, I was actually relying on a paper on ‘pseudo-well-orderings’ by Harrison. The descending hierarchy of languages I define is a standard model. Yablo’s Paradox later emerged as a key to interpreting the (...) result. (shrink)

_The Languages of Psyche_ traces the dualism of mind and body during the "long eighteenth century," from the Restoration in England to the aftermath of the French Revolution. Ten outstanding scholars investigate the complex mind-body relationship in a variety of Enlightenment contexts—science, medicine, philosophy, literature, and everyday society. No other recent book provides such an in-depth, suggestive resource for philosophers, literary critics, intellectual and social historians, and all who are interested in Enlightenment studies.

In nelson goodman's "languages of art" a symbol system must be 'finitely differentiated', both syntactically and semantically, to count as a 'notation'. goodman's formulations of these differentiation requirements are seriously defective. it is shown that most of the examples of systems which he claims fail these requirements, do not fail them as they are stated. reformulations of the two requirements are offered, which accord with the examples and seem otherwise acceptable.

Sign languages exhibit all the complexities and evolutionary advantages of spoken languages. Consequently, sign languages are problematic for a theory of language evolution that assumes a gestural origin. There are no compelling arguments why the expanding spiral between protosign and protospeech proposed by Arbib would not have resulted in the evolutionary dominance of sign over speech.

What implications does goodman's "languages of art" have for the theory and practice of art criticism? to account for the cognitive value of pictorial representations, It apparently requires to be supplemented by a concept of depiction, Or indefinite reference. For goodman's theory of expression to be convincing, Criteria are needed to discriminate exemplification in goodman's sense from the mere possession of labels. Some of the fundamental criteria of evaluation very widely used by art critics do not seem to be (...) those called for, Or authorized, By goodman's sketchy but highly significant theory of aesthetic value. (shrink)

Mental model construction is supposed to be a useful cognitive devise for learning. Beyond human capacity of constructing mental models, scientists construct complex explanations about phenomena, named scientific or theoretical models. In this work we revisit three vissions: the first one concern about the polisemic term “model”. Our proposal is to discriminate between “mental models” and “explicit models”, being the former those “imaginistic” ideas constructed in scientists’—o teachers—minds, and the latter those teaching devices expressed in different languages that tend (...) to communicate any “scientific model”. From this point of view, the class is considered a place where teachers’ mental models should be learned by novice students by decoding their teaching devices which are expressed in different languages. Other proposal of this work claims to distinguish the term “representation” with respect to its artistical or instrumental origin, highlighting that they are types of teaching devices and that artistical representations are always analogies. Finally, data about the construction of freshmen’s wrong mental models related to the use of the analogy between the chemical combustion and the global process of cellular respiration from glucose is presented to reinforce previous epistemological reflections. (shrink)

Meta-languages are vital to the development and usage of formal systems, and yet the nature of meta-languages and associated notions require clarification. Here we attempt to provide a clear definition of the requirements for a language to be a meta-language, together with consideration of issues of proof theory, model theory and interpreters for such a language.

Languages from the World of the Bible. Edited by Holger Gzella. Berlin: Walter de Gruyter, 2012. $112.

This paper aims to establish a semantic framework for religious languages. In particular, I focus on the primitive terms of religious languages—namely, religious primitives. The proposed theory is called CAST, the contextual-attributional-social theory of meaning. This is a Putnamian theory of meaning for religious languages, according to which the meaning of a religious primitive is intended to be determined by some externalist factors—ontic, epistemic, and social. I proceed as follows. In §2, I first consider a Kripke-style causal (...) theory of reference and its core limitation, raised by the problem of meaning-shift. In §3, I introduce CAST as an alternative framework. After articulating CAST, in §4, I address potential challenges, including the problem of meaning-shift, and show how CAST can handle them. In §5, I conclude. (shrink)

The key argument of Hilary Putnam for conceptual relativism, his so-called mereological argument, is critically evaluated. It is argued that Putnam’s reasoning is based on confusion between languages and theories.

The linguistic and cognitive sciences have severely underestimated the degree of linguistic diversity in the world. Part of the reason for this is that we have projected assumptions based on English and familiar languages onto the rest. We focus on some distortions this has introduced, especially in the study of semantics.

The aim of the article is to discuss the legal language transformations from a diachronic perspective taking into account the following factors: (i) spatial and temporal, (ii) linguistic norm changes, (iii) political, (iv) social (customs), and (v) globalization as well as (vi) EU-induced. Spatial and temporal factors include legal relations influenced by climate and the cycles of nature. Linguistic factors include spelling reforms and grammatical changes each language undergoes, for example, as a result of usage. As far as the law (...) is concerned, normative changes can be observed when laws are amended. Other factors such as customs, usage, etc. cannot be neglected when discussing the language of the law. Analogously political correctness and usage can be observed in gender sensitive language and the introduction of such terms as chairperson instead of chairman. Social factors should not be overlooked. As a result of social changes, numerous terms have been introduced to legal lexicons in many countries starting with same-sex unions or same-sex-marriages. The so-called political correctness enforces some language changes and leads to the introduction of new terms and at the same time the abandonment of others. Consequently, some terms cease to be used and consequently become archaic. The aim of the article is to focus on diachronic changes in legal languages and present the communication problems resulting from them from intra- and inter-lingual perspectives. (shrink)

The search for a universal language of mankind is an old dream. The Babylonian language confusion, which makes it difficult for humanity to communicate, has always posed problems. Over the centuries, there have been different approaches to inventing new artificial interlinguistic planned languages for easier communication in everyday life and formal languagesFormal language as support for science.

In this article, I explore the relationship between dance and the work of Nelson Goodman, which is found primarily in his early book, Languages of Art. Drawing upon the book’s first main thread, I examine Goodman’s example of a dance gesture as a symbol that exemplifies itself. I argue that self-exemplifying dance gestures are unique in that they are often independent and internally motivated, or “meta-self-exemplifying.” Drawing upon the book’s second main thread, I retrace Goodman’s analysis of dance’s relationship (...) to both notation in general and also Labanotation in particular. My argument is that dance gives the false impression of being notational, or is “meta-notational.”. (shrink)

Through a selection of primary sources, this article demonstrates the political and legal languages which articulated monarchist ideas in interwar Yugoslavia. Variations on the theme emerged in different periods. First, the national and so democratic character of the monarch and monarchy was a prevalent image at the end of the First World War and in the first decade of the Yugoslav state’s existence. During the domestic political crises in the second half of the 1920s, the language of monarchism shifted (...) toward discourses of stability and public order. After the declaration of the royal dictatorship in January 1929, the language of monarchism became fully invested in expressing the monarch’s absolute political authority, legally inviolable character, and the resulting ‘unity of state and nation’. For the political Right, the king embodied the spirit of integral Yugoslavism. While the language of monarchism could serve disparate political ideologies – as in the liberal monarchist emigration after spring 1941 – it was rather primarily linked to the political visions of the Right in the final decade of interwar Yugoslavia. (shrink)