Objectives: Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard provides an intuitive triple-based representation, it is semantically weak. Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and (...) they are often misinterpreted to encode all kinds of statements, including those which are not ontological. Method: We distinguish four kinds of statements needed to comprehensively represent domain knowledge: universal statements, terminological statements, statements about particulars and contingent statements. We argue that the task of formal ontologies is solely to represent universal statements, while the non-ontological kinds of statements can nevertheless be connected with ontological representations. To illustrate these four types of representations, we use a running example from parasitology. Results: We finally formulate recommendations for semantically adequate ontologies that can efficiently be used as a stable framework for more context-dependent biomedical knowledge representation and reasoning applications like clinical decision support systems. (shrink)

An examination of the ways human movement can be represented as a formal language and how this language can be mediated technologically. In Motion and Representation, Nicolás Salazar Sutil considers the representation of human motion through languages of movement and technological mediation. He argues that technology transforms the representation of movement and that representation in turn transforms the way we move and what we understand to be movement. Humans communicate through movement, physically and mentally. (...) To record and capture integrated movement (both bodily and mental), by means of formal language and technological media, produces a material record and cultural expression of our evolving kinetic minds and identities. Salazar Sutil considers three forms of movement inscription: a written record (notation), a visual record (animation), and a computational record (motion capture). He focuses on what he calls kinetic formalism—formalized movement in such pursuits as dance, sports, live animation, and kinetic art, as well as abstract definitions of movement in mathematics and computer science. He explores the representation of kinetic space and spatiotemporality; the representation of mental plans of movement; movement notation, including stave notation (Labanotation) and such contemporary forms of notation as Choreographic Language Agent; and the impact of digital technology on contemporary representations of movement—in particular motion capture technology and Internet transfer protocols. Motion and Representation offers a unique cultural theory of movement and of the ever-changing ways of representing movement. (shrink)

This paper deals with the question: what are the key requirements for a physical system to perform digital computation? Time and again cognitive scientists are quick to employ the notion of computation simpliciter when asserting basically that cognitive activities are computational. They employ this notion as if there was or is a consensus on just what it takes for a physical system to perform computation, and in particular digital computation. Some cognitive scientists in referring to digital computation (...) simply adhere to Turing’s notion of computability . Classical computability theory studies what functions on the natural numbers are computable and what mathematical problems are undecidable. Whilst a mathematical formalism of computability may perform a methodological function of evaluating computational theories of certain cognitive capacities, concrete computation in physical systems seems to be required for explaining cognition as an embodied phenomenon . There are many non-equivalent accounts of digital computation in physical systems. I examine only a handful of those in this paper: (1) Turing’s account ; (2) The triviality “account”; (3) Reconstructing Smith’s account of participatory computation ; (4) The Algorithm Execution account . My goal in this paper is twofold. First, it is to identify and clarify some of the underlying key requirements mandated by these accounts. I argue that these differing requirements justify a demand that one commits to a particular account when employing the notion of computation in regard to physical systems. Second, it is to argue that despite the informative role that mathematical formalisms of computability may play in cognitive science, they do not specify the relationship between abstract and concrete computation. (shrink)

Kind representations, concepts like table, triangle, dog, and planet, underlie generic language. Here, we investigate the formal structure of kind representations—the structure that distinguishes kind representations from other types of representations. The present studies confirm that participants distinguish generic‐supporting properties of individuals (e.g., this watch is made of steel) and accidental properties (e.g., this watch is on the nightstand). Furthermore, work dating back to Aristotle establishes that only some generic‐supporting properties bear a principled connection to the kind, that is, (...) are true of an individual by virtue of its being a member of a specific kind (e.g., telling time for a watch). The present studies tested the hypothesis that principled connections are part of the formal structure of kind representations. Specifically, they tested whether they structure a newly learned kind representation. Experiment 1 found that introducing a property of a newly encountered novel kind in any one of four linguistic frames that provide evidence that a property has a principled connection to a kind (e.g., “It has fur because it is a blick”) led participants to infer a different conceptual consequence of principled connections (i.e., “There is something wrong with this blick, which does not have fur”) for which they had no direct evidence. Two introduction frames that provided no evidence for principled connections (e.g., “Almost all blicks have fur”) did not generate the same consequence. Experiment 2 found that all of the targeted properties were generic licensing, irrespective of the introduction frame. That the distinction between properties that bear principled connections to their kinds, and merely generic‐supporting properties structures novel kind representations, provides strong evidence that this distinction is part of the formal structure of kind representations. (shrink)

Digital Humanities is a research field engaged in exploring how humanities scholarship is transformed and extended by the digital and vice versa. The core practice of DH research is modelling which implies the translation of complex systems of knowledge into computationally processable models. In our work we contextualise DH practices within a semiotic framework; namely we consider modelling as a strategy to make sense via practical thinking. A semiotic approach of this kind contributes to stress the dynamic nature (...) of models and modelling, and to reinstate in renewed terms the understanding of modelling as open process of signification enacting a triadic cooperation. Referring to Peirce classification of hypoicons, we reflect on some DH examples of modelling in the form of images, diagrams and metaphors, claiming that a semiotic understanding of modelling could ultimately allow us to surpass the duality object versus model. We thus propose to consider modelling as a creative and highly pragmatic process of thinking and reasoning in which metaphors assume a central role and where meaning is negotiated through the creation and manipulation of external representations combined with an imaginative use of formal and informal languages. (shrink)

I have supposed that we need a formal system to represent and explain humans' conceptions of the world. According to this research, such a formal system is representable based on a Conception Language (CL) that is a terminological knowledge representation formalism. In this research, I will offer a formal ontology for conception representation in terminological systems. Such a CL-based ontology will specify the conceptualization of humans' conceptions as well as of the effects of their conceptions (...) on the world. (shrink)

In this article I deal with the notion of observation, from a phenomenologically motivated point of view, and its representation mainly by means of the formal language of quantum mechanics. In doing so, I have taken the notion of observation in two diverse contexts. In one context as a notion related with objects of a logical-mathematical theory taken as registered facts of phenomenological perception ( Wahrnehmung ) inasmuch as this phenomenological idea can also be linked with a process (...) of measurement on the quantum-mechanical level. In another context I have taken it as connected with a notion of temporal constitution basically as it is described in E. Husserl’s texts on the phenomenology of temporal consciousness. Given that mathematical objects as formal-ontological objects can be thought of as abstractions of perceptual objects by means of categorial intuition, the question is whether and under what theoretical assumptions we can, in principle, include quantum objects in abstraction in the class of formal-ontological objects and thus inquire on the limits of their description within a formal-axiomatical theory. On the one hand, I derive an irreducibility on the level of individuals taken in formal representation as syntactical atoms-substrates without any further content and on the other hand a transcendental subjectivity of consciousness objectified as a self-constituted temporal unity upon which it is ultimately grounded the possibility of generation of an abstract predicative universe of discourse. (shrink)

The article examines the representations of the "diaspora” in texts published on "migrant” digital communication platforms. With the help of discourse analysis The messages posted in open access in thematic groups in VKontakte, Odnoklassniki, and Telegram channels were studied. The purpose of the study was to find out what meanings and functions the users of these sites give the word "diasporas”. The "Diaspora” was considered as a nodal point, uniting the narratives of people visiting "migrant” sites into a single (...) framework. It was assumed that the "diaspora” does not have a clear, fixed content and various actors are trying to turn it from an "element” into a "moment”, securing a certain meaning for it. More than a thousand messages found on "migrant” sites were analyzed. The study showed that the "diaspora” within the considered digital platforms is most often mentioned in the reposts of press releases of state and public organizations, where it is presented as an object of social action, an intermediary between migrants and the state. In these texts, the "diaspora” is represented in the same semantic row with various state authorities and their representatives. At the same time, the "diaspora” is defined as a participant in events organized by the state bureaucracy of the host country or the donor country, the purpose of which is the manifestation of ethnicity. In user comments, these values are disputed: people either doubt its existence or its ability to effectively solve their problems. (shrink)

The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name. It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation, the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology, which (...) provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon. The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online. (shrink)

Linguistic Issues in Language Technology (LiLT) is an open-access journal that focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, deeper and more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data (text and speech, annotated and unannotated, formal and informal) provides unprecedented opportunities for data-intensive analysis of (...) linguistic phenomena, which can in turn enrich computational methods. Taking an eclectic view on methodology, LiLT provides a forum for this work. In this volume, contributors offer new perspectives on semantic representations for textual inference. (shrink)

This chapter deals with the relationship between representation and language, which becomes more relevant if we do not intend the process of forming internal representations of reality but rather the representative function of language. Starting from some Fregean ideas, we present the notion of representation theorized by Searle. According to Searle, a belief is a “representation” that has a propositional content and a psychological mode: the propositional content or intentional content determines a set of conditions of satisfaction (...) under certain aspects and the psychological mode determines the direction of fit of the propositional content. We draw attention to some very interesting ideas proposed by Brandom in response to the challenge of Searle to AI, as they propose formal aspects of representation that rely on the use of ordinary language while avoiding the psychological order of explanation. (shrink)

Philosophical and technoculture studies surrounding the existential understanding of the human–technology–world experience have seen a slow but steady increase that makes a turn to material hermeneutics in the second decade of the twenty-first century (Ihde in Postphenomenology: essays in the postmodern context. Northwestern University Press, Evanston, 1993; Capurro in AI Soc 25(1):35–42, 2010; Romele in Digital hermeneutics: philosophical investigations in new media and technologies. Routledge, Abingdon, 2020; among others). This renewed focus makes sense because human–technology–world experiences need to be (...) interpreted. And many of these are more complicated to study, precisely because technology is at the root of the experiences. One interesting subset of technologies is media technologies, also called digital media, which intertwines the device and the content to mediate together in the world (Irwin in Digital media: human-technology connection. Lexington Books, Lanham, 2016). Visual media technologies and media content, together, through what is called moving image technologies, create virtual role-playing, virtual and augmented reality, video games, and social media focused worlds that have become central experiences in contemporary culture. Just as image-based scientific instruments read the world in different ways, so to do these visual mediated experiences. How might this comingled “reading” of technology explain the digital film language and experience? I contend that understanding the existential “early” film experience helps understand the new age of cinema, with implications for digital media, digital representation of the visual, and technoscience and technoculture studies. The material hermeneutics perspective called postphenomenology is one way to study these visually focused human–technology–world perceptual and interpretive experiences. Don Ihde’s methodological framework (1990, 1993, 1996, 2002, 2010, 2012, 2016, 2019) is both an idea from technoscience studies and a set of nuanced vocabulary that helps to explore and reveal variations, patterns, and trajectories of the whole-body experience of technology. This use case will first explore traditional cinema and then the “new age” term “moving image”, to learn more about this complicated and radically transforming technological experience. Work by Don Ihde and Vivian Sobchack is considered. (shrink)

For a locally compact group G, we show that it is possible to present the class of continuous unitary representations of G as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how nondegenerate ∗-representations of a general ∗-algebra A (with some mild assumptions) can be viewed as an elementary class, in a many-sorted language, and use the correspondence between continuous unitary representations of G and nondegenerate ∗-representations of L1(G). We relate the notion (...) of ultraproduct of logical structures, under this presentation, with other notions of ultraproduct of representations appearing in the literature, and we characterize property (T) for G in terms of the definability of the sets of fixed points of L1 functions on G. (shrink)

This review essay of two edited volumes sketches how STS scholars have analyzed scientific representation and visualization in recent work. Several key foci have emerged, among them attending closely to materiality, engaging the digital through embodied action, turning to ontology, as well as benefitting from artistic practice and critique. In diverse ways these choices are informed by a discontentment with the Cartesian split of mind and body as well as the picture theory of language. Yet, naturalism endures as (...) a template, an expectation, and sometimes a specter with and against which much representational work in science is done. What STS scholars have learnt about representation in laboratory and expert settings still awaits being employed more comprehensively for making sense of practices beyond the lab, especially in contested political, social and ecological environments. In setting out to do so, they ought to reflect on the kinds of logic that their practices of representing representation enact. (shrink)

This paper presents an analysis of the sorites paradox for collective nouns and gradable adjectives within the framework of classical logic. The paradox is explained by distinguishing between qualitative and quantitative representations. This distinction is formally represented by the use of a different mathematical model for each type of representation. Quantitative representations induce Archimedean models, but qualitative representations induce non-Archimedean models. By using a non-standard model of \ called \, which contains infinite and infinitesimal numbers, the two paradoxes are (...) shown to have distinct structures. The sorites paradox for collective nouns arises from the use of infinite numbers, whereas the sorites paradox for gradable adjectives arises from the use of infinitesimal numbers. Each paradox can be traced to a different source of vagueness. The sorites paradox for collective nouns is caused by \, and the sorites paradox for gradable adjectives is caused by \ \. If correct, this analysis implies that infinite and infinitesimal numbers are cognitively real, and that they play a role in the semantic interpretation of natural language. (shrink)

This paper explores Wittgenstein’s early work as it relates to emerging philosophical problems in ecological modeling. Here I use his thought to structure a logical framework from which to discuss ecological simulation models in a way that captures how these dynamic representations describe a world from which we can draw logical inferences about real-world ecological processes. I argue that Wittgenstein’s Tractatus Logico-Philosophicus provides a way of reading problems that arise in using simulation as a way to make inferences about the (...) world. Conversely, ecological simulation provides an illustration of a Tractarian system, because the digital world it creates completely describes and is defined by the programing language. This reading is a novel, but productive, way that notes that the language used in modeling requires a hermeneutical approach to make inferences about modeling/real-world relationships. (shrink)

In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current approaches are based on purely syntactic solutions, i.e. a grammar that defines a rights expression language. These languages are difficult to put into practise due to the lack of explicit semantics that facilitate its implementation. Moreover, they are simple from the legal point of view because they are intended just (...) to model the usage licenses granted by content providers to end-users. Thus, they ignore the copyright framework that lies behind and the whole value chain from creators to end-users. Our proposal is to use a semantic approach based on semantic web ontologies. We detail the development of a copyright ontology in order to put this approach into practice. It models the copyright core concepts for creation, rights and the basic kinds of actions that operate on content. Altogether, it allows building a copyright framework for the complete value chain. The set of actions operating on content are our smaller building blocks in order to cope with the complexity of copyright value chains and statements and, at the same time, guarantee a high level of interoperability and evolvability. The resulting copyright modelling framework is flexible and complete enough to model many copyright scenarios, not just those related to the economic exploitation of content. The ontology also includes moral rights, so it is possible to model this kind of situations as it is shown in the included example model for a withdrawal scenario. Finally, the ontology design and the selection of tools result in a straightforward implementation. Description Logic reasoners are used for license checking and retrieval. Rights are modelled as classes of actions, action patterns are modelled also as classes and the same is done for concrete actions. Then, to check if some right or license grants an action is reduced to check for class subsumption, which is a direct functionality of these reasoners. (shrink)

Constructs developed for the semantics of artificial languages are often proposed as the proper description of aspects of the semantics of natural languages. Most of us are familiar with the claims that conjunction, disjunction, negation, and material implication in standard versions of propositional calculus describe the meaning of “and”, “or”, “not”, and “if …, then …” in English. The argument for such claims is not only that these constructs account for meanings in English but that they offer the (...) advantage of well-understood formal apparatus for the explication of meaning in natural language. The argument against such claims is that explications based on this apparatus leave important aspects of the meaning of “and”, “or”, “not”, and “if …, then …” unexplicated. It is charged that the advantage of a well-understood formalism is secured at the expense of truth. Many of the most significant issues in philosophic logic are or depend on questions about whether constructs from artificial languages provide adequate semantic descriptions for natural languages. (shrink)

As embodied theories of cognition are increasingly formalized and tested, care must be taken to make informed assumptions regarding the nature of concepts and representations. In this study, we outline three reasons why one cannot, in effect, represent the same concept twice. First, online perception affects offline representation: Current representational content depends on how ongoing demands direct attention to modality-specific systems. Second, language is a fundamental facilitator of offline representation: Bootstrapping and shortcuts within the computationally cheaper linguistic system (...) continuously modify representational content. Third, time itself is a source of representational change: As the content of underlying concepts shifts with the accumulation of direct and vicarious experience, so too does the content of representations that draw upon these concepts. We discuss the ramifications of these principles for research into both human and synthetic cognitive systems. (shrink)

In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization of the observational advantages of one representation of information over another. By considering observational advantages, people will be able to make better informed choices of representations of (...) information. To demonstrate the benefit of observation and observational advantages, we apply these concepts to set theory and Euler diagrams. In particular, we can show that Euler diagrams have significant observational advantages over set theory. This formally justifies Larkin and Simon’s claim that “a diagram is worth ten thousand words”. (shrink)

This is the first of a three-volume collection of David Lewis's most recent papers in all the areas to which he has made significant contributions. The purpose of this collection (and the two volumes to follow) is to disseminate even more widely the work of a preeminent and influential late twentieth-century philosopher. The papers are now offered in a readily accessible format. This first volume is devoted to Lewis's work on philosophical logic from the last twenty-five years. The topics covered (...) include: deploying the methods of formal semantics from artificial formalised languages to natural languages, model-theoretic investigations of intensional logic, contradiction, relevance, the differences between analog and digital representation, and questions arising from the construction of ambitious formalised philosophical systems. The volume will serve as an important reference tool for all philosophers and their students. (shrink)

A formal language is introduced that contains expressions for the dependency of a legal relation on the claims that the concerned individuals make and on the permissions that they grant. It is used for a classification of legal relations into six major categories: categorical obligation, categorical permission, claimable obligation, grantable permission, claim-dependent obligation and grant-dependent permission. Legal rights may belong to any of these six categories, but the characteristics of a right-holder are shown to be different in each of (...) the six types. (shrink)

The aim of the paper is to assess the relative merits of two formal representations of structure, namely, set theory and category theory. The purpose is to articulate ontic structural realism. In turn, this will facilitate a discussion on the strengths and weaknesses of both concepts and will lead to a proposal for a pragmatics-based approach to the question of the choice of an appropriate framework. First, we present a case study from contemporary science—a comparison of the formulation of (...) quantum mechanics in the language of Hilbert spaces and abstract C* algebras. It is then shown how the method of structural representation can be determined based on the pragmatics of goal-oriented research, not a dogmatic choice. We investigate a hypothesis stating that the use of the interplay between the powers of abstraction and detail of different representational methods results in adopting a pluralistic, as opposed to standard, unificatory, perspective on the role of structural representation in OSR. (shrink)

Fodor and Pylyshyn's critique of connectionism has posed a challenge to connectionists: Adequately explain such nomological regularities as systematicity and productivity without postulating a "language of thought" (LOT). Some connectionists like Smolensky took the challenge very seriously, and attempted to meet it by developing models that were supposed to be non-classical. At the core of these attempts lies the claim that connectionist models can provide a representational system with a combinatorial syntax and processes sensitive to syntactic structure. They are not (...) implementation models because, it is claimed, the way they obtain syntax and structure sensitivity is not "concatenative," hence "radically different" from the way classicists handle them. In this paper, I offer an analysis of what it is to physically satisfy/realize a formal system. In this context, I examine the minimal truth-conditions of LOT Hypothesis. From my analysis it will follow that concatenative realization of formal systems is irrelevant to LOTH since the very notion of LOT is indifferent to such an implementation level issue as concatenation. I will conclude that to the extent to which they can explain the law-like cognitive regularities, a certain class of connectionist models proposed as radical alternatives to the classical LOT paradigm will in fact turn out to be LOT models, even though new and potentially very exciting ones. (shrink)

Indonesia is a multicultural country with hundreds of local languages used by Indonesians with Bahasa Indonesia as a national language and used by the mass media, in formal conversation, at all levels of education, and in written language. This study aimed to investigate whether speaking Bahasa Indonesia in public and at home or not, and whether speaking only Bahasa or besides Bahasa (another language) affects the performance of seven cognitive tests when the assessment was done in Bahasa Indonesia. (...) In case large effects will be obtained, this may demand different norm referenced scores. Data of 840 subjects, in age ranging from 16–80 with various levels of education from six regions were included. The results showed that there was a small disadvantage in the Digit Span for people who do not speak Bahasa Indonesia in public and a small advantage of speaking besides Bahasa (another language) in public on Rey’s Auditory Verbal Learning Test and on time to complete the Figure Reproduction tests. Other tests, such as the TMT, Stroop, 5PT, and Bourdon were without any effect. It can be concluded that corrections for the normative data, as is commonly done for education, age and sometimes sex, for people who do not speak Bahasa daily and for speaking besides Bahasa (another language) considering that the differences were only small, is not indicated. (shrink)

We can distinguish two non-equivalent ways in which a natural language argument can be valid: it can be interpretationally or representationally valid. However, there is just one notion of classical first-order validity for formal languages: truth-preservation in all classical first-order models. To ease the tension, Baumgartner suggests that we should understand interpretational and representational validity as imposing different adequacy conditions on formalizations of natural language arguments. I argue against this proposal. To that end, I first show that Baumgartner’s (...) definition of representational validity is extensionally inadequate. I present a number of natural language arguments that we pre-theoretically hold to be representationally valid, but are not representationally valid according to Baumgartner’s definition. I then point to two further untenable features of Baumgartner’s definitions: according to Baumgartner’s definition of a representationally correct formalization, we cannot arrive at formalizations in a recursive way, and Baumgartner’s definition of representational validity is non-monotonic. I conclude that interpretational and representational validity cannot be understood as merely imposing different adequacy conditions on formalizations. If we want to capture our interpretational and representational intuitions, we need two different formal definitions of validity. (shrink)

A formal, computational, semantically clean representation of natural language is presented. This representation captures the fact that logical inferences in natural language crucially depend on the semantic relation of entailment between sentential constituents such as determiner, noun, adjective, adverb, preposition, and verb phrases.The representation parallels natural language in that it accounts for human intuition about entailment of sentences, it preserves its structure, it reflects the semantics of different syntactic categories, it simulates conjunction, disjunction, and negation in (...) natural language by computable operations with provable mathematical properties, and it allows one to represent coordination on different syntactic levels. (shrink)

An increasingly prevalent approach to studying human cognition is to construe the mind as optimally allocating limited cognitive resources among cognitive processes. Under this bounded rationality approach (Icard in Philos Sci 85(1):79–101, 2018; Simon in Utility and probability, Palgrave Macmillan, 1980), it is common to assume that resource-bounded cognitive agents approximate normative solutions to statistical inference problems, and that much of the bias and variability in human performance can be explained in terms of the approximation strategies we employ. In this (...) paper, we argue that this approach restricts itself to an unnecessarily narrow scope of cognitive models, which limits its ability to explain how humans flexibly adapt their representations to novel environments. We argue that more attention should be paid to how we form our cognitive representations in the first place, and advocate for pluralistic framework which jointly optimizes over both representations and algorithms for manipulating them. We identify several fundamental trade-offs that manifest in this joint optimization, and draw on recent work to motivate a unified formal framework for this analysis. We illustrate a simplified version of this analysis with a case study in social cognition, and outline several new directions for research that this approach suggests. (shrink)

It is important to design digital infrastructure that can better accommodate multicultural and pluralistic views from its foundations. It is insufficient to look at only the responses and influences of culture on technology without considering how the technology can be adapted in anticipation of, and to support, pluralistic multicultural perspectives in its original design. This goes beyond the simple act of supporting multiple languages and interfaces, but should include the ability of digital and data infrastructure to capture (...) and accommodate pluralistic views, supporting multiple perspectives in the representation and processing of the data itself. In this work, we look at how rethinking the representation of data can allow us to more directly tackle domains that are typically hampered due to intercultural differences, and their inevitable losses in translation, particularly losses of valuable information like context and intention. When we refer to a loss of context and intention, we are referring to the loss of semantic information when practices such as referencing and citation are hard-coded to a particular set of cultural norms. We show that it is possible to expand the way in which we track referential data to capture richer semantic information regarding the contexts and intentions of the creators of this data, and thereby better serve the varied needs of those who consume, study, and refer to such data. We demonstrate this concept through a prototype system for a multicultural digital infrastructure, which we have namedMultiVerse, and discuss its ethical implications from the perspectives of ‘multistability’, Intercultural Information Ethics framework, and poststructuralism. (shrink)

This study examines the complex dynamics of communication in the changing field of journalism influenced by the use of media. It specifically focuses on how thoughts and perceptions are expressed in this evolving landscape. Information and communication technologies significantly influence journalism by rapidly disseminating news, updates, and societal impacts. Utilizing critical discourse analysis, the study aims to reveal systematic language usages and uncover latent meanings beyond news texts. Focused on the 2023 Turkish Presidential Election, news texts from four prominent international (...) newslets Al Jazeera, BBC, CNN, and Euronews are analyzed. The comprehensive analysis of international media coverage investigates the interplay of linguistic and thematic choices in shaping narratives. With a dual focus on macro and micro levels of discourse, the study uncovers diverse approaches among foreign media outlets. Each outlet adopts a distinctive thematic approach at the macro level, emphasizing key figures and sociopolitical contexts. Al Jazeera spotlights competition, BBC underscores post-election polarization, CNN focuses on Erdogan's victory, and Euronews provides insights into national challenges. Visual elements, like photographs, contribute significantly to framing events, offering nuanced political messaging. Micro-level analysis explores linguistic choices, syntax, and rhetoric, emphasizing the active voice to underscore leaders' agency. Deliberate use of the passive voice in presenting election results maintains a neutral tone. The way sentences are structured and the cause-and-effect connections help readers understand political developments by providing context. The study underscores the importance of media literacy in decoding political event representations, emphasizing the multifaceted complexities of media discourse. (shrink)

This paper solves a natural but still open question: can abstract categorial grammars (ACGs) respresent usual categorial grammars? Despite their name and their claim to be a unifying framework, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows that Non-Associative Lambek grammars as well as their derivations can be defined using ACGs of order two. To conclude, the outcome of such a representation are discussed.

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content is (...) extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

Embedded and embodied approaches to cognition urge that (1) complicated internal representations may be avoided by letting features of the environment drive behavior, and (2) environmental structures can play an enabling role in cognition, allowing prior cognitive processes to solve novel tasks. Such approaches are thus in a natural position to oppose the ‘thesis of linguistic structuring’: The claim that the ability to use language results in a wholesale recapitulation of linguistic structure in onboard mental representation. Prominent examples of (...) researchers adopting this critical stance include Andy Clark, Michael Wheeler, and Mark Rowlands. But is such opposition warranted? Since each of these authors advocate accounts of mental representation that are broadly connectionist, I survey research on formal language computation in artificial neural networks, and argue that results indicate a strong form of the linguistic structuring thesis is true: Internal representational systems recapitulate significant linguistic structure, even on a connectionist account of mental representation. I conclude by sketching how my conclusion can nonetheless be viewed as consistent with and complimentary to an embedded/embodied account of the role of linguistic structure in cognition. (shrink)

This is the first of a three-volume collection of David Lewis's most recent papers in all the areas to which he has made significant contributions. The purpose of this collection is to disseminate even more widely the work of a preeminent and influential late twentieth-century philosopher. The papers are now offered in a readily accessible format. This first volume is devoted to Lewis's work on philosophical logic from the last twenty-five years. The topics covered include: deploying the methods of (...) class='Hi'>formal semantics from artificial formalised languages to natural languages, model-theoretic investigations of intensional logic, contradiction, relevance, the differences between analog and digital representation, and questions arising from the construction of ambitious formalised philosophical systems. The volume will serve as an important reference tool for all philosophers and their students. (shrink)

This volume presents a sketch of the Meaning-Text linguistic approach, richly illustrated by examples borrowed mainly, but not exclusively, from English. Chapter 1 expounds the basic idea that underlies this approach—that a natural language must be described as a correspondence between linguistic meanings and linguistic texts—and explains the organization of the book. Chapter 2 introduces the notion of linguistic functional model, the three postulates of the Meaning-Text approach (a language is a particular meaning-text correspondence, a language must be described by (...) a functional model and linguistic utterances must be treated at the level of the sentence and that of the word) and the perspective “from meaning to text” for linguistic descriptions. Chapter 3 contains a characterization of a particular Meaning-Text model: formal linguistic representations on the semantic, the syntactic and the morphological levels and the modules of a linguistic model that link these representations. Chapter 4 covers two central problems of the Meaning-Text approach: semantic decomposition and restricted lexical cooccurrence (≈ lexical functions); particular attention is paid to the correlation between semantic components in the definition of a lexical unit and the values of its lexical functions. Chapter 5 discusses five select issues: 1) the orientation of a linguistic description must be from meaning to text (using as data Spanish semivowels and Russian binominative constructions); 2) a system of notions and terms for linguistics (linguistic sign and the operation of linguistic union; notion of word; case, voice, and ergative construction); 3) formal description of meaning (strict semantic decomposition, standardization of semantemes, the adequacy of decomposition, the maximal block principle); 4) the Explanatory Combinatorial Dictionary (with a sample of complete lexical entries for Russian vocables); 5) dependencies in language, in particular—syntactic dependencies (the criteria for establishing a set of surface-syntactic relations for a language are formulated). Three appendices follow: a phonetic table, an inventory of surface-syntactic relations for English and an overview of all possible combinations of the three types of dependency (semantic, syntactic, and morphological). The book is supplied with a detailed index of notions and terms, which includes a linguistic glossary. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted (...) on knowledge representation came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

Three-valued logics are standardly used to formalize gappy languages, i.e., interpreted languages in which sentences can be true, false or neither. A three-valued logic that assigns the same truth value to all gappy sentences is, in our view, insufficient to capture important semantic differences between them. In this paper we will argue that there are two different kinds of pathologies that should be treated separately and we defend the usefulness of a four-valued logic to represent adequately these two (...) types of gappy sentences. Our purpose is to begin the formal exploration of the four-valued logics that could be used to represent the phenomena in question and to show that these phenomena are present in natural language, at least according to some semantic theories of natural language. (shrink)

To move beyond vague platitudes about the importance of context in legal reasoning or natural language understanding, one must take account of ideas from artificial intelligence on how to represent context formally. Work on topics like prior probabilities, the theory-ladenness of observation, encyclopedic knowledge for disambiguation in language translation and pathology test diagnosis has produced a body of knowledge on how to represent context in artificial intelligence applications.

In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as (...) Gelfand representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds. (shrink)

We are frequently exposed to hand written digits 0-9 in today’s modern life. Success in decoding-classification of hand written digits helps us understand the corresponding brain mechanisms and processes and assists seriously in designing more efficient brain-computer interfaces. However, all digits belong to the same semantic category and similarity in appearance of hand written digits makes this decoding-classification a challenging problem. In present study, for the first time, augmented naïve Bayes classifier is used for classification of fMRI (functional Magnetic Resonance (...) imaging) measurements to decode the hand written digits which took advantage of brain connectivity information in decoding-classification. fMRI was recorded from three healthy participants, with an age range of 25-30. Results in different brain lobes (frontal, occipital, parietal and temporal) show that utilizing connectivity information significantly improves decoding-classification and capability of different brain lobes in decoding-classification of hand written digits were compared to each other. In addition, in each lobe the most contributing areas and brain connectivities were determined and connectivities with short distances between their endpoints were recognized to be more efficient. Moreover, data driven method was applied to investigate the similarity of brain areas in responding to stimuli and this revealed both similarly active areas and active mechanisms during this experiment. Interesting finding was that during the experiment of watching hand written digits, there were some active networks (visual, working memory, motor and language processing), but the most relevant one to the task was language processing network according to the voxel selection. (shrink)

An important part of the explanatory role of concepts is that they enable us to combine a wide variety of objects, properties and relations in thought, with contents spanning diverse domains. I discuss an argument that appears to show that paradigmatic non-linguistic representational formats are unsuited to play this role, and thus conceptual representation could not occur in these formats. I show that this argument fails, because it overlooks the possibility of individual concepts being shared between a number of (...) special purpose representational systems. Demonstrating this requires defending the possibility of cross-format redeployment of concepts. (shrink)

This is a review of From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, written by Hans Kamp and Uwe Reyle and published by Kluwer Academic Publishers in 1993.

A series of recent studies have explored the impact of people's judgments regarding physical law, morality, and probability. Surprisingly, such studies indicate that these three apparently unrelated types of judgments often have precisely the same impact. We argue that these findings provide evidence for a more general hypothesis about the kind of cognition people use to think about possibilities. Specifically, we suggest that this aspect of people's cognition is best understood using an idea developed within work in the formal (...) semantics tradition, namely the notion of modality. On the view we propose, people may have separate representations for physical, moral and probabilistic considerations, but they also integrate these various considerations into a unified representation of modality. (shrink)

As large language models (LLMs) continue to demonstrate remarkable abilities across various domains, computer scientists are developing methods to understand their cognitive processes, particularly concerning how (and if) LLMs internally represent their beliefs about the world. However, this field currently lacks a unified theoretical foundation to underpin the study of belief in LLMs. This article begins filling this gap by proposing adequacy conditions for a representation in an LLM to count as belief-like. We argue that, while the project of (...) belief measurement in LLMs shares striking features with belief measurement as carried out in decision theory and formal epistemology, it also differs in ways that should change how we measure belief. Thus, drawing from insights in philosophy and contemporary practices of machine learning, we establish four criteria that balance theoretical considerations with practical constraints. Our proposed criteria include accuracy, coherence, uniformity, and use, which together help lay the groundwork for a comprehensive understanding of belief representation in LLMs. We draw on empirical work showing the limitations of using various criteria in isolation to identify belief representations. (shrink)

Since the time that people began to theorize about music, it has been approached from opposite poles –either as an emotion or as a mathematical form. The same binary approach has also continued to influence the ideas that claim music as a language. In this context, music has been viewed as either a language of emotion or as a formal language. Music as the language of emotions offers a subjective analysis in terms of focusing on the emotions it arouses, (...) rather than the music itself. Moreover, despite its focus on emotions, this subjective analysis claims that it provides a direct analysis to music. Although our study does not reject the power of music for evoking emotions, it opposes the claim that the bond between music and emotions is direct. By analyzing the elements of music, music as a formal language addresses a work on the piece. Music as a formal language is a work on the work itself. To illustrate this, we will show how music is approached as a formal language. In doing so, we will first discuss the structure of music and analyze how emotions take place in this structure. Then, we will explain the formality of the elements of music, pointing out what these elements are. After that, we will discuss the dilemmas of the expression of “music as an emotional language,” by addressing the problematic aspects of the emotion-language assumption. Then, we will focus on the distinction between formal languages and natural languages. From this point of view, we will explain how music, which we have positioned as a formal language, deserves this approach. Finally, we will point out the opportunities of the objective meaning provided by the approach that takes music as a formal language. We will discuss the objective sense drawing on Frege's theory of sense. Considering Frege's distinction between sense, reference and representation, and adopting the distinction between sense and representation in music is essential for understanding the sense of music. Frege distinguishes between the two with an emphasis on the objectivity of sense and the subjectivity of representation. We think that it is necessary to maintain this distinction made by Frege and adapt it to the music in order to capture the objective sense of the music. The objective sense approach would give us the opportunity to focus on the art of music itself. Therefore, providing an alternative approach to the question of how musical sense can be grasped, our study distinguishes itself from other theories that considers music as an instrument of emotion through objective sense. (shrink)

Late-eighteenth century science tends to dismiss the search for the true causes of natural phenomena and tries instead to offer a quantifiable and eventually mathematical account of them. By taking the debates on electricity during that period as a case study, this paper aims to ascertain whether, and to what extent, later more quantified and even mathematized approaches are directly supported or continuously connected with earlier approaches. In order to do so, we take into account a relatively large pool of (...) early modern works devoted to electricity and contextualize them within a much larger corpus of natural philosophy works. By using a computational approach, we then represent these two corpora as networks based on similarity measures derived from how language is used in each work. Network representation helps us to investigate the place and impact of several works within our corpus, extract information on possible trends, and select key samples for close reading. Based on our results, we surmise that the effort towards mathematization does not arise from having dismissed the quest for the actual physical causes of phenomena, nor is it necessarily correlated with a more skeptical or instrumental attitude towards the knowledge attainable in natural philosophy. (shrink)

Today, artificial intelligence is actively mastering natural languages, becoming an interlocutor and partner of human in various aspects of activity. However, the symbolic approach, which implies the transfer of rules and logic, has failed, the number of rules and exceptions of the language does not allow its formalization, so modern «deep learning» of artificial neural networks involves an independent search for patterns in extensive databases. During training, artificial intelligence puts a word into a sentence so that the syntagmatic relationships (...) are as close as possible to those of the target word in the base, taking into account both the semantic relationships of words and the relationships between words in the sequence of presentation. The «language» of information technologies is digital. During natural language processing, words are represented in vector form as a sequence of numbers. The idea of representing words mathematically is familiar to people and is usually associated with logical consistency. Visualization of the position of words in a multidimensional space created by artificial intelligence demonstrates a number of patterns, obvious semantic and syntactic relationships, but the essence of other relationships between words is not obvious. The mathematical representation of words, created by artificial intelligence, can allow you to look at the language from a new non-human point of view. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power (...) and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

According to logical theories of meaning, a meaning of an expression can be formalized and encoded in truth conditions. Vagueness of the language and individual differences between people are a challenge to incorporate into the meaning representations. In this paper, we propose a new approach to study truth-conditional representations of vague concepts. For a case study, we selected two natural language quantifiers most and more than half. We conducted two online experiments, each with 90 native English speakers. In the first (...) experiment, we tested between-subjects variability in meaning representations. In the second experiment, we tested the stability of meaning representations over time by testing the same group of participants in two experimental sessions. In both experiments, participants performed the verification task. They verified a sentence with a quantifier (e.g., “Most of the gleerbs are feezda.”) based on the numerical information provided in the second sentence, (e.g., “60% of the gleerbs are feezda”). To investigate between-subject and within-subject differences in meaning representations, we proposed an extended version of the Diffusion Decision Model with two parameters capturing truth conditions and vagueness. We fit the model to responses and reaction times data. In the first experiment, we found substantial between-subject differences in representations of most as reflected by the variability in the truth conditions. Moreover, we found that the verification of most is proportion-dependent as reflected in the reaction time effect and model parameter. In the second experiment, we showed that quantifier representations are stable over time as reflected in stable model parameters across two experimental sessions. These findings challenge semantic theories that assume the truth-conditional equivalence of most and more than half and contribute to the representational theory of vague concepts. The current study presents a promising approach to study semantic representations, which can have a wide application in experimental linguistics. (shrink)