I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)

This article surveys the state of the art in the field of semantic universals. We examine potential semantic universals in three areas: (i) the lexicon, (ii) semantic “glue” (functional morphemes and composition principles), and (iii) pragmatics. At the level of the lexicon, we find remarkably few convincing semantic universals. At the level of functional morphemes and composition principles, we discuss a number of promising constraints, most of which require further empirical testing and/or refinement. In the realm of pragmatics, we predict (...) that Gricean mechanisms are universal, but suggest that the precise nature of presuppositions may be subject to cross-linguistic variation. Finally, we follow E.L. Keenan in concluding that the overarching universal of effability or translatability between languages cannot be upheld in its strongest form. A recurring theme throughout this survey is how much work still remains to be done in the relatively young field of cross-linguistic formal semantics. (shrink)

Frege proved an important result, concerning the relation of arithmetic to second-order logic, that bears on several issues in linguistics. Frege’s Theorem illustrates the logic of relations like PRECEDES(x, y) and TALLER(x, y), while raising doubts about the idea that we understand sentences like ‘Carl is taller than Al’ in terms of abstracta like heights and numbers. Abstract paraphrase can be useful—as when we say that Carl’s height exceeds Al’s—without reflecting semantic structure. Related points apply to causal relations, and even (...) grammatical relations like DOMINATES(x, y). Perhaps surprisingly, Frege provides the resources needed to recursively characterize labelled expressions without characterizing them as sets. His theorem may also bear on questions about the meaning and acquisition of number words. (shrink)

What is the scope of a semantic theory consistent with the theoretical assumptions adopted by the generative program? In this paper I will show that the linguistic theory generically known as generative grammar is an extremely coherent Scientific Research Program and within this descriptive framework it’s possible to characterize the main features of an I-semantics. First, will be presented the hardcore of the generative program, its heuristics and Chomsky’s criticism towards formal semantics. Second, I will compare two approaches: the denotational (...) approach by Larson and Segal and the intensional approach by Paul Pietroski. I argue in favor of Pietroski’s approach, because it is more coherent with the core assumptions of the generative program. The main argument is that syntax, in the context of the generative program is explanatory and, in this very context, semantics is not. Therefore, in order to account for the explanatory role of syntax in the generative program it is necessary to review certain foundational assumptions commonly accepted in formal semantics. (shrink)