In this paper I argue against a widely accepted model of utterance interpretation, namely the LS model, according to which the literal interpretation of an utterance (the proposition literally expressed by that utterance) must be computed before non-literal interpretations can be entertained. Alleged arguments in favor of this model are shown to be fallacious, counterexamples are provided, and alternative models are sketched.

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

Broadly, the subject of this paper is the relation between logic and linguistics. More narrowly, it concentrates on formal semantics. The first part of the text discusses the topics and methods of formal semantics, and the second part the history of formal semantics. Formal semantic analysis has not been widely known and applied in our research community, and formal methods have been applied extremely rarely in linguistic analyses. This is why it is useful to point out the significant achievements of (...) formal semantics. This inspiring interdisciplinary field of research has been successfully connecting research in linguistics, logic and philosophy since the early 1970s. (shrink)

According to the logical positivists, signs (words and pictures) of imaginary beings have no referent (Goodman). The semiotic theory behind this assumption is dualistic and Cartesian: signs vs. nonsigns as well as the mental vs. the material world are in fundamental opposition. Peirce’s semiotics is based on the premise of the sign as a mediator between such opposites: signs do not refer to referents, they represent objects to a mind, but the object of a sign can be existent or nonexistent, (...) a feeling or an idea, something merely imaginary or even something false. The paper examines the nature of imaginary, nonexistent, and nonfigurative objects, such as unicorns, phoenixes, or nonrepresentative paintings, and shows why verbal or visual representations of imaginary beings and even nonfigurative paintings, which seem to represent nothing, are fully developed signs with a variety of objects determining their representation. (shrink)