Σε μια οποιαδήποτε λογικά συνεπή θεωρία, ή γενικότερα σε οποιοδήποτε εννοιολογικό πλαίσιο, σημασία ονομάζεται η διαδικασία αντιστοίχισης των συμβόλων και συμβολοσειρών της θεωρίας με κάποιο κατάλληλο μοντέλο.
意味（いみ）とは、次のような概念である。