112749

pragmatycznych) wyrażeń języka przedmiotowego. Między innymi, jak zobaczymy to w późniejszej partii wykładu, opis sytemu formalnego dokonuje się w metajęzyku. Metajęzyk ma swoje własne zmienne, których zakresem zmienności są wyrażenia języka przedmiotowego, zwane metazmiennymi Dla opisania i mówienia w sposób niesprzeczny o metajęzyku trzeba wprowadzić metametajęzyk itd.

NAZWY

5.1 EKSTENSJONALNA TEORIA NAZW.

Nazwy, jak wspomniano, tworzą podobnie jak zdania jedną z dwóch podstawowych kategorii semantycznych. Ze względu właśnie na ten fundamentalny charakter trudno jest podać poprawną definicję nazwy jako takiej. Obecnie nie ma w logice, ani w filozofii języka jednej, ustalonej teorii nazw.

Nazwy w ogólności nie można scharakteryzować metodami czysto syntaktycznymi.

Intuicyjnie najbardziej korzystnym określeniem nazwy jest takie: Nazwą jest to wyrażenie języka, które da się podstawić za zmienną do schematu zdaniowego 'x jest zielone' za zmienną wolną x i wtedy schemat przejdzie w zdanie sensowne. To określenie nazwy nie jest precyzyjną jej definicją, ale w wystarczający sposób naprowadza naszą intuicję na właściwe tory myślenia o nazwach.

DESYGNAT := obiekt, który nazwa nazywa.

Zmienne, których zakresem zmienności będą nazwy oznaczamy symbolami: n, m, g.

DENOTACJA NAZWY n := zbiór wszystkich desygnatów nazwy n.