Horwich on meaning and use

Paul Horwich claims that theories of meaning ought to accommodate the commonsense intuition that meanings play a part in explaining the use of words. Further, he argues that the view that best does so is that according to which the meaning of a word is constituted by a disposition to accept, in some circumstances, sentences in which it features. I argue that if meanings are construed thus, they will in fact fail to explain the use of words. I also argue that if we insist, as Horwich does, on the commonsense assumption that meanings are a species of entity, all versions of the view that meaning is constituted by our dispositions to use words will have to be rejected. I do not, however, claim that such theories ought to be rejected. My point is that they are incompatible with the requirements of commonsense. Further, I suggest that it is premature to impose such requirements on theories of meaning

Formal Requirements Elicitation with FRET

FRET is a tool for writing, understanding, formalizing and analyzing requirements. Users write requirements in an intuitive, restricted natural language, called FRETISH, with precise, unambiguous meaning. For a FRETISH requirement, FRET: 1) produces natural language and diagrammatic explanations of its exact meaning, 2) formalizes the requirement in logics, and 3) supports interactive simulation of produced logic formulas to ensure that they capture user intentions. FRET connects to analysis tools by facilitating the mapping between requirements and models/code, and by generating verification code. FRET is available open source at https://github.com/NASA-SW-VnV/fret; a video can be accessed at : https://tinyurl.com/fretForREFSQ

Fixing Incontestability: The Next Frontier?

Incontestability is a nearly unique feature of American trademark law, with a unique American implementation. The concept of incontestability allows a trademark registrant to overcome arguments that a symbol is merely descriptive of features or qualities of the registrant’s goods or services—for example, “Juicy” for apples. Incontestability provides a nearly irrebuttable presumption of trademark meaning, which is a powerful tool for trademark owners. Unfortunately, incontestability is not granted as carefully as its power would counsel. Courts may misunderstand either the prerequisites for, or the meaning of incontestability, allowing trademark claimants to assert rights that they don’t actually have Incontestability needs clearer signals about what it is and when it is available. In the absence of serious substantive examination of incontestability at the PTO—which seems unlikely to materialize any time soon—changes designed to increase the salience of incontestability’s requirements to filers and to courts could provide some protection against wrongful assertions. Incontestability can only serve the trademark system if it is granted properly and consistently

Information Management: A Consolidation of Operations, Analysis and Strategy

The book provides an exposition on the discipline of information management. It is organised into four parts. The first of these deals with factors that shape the meaning of information management - the professional associations that have formed; the science of information; and corporate approaches to consideration of information as an enterprise resource. The following three parts explain how information management is undertaken in three domains: operational, analytical and administrative. The operational domain details techniques that are concerned with processing information about information - the organising structures, finding aids, classification and retrieval systems, that make their respective information systems useable. The analytical domain is concerned with determining enterprise and user information requirements; undertaking requirements analysis; information audits; and evaluation of information operations. The administrative domain is concerned with the strategic approach – fostering effective utilisation of information and knowledge resources using a planning framework that aligns information services with that of an enterprise’s objectives and resourcing, and works effectively within constraints imposed by the broader regulatory and business environment

Outline of a new approach to the nature of mind

I propose a new approach to the constitutive problem of psychology ‘what is mind?’ The first section introduces modifications of the received scope, methodology, and evaluation criteria of unified theories of cognition in accordance with the requirements of evolutionary compatibility and of a mature science. The second section outlines the proposed theory. Its first part provides empirically verifiable conditions delineating the class of meaningful neural formations and modifies accordingly the traditional conceptions of meaning, concept and thinking. This analysis is part of a theory of communication in terms of inter-level systems of primitives that proposes the communication-understanding principle as a psychological invariance. It unifies a substantial amount of research by systematizing the notions of meaning, thinking, concept, belief, communication, and understanding and leads to a minimum vocabulary for this core system of mental phenomena. Its second part argues that written human language is the key characteristic of the artificially natural human mind. Overall, the theory both supports Darwin’s continuity hypothesis and proposes that the mental gap is within our own species

Linear Logic for Meaning Assembly

Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts. Meanings are often assumed to combine via function application, which works well when constituent structure trees are used to guide semantic composition. However, we believe that the functional structure of Lexical-Functional Grammar is best used to provide the syntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format. It has been difficult, however, to reconcile this approach with the combination of meanings by function application. In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure. Our use of linear logic as a `glue' for assembling meanings allows for a coherent treatment of the LFG requirements of completeness and coherence as well as of modification and quantification.Comment: 19 pages, uses lingmacros.sty, fullname.sty, tree-dvips.sty, latexsym.sty, requires the new version of Late

Attributions as Behavior Explanations: Toward a New Theory

Attribution theory has played a major role in social-psychological research. Unfortunately, the term attribution is ambiguous. According to one meaning, forming an attribution is making a dispositional (trait) inference from behavior; according to another meaning, forming an attribution is giving an explanation (especially of behavior). The focus of this paper is on the latter phenomenon of behavior explanations. In particular, I discuss a new theory of explanation that provides an alternative to classic attribution theory as it dominates the textbooks and handbooks—which is typically as a version of Kelley’s (1967) model of attribution as covariation detection. I begin with a brief critique of this theory and, out of this critique, develop a list of requirements that an improved theory has to meet. I then introduce the new theory, report empirical data in its support, and apply it to a number of psychological phenomena. I finally conclude with an assessment of how much progress we have made in understanding behavior explanations and what has yet to be learned

Sustainability Debt: A Metaphor to Support Sustainability Design Decisions

Sustainability, the capacity to endure, is fundamental for the societies on our planet. Despite its increasing recognition in software engineering, it remains difficult to assess the delayed systemic effects of decisions taken in requirements engineering and systems design. To support this difficult task, this paper introduces the concept of sustainability debt. The metaphor helps in the discovery, documentation, and communication of sustainability issues in requirements engineering. We build on the existing metaphor of technical debt and extend it to four other dimensions of sustainability to help think about sustainability-aware software systems engineering. We highlight the meaning of debt in each dimension and the relationships between those dimensions. Finally, we discuss the use of the metaphor and explore how it can help us to design sustainability-aware software intensive systems