Pragmatic Meaning and Truth

Abstract

ℒ_µ -languages are languages of applied intensional logic that are based on a modified simple theory of types (see [1], [6]). Their alphabet consists of: variables of different types, i.e. letters p, q,…, z with lower indices (natural numbers) and upper indices (greek letters and concatenations of greek letters and parentheses); logical constants i.e. identity signs of types ((οα)α) where α is a type, connectives (unary of the type (οο): ~, negation, binary of the type ((οο)ο): say, disjunction ∨, conjunction ∧ etc.); quantifiers Π and ∑, both of them of the type (ο (οα)); ι-operators of the type (α (οα)); λ-operator; extra-logical constants (denumerably many): capital letters A, B...,Z with lower indices (natural numbers) and upper indices (types, i.e. greek letters etc.).