Information and Experience in Metaphor: A Perspective From Computer Analysis

Novel linguistic metaphor can be seen as the assignment of attributes to a topic through a vehicle belonging to another domain. The experience evoked by the vehicle is a significant aspect of the meaning of the metaphor, especially for abstract metaphor, which involves more than mere physical similarity. In this article I indicate, through description of a specific model, some possibilities as well as limitations of computer processing directed toward both informative and experiential/affective aspects of metaphor. A background to the discussion is given by other computational treatments of metaphor analysis, as well as by some questions about metaphor originating in other disciplines. The approach on which the present metaphor analysis model is based is consistent with a theory of language comprehension that includes both the intent of the originator and the effect on the recipient of the metaphor. The model addresses the dual problem of (a) determining potentially salient properties of the vehicle concept, and (b) defining extensible symbolic representations of such properties, including affective and other connotations. The nature of the linguistic analysis underlying the model suggests how metaphoric expression of experiential components in abstract metaphor is dependent on the nominalization of actions and attributes. The inverse process of undoing such nominalizations in computer analysis of metaphor constitutes a translation of a metaphor to a more literal expression within the metaphor-nonmetaphor dichotomy

Badiou’s Logics: Math, Metaphor, and (Almost) Everything

Mathematics plays a central role in the philosophical system of Alain Badiou. The aim of this essay is to situate this appeal to mathematics in the broader context of his work, including its literary and political elements

Computational universes

Suspicions that the world might be some sort of a machine or algorithm existing ``in the mind'' of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science have lent support to the thesis, but empirical evidence is needed before it can begin to replace our contemporary world view.Comment: Several corrections of typos and smaller revisions, final versio

Formalizing graphical notations

The thesis describes research into graphical notations for software engineering, with a principal interest in ways of formalizing them. The research seeks to provide a theoretical basis that will help in designing both notations and the software tools that process them. The work starts from a survey of literature on notation, followed by a review of techniques for formal description and for computational handling of notations. The survey concentrates on collecting views of the benefits and the problems attending notation use in software development; the review covers picture description languages, grammars and tools such as generic editors and visual programming environments. The main problem of notation is found to be a lack of any coherent, rigorous description methods. The current approaches to this problem are analysed as lacking in consensus on syntax specification and also lacking a clear focus on a defined concept of notated expression. To address these deficiencies, the thesis embarks upon an exploration of serniotic, linguistic and logical theory; this culminates in a proposed formalization of serniosis in notations, using categorial model theory as a mathematical foundation. An argument about the structure of sign systems leads to an analysis of notation into a layered system of tractable theories, spanning the gap between expressive pictorial medium and subject domain. This notion of 'tectonic' theory aims to treat both diagrams and formulae together. The research gives details of how syntactic structure can be sketched in a mathematical sense, with examples applying to software development diagrams, offering a new solution to the problem of notation specification. Based on these methods, the thesis discusses directions for resolving the harder problems of supporting notation design, processing and computer-aided generic editing. A number of future research areas are thereby opened up. For practical trial of the ideas, the work proceeds to the development and partial implementation of a system to aid the design of notations and editors. Finally the thesis is evaluated as a contribution to theory in an area which has not attracted a standard approach

Between the historical languages and the reconstructed language : an alternative approach to the Gerundive + “Dative of Agent” construction in Indo-European

It is argued by Hettrich (1990) that the “dative of agent” construction in the Indo-European languages most likely continues a construction inherited from Proto-Indo-European. In two recent proposals (Danesi 2013, Luraghi 2016), it is argued that the “dative of agent” contains no agent at all, although the two proposals differ with regard to the reconstructability of the “dative of agent” construction. Luraghi argues that it is an independent secondary development from an original beneficiary function (cf. Hettrich 1990), while Danesi maintains that the construction is reconstructable for an earlier proto-stage. Elaborating on Danesi’s approach, we analyze gerundives with the “dative of agent” in six different Indo-European languages that bridge the east–west divide, namely, Sanskrit, Avestan, Ancient Greek, Latin, Tocharian, and Lithuanian. Scrutiny of the data reveals similarities at a morphosyntactic level, a semantic level (i.e. modal meaning and low degree of transitivity), and also, to some extent, at an etymological level. An analysis involving a modal reading of the predicate, with a dative subject and a nominative object, is better equipped to account for the particulars of the “gerundive + nominative + dative” construction than the traditional agentive/passive analysis. The proposal is couched within the theoretical framework of Construction Grammar, in which the basic unit of language is the Construction, i.e. a form–function correspondence, and no principled distinction between lexical items and complex syntactic structures is assumed. As these structures are by definition units of comparanda, required by the Comparative Method, they can be successfully utilized in the reconstruction of a proto-construction for Proto-Indo-European

Reformalizing the notion of autonomy as closure through category theory as an arrow-first mathematics

Life continuously changes its own components and states at each moment through interaction with the external world, while maintaining its own individuality in a cyclical manner. Such a property, known as "autonomy," has been formulated using the mathematical concept of "closure." We introduce a branch of mathematics called "category theory" as an "arrow-first" mathematics, which sees everything as an "arrow," and use it to provide a more comprehensive and concise formalization of the notion of autonomy. More specifically, the concept of "monoid," a category that has only one object, is used to formalize in a simpler and more fundamental way the structure that has been formalized as "operational closure." By doing so, we show that category theory is a framework or "tool of thinking" that frees us from the habits of thinking to which we are prone and allows us to discuss things formally from a more dynamic perspective, and that it should also contribute to our understanding of living systems.Comment: This paper has been accepted for ALIFE 202