Purpose: Yerkish is an artificial language created in 1971 for the specific purpose of exploring the linguistic potential of nonhuman primates. The aim of this paper is to remind the research community of some important issues and concepts related to Yerkish that seem to have been forgotten or appear to be distorted. These are, particularly, its success, its promising aspects for future research and last but not least that it was Ernst von Glasersfeld who invented Yerkish: he coined the (...) term “lexigrams,” created the first 120 of them and designed the grammar that regulated their combination. Design: The first part of this paper begins with a short outline of the context in which the Yerkish language originated: the original LANA project. It continues by presenting the language itself in more detail: first, its design, focusing on its “lexigrams” and its “correlational” grammar, and then its use by the chimpanzee Lana in formulating sentences. The second part gives a brief introduction to the foundation of Yerkish in Silvio Ceccato’s Operational Methodology, particularly his idea of the correlational structure of thought and concludes with the main insights that can be derived from the Yerkish experiment seen in the light of Operational Methodology. Findings: Lana’s success in language learning and the success of Yerkish during the past decades are probably due to the characteristics of Yerkish, particularly its foundation in operational methodology. The operation of correlation could be what constitutes thinking in a chimpanzee and an attentional system could be what delivers the mental content that correlation assembles into triads and networks. Research implications: Since no other assessment or explanation of Lana’s performances has considered these foundational issues, a new research project or program should validate the above-mentioned hypotheses, particularly the correlational structure of chimpanzee thinking. (shrink)

Four criteria are discussed as important conditions of successful applications in Computer Supported Co-operative Work (CSCW). They are equality, mutual influence, new competence, and double-level language. The criteria originate in the experience of the International Co-operative Movement. They are examined and illustrated withreference to eight contemporary CSCW applications: meeting scheduling and support; bargaining; co-authoring; co-ordination; planning; design support and collaborative design.

(2003). Berkeley's theory of operative language in the Manuscript Introduction. British Journal for the History of Philosophy: Vol. 11, No. 2, pp. 271-301. doi: 10.1080/09608780320001047877.

Human language is a salient example of a neurocognitive system that is specialized to process complex dependencies between sensory events distributed in time, yet how this system evolved and specialized remains unclear. Artificial Grammar Learning (AGL) studies have generated a wealth of insights into how human adults and infants process different types of sequencing dependencies of varying complexity. The AGL paradigm has also been adopted to examine the sequence processing abilities of nonhuman animals. We critically evaluate this growing literature (...) in species ranging from mammals (primates and rats) to birds (pigeons, songbirds, and parrots) considering also cross‐species comparisons. The findings are contrasted with seminal studies in human infants that motivated the work in nonhuman animals. This synopsis identifies advances in knowledge and where uncertainty remains regarding the various strategies that nonhuman animals can adopt for processing sequencing dependencies. The paucity of evidence in the few species studied to date and the need for follow‐up experiments indicate that we do not yet understand the limits of animal sequence processing capacities and thereby the evolutionary pattern. This vibrant, yet still budding, field of research carries substantial promise for advancing knowledge on animal abilities, cognitive substrates, and language evolution. (shrink)

A system of modal logic with the operator is proposed, and proved complete. In contrast with a previous one by Stalnaker and Thomason, this system does not require two categories of singular terms.

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic operator; (...) in Frege's first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)

We discuss an abstract notion of a logical operation and corresponding logics. It is shown that if all the logical operations considered are implicitely definable in a logic *, then the same holds also for the logic obtained from these operations. As an application we show that certain iterated forms of infinitely deep languages are implicitely definable in game quantifier languages. We consider also relations between structures and show that Karttunen's characterization of elementary equivalence for the ordinary infinitely deep (...) languages can be generalized to hold for the iterated infinitely deep languages. An early version of this work was presented in the Abstracts Section of ICM '78. (shrink)

Dans son Algebra de 1560, Pierre de La Ramée (1515-1572) emploie une manière originale de poser les opérations de l’algèbre sous la forme de ce que j’appellerai des « schémas de calcul ». Ces schémas constituent un aspect singulier de l’écriture mathématique de Pierre de La Ramée par rapport à celle de ses contemporains. Avec ses « schémas de calcul », La Ramée contribue à l’invention, pour les mathématiques de la modernité, d’une langue propre. Leur étude conduit donc à réfléchir (...) sur les prémisses de ce que les philosophes des mathématiques appellent parfois la « révolution symbolique » du xviie siècle. Mon but est de montrer en quoi cette révolution est liée pour une part aux possibilités offertes par l’imprimerie. Je m’appuierai pour cela sur les travaux de Walter J. Ong. (shrink)

Natural languages all contain constructions the interpretation of which depends upon the situation in which they are used. In Language and Context, Jason Stanley presents a series of essays which develop a theory of how the situation in which we speak interacts with the words we use to help produce what we say. The reason we can so smoothly operate with sentences that can be used to express very different items of information, Stanley argues, is that there are linguistically (...) mandated constraints on the effects of the situation on what we say. These linguistically mandated constraints are most evident in the cases of sentences containing explicit pronouns, such as "She is a mathematician", where interpretation of the information expressed is guided by the use of the pronoun "she". But even when such explicit pronouns are lacking, our sentences provide similar cues to allow our interlocutors to determine the information expressed. We are, in the main, confident that our interlocutors will smoothly grasp what we say, because the grammar and meaning of our sentences encodes these constraints. In defending this theory, Stanley pays close attention to specific cases of context-sensitive constructions, such as quantified noun phrases, comparative adjectives, and conditionals. Philosophers and cognitive scientist have appealed to the dependence of what is intuitively said by a sentence on the situation in which it is uttered to argue against the possibility of a systematic theory of meaning for natural language. The theory developed in this book is a vigorous defense of the possibility of a systematic theory of meaning for natural language against these influential tendencies. (shrink)

Derrida, with the deconstruction philosophy, shook all movements, stances, remembering and forgetting, and changed the flow of the river of perception and thought with a deep and comprehensive operation of reasoning and perception. He has resurrected the understanding of fluidity, movement and process, which has been coming since Heraclitus and renewed in Nietzsche in its own way by formatting these concepts. It has changed the method of meaning and signification, redefining it as an event, an action. He used "writing" (...) against the upper philosophy movement that fiddled with his country. He displaced the language, the word from its place, and wreak havoc in response to the glances that do not spare his own language. He rejected domination, embracing the free meaning. He deciphered the "great game" within the tradition of European language and philosophy. The state and its philosophy that imposes its "structure" realizes its gradual dismantling. Here, the reality is that meaning appears as an action which is the deconstruction movement itself. His “writing” is the proof of the French language and way of thinking which he “he lived in”. The new crisis results from philosophy of life rather than the language of Europe. Deconstruction has been a letter which found the recipient of the philosophy of the new century. Therefore philosophy needs to reevaluate the situation in the field of language and writing. Deconstruction has deciphered the "great language game" of which it is a part, before the eyes of the world. (shrink)

The aim of this paper is to enhance doctors’ awareness of implicit understandings between doctors and patients in the context of pre-operative communication of risks. This paper draws on insights from the philosophy of language – in particular pragmatic analysis tools – that make explicit the implicit understandings of the interaction. Mastering not only _what is said_ but also _what is unsaid_ allows doctors to improve their communication with their patients. I suggest that being aware of the implications of (...) the interactions is useful for improving both the doctor’s and the patient’s experience, further strengthening the therapeutic alliance. In this article I analyze actual cases involving pre-operative evaluation before cardiac surgery from a philosophy of language perspective. The paper is structured as follows: a description of the relevant philosophy of language tools that I will apply; an overview of the risk-communication context; an explanation of the link between “the implicit dimension” and trust, addressing whether the doctor needs to convey the whole truth; and the analysis of real cases. In conclusion, I re-emphasize the importance of implicit meanings during risk communication. (shrink)

This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contex- tually salient contrasts, and explore some of their scopal idiosyncrasies.

Wittgenstein argues that understanding a language consists of mastery of techniques for playing language?games rather than some sort of mental state or episode such as mental imagery, rule invocation, or atmosphere investing our experience of words. His elimination of the three mentalistic alternatives presupposes the peculiar distinction, or its virtual lack, between speaker and listener presupposed by his positive claim, instead of establishing the latter. This paper vindicates the episodic nature of certain types of understanding, and gives each (...) of his three alternatives a suitably qualified role therein, by drawing the distinctions in a less biassed way. (shrink)

Wittgenstein has often explored language games that have to do with musical objects of different sizes (phrases, themes, formal sections or entire works). These games can refer to a technical language or to common parlance and correspond to different targets. One of these coincides with the intention to suggest a way of conceiving musical understanding. His model takes the form of the invitation to "hear (something) as (something)": typically, to hear a musical passage as an introduction or as (...) a conclusion or in a certain tonality. However one may ask to what extent or in what terms (literal or metaphorical) these procedures, and usually the intervention of language games, is requested by our common ways of understanding music. This article shows through the use of some examples that aspectual perception inherent to musical understanding does not require language games as a necessary condition (although in many cases the link between them seems very strong), in contradiction with the thesis of an essential linguistic character of music. At a basic level, it seems more appropriate to insist on the notion of a game: to understand music means to enter into the orbit of "music games" which show an autonomous functioning. Language games have, however, an important function when we develop this comprehension in the light of the criteria of judgment that substantiate the manner in which music is incorporated in and operates within specific forms of life. (shrink)

The South-to-North Water Diversion Project consists of long-distance water delivery channels and a complicated geological environment along the way. To deal with the operation safety of the water conveyance channels in the middle route of the South-to-North Water Diversion Project, this study analyzes six failure modes: structural cracks, poor water delivery during ice periods, instability of canal slopes, material aging, abnormal leakage, and foundation defects. Based on FMEA, a multigranularity language evaluation method that can be converted into interval (...) intuitionistic fuzzy numbers is used to evaluate the severity, occurrence, and detection difficulty of the six failure modes. Interval intuitionistic fuzzy entropy is used to calculate the weights of the risk factors. Finally, a ranking model of each failure mode is built based on the TODIM method. The final ranking results show that the risk of abnormal leakage is the largest, and the risk of poor water delivery during ice periods is the smallest. The feasibility and validity of the calculation results are verified by comparing them with the ranking results of the traditional RPN and TOPSIS methods. The TODIM-FMEA risk assessment model offers a new solution to the problem of risk assessment for water transfer projects. (shrink)

According to operator theories, "if" denotes a two-place operator. According to restrictor theories, "if" doesn't contribute an operator of its own but instead merely restricts the domain of some co-occurring quantifier. The standard arguments (Lewis 1975, Kratzer 1986) for restrictor theories have it that operator theories (but not restrictor theories) struggle to predict the truth conditions of quantified conditionals like -/- (1) a. If John didn't work at home, he usually worked in his office. b. If John didn't work at (...) home, he must have worked in his office. -/- Gillies (2010) offers a context-shifty conditional operator theory that predicts the right truth conditions for epistemically modalized conditionals like (1b), thus undercutting one standard argument for restrictor theories. I explore how we might generalize Gillies' theory to adverbially quantified conditionals like (1a) and deontic conditionals, and argue that a natural generalization of Gillies' theory -- following his strategy for handling epistemically modalized conditionals -- won't work for these other conditionals because a crucial assumption that epistemic modal bases are closed (used to neutralize the epistemic quantification contributed by "if") doesn't have plausible analogs in these other domains. (shrink)

Grounded in the use of the visual, Chinese thought and language operate within a wide spectrum that includes calligraphy, poetry, literature, painting, and garden-landscapes. In languages of phonetic signifiers, the spectrum is deliberately controlled to be narrower, excluding the visual from language and delegating it to iconology. These linguistic-cultural strategies have an ancient past and produce far-reaching consequences in thought and artefacts, with garden-landscapes being one of the most substantial outcomes. Garden-landscapes are China’s equivalent to Greek architecture, leading (...) us to both a repositioning of Chinese thought and a new framework of architecture. In this sense, the city, serving the function of thought in the expanded medium of conceptual and material units of meanings (figures), incorporates things into intellectual orders. This is perhaps the most important feature of Chinese thought and one that is the first to be obscured when it is rendered in scholarship in Indo-European languages. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity (...) of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of (...) intensional formulae undefined, which artificially constricts the expressivity of the theory. This paper proposes an approach to fill in this lacuna, emphasizing an analogous problem in Parry-style containment logics. In this setting, the approach receives a proof-of-concept through the introduction of a natural and general family of subsystems of Parry’s $${\textsf{PAI}}$$ PAI —with sound and complete axiomatizations—that allow a fine degree of control over the topics of intensional conditionals. (shrink)

In this book, Scott Soames argues that the revolution in the study of language and mind that has taken place since the late nineteenth century must be rethought. The central insight in the reigning tradition is that propositions are representational. To know the meaning of a sentence or the content of a belief requires knowing which things it represents as being which ways, and therefore knowing what the world must be like if it is to conform to how the (...) sentence or belief represents it. These are truth conditions of the sentence or belief. But meanings and representational contents are not truth conditions, and there is more to propositions than representational content. In addition to imposing conditions the world must satisfy if it is to be true, a proposition may also impose conditions on minds that entertain it. The study of mind and language cannot advance further without a conception of propositions that allows them to have contents of both of these sorts. Soames provides it. He does so by arguing that propositions are repeatable, purely representational cognitive acts or operations that represent the world as being a certain way, while requiring minds that perform them to satisfy certain cognitive conditions. Because they have these two types of content—one facing the world and one facing the mind—pairs of propositions can be representationally identical but cognitively distinct. Using this breakthrough, Soames offers new solutions to several of the most perplexing problems in the philosophy of language and mind. (shrink)

Contemporary realities of global population movement increasingly bring to the fore the challenge of quality and equitable health provision across language barriers. While this linguistic challenge is not unique to immigration contexts and is likewise shared by health systems responding to the needs of aboriginal peoples and other historical linguistic minorities, the expanding multilingual landscape of receiving societies renders this challenge even more critical, owing to limited or even non‐existing familiarity of modern and often monolingual health systems with the (...) particular needs of new linguistic minorities. The centrality of language to health beliefs, attitudes, practices, cultural scripts, and conceptual frameworks emphasizes its pivotal role in the healthcare process, and consequently in the adverse effects of treatment that is language‐insensitive and unaware. Such an attitude on the part of medical authorities risks considerable epistemic injustice in the form of a (mis)judgement of patients’ intelligence, credibility, and rationality based on the language that they speak and the manner in which they speak it, consequently impacting the quality and equity of care provided. This danger, I argue, may be effectively countered by fostering among the participants in the healthcare process a sense of epistemic humility through greater metalinguistic awareness. Outlining a range of operative steps that can be used to facilitate this. I argue that the reality of language barriers in the healthcare process, while not entirely eliminable, may nevertheless be successfully addressed, in order to mitigate the challenge of quality and equitable healthcare provision in multilingual societies. (shrink)

In this paper we provide a quantifier-free, constructive axiomatization of metric-Euclidean and of rectangular planes . The languages in which the axiom systems are expressed contain three individual constants and two ternary operations. We also provide an axiom system in algorithmic logic for finite Euclidean planes, and for several minimal metric-Euclidean planes. The axiom systems proposed will be used in a sequel to this paper to provide ‘the simplest possible’ axiom systems for several fragments of plane Euclidean geometry.

In my paper, I set The Language Animal against a broader picture of Taylor’s intellectual trajectory. Sources of the Self (1989) left three major questions open in its wake: (a) the viability of religious moral sources in a ‘secular’ age; (b) the compatibility between a robust moral realism and a genealogical account of modern identity; (c) the meaning and destiny of the so-called ‘linguistic turn’. This is the framing topic of his last book. Although Taylor’s variety of hermeneutics is (...) unquestionably a product of the linguistic turn, he has operated with a broad notion of the linguistic capacity from the start. Language is, for him, a shared activity and the acknowledgment of its animal embeddedness functions in his work as an antidote against any too idealized a view of the kind of creatures that humans are. In his earlier writings, however, a structural tension lurked below the surface between a Gadamerian notion of Sprache and a more phenomenological, Merleau-Pontyan, embodied outlook that was less modeled on articulate speech. My claim is that his new book marks a shift from a more speech-oriented to a more body-oriented understanding of language. (shrink)

ABSTRACT In several publications, François Recanati argues that time, world, location, and similar constituents are not arguments of the verb, although they do affect truth conditions. However, he points out that this fact does not decide the debate regarding whether these notions are represented as sentential operators variables bound by quantifiers, as both approaches can be made compatible with such non-arguments. He makes these points using philosophical arguments; in this paper I use linguistic evidence from a variety of languages. Specifically, (...) I demonstrate that time, world, location, and person behave syntactically and semantically the same across languages. Hence, either all are arguments, or neither are; and the evidence points to the latter position. The cross-linguistic data give rise to a generalization, which connects the availability of quantifying over times, worlds, locations, or persons with the availability of indexical expressions of the corresponding type. For example, a language that does not have temporal indexicals cannot have tense. I demonstrate that this generalization follows naturally from the quantifier approach, but would remain a mystery under the operator view. Therefore, the cross-linguistic evidence argues in the favor of the quantificational approach. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover (...) the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Given current data, only a few binary Boolean operators are expressed in lexically simple fashion in the world's languages: and, or, nor. These do not occur in every combination, for example, nor is not observed by itself. To explain these cross‐linguistic patterns, we propose an encoding of Boolean operators as update procedures to accept or reject information in a context. We define a measure of conceptual simplicity for such updates, on which attested operators are conceptually simpler than the remaining Booleans. (...) Moreover, we show that language evolution selects for the attested lexical inventories by minimizing the complexity of using a lexical inventory compositionally to convey precise information. (shrink)

Natural language syntax yields an unbounded array of hierarchically structured expressions. We claim that these are used in the service of active inference in accord with the free-energy principle (FEP). While conceptual advances alongside modelling and simulation work have attempted to connect speech segmentation and linguistic communication with the FEP, we extend this program to the underlying computations responsible for generating syntactic objects. We argue that recently proposed principles of economy in language design—such as “minimal search” criteria from (...) theoretical syntax—adhere to the FEP. This affords a greater degree of explanatory power to the FEP—with respect to higher language functions—and offers linguistics a grounding in first principles with respect to computability. While we mostly focus on building new principled conceptual relations between syntax and the FEP, we also show through a sample of preliminary examples how both tree-geometric depth and a Kolmogorov complexity estimate (recruiting a Lempel–Ziv compression algorithm) can be used to accurately predict legal operations on syntactic workspaces, directly in line with formulations of variational free energy minimization. This is used to motivate a general principle of language design that we term Turing–Chomsky Compression (TCC). We use TCC to align concerns of linguists with the normative account of self-organization furnished by the FEP, by marshalling evidence from theoretical linguistics and psycholinguistics to ground core principles of efficient syntactic computation within active inference. (shrink)

Natural language provides motivation for studying modal backwards-looking operators such as “now”, “then” and “actually” that evaluate their argument formula at some previously considered point instead of the current one. This paper investigates the expressive power over models of both propositional and first-order basic modal language enriched with such operators. Having defined an appropriate notion of bisimulation for first-order modal logic, I show that backwards-looking operators increase its expressive power quite mildly, contrary to beliefs widespread among philosophers of (...) language and formal semanticists. That in turn presents a strong argument for the use of operator-based systems in the semantics of natural language, instead of systems with explicit quantification over worlds and times that have become a de-facto standard for such applications. The popularity of such explicit-quantification systems is shown to be based on the misinterpretation of a claim by Cresswell, which led many philosophers and linguists to assume that introducing “now” and “then” is expressively equivalent to explicitly quantifying over worlds and times. (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of the (...) debate in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

Newport addresses a fundamental question in language learning: When, why, and how do learners come to form rules, given linguistic input that varies probabilistically? She presents several case studies that confirm and extend a long‐standing theme of her work: that young learners tend to form rules from variable input, whereas adult learners store and use its statistical probabilities. Thus, child and adult learners use quite different kinds of computations when learning language; the consequence is that operating on the (...) very same input to learning results in quite different outcomes of learning. (shrink)

Our understanding of the nature and processing of figurative language is central to several important issues in cognitive science, including the relationship of language and thought, how we process language, and how we comprehend abstract meaning. Over the past fifteen years, traditional approaches to these issues have been challenged by experimental psychologists, linguists, and other cognitive scientists interested in the structures of the mind and the processes that operate on them. In Figurative Language and Thought, internationally (...) recognized experts in the field of figurative language, Albert Katz, Mark Turner, Raymond W. Gibbs Jr., and Cristina Cacciari, provide a coherent and focused debate on the subject. The book's authors discuss a variety of fundamental questions, including: What can figures of speech tell us about the structure of the conceptual system? If and how should we distinguish the literal from the nonliteral in our theories of language and thought? Are we primarily figurative thinkers and consequently figurative language users or the other way around? Why do we prefer to speak metaphorically in everyday conversation, when literal options may be available for use? Is metaphor the only vehicle through which we can understand abstract concepts? What role do cultural and social factors play in our comprehension of figurative language? These and related questions are raised and argued in an integrative look at the role of nonliteral language in cognition. This volume, a part of Counterpoints series, will be thought-provoking reading for a wide range of cognitive psychologists, linguists, and philosophers. (shrink)

We propose that to understand the biological and neurophysiological processes that give rise to human mental phenomena it is necessary to consider them as behavioral relational phenomena. In particular, we propose that: a) these phenomena take place in the relational manner of living that human language constitutes, and b) that they arise as recursive operations in such behavioral domain. Accordingly, we maintain that these phenomena do not take place in the brain, nor are they the result of a unique (...) operation of a human brain, but arise with the participation of the brain as it generates the behavioral relational dynamics that constitutes language. (shrink)

I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so-called Tarski-Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the notion of invariance is needed if one wants to use it to characterize logicality.

Modern weaponry is often too complex for unaided human operation, and is largely or totally controlled by computers. But modern software, particularly artificial intelligence software, exhibits such complexity and inscrutability that there are grave dangers associated with its use in non-benign applications. Recent efforts to make computer systems more accessible to military personnel through natural language processing systems, as proposed in the Strategic Computing Initiative of the Defense Advanced Research Projects Agency, increases rather than decreases the dangers of (...) unpredictable behavior. Defense systems constitute, in fact, a paradigm case of the wrong kind of application for this technology. This cannot be expected to change, since the unpredictability stems from inherent properties of computer systems and of natural languages. (shrink)

Logic of proofs LP was introduced by S. Artemov in. It describes properties of the proof predicate “t is a proof of F” formalized by the formula ⟦t⟧ F. Proofs are represented by terms constructed by three elementary recursive operations on proofs. In this paper we extend the language of the logic of proofs by the additional storage predicate x ∋ F with the intended interpretation “x is a label for F”. The storage predicate can play the role of (...) syntax encoding, so it is useful for specification of operations on proofs, especially those that require formula arguments. We give a definition of a specification of an operation on proofs and introduce logics that describe such operations. For a large class of operations we prove the completeness of these logics with respect to the intended semantics. We also study the logic describing the operation of substitution. (shrink)

In this paper we provide quantifier-free, constructive axiomatizations for several fragments of plane Euclidean geometry over Euclidean fields, such that each axiom contains at most 4 variables. The languages in which they are expressed contain only at most ternary operations. In some precisely defined sense these axiomatizations are the simplest possible.

Skulsky examines how figurative language acts in seventeenth-century English poetry. Though a working knowledge of these poets would be helpful to the reader, particularly with respect to the work of John Donne, George Herbert, and Henry Vaughan, it is not absolutely necessary. Furthermore, though Skulsky's book may be of primary interest to the student of poetry, much of what he says in respect to the way in which language operates will be of concern to the philosopher.

In this paper we provide a quantifier-free constructive axiomatization for Euclidean planes in a first-order language with only ternary operation symbols and three constant symbols . We also determine the algorithmic theories of some ‘naturally occurring’ plane geometries.

Language employs various coordinators to connect propositions, a subset of which are “logical” in nature and thus analogous to the truth operators of formal logic. We here focus on two linguistic connectives and their negations: conjunction _and_ and (inclusive) disjunction _or_. Linguistic connectives exhibit a truth-conditional component as part of their meaning (their semantics), but their use in context can give rise to various implicatures and presuppositions (the domain of pragmatics) as well as to inferences that go beyond semantic/pragmatic (...) properties (the result of reasoning processes). We provide a comprehensive review of the role of the logical connectives in language and argue that three sets of factors—semantic, pragmatic, and those related to reasoning—are separate and separable, though some details may differ cross-linguistically. As a way to showcase the argument, we present two experiments in language comprehension in Spanish wherein pragmatic content was minimised and reasoning processes neutered, thus potentially highlighting what might be the default meanings of the connectives under study. In Experiment 1 we show that the conjunctive reading of inclusive disjunction is available in positive contexts other than in syntactically intricate cases such as downward entailing and free choice contexts, contrary to what has been claimed in the literature. In Experiment 2 we show that negated conjunctions and disjunctions in Spanish can easily receive the same interpretation when contrasted against the same context and, moreover, that these interpretations match those available in English, despite claims from the literature that linguistic connectives and local negation interact differently in English and Romance languages. (shrink)

“Small” large cardinal notions in the language of ZFC are those large cardinal notions that are consistent with V = L. Besides their original formulation in classical set theory, we have a variety of analogue notions in systems of admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, explicit mathematics and recursive ordinal notations (as used in proof theory). On the face of it, it is surprising that such distinctively set-theoretical notions have analogues in such disaparate (...) and relatively constructive contexts. There must be an underlying reason why that is possible (and, incidentally, why “large” large cardinal notions have not led to comparable analogues). My long term aim is to develop a common language in which such notions can be expressed and can be interpreted both in their original classical form and in their analogue form in each of these special constructive and semi-constructive cases. This is a program in progress. What is done here, to begin with, is to show how that can be done to a considerable extent in the settings of classical and admissible set theory (and thence, admissible recursion theory). The approach taken here is to expand the language of set theory to allow us to talk about (possibly partial) operations applicable both to sets and to operations and to formulate the large cardinal notions in question in terms of operational closure conditions; at the same time only minimal existence axioms are posited for sets. The resulting system, called Operational Set Theory, is a partial adaptation to the set-theoretical framework of the explicit mathematics framework Feferman (1975). The.. (shrink)