In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small (...) extension, called SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in (...) its extension. After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

Politicians select their words meticulously, never losing sight of their ultimate communicative goal. Sometimes, their objective may be that of not being fully understood by a large portion of the audience. They can achieve this by means of dogwhistles; linguistic expressions that, in addition to their literal meaning, convey a concealed message to a specific sub-group of the audience. This paper focuses on the distinction between overt and covert dogwhistles introduced by J. Saul (2018). I argue that, even if the (...) distinction successfully captures a genuine divide within the category of dogwhistles, the account proposed by Saul to explain the distinction is unsatisfactory. In response to this state of affairs, I illustrate how the distinction between overt and covert dogwhistle can be refined and illuminated by incorporating it into the 'Simple Theory' of dogwhistles advanced by J. Khoo (2017). (shrink)

This paper presents a simple model to estimate the number of languages that existed throughout history, and considers philosophical and linguistic implications of the findings. The estimated number is 150,000 plus or minus 50,000. Because only few of those remain, and there is no reason to believe that that remainder is a statistically representative sample, we should be very cautious about universalistic claims based on existing linguistic variation.

Tarski's indefinability theorem shows us that truth is not definable in arithmetic. The requirement to define truth for a language in a stronger language (if contradiction is to be avoided) lapses for particularly weak languages. A weaker language, however, is not necessary for that lapse. It also lapses for an adequately weak theory. It turns out that the set of G{\"o}del numbers of sentences true in arithmetic modulo $n$ is definable in arithmetic modulo $n$.

I provide a simple solution to the problem of determining the characterising feature(s) of the simple approach to personal identity, sometimes also called the simple view: instead of focusing on claims regarding the analysability, reducibility, or triviality of the concepts used in simple theories of personal identity, I propose instead a metaphysical criterion to define this approach. In particular, I claim that the simple approach is (best seen as) that family of theories according to which (...) personal identity is a relation that essentially depends on a mereologically simple (or impartite) entity the existence and features of which may be known directly (e.g., by introspection) or indirectly (e.g., by deduction from a series of other premises). (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)

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, in (...) that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: the (...) more something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (shrink)

There are several linguistic phenomena that, when examined closely, give evidence that people speak through characters, much like authors of literary works do, in everyday discourse. However, most approaches in linguistics and in the philosophy of language leave little theoretical room for the appearance of characters in discourse. In particular, there is no linguistic criterion found to date, which can mark precisely what stretch of discourse within an utterance belongs to a character, and to which character. And yet, without (...) at least tentatively marking the division of labor between the different characters in an utterance, it is absolutely impossible to arrive at an acceptable interpretation of it. As an alternative, I propose to take character use seriously, as an essential feature of discourse in general, a feature speakers and listeners actively seek out in utterances. I offer a simple typology of actions in discourse that draws on this understanding, and demonstrate its usefulness for the analysis of a conversation transcript. (shrink)

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn (...) from the context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (shrink)

Martin Heidegger’s preparation of the question of human existence was the focus of his seminal work Being and Time, first published in 1927. This paper refers to Heidegger’s phenomenological work through Heidegger’s colleague and friend Hans-Georg Gadamer to focus on how Heidegger prepares the question of Being and the problem of language in his later work. In his conversation with the Japanese scholar professor Tezuka, the meaning of language in the west appears to restrict an understanding of Being (...) by conceptualising it ad infinitum. To the Japanese the simple term “what is” appears to be closer to Being because it does not attempt to conceptualise it. Therefore, Heidegger, Gadamer and Tezuka’s discussion about ontology concludes that language does get in the way of understanding Being. (shrink)

The topics of language and dialectic argumentation have a pivotal role in Anselm’s thought. They constitute the theoretical context in which we proceeded with a semantic analysis of the term paupertas; it should be understood under a thought where logical-linguistic terms (appellatio, cogitatio vocum e rerum, significatio) are related to ethical and social principles as monastic silence and rectitudo, in particular. Indeed, Anselmian idea of poverty moves on the ridge between the paupertas as penuria nominum, typical of the human (...) language merely capable of producing voces for the usus loquendi, and the Divine Word (Verbum), a “poor” word, where “poor” means unique, simple, pure and real. The Verbum will be, at the same time, a linguistic and ethical model for the human language to avoid the multiloquium and to properly connect words and things. Reduced to a line that directly moves from the word to his corresponding thing, the linguistic signification thins all his redundant references and becomes right, that is simple. This kind of language aims at the monastic silence of chapter six of the Regula Sancti Benedicti as his higher and very true form. So, the paupertas has to be intended, in the Anselmian philosophy of language, as a value against the mundane poverty of spirit, in the broader context of the Salvation of the soul’s economy. (shrink)

Summary. The purpose of this article is to serve as a clear introduction to the modeling languages of the three most widely used IDEF methods: IDEF0, IDEF1X, and IDEF3. Each language is presented in turn, beginning with a discussion of the underlying “ontology” the language purports to describe, followed by presentations of the syntax of the language — particularly the notion of a model for the language — and the semantical rules that determine how models are (...) to be interpreted. The level of detail should be sufficient to enable the reader both to understand the intended areas of application of the languages and to read and construct simple models of each of the three types. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens (...) simple Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can be (...) built from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (shrink)

Se percibe en el mundo académico de la teología y de la praxis pastoral, un giro general y englobante hacia el sujeto, la experiencia, la donación del amor, la misericordia, el mundo vivido de los hombres y la vivencia de la fe en la vida cotidiana de un mundo secularizado. Es un anhelo de salir de la simple conceptualización y de las discusiones sin fin sobre la fe, para dar paso a una vivencia y a una experiencia de lo (...) creído y a un testimonio que lo haga creíble. La revolución que ha propiciado el papa Francisco se fundamenta en una radicalidad del seguimiento de Jesús en la vida diaria, en las cosas sencillas, sin muchos malabares teológicos, y sí con una insistencia grande en el amor misericordioso de Dios. Este artículo quiere presentar algunas reflexiones que ayuden a fundamentar la donación experiencial del amor misericordioso, preguntándose por la experiencia, el lenguaje usado para expresarla y la libertad como respuesta del sujeto llamado en el momento del evento. (shrink)

A work on the philosophy of mathematics (2017) -/- ‘Number’, such a simple idea, and yet it fascinated and absorbed the greatest proportion of human geniuses over centuries, not to mention the likes of Pythagoras, Euclid, Newton, Leibniz, Descartes and countless maths giants like Euler, Gauss and Hilbert, etc.. Einstein thought of pure maths as the poetry of logical ideas, the exactitude of which, although independent of experience, strangely seems to benefit the study of the objects of reality. And, (...) interestingly as well as surprisingly we are nowhere near any clear understandings of numbers despite discoveries of many productive usages of numbers. This is - rightly or wrongly - a humble attempt to approach the subject from an angle hitherto unthought-of. (shrink)

This paper argues that ordinary object languages for fundamental physics are incomplete, essentially because they are extensional, and consequently lack any adequate formal representation of contingency. It is shown that it is impossible to formulate adequate deduction systems for general transformations in such languages. This is argued in detail for the time reversal transformation. Two important controversies about the application of time reversal in quantum mechanics are summarized at the start, to provide the context of this problem, and show its (...) serious implications, but the aim here is not to solve these problems. The flaw is not special to quantum mechanics: it is a general feature traced to extensionality, and demonstrated through a simple example in classical physics. It is proposed that this defect can be overcome by extending to an intensional semantics, but this involves extending the usual formalism of physics. A detailed proposal for such an extension is given in Part 2. (shrink)

The primary objective of this paper is to show that for later Wittgenstein, language cannot be based on a pre-linguistic foundation. Following closely on the tracks of the philosopher, it argues that none of the proposed foundations that are claimed to relate language to reality - viz. verbal definitions, ostensive techniques, mental images, quantitative measurement , Fregean thought or intention - is able to sustain its assumed pre-interpretive character. In a dense exegetical engagement with Wittgenstein, the paper lays (...) out that the hallowed pre-interpretive reference taken to underlie the varying modes of interpretations or descriptions is actually a grammatical interplay, where what seems to be the pre-interpretive simple in one game turns out to be an elaborately complex construction in another. In the ultimate analysis, language and behaviour forge a non-foundational blend that internalizes and does not represent a supposedly extra-linguistic reality. (shrink)

In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand by instantiation. Several software process modeling/meta-modeling languages (...) have been introduced to formalize software process models. Nonetheless, none of them has managed to introduce a compatible yet precise language to include all necessary concepts and information for software process modeling. This paper presents Software Process Meta-Modeling and Notation (SP2MN); a meta-modeling language that provides simple and expressive graphical notations for the aim of software process modeling. SP2MN has been evaluated based upon the well-known ISPW-6 process example, a standard benchmark problem for software process modeling. SP2MN has proved that it presents a valid and expressive software process modeling language. (shrink)

One of the most important contributions in Roland Posner’s work (1993) was the extension and development of the Gricean paradigm on meaning (1957) in a systematic framework, providing thus a general foundation of semiotic phenomena. According to this approach, communication consists in behaviors or artifacts based on reciprocal assumptions about the intentions and beliefs of the subjects involved in a semiotic exchange. Posner’s model develops with clarity the hierarchical relationships of semiotic phenomena of different complexity, from simple pre-communicative behaviors (...) (like indicating or signaling) to full communicative acts. Not only limited to linguistic communication, this framework can be successfully extended in the description of all kind of sign production, from gestures to artifacts. This article discusses a key point of this paradigm, namely our faculty to at-tribute mental states to other individuals through the observation of their behavior, artifacts or texts. New insights from neuropsychology and developmental psychology are discussed in supporting the validity of this model of communication. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such (...) as organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

We work with a large spatialized array of individuals in an environment of drifting food sources and predators. The behavior of each individual is generated by its simple neural net; individuals are capable of making one of two sounds and are capable of responding to sounds from their immediate neighbors by opening their mouths or hiding. An individual whose mouth is open in the presence of food is “fed” and gains points; an individual who fails to hide when a (...) predator is present is “hurt” by losing points. Opening mouths, hiding, and making sounds each exact an energy cost. There is no direct evolutionary gain for acts of cooperation or “successful communication” per se. In such an environment we start with a spatialized array of neural nets with randomized weights. Using standard learning algorithms, our individuals “train up” on the behavior of successful neighbors at regular intervals. Given that simple setup, will a community of neural nets evolve a simple language for signaling the presence of food and predators? With important qualifications, the answer is “yes.” In a simple spatial environment, pursuing individualistic gains and using partial training on successful neighbors, randomized neural nets can learn to communicate. (shrink)

al-Zuhd, one of the most prominent themes in the Arab poetry in the Abbasid period, came to the summit by the poets like Abū l-ʻAtāhiyya and Abū Nuwās. Another important poem known with his poems on al-Zuhd is Mahmud al-Warraq. Warrak, after a youth life in pleasure, understood the s of life and apply himself to poetry on zuhd. Warrak produced a number of different works in verse form. He was distinguished by the sincerity in his statements and the (...) class='Hi'>simple language he used. He had thought that he was deceived by worldly gifts and pleasures in his youth and thus tried in his poems to guide young people with a sense of responsibility not to fall in same mistakes. This paper will examine Warraq emphasis on “youth un in his Diwan. Poems will be discussed in the context of the nature and the fate of youth. In the introduction, the development of poetry tradition on al-zuhd in the period of Umayyads and Abbasids will be mentioned briefly. Afterwards, poems About youth in his diwan will be researched. (shrink)

The article deals with the use of the Ruthenian language in papers of the Uniate Church of the Grand Duchy of Lithuania in the 17–18th centuries. The research is based on the analysis of the content of hundreds of original parish registers of Uniate churches that are kept in the National Historical Archives of Belarus. The methods of analysis that permit to define the time and reasons for translation of concrete parish works into the Polish language have been (...) devised by author. The collection of data obtained during the research gives a possibility to distinguish several imaginary regions of intensity of using the Ruthenian language. It also considers lexical and the orthographic features of the language in which parish registers were being kept, use of the Cyrillic and Latin script in writing the Ruthenian text. (shrink)

Citation: Christodoulou, Marina. “‘To be dead is an unthinkable anomaly’ Reversed Necropolitics and the Death Imaginary.” Lo Sguardo - rivista di filosofia N. 23, 2017 (I) - Reinventare il reale. Jean Baudrillard (2007-2017) a cura di Eleonora de Conciliis, Enrico Schirò, Daniela Angelucci, pp. 127-137. Articolo sottoposto a peer review. Ricevuto il 14/10/2016. Accettato il 12/01/2017. ISSN: 2036-6558 -/- --------- -/- The concept or the theory of Death in the thought of Jean Baudrillard is not given the particular attention it (...) needs. When one speaks of the thought of Baudrillard, one rarely will mention ‘death’ as one of the keywords of his corpus. I think, though, that it deserves such a key place, for three reasons. Firstly, because the theme of Death is a gargantuan concept in the history of Philosophy and it even emerges with the definition of Philosophy itself, since, at least, Plato. Every philosopher, more or less is preoccupied with it, as an archetypical necessity of both human culture and of philosophy in particular. It is always interesting to see how each philosopher or each person thinks on it, as their thoughts on Death are a departure point and an indication of their whole philosophical system or, for non-philosophers, of their whole way of life. Secondly, it is important to examine this theme in Baudrillard because it inseparably interconnects, explains, and is explained by all the other, key, and the less prominent themes in his philosophy. Baudrillard’s thinking might take new dimensions when viewed through his thoughts on Death. Finally, Baudrillard is considered a difficult thinker, because, unlike other philosophers, he grasps themes which people are used to seeing as the pre-occupation or within the realm of fiction, even science-fiction. I would like to show, using simple language, that his philosophy, especially surrounding the subject of Death, is completely naked of any metaphysical, romanticised, fantastic, or fiction-like properties; it is realistic and political. (shrink)

We normally function through the mind without knowing the mechanics of understanding. This book teaches us how to make thoughts and how to control once mind, so that we can live peaceful life and achieve the highest goal of life, i.e. self-realization. Book also deals with the fundamentals of life and spirituality. Book has written in a simple language so that most of the peoples will understand the real essence of the life. The author has discussed about the (...) complex messages of the Vedanta, in a thoughtful manner. The author discusses about Jiva, Jagat, Ishvara and Spiritual life in his book by referencing verses from the Bhagwat Gita, Vedanta and Shrimad Bhagwat Mahapuran in very simple language. The purpose of writing this book is to understand our intrinsic nature. Book is so enriched with the wisdom that everyone should read it at least once. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language (...) use. Recently, though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

The development of a book is an enjoyable task. Whatever the contents of this book might be, I assure you that I would try my best to put things in such a simple language in an easy-to-understand manner. Moreover, I also promise to be as blunt and frank as I could be. -/- I have been thinking of writing this book for quite some time; however, I have decided if I am going to write one book, then I (...) might as well write more books since I am going over the basics of some of my thoughts and theories in this very first book.6 However, my thoughts and theories are the least important since everybody could be wrong, and my thoughts could have been the same as others. -/- Yet, as mentioned earlier, these are only the base of my thoughts, observations, and theories and do not include all the subjects I would love to share. I have written in this very first book a brief introduction to some of my thoughts. -/- Furthermore, they are nothing special since we all think we have something special to say. I might perhaps be under the same impression as everybody else. -/- Also, I have to admit that I am an average person like any other person who could make mistakes. Therefore, I see myself entitled to change of opinion if better logic is provided sufficiently. -/- I have to try writing this book since it is already long overdue, and it is time to share my opinions and7 understandings of the world as simple and as naive that they can be! -/- Moreover, this book will be as I usually say that ''in school, first, you learn a lesson then you have a test, but in life, first, you have a test then you learn a lesson''. -/- So I promise to listen to your criticism and pieces of advice to make myself better and develop into a better and wiser individual. I hope this book helps us both. -/- This book is not about me being right or wrong since I will always look forward to criticism since critics are the ones that help us be better at what we are or what we are trying to accomplish. (shrink)

Gaining a high level of proficiency is the ultimate aspiration of all language learners, and the use of apology and politeness strategies is consistently associated with the levels of language proficiency. Owing to the significance of speech acts, politeness strategies, and level of proficiency, this study aimed to investigate the realization of apology speech acts and politeness strategies among Iranian EFL learners to examine and compare the lower-intermediate and advanced learners’ use of apology and politeness strategies. To achieve (...) this goal, 320 learners were selected out of 390 EFL learners who took a test of English language proficiency and were then divided into lower-intermediate and advanced levels. The findings of the study revealed significant differences between lower-intermediate and advanced Iranian EFL learners in the realization of the speech act of apology and politeness strategies. Advanced learners preferred to use more indirect and complicated forms of apology speech acts and tended to apply negative politeness and off-record strategies more than the lower-intermediate learners did. However, lower-intermediate learners preferred to use simple and more direct forms of apology and politeness strategies. It can be concluded that as learners increase their knowledge in the target language, and as their interlanguages get closer to the target language, they tend to apply more complicated and native-like speech acts and strategies . (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

What is it for two people to think of an object, natural kind or other entity under the same mode of presentation (MOP)? This has seemed a particularly difficult question for advocates of the Mental Files approach, the Language of Thought, or other ‘atomistic’ theories. In this paper I propose a simple answer. I first argue that, by parallel with the synchronic intrapersonal case, the sharing of a MOP should involve a certain kind of epistemic transparency between the (...) token thoughts of the two thinkers. I then explain how shared words help bring about this transparency. Finally, I show how this account can be extended for thoughts expressed using demonstratives or indexicals. (shrink)

Some natural languages do not lexically distinguish between modals of possibility and modals of necessity. From the perspective of languages like English, modals in such languages appear to do double duty: they are used both where possibility modals are expected and where necessity modals are expected. The Nez Perce modal suffix o’qa offers an example of this behavior. I offer a simple account of the flexibility of the o’qa modal centered on the absence of scalar implicatures. O’qa is a (...) possibility modal that does not belong to a Horn scale; its use is never associated with a scalar implicature. Accordingly, in an upward entailing environment, φ-o’qa is appropriate whenever there are accessible φ-worlds, even if indeed all accessible worlds are φ-worlds. In a downward entailing environment, the flexibility of the o’qa modal is seen no more. Here, neither o’qa nor English possibility modals are associated with scalar implicatures, and the use of o’qa exactly parallels the use of English modals of possibility. -/- Given that o’qa is a possibility modal that does not contrast with a modal of necessity, just how do you talk about necessities in Nez Perce? Speakers translating into Nez Perce rely on a variety of techniques to paraphrase expressions of simple necessity away. Their strategies highlight an area where Nez Perce and English plausibly differ in the range of propositions they convey. The data cast doubt on any strong form of effability as a language universal. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction or, negated disjunction nor, but no word to express negated conjunction *nand nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described here as a bilateral extension of update semantics. The basic intuition (...) is that a context can be updated by assertion or by rejection, and by one or multiple propositions at once. These distinctions suffice to characterize the logic of the lexicon. (shrink)

Our ordinary assertions are often imprecise, insofar as the way we represent things as being only approximates how things are in the actual world. The phenomenon of assertoric imprecision raises a challenge to standard accounts of both the norm of assertion and the connection between semantics and the objects of assertion. After clarifying these problems in detail, I develop a framework for resolving them. Specifically, I argue that the phenomenon of assertoric imprecision motivates a rejection of the widely held belief (...) that a semantic theory for a language associates a single semantic value with each of the simple and complex expressions of that language, relative to the contexts in which they occur. Instead, I propose that we adopt a framework I call semantic pluralism. (shrink)

Transdisciplinary analogies and metaphors are potential useful tools for thinking and creativity. The exploration of other conceptual philosophies and fields can be rewarding and can contribute to produce new useful ideas to be applied on different problems and parts of reality. The development of the so-called 'sustainability' approach allows us to explore the possibility of translate and adapt some of its main ideas to the organisation of human language diversity. The concept of 'sustainability' clearly comes from the tradition of (...) thinking that criticises the perspective of economic development that overlooks almost totally the natural environment -the precise context where this development takes place -and which thus leads it to a final end devoid of resources and clearly harmful for the life of human beings. Against this economicist view, which is blind to its very important side effects, some academic and activist enclaves have proposed the perspective of 'sustainable development' or 'lasting development'. In other words, they have theorised, constructed, and begun to practice an economic and urbanistic development respectful of, integrated into, and in keeping with the dynamics of nature. Such perspective provides a way of improving the material aspects of human life while at the same time not damaging other environmental aspects still more necessary and fundamental for the quality —and even for the simple possibility- of human existence. In fact, the view is a synthesis of possible opposed patterns. It does not renounce material and economic improvement, but nor does it exclude a fully healthy environment that is appropriate for the continuation of the species. If we now try to transfer and to apply this way of thinking to the linguodiversity reality, are there useful analogies and metaphors to be made? We believe there are, and ones that can be used to good advantage, and linked, moreover, to the traditions of thought that have always been present but perhaps even more so these last years with the drive to develop the thinking we are calling ‘eco-linguistic’. From the outset, we would underscore the will to connect apparent ‘opposites’ in an integrative conceptualisation, such as the very syntagm ‘sustainable development’. On the sociolinguistic plane, our debate should probably be about our ‘opposites’, which could be on the one hand the expansion of the dominant languages and, on the other hand, the maintenance and development of human linguistic diversity. (shrink)

In theoretical work about the language of personal taste, the canonical example is the simple predicate of personal taste, 'tasty'. We can also express the same positive gustatory evaluation with the complex expression, 'taste good'. But there is a challenge for an analysis of 'taste good': While it can be used equivalently with 'tasty', it need not be (for instance, imagine it used by someone who can identify good wines by taste but doesn't enjoy them). This kind of (...) two-faced behavior systematically arises with complex sensory-evaluative predicates, including those with other appearance verbs, such as 'look splendid' and 'sound nice'. I examine two strategies for capturing these different uses: one that posits an ambiguity in appearance verbs, and one that does not. The former is in line with an approach to 'look'-statements prominent in work in philosophy of perception, and I consider how the motivation given in that tradition carries over to the present context. I then show how the data used to support the verbal ambiguity approach can equally be captured on the second strategy, which appeals only to independently-motivated flexibility in adjective meaning. I close by discussing some considerations that are relevant for choosing between the two options. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The paper delineates a new approach to truth that falls under the category of “Pluralism within the bounds of correspondence”, and illustrates it with respect to mathematical truth. Mathematical truth, like all other truths, is based on correspondence, but the route of mathematical correspondence differs from other routes of correspondence in (i) connecting mathematical truths to a special aspect of reality, namely, its formal aspect, and (ii) doing so in a complex, indirect way, rather than in a simple and (...) direct way. The underlying idea is that an intricate mind is capable of creating intricate routes from language to reality, and this enables it to apply correspondence principles in areas for which correspondence is traditionally thought to be problematic. (shrink)

The paper deals with the controversial issue of realism in Wittgenstein’s Tractatus. Most of the problems are grounded in the logical-linguistic foundation of important ontological notions given within the text (such as object, state of affairs, fact, etc.). This has led some scholars to think that there is no conception of the world in the Tractatus that is independent of language and that in his work Wittgenstein is simply engaged in a logical investigation of what it is essential for (...) any language to represent reality. Therefore, no conclusions about a transcendent world can be drawn from it. Here we argue that it is true that the author of the Tractatus is engaged in a logical investigation, conducted a priori and internal to language, on the conditions that are (or have to be) satisfied by any significant language. However, what such an investigation reveals, given one of these languages, is the necessity to presuppose a world made in a certain way and transcendent to the language that pretends to describe it. Two issues are considered to clarify the sense of the realism of the Tractatus — that of the existence of simple objects, and that of the truth of propositions — and a new interpretative schema for the text is advanced. (shrink)

: The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, (...) Hindi, Japanese). Eliminating language- and construction-specific information from the compositional rules, in favor of universal semantic filters, leads to analyses that not only generalize across unrelated languages but are also empirically more accurate, not less. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical (...) consequence according to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

Recent discoveries of semantic compositionality in Japanese tits have enlivened the discussions on the presence of this phenomenon in wild animal communication. Data on semantic compositionality in wild apes are lacking, even though language experiments with captive apes have demonstrated they are capable of semantic compositionality. In this paper, I revisit the study by Boesch (Hum. Evol. 6:81–89, 1991) who investigated drumming sequences by an alpha male in a chimpanzee (_Pan troglodytes_) community in the Taï National Park, Côte d’Ivoire. (...) A reanalysis of the data reveals that the alpha male produced semantically compositional combined messages of travel direction change and resting period initiation. Unlike the Japanese tits, the elements of the compositional expression were not simply juxtaposed but displayed structural reduction, while one of the two elements in the expression coded the meanings of both elements. These processes show relative resemblance to blending and fusion in human languages. Also unlike the tits, the elements of the compositional expression did not have a fixed order, although there was a fixed distribution of drumming events across the trees used for drumming. Because the elements of the expression appear to carry verb-like meanings, the compositional expression also resembles simple verb-verb constructions and short paratactic combinations of two clauses found across languages. In conclusion, the reanalysis suggests that semantic compositionality and phenomena resembling paratactic combinations of two clauses might have been present in the communication of the last common ancestor of chimpanzees and humans, not necessarily in the vocal modality. (shrink)

Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can be represented by triangles. The height at (...) which branching occurs is not prescribed in previous syntactic models, but it is by using the ultrametric matrix. In other words the ultrametric approach gives a complete description of phrase trees, unlike previous approaches. The ambiguity of which branching height to choose, is resolved by postulating that branching occurs at the lowest height available. An ultrametric produces a measure of the complexity of sentences: presumably the complexity of sentences increases as a language is acquired so that this can be tested. All ultrametric triangles are equilateral or isosceles. Here it is shown that \={X} structure implies that there are no equilateral triangles. Restricting attention to simple syntax a minimum ultrametric distance between lexical categories is calculated. A matrix constructed from this ultrametric distance is shown to be different than the matrix obtained from features. It is shown that the definition of {\sc c-command} can be replaced by an equivalent ultrametric definition. The new definition invokes a minimum distance between nodes and this is more aesthetically satisfying than previous varieties of definitions. From the new definition of {\sc c-command} follows a new definition of of the central notion in syntax namely {\sc government}. (shrink)

The question whether numbers are objects is a central question in the philosophy of mathematics. Frege made use of a syntactic criterion for objethood: numbers are objects because there are singular terms that stand for them, and not just singular terms in some formal language, but in natural language in particular. In particular, Frege (1884) thought that both noun phrases like the number of planets and simple numerals like eight as in (1) are singular terms referring to (...) numbers as abstract objects. (shrink)

Intermediate phenomena of reality present particular characteristics of systemic self-organization, multilevel interrelations, recursivity, emergence of new «objects» with properties different from those of the elements that form them, and evolutionary dynamics, that probably need the formulation of new theoretical concepts and different paradigm principles. The sciences or perspectives of complexity, or the «complex» thinking, try to respond adequately to this complexity of reality. This approach adopts a multidimensional, integrated and dynamic view of reality: the world is made up of overlapping (...) levels of different elements which produce new properties or new organizations at higher levels. If we conceive what we call languages as simple and decontextualized objects, we can understand some of the more mechanical aspects but we will ignore their conditions of existence, functionality, maintenance, variation, change and extinction. (shrink)