A logical description of metaphor analysis

This paper alms to use logical techniques to describe how metaphors are analyzed. Metaphor analysis process functions as one of the most important strategies to uncover implied information in discourse understanding. A metaphor analysis logic system is developed and presented in terms of its dcfmitions, axiomatic system, inference rules, properties. semantic interpretations and applications. The merits of the logic are that possible worlds are substituted with possible feature spaces compared with Local Frame Theory, and an understanding modal operator U-p, a relational symbol < and a Gestalt rule are embodied. The most notable feature of the logic is that it takes into account subjective factors in the process of metaphor analysis

Harmony and modality

It is argued that the meaning of the modal connectives must be given inferentially, by the rules for the assertion of formulae containing them, and not semantically by reference to possible worlds. Further, harmony confers transparency on the inferentialist account of meaning, when the introduction-rule specifies both necessary and sufficient conditions for assertion, and the elimination-rule does no more than exhibit the consequences of the meaning so conferred. Hence, harmony is not to be identified with normalization, since the standard modal natural deduction rules, though normalizable, are not in this sense harmonious. Harmonious rules for modality have lately been formulated, using labelled deductive systems

Abstraction as a basis for the computational interpretation of creative cross-modal metaphor

Various approaches to computational metaphor interpretation are based on pre-existing similarities between source and target domains and/or are based on metaphors already observed to be prevalent in the language. This paper addresses similarity-creating cross-modal metaphoric expressions. It is shown how the “abstract concept as object” (or reification) metaphor plays a central role in a large class of metaphoric extensions. The described approach depends on the imposition of abstract ontological components, which represent source concepts, onto target concepts. The challenge of such a system is to represent both denotative and connotative components which are extensible, together with a framework of general domains between which such extensions can conceivably occur. An existing ontology of this kind, consistent with some mathematic concepts and widely held linguistic notions, is outlined. It is suggested that the use of such an abstract representation system is well adapted to the interpretation of both conventional and unconventional metaphor that is similarity-creating

Modal Predicates

Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard modal logic with a quantificational apparatus that is “substitutional” rather than “objectual”, and by obtaining from the language so enriched another language in which constants for such predicates apply to singular terms that stand for propositions

Metaphysical and absolute possibility

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it

Herstellung eines Phaffia rhodozyma : Stamms mit verstärkter Astaxanthin-Synthese über gezielte genetische Modifikation chemisch mutagenisierter Stämme

Ziel dieser Arbeit war es erstmals durch eine Kombination aus chemischer Mutagenese und gezielter genetischer Modifikation (hier: „metabolic engineering“) einen Phaffia-Stamm herzustellen, welcher über die Mutagenese hinaus über eine weiter verstärkte Astaxanthin-Synthese verfügt. Die von „DSM Nutritional Products“ bereitgestellten chemischen Mutanten wurden analysiert und über einen Selektionsprozess auf Pigmentstabilität und Wachstum hin optimiert, da die Stämme aus cryogenisierter Dauerkultur starke Pigmentinstabilitäten und ein verzögertes Wachstum aufwiesen. Über eine exploratorische Phase wurde die Carotinoidsynthese analysiert und festgestellt, dass in den Mutanten keine Einzelreaktionen betroffen sind, welche für die Heraufregulierung der Carotinoidsynthese in den Mutanten verantwortlich sind. Hierbei wurden Limitierungen identifiziert und diese durch Transformation von Expressionsplasmiden mit geeigneten Genen aufgehoben, um damit eine noch effizientere Metabolisierung von Astaxanthin-Vorstufen hin zu Astaxanthin zu erreichen. Eine Überexpression der Phytoensynthase/Lycopinzyklase crtYB resultierte in einem gesteigerten Carotinoidgehalt bei gleichbleibendem Astaxanthin- Anteil. Durch eine zweite Transformation mit einer Expressionskassette für die Astaxanthin-Synthase asy konnte der Carotinoidgehalt weiter gesteigert und zusätzlich eine Limitierung der Metabolisierung von Astaxanthin-Vorstufen behoben werden, sodass die Transformante nahezu alle Intermediate der Astaxanthinsynthese zu Astaxanthin metabolisieren konnte (Gassel et al. 2013). Es konnte gezeigt werden, dass auch in den Mutanten, aus Experimenten mit dem Wildtyp bekannte, Limitierungen identifiziert und ausgeglichen werden konnten

Debussy's string quartet in the Brussels salon of "La Libre Esthetique"

The second performance of Debussy's String Quartet, given by the Ysaye Quartet on an all-Debussy program during the 1894 salon of "La Libre Esthétique" in Brussels, offers an ideal context for a critical reexamination of his musical and aesthetic affinities at this pivotal moment. In the first place, a view to the salon's other three concerts, which honored Beethoven alongside recent works by Societe Nationale composers, encourages reconsideration of Debussy's own response to the "great tradition" in the work he ironically designated "Opus 10." But at the same time, due regard to his other contemporaneous compositional obsessions, as exemplified in the works programmed alongside the Quartet, raises the question as to how such self-conscious dialogue with Classical models related to more pressing, post-Wagnerian musical negotiations. Pursuit of this question through analysis of the first movement's reconfigured sonata form ultimately suggests ways to distinguish, from amid the myriad post-Impressionist artists on view in the "Free Aesthetic" salon itself, those painters whose visual explorations most tellingly paralleled Debussy's own "games" with musical syntax and expression in the early 1890s

Counteridenticals

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections

Against the iterative conception of set

According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty set and raises serious epistemological concerns; but the leading realist interpretations---ontological and modal interpretations of priority---are deeply problematic as well. I conclude that the purported explanatory virtues of the iterative conception are, at present, unfounded