Variables, Generality and Existence: considerations on the notion of a concept-script

A defense of the Frege / Russell idea of logic as a 'concept=script' or 'ideal language', and a discussion of the relationship of this project to the formalisation of mass nouns or non-count noun

On the role of syntactic locality in morphological processes : the case of (Greek) derived nominals

The paper is structured as follows. In section 2, I briefly summarize the facts on English and Greek nominalizations. In section 3, I discuss English nominal derivation in some detail. In section 4, I turn to the question of licensing of AS in nominals. In section 5, I turn to the issue of the optionality of licensing of AS in the nominal system

Semantics of nouns and nominal number

In the present paper, I will discuss the semantic structure of nouns and nominal number markers. In particular, I will discuss the question if it is possible to account for the syntactic and semantic formation of nominals in a parallel way, that is I will try to give a compositional account of nominal semantics. The framework that I will use is "twolevel semantics". The semantic representations and their type-theoretical basis will account for general cross-linguistic characteristics of nouns and nominal number and will show interdependencies between noun classes, number marking and cardinal constructions. While the analysis will give a unified account of bare nouns (like dog / water), it will distinguish between the different kinds of nominal terms (like a dog / dogs / water). Following the proposal, the semantic operations underlying the formation of the SR are basically the same for DPs as for CPs. Hence, from such an analysis, independent semantic arguments can be derived for a structural parallelism of nominals and sentences - that is, for the "sentential aspect" of noun phrases. I will first give a sketch of the theoretical background. I will then discuss the cross-linguistic combinatorial potential of nominal constructions, that is, the potential of nouns and number markers to combine with other elements and form complex expressions. This will lead to a general type-theoretical classification for the elements in question. In the next step, I will model the referential potential of nominal constructions. Together with the combinatorial potential, this will give us semantic representations for the basic elements involved in nominal constructions. In an overview, I will summarize our modeling of nouns and nominal number. I will then discuss in an outlook the "sentential aspect" of noun phrases

Semantic Types, Lexical Sorts and Classifiers

We propose a cognitively and linguistically motivated set of sorts for lexical semantics in a compositional setting: the classifiers in languages that do have such pronouns. These sorts are needed to include lexical considerations in a semantical analyser such as Boxer or Grail. Indeed, all proposed lexical extensions of usual Montague semantics to model restriction of selection, felicitous and infelicitous copredication require a rich and refined type system whose base types are the lexical sorts, the basis of the many-sorted logic in which semantical representations of sentences are stated. However, none of those approaches define precisely the actual base types or sorts to be used in the lexicon. In this article, we shall discuss some of the options commonly adopted by researchers in formal lexical semantics, and defend the view that classifiers in the languages which have such pronouns are an appealing solution, both linguistically and cognitively motivated

A functional view on prototypes

The human mind may produce prototypization within virtually any realm of cognition and behavior. A "comparative prototype-typology" might prove to be an interesting field of study – perhaps a new subfield of semiotics. This, however, would presuppose a clear view on the samenesses and differences of prototypization in these various fields. It seems realistic for the time being that the linguist first confine himself to describing prototypization within the realm of language proper. The literature on prototypes has steadily grown in the past ten years or so. I confine myself to mentioning the volume on Noun Classes and Categorization, edited by C. Craig (1986), which contains a wealth of factual information on the subject, along with some theoretical vistas. By and large, however, linguistic prototype research is still basically in a taxonomic stage - which, of course, represents the precondition for moving beyond. The procedure is largely per ostensionem, and by accumulating examples of prototypes. We still lack a comprehensive prototype theory. The following pages are intended, not to provide such, a theory, but to do the first steps in this direction. Section 2 will feature some elements of a functional theory of prototypes. They have been developed by this author within the frame of the UNITYP model of research on language universals and typology. Section 3 will bring a discussion of prototypization with regard to selected phenomena of a wide range of levels of analysis: Phonology, morphosyntax, speech acts, and the lexicon. Prototypization will finally be studied within one of the universal dimensions, that of APPREHENSION - the linguistic representation of the concepts of objects – as proposed by Seiler (1986)

Natural Language Ontology

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive of the ontological categories and structures reflected in natural language

A formal theory of conceptual modeling universals

Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of conceptual models and to develop guidelines for how the constructs of a modeling language (UML) should be used in conceptual modeling. In this paper, we focus on the modeling metaconcepts of classifiers and objects from an ontological point of view. We use a philosophically and psychologically well-founded theory of universals to propose a UML profile for Ontology Representation and Conceptual Modeling. The formal semantics of the proposed modeling elements is presented in a language of modal logics with quantification restricted to Sortal universals