Given a Henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any Henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we (...) present a construction method for a t-Henselian non-Henselian ordered field elementarily equivalent to a Henselian field with a specified value group. (shrink)

We prove first-order definability of the prime subring inside polynomial rings, whose coefficient rings are reduced and indecomposable. This is achieved by means of a uniform formula in the language of rings with signature $$. In the characteristic zero case, the claim implies that the full theory is undecidable, for rings of the referred type. This extends a series of results by Raphael Robinson, holding for certain polynomial integral domains, to a more general class.

We give a definition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp), which works uniformly for all p and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does (...) not exist a uniform definition by an existential formula and neither by a universal formula for the valuation rings of all the finite extensions of a given Henselian valued field. We also show that there is no existential formula of the ring language defining Zp inside Qp uniformly for all p. For any fixed finite extension of Qp, we give an existential formula and a universal formula in the ring language which define the valuation ring. (shrink)

The following conjecture is due to Shelah–Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non‐trivial definable henselian valuation, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result, we obtain a complete characterisation of this class.

Interfirm collaboration and trust are topics currently exciting research interest. The literature treats trust as a unitary concept, providing little understanding of those processes that create trust, or are employed by parties relying on trust. I suggest that two distinct forms of trust can be observed in economic exchanges: fragile trust and resilient trust. I define these kinds of trust, speculate on processes by which economic actors learn about them, and explore contexts in which they are likely to be relied (...) upon by economic actors. I conclude with a discussion of implications for practice and scholarship. (shrink)

Interfirm collaboration and trust are topics currently exciting research interest. The literature treats trust as a unitary concept, providing little understanding of those processes that create trust, or are employed by parties relying on trust. I suggest that two distinct forms of trust can be observed in economic exchanges: fragile trust and resilient trust. I define these kinds of trust, speculate on processes by which economic actors learn about them, and explore contexts in which they are likely to be relied (...) upon by economic actors. I conclude with a discussion of implications for practice and scholarship. (shrink)

C. U. Jensen suggested the following construction, starting from a field $K: K_0 = K, K_{\alpha + 1} = K_\alpha ((X_\alpha)), K_\alpha = \bigcup K_\beta$ if $\alpha$ is limit and asked when two fields $k_\alpha$ and $K_\beta$ are equivalent. We give a complete answer in the case of a field $K$ of characteristic 0.

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)

This paper investigates how people conceive and evaluate nature through language, in a climate change context. With material consisting of 1,200 answers to open-ended questions in nationally representative surveys in Norway, we explore what semantic roles and values the respondents attribute to nature as well as to how they interact with the public debate about climate change. We observe that different conceptions and valuations of nature are tied to different perspectives on the climate change issue: some address the (...) responsibilities of causing climate change, others its consequences, and others yet its potential solutions. The study provides knowledge about the variety of conceptions of nature that can be mobilised by individuals and suggests that policy measures and public communication could benefit by taking this diversity into account. (shrink)

We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.

We prove that there exists no sentence F of the language of rings with an extra binary predicat I2 satisfying the following property: for every definable set X ⊆ ℂ2, X is connected if and only if ⊧ F, where I2 is interpreted by X. We conjecture that the same result holds for closed subset of ℂ2. We prove some results motivated by this conjecture.

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which (...) is sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

When is an ideal of a ring radical or prime? By examining its generators, one may in many cases definably and uniformly test the ideal’s properties. We seek to establish such definable formulas in rings of p-adic power series, such as $\mathbb Q_{p}\langle X\rangle $, $\mathbb Z_{p}\langle X\rangle $, and related rings of power series over more general valuation rings and their fraction fields. We obtain a definable, uniform test for radicality, and, in the one-dimensional case, for (...) primality. This builds upon the techniques stemming from the proof of the quantifier elimination results for the analytic theory of the p-adic integers by Denef and van den Dries, and the linear algebra methods of Hermann and Seidenberg.prepared by Madeline G. Barnicle.E-mail: [email protected]: https://escholarship.org/uc/item/6t02q9s4. (shrink)

This article shows that forms of analysis and calculation specific to finance are spreading, and changing valuation processes in various social settings. This perspective is used to contribute to the study of the recent transformations of capitalism, as financialisation is usually seen as marking the past three decades. After defining what is meant by “financialised valuation,” different examples are discussed. Recent developments concerning the valuation of assets in accounting standards and credit risk in banking regulations are used to suggest that (...) colonisation of financial activities by financialised valuations is taking place. Other changes, concerning the valuation of social or cultural activities and environmental issues are also highlighted in order to support the hypothesis of a parallel colonisation of non-financial activities by financialised valuations. Specifically, the language of finance appears to gradually being incorporated into public policies, especially in Europe—and this trend seems to have gathered pace since the 2000s. Some interpretations are proposed to understand why public policies are seemingly increasingly reliant on financialised valuations. (shrink)

Ernest Gellner's final book, first published in 1998, is a synoptic interpretation of the thought of Wittgenstein and Malinowski.

Let K be a function field of one variable over a constant field C of finite transcendence degree over C. Let M/K be a finite extension and let W be a set of primes of K such that all but finitely many primes of W do not split in the extension M/K. Then there exists a set W' of K-primes such that Hilbert's Tenth Problem is not decidable over $O_{K,W'} = \{x \in K\mid ord_\mathfrak{p} x \geq 0, \forall\mathfrak{p} \notin W'\}$ (...) , and the set (W' $\backslash$ W) ∪ (W $\backslash$ W') is finite. Let K be a function field of one variable over a constant field C finitely generated over Q. Let M/K be a finite extension and let W be a set of primes of K such that all but finitely many primes of W do not split in the extension M/K and the degree of all the primes in W is bounded by b ∈ N. Then there exists a set W' of K-primes such that Z has a Diophantine definition over O K ,W', and the set (W' $\backslash$ W) ∪ (W $\backslash$ W') is finite. (shrink)

Inbound tourism as defined by the WTO is obviously the aspect of a nation’s tourism industry to which foreign languages are directly relevant: this aspect involves foreign tourists visiting the country of reference. This paper uses Leiper’s conceptualisation of the tourism system to examine the role of foreign languages in the operations of Nigerian inbound tourism from TGR and TDR perspectives. Among the most significant revelations of this examination are the facts that: i) tourism destinations in Nigeria are to be (...) advertised on the web and in print in the TGR countries using the languages of those countries; and ii) tour guides in Nigeria are to be trained in foreign languages to facilitate travels, stay and related transactions and activities of foreign tourists in Nigeria. These and other findings can enhance the Nigerian inbound tourism industry. (shrink)

The potential of large language models (LLM) has captured the imagination of the public and researchers alike. In contrast to previous generations of machine learning models, LLMs are general-purpose tools, which can communicate with humans. In particular, they are able to define terms and answer factual questions based on some internally represented knowledge. Thus, LLMs support functionalities that are closely related to ontologies. In this perspective article, I will discuss the consequences of the advent of LLMs for the field (...) of applied ontology. (shrink)

1. STRUCTURE AND REFERENCES 1.1. The main part of the dictionary consists of alphabetically arranged articles concerned with basic logical theories and some other selected topics. Within each article a set of concepts is defined in their mutual relations. This way of defining concepts in the context of a theory provides better understand ing of ideas than that provided by isolated short defmitions. A disadvantage of this method is that it takes more time to look something up inside an extensive (...) article. To reduce this disadvantage the following measures have been adopted. Each article is divided into numbered sections, the numbers, in boldface type, being addresses to which we refer. Those sections of larger articles which are divided at the first level, i.e. numbered with single numerals, have titles. Main sections are further subdivided, the subsections being numbered by numerals added to the main section number, e.g. I, 1.1, 1.2,..., 1.1.1, 1.1.2, and so on. A comprehensive subject index is supplied together with a glossary. The aim of the latter is to provide, if possible, short defmitions which sometimes may prove sufficient. As to the use of the glossary, see the comment preceding it. (shrink)

Let K be an infinite Galois extension of the rationals such that every finite subextension has odd degree over the rationals and its prime ideals dividing 2 are unramified. We show that its ring of integers is first-order definable in K. As an application we prove that equation image together with all its Galois subextensions are undecidable, where Δ is the set of all the prime integers which are congruent to −1 modulo 4.

In the basic modal language and in the basic modal language with the added universal modality, first-order definability of all formulas over the class of all frames is shown. Also, it is shown that the problems of modal definability of first-order sentences over the class of all frames in the languages and are both PSPACE-complete.

We continue the study of a theory which is a valued analogue of the theory of regular rings studied by Carson, Lipshitz and Saracino, characterize it as the model companion of the theory of Prüfer rings, and prove its decidability. We then link it to the theory of p.p. rings developed by Weispfenning and show that it admits quantifier elimination in a related language.

The relevance of the research is defined by the need to create a set of linguistic means, which would contribute to effective communication with the general public, and the need to study different functional-semantic categories, including appeals, for the competent formation of public opinion in the political context. The research aims to comprehend the functioning of linguistic means used as appeals in the example of political propaganda texts in the English media field. The methodology is based on the theoretical study (...) of the works of modern linguists, linguistic, structural, and communicative analysis of appeal linguistic units and contexts. The research considered the linguistic means that form the functional-semantic category of the appeal, examples of political contexts from the British and American media were presented, the functions of appeal were presented using specific examples, an idea of the communicative side of political propaganda texts and audience participation in this process was formed, emphasis was placed on different types of propaganda (white, black, gray), the following groups of appeals were characterized: imperatives (volitional and involuntary). The materials presented in this research can be used to form an idea of the functional-semantic category of appeal, the choice of linguistic means for the purpose of information promotion in the media or social networks, the study of communicative strategies in linguistics and their successful implementation, consideration of political propaganda texts, increasing efficiency when influencing the audience, further implementation of means of appeal in machine learning. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists (...) in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Hilbert-style axiomatic systems are presented for versions of the modal logics K, where {D, 4, 5}, with noncontingency as the sole modal primitive. The classes of frames characterized by the axioms of these systems are shown to be first-order definable, though not equal to the classes of serial, transitive, or euclidean frames. The canonical frame of the noncontingency logic of any logic containing the seriality axiom is proved to be nonserial. It is also shown that any class of frames definable (...) in the noncontingency language contains the class of functional frames, and dually, there exists a greatest consistent normal noncontingency logic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Eclecticism and the Technologies of Discernment in Pietist PedagogyKelly J. WhitmerWhile the Franckesche Stiftungen (the Francke Foundations) of Halle/Saale are perhaps best known today as the institutional centre of German Pietism, throughout much of the eighteenth century they were widely regarded as a pedagogically innovative Schulstadt (or city of schools). The founder of this Schulstadt, August Hermann Francke (1663–1727), was many things to many people: Pietist, radical Lutheran, theologian, (...) pedagogue, professor of Greek and Oriental languages, preacher, member of the Berlin Academy of Sciences and proponent of a Protestant mission. Like most participants in what was initially a grassroots movement oriented around the personality of Philipp Jakob Spener (1635–1705), a minister active in Frankfurt am Main around 1670 who sought to breathe new life into the Lutheran church,2 Francke rarely referred to himself as a Pietist. From his post at the University of Halle (founded in 1694), this Spenerian prote´gé set out to create a new "universal seminar" that would make the assimilation of many diverse points of view, identities, and competing strands of knowledge its [End Page 545] defining mandate. "My purpose," Francke wrote in a letter to a Pastor Ring from Grünebartau (October 29, 1712), "is to develop a universal institution, useful for bringing into a good and holy order all that is important for the Christianity of all orders of society and relates, in some way, to the healing power of the soul."3 His Schulstadt would "bring into order" a myriad of relationships around a single point and relied, quite deliberately I propose, on an eclectic methodology to do this.In recent years, the relationship of Francke's Schulstadt to the implementation of Brandenburg-Prussia's first compulsory schooling system and teacher training institutes has been better documented than in the past.4 Scholars of education have paid closer attention to the methodological innovations of Pietist pedagogy, and its points of convergence with the ideas of John Locke (1632–1704), Jean-Jacques Rousseau (1712–1778) and Johann Heinrich Pestalozzi (1746–1827) have become subjects of mounting interest.5 Francke's significance for the history of education has been assessed mainly in terms of his ability to realize the pedagogically inclined reform projects of seventeenth-century figures, such as Johann Amos Comenius (1592–1670).6 We know that the thousands of children who participated in the life of the Schulstadt very often left Halle to become actively involved as teachers and ministers throughout the German states. Several played pivotal roles in the development of the late eighteenth-century educational reform movement known as Philanthropismus and its associated practices and institutions.7 [End Page 546]Perhaps the most striking feature of Francke's Schulstadt was its curriculum, which featured innovative training regimens in applied mathematics for children from diverse social backgrounds.8 The scale and rigor of these programs were to be found nowhere else at the time and can be linked to the overtly pedagogical mandate of the Berlin Academy of Sciences (f. 1701). These regimens deliberately juxtaposed artisanal and learned knowledge and stressed the importance of the eye as a conciliatory medium.9 Despite having acquired largely anti-empiricist reputations over the years due to their lingering interest in alchemy and their roles in securing the banishment of the "rationalist" mathematician and philosopher, Christian Wolff (1679–1754), from their community in 1723, careful consideration of what Halle Pietists were teaching in their schools suggests a different view. These historical actors reconciled categories of knowledge production and transmission often framed as oppositional—despite what several scholars have recently shown to be their clear interconnectedness.10I argue here for the predominance of eclecticism in the Schulstadt, including a pronounced emphasis on the "middling" mathematical and mechanical sciences as tools of conciliation and self-improvement. I seek to illustrate how eclecticism was much more than a Philosophiebegriff that was well received by some Pietists, as Walter Sparn has argued, but that it is better understood as a set of conciliatory practices, traces of which resonate in Pietist lesson plans.11 Teachers in Francke's schools integrated experimental philosophy into an educational program that was introducing children to the exercises of... (shrink)

These essays define transformation by blending the familiar with the conflicted and plural. Transformation refers to the shifting ground in our present culture between the familiar and the unfamiliar. These essays are viewed as examples of new intellectual 'genres' rather than 'theories.' If they do belong to a post-theoretical, intellectual genre of writing, it is because they blend philosophical vocabularies with expressions of curiosity, novelty and plurality.

This article explores communicative processes in Chinese involving Chinese American children in order to explain the notion of preference for ambiguity, a characteristic often invoked when describing the Chinese as a group. It also speculates on the impact this notion has on children's socialization. Preference for ambiguity can be defined as making ambiguous something that is otherwise clear-communicating ambiguously or conveying something that is ambiguous-communicating ambiguity. Treating ambiguity as an interaction-centered and activity-bound phenomenon rather than a purely semantic or logical (...) problem, this article locates ambiguity in the intersubjectivity co-constructed by all participants and explores its role in the construction of cultural, situational and interpersonal contexts. It shows that ambiguity is shaped not only by lexico-grammar but also by discourse structure. This article draws data from a total of 30 hours of audio/video recorded classroom interactions involving 4 teachers and about 35 students in two Chinese Heritage Language Schools in the USA as well as from observations and interviews. In the classroom context, children are compelled to make speculations and draw inferences regarding their interlocutors' references, intentions, dispositions and goals. They do so without confronting their interlocutors or holding their interlocutors accountable. In contrast, teachers freely and vocally formulate, clarify, question and interpret children's utterances in an effort to make the children's stances unequivocal. This study suggests that the communicative patterns observed with respect to ambiguity may play an important part in the socialization of cultural knowledge and cognitive styles. (shrink)

ABSTRACTThe juridical force of time forms a critical, but hitherto unexplored part of Hugo Grotius’s discourse on the justice of war and peace. Grotius defines war as a span of time in which disputed rights and armed conflicts between states are examined in reference to temporal coordinates. This method allows him to adjust otherwise static laws to meet the demands of times and spaces in an increasingly expanded world. In doing so, Grotius is also able to reconcile multiple layers of (...) laws in a temporal framework, which suspends one layer of law, to be revived at later times. Finally, cautious in the use of the language of time, Grotius admits both that right demands immediacy, and that justice suffers delays. By this nexus of delay and emergency, Grotius warns against the abuse of ‘time’ as a legal concept to justify unlawful claims, which still rings with alarm today. (shrink)

Reporting systems based on mobile technologies and feedback from regular citizens are becoming increasingly popular, especially as far as protection of environmental and cultural heritage is concerned. Reporting life-threatening situations, such as sudden natural disasters or traffic accidents, belongs to the same class of problems and could be aided by IT systems of a similar architecture. Designing and developing systems for reporting life-threatening situations is not a trivial task, requiring close cooperation between software developers and experts in different domains, who (...) could possibly find industrially recognized languages and notations difficult. Thus, the question is whether using simplified graphical domain-specific languages (SGDSLs) could help in creating a common communication platform. It has been revealed that domain experts have a preference for such languages as they offer good learnability, readability and ability to focus on the idea of application. The perspective of developers (technical persons) is introduced on the basis of feedback obtained from 84 students of Computer Science at the Lublin University of Technology, who attended comprehensive workshops followed by an anonymous survey. All participants received theoretical and practical training in modeling mobile software using the same set of languages as domain experts. An analysis of the results revealed that opinions expressed by technical and nontechnical persons concerning SGDSLs oriented on defining a flow of actions is consistent. Most respondents claimed that such languages might be valuable as tools for creating a common communication platform. (shrink)

The author explores Aristotle’s theory of signification by contrasting it to Plato’s theory of language, which is interpreted, rather uncritically, as a theory of "natural" signification. She discusses Aristotle’s position on the meaning of sentences and sentential parts, and his theory of reference. She then considers Aristotle’s concept of philosophical language as the language of demonstration, in contrast to the saying of myths, and compares apodeixis to rhetoric and poetry. "Clarity" is required in philosophical discourse, and is (...) defined by contrast with equivocation, ambiguity and metaphor. It is good to have a collection of Aristotle’s remarks on these important items, but the author seems not to draw much philosophical capital from them: "clarity" seems to be taken as little more than "careful writing." Finally some passages from the Metaphysics are examined to give an example of how Aristotle uses language in philosophy. The book contains interesting remarks, but the general problem seems misplaced: we are to be shown that Aristotle is "not concerned solely with linguistic clarification but with positive knowledge of nonlinguistic reality", but such a dichotomy is certainly not Aristotelian. Neither is the problem raised in this sentence, "It is difficult to say whether Aristotle thinks men are social because they have the power of speech or the converse". Again, the author says "poetry is the imitation of things" when she means tragedy is the imitation of action.—R. S. (shrink)

The context of a linguisticexpression is defined as everything outside theexpression itself that is necessary forunambiguous interpretation of the expression.As meaning can be conveyed either by theimplicit, shared context or by the explicitform of the expression, the degree ofcontext-dependence or ``contextuality'' ofcommunication will vary, depending on thesituation and preferences of the languageproducer. An empirical measure of thisvariation is proposed, the ``formality'' or``F-score'', based on the frequencies ofdifferent word classes. Nouns, adjectives,articles and prepositions are more frequent inlow-context or ``formal'' types of (...) expression;pronouns, adverbs, verbs and interjections aremore frequent in high-context styles. Thismeasure adequately distinguishes differentgenres of language production using data forDutch, French, Italian, and English. Factoranalyses applied to data in 7 differentlanguages produce a similar factor as the mostimportant one. Both the data and thetheoretical model suggest that contextualitydecreases when unambiguous understandingbecomes more important or more difficult toachieve, when the separation in space, time orbackground between the interlocutors increases,and when the speaker is male, introvertedand/or academically educated. (shrink)

Who a manager is, as a person of moral character, has been only of tangential interest in social science definitions of management, which have focused on functions, roles, behaviors, and environmental influences. But how do managers themselves speak of managerial excellence? This paper answers this for a particular corporation, based on a three-phased research process that deliberately imposes no descriptive or normative categories, but allows the answer to emerge, listening to what managers themselves say when discussing excellent managers and their (...) behaviors. This approach finds that: (1) virtue ethics and virtue language is fluently used by practicing managers, (2) virtue language is important to understanding managerial excellence, and (3) whereas the set of virtues defining the excellent manager can be expected to be dependent on the societal, industry, and organizational context, such a set of manager virtues can be identified and prioritized within a particular organizational milieu. The implication is that, once an organization's management better understands the meaning of the excellent manager in terms of the virtue language already used by its own employees, it is better equipped to implement a practical ethic of virtues, one helpful toward recognizing and developing excellent managers. Ethics researchers are challenged to increase their understanding of extant virtue language as the basis for a renewed development of virtue ethics theory and applications. (shrink)

Two distinctions within the category of designators -- Further defining the central theses -- Structure and rigidity -- Structure and naming -- Interlude: interim review and a look ahead -- Referential uses of denoting expressions -- Complex referring expressions -- Summary, overview, and general morals.

This article probes the usefulness of selected theories from Cognitive Linguistics in the context of statutory interpretation. The presumption of legal language is a well-established rule of statutory construction in Polish legal practice that comes from the internationally recognised theory by Jerzy Wróblewski. It rests on a controversial assumption that there are different levels of generality in legal language (i.e. the language of statutes) and a single term may be given different meanings depending on the level of (...) generality that is referred to. The authors use the notion of basic level categorisation from the cognitive theory of prototypes to explain this mechanism. Legal concepts, not unlike ordinary concepts, form hierarchical taxonomies. A single term may denote concepts that are situated at different levels in different conceptual taxonomies. In the absence of special circumstances, a legal term should be given the meaning that resides at a higher level of categorisation in the respective legal taxonomy. This way, the presumption of legal language is found to be justified on both linguistic and psychological grounds. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and (...) in some of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

The “New Biology” that arose in the Eastern Block during Stalinist times was based on the idea of the heritability of acquired characteristics. In rejecting the paradigm of Mendelian chromosome genetics as well as science-based farming, the New Biology led to a deterioration of scientific life and the free exchange of ideas. In imposing Lysenko’s ideas onto zoology, the New Biology adopted the totalitarian language of Newspeak, which dominated public discourse in communist countries. Newspeak had several defining elements: a (...) limited dictionary, strong valuations, binary oppositions, the magical function of language, militarization, and ritualization of language. In this study, the concept of Newspeak is used to analyze primary sources in Polish zoology in the period between 1948 and 1956. Once the practice of Newspeak began to wane, so did the New Biology that had been founded on this specific ritualistic language. (shrink)

Inquiry into language evolution has been controversial, mainly because there is no consensus as to the nature of both ‘evolution’ and ‘language.’ Berwick and Chomsky make sense of the evolution of language by treating it as a biological phenomenon. In contrast to functional characterizations of language as ‘communication’ or ‘speech,’ the authors define it as, essentially, a mind-internal computational mechanism. Within their minimalist approach, hierarchical syntactic structure is achieved through the recursive application of a basic operation (...) called ‘Merge.’ The simplicity of the basic operation is consistent with archeological evidence suggesting an evolutionary recent origin of language. (shrink)

Let be the field of p‐adic numbers in the language of rings. In this paper we consider the theory of expanded by two predicates interpreted by multiplicative subgroups and where are multiplicatively independent. We show that the theory of this structure interprets Peano arithmetic if α and β have positive p‐adic valuation. If either α or β has zero valuation we show that the theory of has the NIP (“negation of the independence property”) and therefore does not interpret (...) Peano arithmetic. In that case we also prove that the theory is decidable if and only if the theory of is decidable. (shrink)

Fodor advocates a view of cognitive processes as computations defined over the language of thought (or Mentalese). Even among those who endorse Mentalese, considerable controversy surrounds its representational format. What semantically relevant structure should scientific psychology attribute to Mentalese symbols? Researchers commonly emphasize logical structure, akin to that displayed by predicate calculus sentences. To counteract this tendency, I discuss computational models of navigation drawn from probabilistic robotics. These models involve computations defined over cognitive maps, which have geometric rather than (...) logical structure. They thereby demonstrate the possibility of rational cognitive processes in an exclusively non-logical representational medium. Furthermore, they offer much promise for the empirical study of animal navigation. (shrink)

First published in 1966, the Language of Criticism was the first systematic attempt to understand literary criticism through the methods of linguistic philosophy and the later work of Wittgenstein. Literary critical and aesthetic judgements are rational, but are not to be explained by scientific methods. Criticism discovers reasons for a response, rather than causes, and is a rational procedure, rather than the expression of simply subjective taste, or of ideology, or of the power relations of society. The book aims (...) at a philosophical justification of the tradition of practical criticism that runs from Matthew Arnold, through T.S.Eliot to I.A.Richards, William Empson, F.R.Leavis and the American New Critics. It argues that the close reading of texts moves justifiably from text to world, from aesthetic to ethical valuation. In this it differs radically from the schools of "theory" that have recently dominated the humanities. (shrink)