Despite some sound basic assumptions, Wilkins & Wakefield portray a Homo habilis too linguistically sophisticated to fit in with the subsequent fossil record and thereby lose a reasoned explanation for human innovativeness. They err, too, in accepting a single-level model of conceptual structure and in deriving initial linguistic units from calls, a process far more dubious than the derivation of home-sign from naive gesture.

The article considers descriptive statements about languages and language phenomena and seeks to determine how such statements can be “true”. Descriptive statements about languages are considered from the points of view of the correspondence and coherence theories of truth and from the point of view of hypothetico-deductive testing. It is argued that descriptive statements about languages are rationally discussable interpretations disciplined by what we can observe within a given paradigm, and that issues of truth and issues of empirical (...) testing should be distinguished. (shrink)

The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. (...) Such conclusions are difficult to reconcile with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

In In Contradiction, Graham Priest shows, as clearly as anything like this can be shown, that it is coherent to maintain that some sentences can be both true and false at the same time. As a consequence, some contradictions are true, and an appreciation of this possibility advances our understanding of the nature of logic and language.

The paper shows that certain well established arguments widely used in the philosophy of language to discredit some semantic theories are, in fact, defective . In particular, the direct reference theory is usually rejected, because it is impossible to substitute co-referential proper names for each other in epistemic contexts and true identity sentences of the form “a = b”, where a and b are proper names, have to be both necessary and a posteriori. Both arguments are based on (...) what a competent user of a given language is willing to admit or refuse to admit. It is shown that the language user invoked in these arguments has to be perfect in a certain sense. Otherwise, the arguments are inconclusive. However, if perfect speakers enter the picture, these arguments become theory laden in a certain way and thus fail to be neutral means which can be used to distinguish correct theories from incorrect ones. In this sense, they cannot be used to discredit neither the direct reference theory, nor any other rival theory. (shrink)

We study the relationships between two clusters of axiomatizations of Kripke’s fixed-point models for languages containing a self-applicable truth predicate. The first cluster is represented by what we will call ‘\-like’ theories, originating in recent work by Halbach and Horsten, whose axioms and rules are all valid in fixed-point models; the second by ‘\-like’ theories first introduced by Solomon Feferman, that lose this property but reflect the classicality of the metatheory in which Kripke’s construction is carried out. We show that (...) to any natural system in one cluster—corresponding to natural variations on induction schemata—there is a corresponding system in the other proving the same sentences true, addressing a problem left open by Halbach and Horsten and accomplishing a suitably modified version of the project sketched by Reinhardt aiming at an instrumental reading of classical theories of self-applicable truth. (shrink)

According to the subjective view of lying, speakers can lie by asserting a true proposition, as long as they believe this proposition to be false. This view contrasts with the objective view, according to which lying requires the actual falsity of the proposition asserted. The aim of this paper is to draw attention to pairs of assertions that differ only in intuitively redundant content and to show that such pairs of assertions are a reason to favour the subjective view (...) of lying over the objective one. (shrink)

First published in English in1966, _The True and The Evident_ is a translation of Franz Brentano’s posthumous _Wahrheit und Evidenz_, edited by Oscsar Kraus. The book includes Brentano’s influential lecture "On the Concept of Truth", read before the Vienna Philosophical Society, a variety of essays, drawn from the immense wealth of Brentano’s unpublished material, and letters written by him to Marty, Kraus Hillebrand, and Husserl. Brentano rejects the familiar versions of the "correspondence theory of truth" and proposes to define (...) the true in terms of the evident. In criticising the metaphysical assumptions presupposed by the correspondence theory, he sets forth a conception of language and reality that has subsequently become known as "reism". (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)

In Parts I, II, and III of the paper, the authors show that an argument essential to Alan White's defense of the Correspondence Theory of truth is unsuccessful. They argue that some of the premises of White's argument are false, and others incoherent. They show, further, that certain widely accepted assumptions in the philosophy of language, which underlie White's argument, must also be abandoned. In Part IV, they attempt to say something new about 'true', 'false', truth and falsity, (...) and related notions. They do not offer a competing theory to White's, but instead stress features of the use of these words and concepts which philosophers have either ignored or insufficiently emphasized. (shrink)

17 essays discussing the role of language in the history of western thought. Since Adam before the Fall named the animals by true insight into their essences, language has never ceased to be the pivot of efforts to understand human nature and our capacity to feel at home in the twin worlds of nature and society. This volume brings together seventeen essays that have appeared in the Journal of the History of Ideasover the last thirty years. Their (...) common theme is the role of language in aspects of the history of western thought from the Renaissance to the nineteenth century. The essays cover questions in epistemology, religion, anthropology, lexicography, evolution, the theory of signs, and the origin of language. Contributors: FRANK L. BORCHARDT, MARGRETA DE GRAZIA, SIDONIE CLAUSS, JAN MIEL, THOMAS C.SINGER, VICTOR ANTHONY RUDOWSKI, JULES PAUL SEIGEL, JAMES McLAVERTY, J.R. KNOWLSON, STEPHEN K. LAND, LIA FORMIGARI, H.J. JACKSON, W. JAY REEDY, V.P. BYNACK, CYMBRE QUINCYRAUB, MICHAEL SPRINKER, S. MORRIS ENGEL. (shrink)

This article deals with the relationship between language and thought, focusing on the question of whether language can be a vehicle of thought, as, for example, Peter Carruthers has claimed. We develop and examine a powerful argument—the "argument from explicitness"—against this cognitive role of language. The premises of the argument are just two: (1) the vehicle of thought has to be explicit, and (2) natural languages are not explicit. We explain what these simple premises mean and why (...) we should believe they are true. Finally, we argue that even though the argument from explicitness shows that natural language cannot be a vehicle of thought, there is a cognitive function for language. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.3 (2001) 425-444 [Access article in PDF] The Passions and Animal Language, 1540-1700 R. W. Serjeantson "Do not think, kind and benevolent readers, that I am proposing a useless subject to you by choosing to discuss the language [loquela] of beasts. For this is nothing other than philosophy, which investigates the natures of animals." 1 The Italian medical professor Hieronymus Fabricius (...) ab Aquapendente began his 1603 treatise On the language of beasts with this captatio benevolentiae with good cause. For early modern natural philosophers almost universally insisted that only humans were capable of language and speech. In this they followed, sometimes explicitly, their ancient authorities. "Man," Aristotle had said in the Politics, "is the only animal that has the gift of speech." "Men," wrote Cicero in the De inventione, "most excel the beasts in this, that they can speak." 2 They were sentiments echoed throughout the sixteenth and seventeenth centuries. "There is no true language among beastes," said Sir Kenelm Digby. "Language" (loquela), concurred G. J. Vossius, "is unique to man." And according to John Ray in The Wisdom of God (1691), speech was "a quality so peculiar to Man, that no Beast could ever attain to it." 3Language was a subject of absorbing interest to numerous early modern philosophers. They investigated its origin, its production, its signification, and its use. But behind almost all of these investigations lay one of the most profound suppositions in early modern anthropology: the uniqueness of the human [End Page 425] capacity for language, and the brutishness of the brute beasts. Harsh judgments were passed on those who thought that animals might be able to speak. Lawyers held that belief in animal language was sufficient evidence of idiocy. According to Kenelm Digby it was only vanity, ignorance, and a specious desire for reputation that had led some authors to argue that animals used "compleate languages as Men haue to discourse with one another in." And the seventeenth-century English writer on the passions, Edward Reynolds, thought that only "melancholy men" believed "that Elephants and Birds, and other Creatures have a language whereby they discourse with one another." 4Yet despite this pervasive assumption that humans spoke and animals did not, the question of animal language kept arising in early modern culture. Readers met speaking animals in beast fablesand on Lucianic voyages. There was a popular belief in early modern England that "in the olde tymes" animals could speak. 5 Theodore Zwinger, Claude Duret, and G. J. Vossius all recorded many accounts of human communication with birds, with the ancient claim that Apollonius of Tyana could understand birdsong being particularly notorious. 6 In the Old Testament Balaam's ass asks his owner what he has done to deserve being beaten. 7 And St. Basil had even suggested that before the Fall Adam and Eve had been able to talk to the animals as well as to name them--a suggestion that both Thomas Browne and Joseph Glanvill gave short shrift. 8 But my purpose in this paper is not to follow speaking animals through early modern fables, popular beliefs, or even Biblical commentary. Instead, I propose to explore the serious investigations of zoosemiotics and animal communication that were undertaken by numerous philosophers in the sixteenth and seventeenth centuries. 9For then as now, the question of animal language, broadly interpreted, was a serious one for the sciences. It was a question that was addressed across a wide range of disciplines, from logic to natural history. As such it was an important component of the many discussions of the nature of animal reason--discussions that provided a means for skeptical moral philosophers to humble human pretensions [End Page 426] to rationality and wisdom. 10 Natural philosophers, too, undertook detailed inquiries into the question of animal expression, exploring issues of articulacy, anatomy, and function. Almost all early modern authors agreed that animals could not speak and did not possess language in the same way that humans did. But this still left a great deal of scope for considering the extent... (shrink)

The ontology of language is concerned with the relations between uses of language, both overt and covert, and other entities, whether in the world or in the mind of the thinking subject. We attempt a first survey of the sorts of relations which might come into question for such an ontology, including: relations between referring uses of expressions and their objects, relations between the use of a (true) sentence and that in the world which makes it (...) class='Hi'>true, relations between mental acts on the one hand and underlying mental states (attitudes, beliefs), on the other, relations between my acts and states, associated uses of language and overt actions on my part and on the part of those other subjects with whom I communicate. (shrink)

In ‘Wittgenstein on Language and Rules’, Professor N. Malcolm took us to task for misinterpreting Wittgenstein's arguments on the relationship between the concept of following a rule and the concept of community agreement on what counts as following a given rule. Not that we denied that there are any grammatical connections between these concepts. On the contrary, we emphasized that a rule and an act in accord with it make contact in language. Moreover we argued that agreement in (...) judgments and in definitions is indeed necessary for a shared language. But we denied that the concept of a language is so tightly interwoven with the concept of a community of speakers as to preclude its applicabilty to someone whose use of signs is not shared by others. Malcolm holds that ‘This is an unwitting reduction of Wittgenstein's originality. That human agreement is necessary for “shared” language is not so striking a thought as that it is essential for language simpliciter .’ Though less striking, we believe that it has the merit of being a true thought. We shall once more try to show both that it is correct, and that it is a correct account of Wittgenstein's arguments. (shrink)

Heidegger reflects on technology, language, and tradition, and he guides us into rethinking the common conceptions of technology and language. He argues that the anthropological-instrumental conception of modem technology is correct but not true, as it does not capture what is most peculiar to technology: the demand to challenge nature. The common conception of language as a mere means for exchange and understanding, on the other hand, is taken to its extremes in the technological interpretation of (...) language as information. Heidegger also argues that the technological transformation of language represents an attack on what is peculiar to language as saying, i.e., as letting-appear. Such attack constitutes a threat to our very essence. The traditional or non-technologized everyday language, however, preserves what is original and contains new possibilities. The opposition between traditional language and technological language thus concerns our essence, our world-relation and world-living. (shrink)

Heidegger reflects on technology, language, and tradition, and he guides us into rethinking the common conceptions of technology and language. He argues that the anthropological-instrumental conception of modem technology is correct but not true, as it does not capture what is most peculiar to technology: the demand to challenge nature. The common conception of language as a mere means for exchange and understanding, on the other hand, is taken to its extremes in the technological interpretation of (...) language as information. Heidegger also argues that the technological transformation of language represents an attack on what is peculiar to language as saying, i.e., as letting-appear. Such attack constitutes a threat to our very essence. The traditional or non-technologized everyday language, however, preserves what is original and contains new possibilities. The opposition between traditional language and technological language thus concerns our essence, our world-relation and world-living. (shrink)

Between the end of the nineteenth century and the first twenty years of the twentieth century, stimulated by the impetuous development of logical studies and taking inspiration from Leibniz's idea of a characteristica universalis, the three founding fathers of the analytic tradition in philosophy, i.e., Frege, Russell, and Wittgenstein, started to talk of a logically perfect language, as opposed to natural languages, all feeling that the latter were inadequate to their (different) philosophical purposes. In the second half of the (...) twentieth century, however, the very idea of a logically perfect language ceased for various reasons to seem attractive to analytic philosophers. Thus, it might appear that this idea could be classified together with the many other bizarre ideas that from time to time surface in the history of philosophy-an idea that perhaps had a beneficial impact on the development of twentieth century logic, but which can now be put to rest. In this brief note, I contend that this conclusion may be too hasty. Indeed, if a well-known empirical hypothesis advanced in 1975 by Jerry Fodor turns out to be true, then there is a logically perfect language, after all. More precisely, I argue that, if it exists, Fodor's language of thought possesses the main characteristics a logically perfect language is required to have. (shrink)

In the final years of his life, Emanuel Swedenborg wrote _True Christianity_, an opus that served both to contextualize his theology within contemporary Christianity and to serve as a road map for the new spiritual age that would follow. This second volume covers topics such as freedom of choice, repentance, the transformation of a person’s inner being during spiritual awakening, the rites of baptism and the Holy Supper, and the second coming of the Lord. This new translation is part of (...) the New Century Edition of the Works of Emanuel Swedenborg, an ongoing project to render Swedenborg’s theological works in clear, contemporary language that reflects the simple and engaging style of the original Latin. The portable edition contains the text of the New Century Edition translation, but not the annotations or other supplementary materials found in the deluxe edition. (shrink)

What makes the words we speak mean what they do? Possible-worlds semantics articulates the view that the meanings of words contribute to determining, for each sentence, which possible worlds would make the sentence true, and which would make it false. M. J. Cresswell argues that the non-semantic facts on which such semantic facts supervene are facts about the causal interactions between the linguistic behaviour of speakers and the facts in the world that they are speaking about, and that the (...) kind of causation involved is best analysed using David Lewis's account of causation in terms of counterfactuals. Although philosophers have worked on the question of the connection between meaning and linguistic behaviour, it has mostly been without regard to the work done in possible-world semantics and Language in the World is a book-length examination of this problem. (shrink)

What is philosophy about and what are its methods? _Philosophy and Ordinary Language_ is a defence of the view that philosophy is largely about questions of language, which to a large extent means _ordinary_ language. Some people argue that if philosophy is about ordinary language, then it is necessarily less deep and difficult than it is usually taken to be but Oswald Hanfling shows us that this isn't true. Hanfling, a leading expert in the development of (...) analytic philosophy, covers a wide range of topics, including scepticism and the definition of knowledge, free will, empiricism, folk psychology, ordinary versus artificial logic, and philosophy versus science. Drawing on philosophers such as Austin, Wittgenstein, and Quine, this book explores the nature of ordinary language in philosophy. (shrink)

The first major advances in the understanding of the neurological bases for language abilities were the results of the study of the brains and behaviors of patients with language impairments due to focal brain damage. The two most prominent pioneers in this field are remembered because their names have become associated with distinctive aphasia (language loss) syndromes and the brain regions associated with them. In 1861 Paul Broca described the damage site in the brain of a patient (...) who had lost the ability to produce articulate speech as a result of a stroke. Broca's aphasia, as it is now commonly called, is produced by damage that involves the inferior left frontal lobe of the brain. It tends to produce both a loss of articulatory skill (sometimes but not always with paralysis) and (as discovered much later) problems with grammar and syntax, including grammatical comprehension under certain conditions. Despite speech production impairments, Broca's aphasics do not have basic word‐ and sentence‐comprehension difficulties, when comprehension is not dependent on syntactic analysis. In 1874 Carl Wernicke demonstrated that damage to the left superior temporal lobe produced a different syndrome of language impairments. Wernicke's aphasia generally spares fluent, syntactic speech but impairs the use and comprehension of content words. Wernicke's aphasics'speech includes inappropriate word substitutions, neologisms, and semantic confusions, and their comprehension is similarly disturbed. These early studies also demonstrated that these aphasic disturbances were almost exclusively associated with damage to the structures of the left cerebral hemisphere, even though anatomically corresponding structures are present on both sides of the brain. However, this is not true of all language functions. Some left‐handed individuals can suffer aphasia from right hemisphere damage, and recent studies of patients with right hemisphere damage without aphasia have demonstrated impairment of their comprehension above the sentence level (e.g., interpretation of jokes and stories) and in the production and interpretation of prosodic features of speech (rhythmic and tonal patterning that conveys emphasis and emotion). (shrink)

This is a largely expository paper in which the following simple idea is pursued. Take the truth value of a formula to be the set of agents that accept the formula as true. This means we work with an arbitrary (finite) Boolean algebra as the truth value space. When this is properly formalized, complete modal tableau systems exist, and there are natural versions of bisimulations that behave well from an algebraic point of view. There remain significant problems concerning the (...) proper formalization, in this context, of natural language statements, particularly those involving negative knowledge and common knowledge. A case study is presented which brings these problems to the fore. None of the basic material presented here is new to this paper—all has appeared in several papers over many years, by the present author and by others. Much of the development in the literature is more general than here—we have confined things to the Boolean case for simplicity and clarity. Most proofs are omitted, but several of the examples are new. The main virtue of the present paper is its coherent presentation of a systematic point of view—identify the truth value of a formula with the set of those who say the formula is true. (shrink)

This is a largely expository paper in which the following simple idea is pursued. Take the truth value of a formula to be the set of agents that accept the formula as true. This means we work with an arbitrary Boolean algebra as the truth value space. When this is properly formalized, complete modal tableau systems exist, and there are natural versions of bisimulations that behave well from an algebraic point of view. There remain significant problems concerning the proper (...) formalization, in this context, of natural language statements, particularly those involving negative knowledge and common knowledge. A case study is presented which brings these problems to the fore. None of the basic material presented here is new to this paper—all has appeared in several papers over many years, by the present author and by others. Much of the development in the literature is more general than here—we have confined things to the Boolean case for simplicity and clarity. Most proofs are omitted, but several of the examples are new. The main virtue of the present paper is its coherent presentation of a systematic point of view—identify the truth value of a formula with the set of those who say the formula is true. (shrink)

With Augustine and especially with Wittgenstein, we see that when we use language we negotiate a meaning since language is something we acquire in a community. On the other hand, Chomsky argues that language is something that happens to us, rather than something we learn. We attempt to bring these two positions in a balance by following Davidson's ideas on meaning and radical interpretation, which gives us a way to keep meaning (what someone thinks) and belief (what (...) someone holds true about the world) together and thus we manage to bring and keep the individual and the community in a balance. Moreover, through language, with the help of narrative, we get in touch with ourselves, as selves, and with the others, which leads us to considerations on personal identity. To illustrate this, we bring in a few examples ranging from Apache stories in Arizona to narrative accounts about lives lived while changing linguistic environments. In guise of conclusion, we will attempt to move the discussion on the field of multiculturalism, pointing out a possible line of research which would inquire into an alternative approach to understanding other cultures by emphasizing the concept of dialogue and a re-defined concept of identity. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product. We also express a true statement that an agent’s beliefs about another agent’s knowledge flipped twice, and use a sound proof system to prove this statement. Adding a next-time operator to PAL, we provide formulas that express that belief revision does not (...) take place in PAL. We also discuss relationships between announcements and the new knowledge agents thus acquire; such relationships are related to learning and to Fitch’s paradox. We also show how inverse programs and hybrid logic each can be used to help determine whether or not an arbitrary structure represents the play of a game. We then add a past-time operator to DEL, and discuss the importance of adding yet another component to the language in order to prove completeness. (shrink)

Part I of Language and Time is a defence of the tensed theory of time, the view that assertions about events happening now or being past or future are irreducible to tenseless assertions about the dates at which events happen or about their occurrence before or after other events. It claims that tensed sentences are not translatable by tenseless sentences, nor do they have the same truth conditions as tenseless sentences. They are reducible in neither of these senses either (...) to tenseless date sentences—e.g. “it is raining today” does not have the same truth conditions as “it is raining on 22 February 1994”; nor to token reflexive sentences—e.g. “it is raining now” does not have the same truth conditions as “it is raining simultaneously with this utterance”. Hence, Smith argues, since evidently some tensed sentences are true, they must express propositions of a different kind from tenseless propositions—viz. tensed propositions. (shrink)

Notice that this paper has not claimed that all natural languages are CFL's. What it has shown is that every published argument purporting to demonstrate the non-context-freeness of some natural language is invalid, either formally or empirically or both.18 Whether non-context-free characteristics can be found in the stringset of some natural language remains an open question, just as it was a quarter century ago.Whether the question is ultimately answered in the negative or the affirmative, there will be interesting (...) further questions to ask. If it turns out that natural languages are indeed always CFL's, it will be reasonable to ask whether this helps to explain why speakers apparently recognize so quickly whether a presented utterance corresponds to a grammatical sentence or not, and to associate structural and semantic details with it. It might also be reasonable to speculate about the explanation for the universally context-free character of the languages used by humans, and to wonder whether evolutionary biological factors are implicated in some way (Sampson (1979) could be read in this light). And naturally, it will be reasonable to pursue the program put forward by Gazdar (1981, in press) to see to what extent CFL-inducing grammatical devices can be exploited to yield insightful descriptions of natural languages that capture generalizations in revealing ways.If a human language that is not a CFL is proved to exist, on the other hand, a different question will be raised: give the non-context-free character of human languages in general, why has this property been so hard to demonstrate that it has taken over twenty-five years to bring it to light since the issue was first explicitly posed? If human languages do not have to be CFL's, why do so many (most?) of them come so close to having the property of context-freeness? And, since the CFL's certainly constitute a very broad class of mathematically natural and computationally tractable languages, what property of human beings or their communicative or cognitive needs is it that has caused some linguistic communities to reach beyond the boundaries of this class in the course of evolving a linguistic system?Either way, we shall be interested to see our initial question resolved, and further questions raised. One cautionary word should be said, however, about the implications (or lack of them) that the answer will have for grammatical studies. Chomsky has repeatedly stated that he does not see weak generative capacity as a theme of central importance in the theory of grammar, and we agree. It is very far from being the case that the recent resurgence of interest in exploring the potential of CF-PSG or equivalent systems will, or should, be halted dead in its tracks by the discovery (if it is ever forthcoming) that some natural language is not a CFL. In the area of parsing, for instance, it seems possible that natural languages are not only parsed on the basis of constituent structure such as a CF-PSG would assign, but are parsed as if they were finite state languages (see Langendoen (1975) and Church (1980) for discussion along these lines). That is, precisely those construction-types that figure in the various proofs that English is not an FSL appear to cause massive difficulty in the human processing system; the sentences crucial to the proofs are for the most part unprocessable unless they are extremely short (yet the arguments for English not being and FSL only go through if length is not an issue). This means that in practice properties of finite state grammars are still of great potential importance to linguistic theory despite the fact that they do not provide the framework for defining the total class of grammatical sentences. The same would almost certannly be true of CF-PSG's if they were shown to be inadequate in a similar sense. It is highly unlikely that the advances made so far in far in phrase structure description could be nullified by a discovery about weak generative capacity. Moreover, there are known to be numerous ways in which the power of CF-PSG's can be marginally enhanced to permit, for example, xx languages to be generated without allowing anything like the full class of recursively enumerable or even context-sensitive languages (see Hopcroft and Ullmann (1979), Chapter 14) for an introduction to this topic, noting especially Figure 14.7 on p. 393. The obvious thing to do if natural languages were ever shown not to be CFL's in the general case would be to start exploring such minimal enhancements of expressive power to determine exactly what natural languages call for in this regard and how it could be effectively but parsimoniously provided in a way that closely modelled human linguistic capacities.In the meantime, it seems reasonable to assume that the natural languages are a proper subset of the infinite-cardinality CFL's until such time as they are validly shown not to be. (shrink)

In this paper various branching time semantics are compared with the aim of clarifying the role of true futures of counterfactual moments, that is, true futures of moments outside the true chronicle. First we give an account of Arthur Prior’s Ockhamistic semantics where truth of a formula is relative to a moment and a chronicle. We prove that this is equivalent to a version of a semantics put forward by Thomason and Gupta where truth is relative to (...) a moment and what is called a chronicle function which assigns a chronicle to each moment. Later we discuss how a semantic theory considered by Belnap and Green may be formalised. It comes about by assuming a chronicle function to be given once and for all. However, this semantics invalidates an intuitively valid formula, so we present an alternative semantics where the formula in question is valid. Furthermore, we shall exhibit an intuitively invalid formula which is invalid in our alternative semantics, but which is valid in Prior’s Ockhamistic semantics. So we can conclude that Prior’s Ockhamistic validity does not imply validity in the alternative semantics. On the other hand, the converse implication does hold, as we shall prove. Summary of mathematical results: We have proved that Prior’s Ockhamistic semantics has the same valid formulas as Thomason and Gupta’s semantics, and we have proved that Prior’s Ockhamistic semantics has strictly more valid formulas than the alternative semantics. (shrink)

Theistic religions differ in their conceptions of the nature of God. One philosophical-theological position, the Christian Trinity, stands out as unique amongst theistic religions. If such a position were demonstrated, it would significantly narrow the philosophical-theological gap in discussions of God’s nature. I proposed that such an argument in favor of the Christian Trinity can be found in Wittgenstein’s philosophy of language. It is argued that language is an essentially social phenomenon and that God is a language (...) user requiring God to be an essentially social being. As a result, either polytheism or the Christian Trinity is true. I argue that this divine social nature is best explained by the Christian Trinity. (shrink)

This book explores two basic questions regarding constitutional theory. First, in view of a commitment to democratic self-rule and widespread disagreement on questions of value, how is the creation of a legitimate constitutional regime possible? Second, what must be true about a constitution if the regime that it supports is to retain its claim to legitimacy? Howard Schweber shows that the answers to these questions appear in a theory of constitutional language that combines democratic theory with constitutional philosophy. (...) The creation of a legitimate constitutional regime depends on a shared commitment to a particular and specialized form of language. Out of this simple observation, Schweber develops arguments about the characteristics of constitutional language, the necessary differences between constitutional language and the language of ordinary law or morality, as well as the authority of officials such as judges to engage in constitutional review of laws. (shrink)

Contrary to Michael Miller, I maintain that Descartes’s language test adequately distinguishes humans from non-human animals, and that the bonobosKanzi and Panbanisha have not passed it. Miller accepts Descartes’s language test as a good test for true language usage, but denies that it is an adequate test for the presence or absence of reason. I argue that it is a good test for reason, for normal rational beings eventually recognize the desirableness of knowledge of the world (...) for its own sake as well as the fact that such knowledge can be increased by conversing with others. I also argue that the tests administered to the bonobos in question are inadequate for determining true language usage, as they could be passed by animals merely capable of associative learning. (shrink)

This article explores the role of language and ideology in Soviet philosophy and education. The author argues that the Soviet regime deliberately used philosophy as a tool for manipulation, with the aim of creating a common understanding that Marxism and Leninism are the only true doctrines of philosophy. The course of philosophy was mandatory at all levels of education and was fully standardized, with a focus on scientific grounds that only Marxist philosophy was valid. The article also highlights (...) the role of language in the Soviet language lockdown policy, where the Russian language was prioritized as the primary language of education and science, suppressing national languages and cultures of member countries. Furthermore, translations of key philosophical texts were selectively done, presenting only those texts that did not touch upon political or religious issues. The article concludes that the oppressive language and ideology practices in Soviet philosophy had a significant impact on the intellectual and cultural development of the Soviet Union and its member countries. (shrink)

'This sentence is false' - is that true? The 'Liar paradox' embodied in those words exerted a particular fascination on the logicians of the Western later Middle Ages, and, along with similar 'insoluble' problems, forms the subject of the first group of articles in this volume. In the following parts Professor Spade turns to medieval semantic theory, views on the relationship between language and thought, and to a study of one particular genre of disputation, that known as 'obligationes'. (...) The focus is on the Oxford scholastics of the first half of the 14th century, and it is the name of William of Ockham which dominates these pages - a thinker with whom Professor Spade finds himself in considerable philosophical sympathy, and whose work on logic and semantic theory has a depth and richness that have not always been sufficiently appreciated. (shrink)

The contents of Brahmajnaana, the Buddhism, the Jainism, the Sabdabrahma Siddhanta and Shaddarsanas will be discussed to present the true meaning of individual’s identity and I. The influence of spirituality contained in Upanishadic insight in the development of Sanskrit language structure, Indian culture, and individual identity formation will be developed. The cultural and psychological aspects of a civilization on the formation of its language structure and prominence given to various parts of speech and vice versa will be (...) touched upon. These aspects will be also compared and contrasted with German, French, Telugu and Hindi and their respective influence on cultural and identity formation and vice versa. A cognitive science interpretation of advaita and dvaita phases of mind and bhakti and vibhakti modes of language acquisition and communication in terms of physics and electronics will be given and be clubbed to present an inclusive and comprehensive modern scientific and social scientific understanding and interpretation of Brahmajnaana, the Buddhism, the Jainism and rest of current theistic and atheistic awareness of I and its spiritual, linguistic, cognitive scientific and rationalistic ideas and opinions. The use of this study for national integration and oneness of Indians will be highlighted. (shrink)

John MacFarlane has recently presented a novel argument in support of truth- relativism. According to this, contextualists fail to accommodate retrospective reassessments of propositional contents, when it comes to languages which are rich enough to express actuality. The aim of this note is twofold. First, it is to argue that the argument can be effectively rejected, since it rests on an inadequate conception of actuality. Second, it is to offer a more plausible account of actuality in branching time, along the (...) line of Lewis (1970/1983). (shrink)

There are many ways for truths to be true. How should we understand that idea? One is that there are different kinds of truth: the _ways_ are different truth-like properties. Another understanding is that a truth can be made true in different ways, by different kinds of entities. The former understanding supports alethic pluralism. But the latter can be understood as a kind of monism: truth is the existential property of having some truthmaker or other. On this view, (...) the differences reside in how a truth is made true, but not in its being true. I’ll discuss how these two understandings differ and what the potential advantages of the latter idea might be. (shrink)

Generics (e.g., “Ravens are black”) express generalizations about categories or their members. Previous research found that generics about animals are interpreted as broadly true of members of a kind, yet also accepted based on minimal evidence. This asymmetry is important for suggesting a mechanism by which unfounded generalizations may flourish; yet, little is known whether this finding extends to generics about groups of people (heretofore, “social generics”). Accordingly, in four preregistered studies (n = 665), we tested for an inferential (...) asymmetry for generics regarding novel groups of animals versus people. Participants were randomly assigned to either an Implied Prevalence task (given a generic, asked to estimate the prevalence of a property) or a Truth-Conditions task (given prevalence information, asked whether a generic was true or false). A generic asymmetry was found in both domains, at equivalent levels. The asymmetry also extended to properties varying in valence (dangerous and neutral). Finally, there were differences as a function of property valence in the Implied Prevalence task and a small but consistent interaction between domain and prevalence in the Truth-Conditions task. We discuss the implications of these results for the semantics of generics, theoretical accounts of the asymmetry, and the relation between generics and stereotyping. (shrink)

In epistemic logic, the beliefs of an agent are modeled in a way very similar to knowledge, except that they are fallible. Thus, the pattern of an agent’s true beliefs is an interesting subject to study. In this paper, we conduct a systematic study on a novel modal logic with the bundled operator ⊡ϕ:=□ϕ∧ϕ as the only primitive modality, where ⊡ captures the notion of true belief. With the help of a novel notion of ⊡-bisimulation, we characterize the (...) expressivity of this new language on relational models, and offer various completeness results. We also discuss some interesting connections between our work and previous works on reflexive-insensitive logics and the so-called boxdot conjecture. Finally, we study two generalizations of the ⊡-operator: one is the iterated true belief operator □nϕ:=ϕ∧□ϕ∧⋯∧□nϕ, the other is the neighborhood semantics for the ⊡-operator. (shrink)

In his Feature Article ‘Represent me: please: Towards an ethics of digital twins in medicine’1, Mattias Braun considers several important bioethical issues in relation to the use of digital twin simulations in health and medical contexts. He focuses on the ways these simulations are used or are proposed to be deployed in these domains, including to what extent they are a ‘true’ or ‘real’ representation of human bodies. In this response, I want to take a step back and delve (...) into the metaphor of the ‘digital twin’. I consider the implications of using this metaphor in the context of medical care and how this choice of language participates in what science and technology scholars term the ‘sociomaterial imaginaries’ that are used to support and promote novel technologies.2 Language is important. It matters. The choice of language is both symbolic and persuasive. It intervenes in political and policy debates and research and healthcare funding decisions.2 It has material effects and affects: to some of which Braun has gestured in his piece. The …. (shrink)

In the midst of globalization, English is regarded as an international language, or Lingua Franca, but learning it as a second language (L2) remains still difficult to speakers of other languages. This is true especially for the speakers of languages distantly related to English such as Japanese. In this sense, exploring neural basis for translation between the first language (L1) and L2 is of great interest. There have been relatively many previous researches revealing brain activation patterns (...) during translations between L1 and English as L2. These studies, which focused on language translation with close or moderate linguistic distance (LD), have suggested that the Broca area (BA 44/45) and the dorsolateral prefrontal cortex (DLPFC; BA 46) may play an important role on translation. However, the neural mechanism of language translation between Japanese and English, having large LD, has not been clarified. Thus, we used functional near infrared spectroscopy (fNIRS) to investigate the brain activation patterns during word translation between Japanese and English. We also assessed the effects of translation directions and word familiarity. All participants’ first language was Japanese and they were learning English. Their English proficiency was advanced or elementary. We selected English and Japanese words as stimuli based on the familiarity for Japanese people. Our results showed that the brain activation patterns during word translation largely differed depending on their English proficiency. The advanced group elicited greater activation on the left prefrontal cortex around the Broca’s area while translating words with low familiarity, but no activation was observed while translating words with high familiarity. On the other hand, the elementary group evoked greater activation on the left temporal area including the superior temporal gyrus (STG) irrespective of the word familiarity. These results suggested that different cognitive process could be involved in word translation corresponding to English proficiency in Japanese learners of English. These difference on the brain activation patterns between the advanced and elementary group may reflect the difference on the cognitive loads depending on the levels of automatization in one’s language processing. (shrink)

Jenkins (2007) charges that the language advanced in Beall (2007) is either expressively impoverished, or inconsistent. We argue that Jenkins’ objections are based on unreasonably strong constraints on formal theories of truth. Our primary concern is not to defend the ‘paranormal’ framework advanced in Beall, but to respond to a common – and implausible – ‘revenge’-style charge directed at a certain class of formal theories of truth and paradox.

Do we conduct our conscious propositional thinking in natural language? Or is such language only peripherally related to human conscious thought-processes? In this paper I shall present a partial defence of the former view, by arguing that the only real alternative is eliminativism about conscious propositional thinking. Following some introductory remarks, I shall state the argument for this conclusion, and show how that conclusion can be true. Thereafter I shall defend each of the three main premises in (...) turn. (shrink)