Sense and reference in the context of "Semantics"

Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction between sense and reference. Sense is given by the ideas and concepts associated with an expression while reference is the object to which an expression points. Semantics contrasts with syntax, which studies the rules that dictate how to create grammatically correct sentences, and pragmatics, which investigates how people use language in communication. Semantics, together with syntactics and pragmatics, is a part of semiotics.

Lexical semantics is the branch of semantics that studies word meaning. It examines whether words have one or several meanings and in what lexical relations they stand to one another. Phrasal semantics studies the meaning of sentences by exploring the phenomenon of compositionality or how new meanings can be created by arranging words. Formal semantics relies on logic and mathematics to provide precise frameworks of the relation between language and meaning. Cognitive semantics examines meaning from a psychological perspective and assumes a close relation between language ability and the conceptual structures used to understand the world. Other branches of semantics include conceptual semantics, computational semantics, and cultural semantics.

In linguistics, definiteness is a semantic feature of noun phrases that distinguishes between referents or senses that are identifiable in a given context (definite noun phrases) and those that are not (indefinite noun phrases). The prototypical definite noun phrase picks out a unique, familiar, specific referent such as the sun or Australia, as opposed to indefinite examples like an idea or some fish.

There is considerable variation in the expression of definiteness across languages, and some languages such as Japanese do not generally mark it, so the same expression can be definite in some contexts and indefinite in others. In other languages, such as English, it is usually marked by the selection of determiner (e.g., the vs. a). Still other languages, such as Danish, mark definiteness morphologically by changing the noun itself (e.g. Danish en mand (a man), manden (the man)).

Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.