Signe des temps, Cafebabel, est un webzine gratuit paneuropéen publiant quotidiennement en six langues . Il vise l’eurogénération, « la première génération qui vit l’Europe au quotidien ». S’appuyant sur un réseau de 31 rédactions locales dans 13 pays européens, coordonnées par une rédaction centrale à Paris, les articles partent de toutes ces rédactions, sont traduits par un réseau de traducteurs bénévoles, puis revus pour le travail final de secrétariat de rédaction par des journalistes professionnels, en fonction du lectorat de (...) l’aire linguistique à laquelle la traduction s’adresse sans nécessairement être juxtaposée sur l’original. La diversité des thèmes, la jeunesse du lectorat comme celle de la rédaction, l’amour des langues partagé par ses lecteurs, la diversité de son réseau et l’optique de proximité de Cafebabel en font un média européen original, différent de Courrier international, Euronews, Arte ou Presseurop.“Cafebabel” is a sign of the times, a free-access, pan-European webzine published every day in six languages . Its target audience is the “Eurogeneration”, “the first generation of people whose daily lives are European”. A network of 31 editorial committees in 13 European countries, coordinated by a central editorial board in Paris, sends out articles that are translated by a network of volunteer translators, before reaching the final copydesk stage where they are revised by professional journalists according to the linguistic area targeted by the translation, and not necessarily in juxtaposition with the original. The variety of topics, the youthfulness of both readership and writers and their shared love of languages, the diversity of its contributors and the “corner café” feel of “Cafebabel” have made it a highly distinctive Europe-wide media outlet, on a different register from “Courrier international”, “Euronews”, “Arte” or “Presseurop”. (shrink)

Nominalizations of modal predicates have received little, if any, attention in the semantic or philosophical literature. This paper will argue that nominalizations of modal predicates require recognizing a novel ontological category of modal objects and it will outline a new semantics of modals based on modal objects.

We investigate adverbial agreement in Sandəmarkesə (S. Marco in Lamis, Apulia) proposing phase-bound, local agreement relations, reducible to coordination, as in past and absolute participial constructions, suggesting a copulaless analysis where arguments are subjects in a small clause. With disjunct nominals with matching φ-features, the adverb agrees separately with each part in the set, otherwise resulting in ‘non-agreeing’ forms, which we test also with negative polarity items (niʃun-, ‘nobody’ and nentə, ‘nothing’). With fragment answers, the negation scopes over adverbs agreeing (...) with the two proposed topics: matching of the φ-features of both nouns values the negative operator with the same features. In fronted adverbs, agreement occurs when the question contains overt coordinated arguments, elements continuing a chain, and if coordinated arguments have matching φ-features. In agreement in topical contexts with fronted adverbs, agreement occurs with the aboutness-shift topic closely preceding them, rather than with the embedded direct object. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing (...) a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

In this paper, I discuss the distribution and the interpretation of the temporal suffix -kue in Mbyá, a Guaraní language that is closely related to Paraguayan Guaraní. This suffix is attested both inside noun phrases and inside clauses. Interestingly, its nominal uses give rise to inferences that are unattested in its clausal uses. These inferences were first identified in Paraguayan Guaraní by Tonhauser, who called them the existence property and the change of state property. Tonhauser further argued that these properties (...) are built into the lexical entry of the nominal temporal marker -kue. By contrast, I argue that -kue denotes a relative past tense both in its nominal and clausal uses, and that the existence and change of state properties are pragmatic inferences that arise from the interaction of the literal meaning of -kue with general constraints on the interpretation of noun phrases, notably constraints on the topicality of the time of evaluation of noun phrases. This allows me to maintain a uniform analysis of -kue across its nominal uses and its clausal uses. The analysis of -kue in Mbyá is relevant to a number of current debates on the expression of tense crosslinguistically. Firstly, the existence of relative tenses has sometimes been called into question. Klein notably argues that relative tenses are actually combinations of tense with the perfect aspect. Others have argued that there exist true relative tenses in certain languages. I argue that facts of Mbyá support the latter view. Secondly, Klein famously defined tenses as relations between topic times and the time of utterance. I argue, on the other hand, that relative tenses only denote relations between times, and that the topicality or non-topicality of their temporal arguments depends on their context of use, including their syntactic environment. Thirdly, this paper contributes to debates on the nature and reality of nominal tenses The Oxford handbook of tense and aspect, 2012), by arguing that tense in Mbyá is a genuinely nominal category, in the sense that temporal functional projections are part of the extended projection of the noun phrase. (shrink)

According to one view of english nominals, imperfect nominals designate facts, and perfect nominals, events. it is argued here that this is mistaken. of imperfect nominals only "that"-clauses are fact designators; imperfect gerundive nominals are to be classed with perfect nominals as event designators. there are, however, two conceptions of events, arising from two different conceptions of time. the events designated by imperfect gerundives are to be conceived as spread out in time, divisible into parts, and such that the same (...) event may receive multiple descriptions. the events named by perfect nominals differ. they persist through time, rather than being extended in it, they do not divide into temporal parts, and obey strict conditions of identity. this position is argued for on the basis of linguistic evidence, as well as analysis of the conceptions of time involved. implications of the view for a number of philosophical problems are pointed out and briefly explored. (shrink)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

There are good reasons to think natural languages are compositional. But compound nominals (CNs) are largely productive constructions that have proven highly recalcitrant to compositional semantic analysis. I evaluate existing proposals to treat CNs compositionally and argue that they are unsuccessful. I then articulate an alternative proposal according to which CNs contain covert indexicals. Features of the context allow a variety of relations to be expressed using CNs, but this variety is not expressed in the lexicon or the semantic rules (...) of the language. This proposal accounts for the diversity of contents CNs can be used to express while preserving compositionality. Finally, I defend this proposal against some recent anti-contextualist arguments. (shrink)

We started from the fact that type theory, in the way it was implemented in IL, makes it costly to deal with nominalization processes. We have also argued that the type hierarchy as such doesn't play any real role in a grammar; the classification it provides for different semantic objects is already contained, in some sense, in the categorial structure of the grammar itself. So, on the basis of a theory of properties (Cocchiarella's HST*) we have tried to build (...) a language (IL*) whose syntax does not contain any explicit typing of expressions. Some of the consequences that this move brings about in the overall organization of the grammar can be summarized as follows:it allows for a simple treatment of infinitives, gerunds, factives and, in general, all those phenomena which might be analyzed as cases of nominalization;it provides a simpler and more constrained semantics than IL, since IL* doesn't go beyond second order, and its non-modal basis is axiomatizable;it suggests that the role of logical form in a theory of grammar could be that of a family of theories of semantic objects;it eliminates the extrinsic limitations of a type hierarchy on the choice of the system of syntactic categories.I think that it is interesting to notice how having an explicit semantic framework helps to provide a sense in which it is legitimate to regard the syntax of a language as ‘autonomous’. (shrink)

I will argue that President Biden has not only the right to nominate an African American woman for SCOTUS, but, if he chooses a suitable candidate, he will be doing a great service to our country.

Composition-nominative logics are program-oriented logics. They are based on algebras of partial predicates which do not have fixed arity. The aim of this work is to present CNL as institutions. Homomorphisms of first-order CNL are introduced, satisfaction condition is proved. Relations with institutions for classical first-order logic are considered. Directions for further investigation are outlined.

Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of ‘freshness assumptions’; it is not always possible to ‘choose a fresh variable symbol’ for a nominal term; it is not always possible to ‘α-convert a bound variable symbol’ or to ‘quotient by α-equivalence’; the notion of unifier is not based just on substitution.Permissive nominal terms closely resemble nominal terms but they recover these properties, and in (...) particular the ‘always fresh’ and ‘always rename’ properties. In the permissive world, freshness contexts are elided, equality is fixed, and the notion of unifier is based on substitution alone rather than on nominal terms’ notion of unification based on substitution plus extra freshness conditions.We prove that expressivity is not lost moving to the permissive case and provide an injection of nominal terms unification problems and their solutions into permissive nominal terms problems and their solutions.We investigate the relation between permissive nominal unification and higher-order pattern unification. We show how to translate permissive nominal unification problems and solutions in a sound, complete, and optimal manner, in suitable senses which we make formal. (shrink)

This work adopts the perspective of plural logic and measurement theory in order first to focus on the microstructure of comparative determiners; and second, to derive the properties of comparative determiners as these are studied in Generalized Quantifier Theory, locus of the most sophisticated semantic analysis of natural language determiners. The work here appears to be the first to examine comparatives within plural logic, a step which appears necessary, but which also harbors specific analytical problems examined here.Since nominal comparatives involve (...) plural and mass reference, we begin with a domain of discourse upon which a lattice structure (Link's) is imposed, and which maps (via abstract dimensions such asweight in kilograms) to concrete measures (in N,R+). The mapping must be homomorphic and Archimedean. Comparisons begin as simple predicates on dimensions or measures; from these we derive classes of predicates on the domain, i.e., generalized determiners (quantifiers), and show, e.g., how monotonicity properties follow in the derivation. This results in a proposal for a logical language which includes derived determiners, and which is an attractive target for semantics interpretation; it also turns out that some interesting comparative determiners are first order, at least when restricted to nonparametric and noncollective predications. (shrink)

In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.

The typical habitat of overt nominative subjects is in finite clauses. But infinitival complements and infinitival adjuncts are also known to have overt nominative subjects, e.g. in Italian (Rizzi 1982), European Portuguese (Raposo 1987), and Spanish (Torrego 1998, Mensching 2000). The analyses make crucial reference to the movement of Aux or Infl to Comp, and to overt or covert infinitival inflection. This working paper is concerned with a novel set of data that appear to be of a different sort, in (...) that they probably do not depend on either rich infinitival inflection or on movement to C. (shrink)

In an attempt to accommodate natural language phenomena involving nominalization and self-application, various researchers in formal semantics have proposed abandoning the hierarchical type system which Montague inherited from Russell, in favour of more flexible type regimes. We briefly review the main extant proposals, and then develop a new approach, based semantically on Aczel's notion of Frege structure, which implements a version ofsubsumption polymorphism. Nominalization is achieved by virtue of the fact that the types of predicative and propositional complements (...) are contained in the type of individuals. Russell's paradox is avoided by placing a type-constraint on lambda-abstraction, rather than by restricting comprehension. (shrink)

Although Hale and Resnik are correct in their specific objection to my proposal for nominalizing science, the proposal can be saved by means of a simple and plausible modification.

I propose a way of formulating scientific laws and magnitude attributions which eliminates ontological commitment to mathematical entities. I argue that science only requires quantitative sentences as thus formulated, and hence that we ought to deny the existence of sets and numbers. I argue that my approach cannot plausibly be extended to the concrete "theoretical" entities of science.

We argue that the infinitival complements of subject-control and subject-to-subject raising verbs in Hungarian can have overt nominative subjects. The infinitival subject status of these DPs is diagnosed by constituent order, binding properties, and scope interpretation. Long-distance Agree(ment) and multiple agreement are crucial to their overtness.

This paper concentrates on the syntax and semantics of bare nominals in Germanic and Romance languages. These languages do not normally allow nominals to occur without an article. However, some syntactic configurations, including predicative constructions, supplementives and some prepositional phrases, allow bareness of certain nominals. We argue that bare nominals in these constructions refer to capacities: professions, religions, nationalities or other roles in society. Capacities are analyzed as entities of type e, sortally distinct from regular individuals as well as kinds. (...) We further argue that the capacity interpretation is associated with NP – a layer within the DP that lacks number features. This accounts for the number-neutral status of bare nominals. We also show some patterns in languages other than Romance and Germanic that provide further cross-linguistic support for the postulation of capacities as a separate ontological category, specific to a low position within the DP. (shrink)

Grounding refers to expressions that establish a connection between the ground and the content evoked by a nominal or finite clause. In this paper we report on two grammatical implementations of nominal grounding in Argentine Sign Language: pointing and placing. For pointing constructions, we also examine distal-proximal pointing and directive force. We introduce the concept of placing, in which a sign is produced at a specific meaningful location in space. Two types of placing are discussed: Placing-for-Creating, in which a new (...) meaningful location is created, and Placing-by-Recruiting, which recruits an existing meaningful location. We suggest that our analysis of pointing and placing provides an account of nominal grounding unified by general cognitive principles as described within the theory of Cognitive Grammar. Pointing is known to occur in all signed languages studied to date. Although previously undocumented, we suggest that placing is also common to many, perhaps all, signed languages. (shrink)

I endeavour in this article to present Ibn Taymiyya's theory of nominal definition as an alternative to logical definition. Ibn Taymiyya argues that nominal definition is based on concrete principles that are subject to experiment. Furthermore, the function of definition is akin to the 'name' because it aims at distinguishing any one object from others but not at reaching the entity of things. Nominal definition aims to define the name or the named, and this aim can be achieved by translation (...) or by interpretation. Translation is the movement from one name to another or from one named object to another. Interpretation is movement from a name to a named object or from a named object to a name. (shrink)

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not (...) a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (shrink)

This paper is devoted to show the development of some of the model-theoretic ideas which are clearly present in the main members of the Peano school (Peano himself, Burali-Forti, Pieri and Padoa) asa result of their conception of nominal definitions. Also, their semantic definition of logical consequence (Pieri, Padoa) is viewed as one of the outcomes of that conception. Some examples of their use of theexpression “nominal definition” are presented first. Second, the main advantages of this kind of definition, as (...) they saw them, are briefly explained, mainly in a philosophical context. Finally, already in the kernel of the paper, some of the details of the model-theoretic view itself are shown, first in Peano, then in Pieri and Padoa, including in both cases some study of their semantic definitions of logicalconsequence. (shrink)

Old Avestan, like other Old Indo-Iranian languages, appears to attest a variety of nouns and adjectives that display “verbal” government of accusative case “objects.” However the existence of such “transitive” nominals is problematic from a formal linguistic perspective, and indeed some formal linguistic models have denied their existence. In this paper I reconsider both the formal arguments concerning transitive nominals and the Old Avestan evidence, with the aim of establishing a more precise analysis of this aspect of Old Avestan syntax.

Let us suppose that thematic roles, or something very much like them, are needed to describe lexical and semantic patterns in the behavior of verbal predicates. But what about nouns? Is there evidence independent of verbal constructions motivating a system of nominal thematic relations? We suggest that the general problem of argument selection does in fact motivate a set of quintessentially nominal thematic proto-roles which we call Proto- Part and Proto-Whole. These nominal proto-roles are parallel to but distinct from the (...) verbal proto-roles of Proto-Agent and Proto-Patient proposed by Dowty (1991) to account for argument selection in verbal predicates. The resulting theory of nominal argument selection is properly semantic, that is, it distinguishes between argument positions purely on the basis of the semantic entailments of the predicates involved. Furthermore, it is non-dynamic, that is, it describes static patterns of lexicalization without hypothesizing any productive grammatical process that maps semantic arguments to syntactic arguments during the derivation of a sentence. (shrink)

We argue that Horgan's program for nominalizing science fails, because its translation of quantitative statements destroys the inferential structures of explanations, predictions and retrodictions of nonquantitative scientific facts.

The goal of this work is twofold. First, it aims to account for double genitive constructions in Serbian. Second, it aims to re-evaluate the DP hypothesis in light of their existence in Serbian. Based on evidence from the categorial status of possessives, argumenthood in the nominal domain, the morphosyntactic structure of nominalizations, and the assignment of the genitive case, it is argued that DP projection must be assumed in Serbian.

We are used to the idea that computers operate on numbers, yet another kind of data is equally important: the syntax of formal languages, with variables, binding, and alpha-equivalence. The original application of nominal techniques, and the one with greatest prominence in this paper, is to reasoning on formal syntax with variables and binding. Variables can be modelled in many ways: for instance as numbers (since we usually take countably many of them); as links (since they may `point' to a (...) binding site in the term, where they are bound); or as functions (since they often, though not always, represent `an unknown'). None of these models is perfect. In every case for the models above, problems arise when trying to use them as a basis for a fully formal mechanical treatment of formal language. The problems are practical—but their underlying cause may be mathematical. The issue is not whether formal syntax exists, since clearly it does, so much as what kind of mathematical structure it is. To illustrate this point by a parody, logical derivations can be modelled using a Gödel encoding (i.e., injected into the natural numbers). It would be false to conclude from this that proof-theory is a branch of number theory and can be understood in terms of, say, Peano's axioms. Similarly, as it turns out, it is false to conclude from the fact that variables can be encoded e.g., as numbers, that the theory of syntax-with-binding can be understood in terms of the theory of syntax-without-binding, plus the theory of numbers (or, taking this to a logical extreme, purely in terms of the theory of numbers). It cannot; something else is going on. What that something else is, has not yet been fully understood. In nominal techniques, variables are an instance of names, and names are data. We model names using urelemente with properties that, pleasingly enough, turn out to have been investigated by Fraenkel and Mostowski in the first half of the 20th century for a completely different purpose than modelling formal language. What makes this model really interesting is that it gives names distinctive properties which can be related to useful logic and programming principles for formal syntax. Since the initial publications, advances in the mathematics and presentation have been introduced piecemeal in the literature. This paper provides in a single accessible document an updated development of the foundations of nominal techniques. This gives the reader easy access to updated results and new proofs which they would otherwise have to search across two or more papers to find, and full proofs that in other publications may have been elided. We also include some new material not appearing elsewhere. (shrink)

This reading companion and commentary on Lacan Seminar XXIII provides detailed analyses of Lacan's seminar while maintaining an overall continuity and consistency. This book does not purport to provide an exhaustive and systematic line-by-line reading of a very complex and varied seminar. Rather it selects key themes of Lacanian theory that are found present throughout his work. In addition, the book does not try to simplify Lacan's ambiguous style, leaving the text open to different interpretations, while providing theory, commentary, and (...) lines of analysis into some of Lacan's important insights. Finally, this book is not about Joyce the writer, but more about the use that Lacan makes of Joyce. Its purpose is not to apply psychoanalysis to a literary subject, but rather to use the literary text to illustrate and develop psychoanalytic theory, and Lacanian theory in particular. It is an analysis of topology and language, or a linguisterie, as Lacan called it, for clinicians. The references to neurosis and psychosis are always there. However, a Lacanian clinic can also be of service to those interested in literary theory and/or social studies to develop theory within their own respective fields of studies. (shrink)

This paper is devoted to show the development of some of the model-theoretic ideas which are clearly present in the main members of the Peano school (Peano himself, Burali-Forti, Pieri and Padoa) asa result of their conception of nominal definitions. Also, their semantic definition of logical consequence (Pieri, Padoa) is viewed as one of the outcomes of that conception. Some examples of their use of theexpression “nominal definition” are presented first. Second, the main advantages of this kind of definition, as (...) they saw them, are briefly explained, mainly in a philosophical context. Finally, already in the kernel of the paper, some of the details of the model-theoretic view itself are shown, first in Peano, then in Pieri and Padoa, including in both cases some study of their semantic definitions of logicalconsequence. (shrink)

Dans ses Quaestiones super Metaphysicam, Geoffroy d’Aspall s’interroge sur la possibilité d’une nomination propre des individus substantiels en l’absence de forme et d’intellection singulières. Il offre une réponse noétique, fondée sur l’idée d’une connaissance intellectuelle indirecte du singulier par retour sur les phantasmes. Sur le plan sémantique, il défend l’existence de noms propres aux individus, mais reconnaît qu’ils ne sont pas proprement des noms, car leur imposition se fait directement à l’individu, sans la médiation d’une forme signifiée, de sorte qu’il (...) y a identité de l’appelé et du signifié. (shrink)