termine denotante

termine denotante

termine denotante in un linguaggio logico, termine che fa riferimento a un oggetto oppure a un individuo esistenti. Non è pertanto denotante un termine quale “l’attuale re d’Italia”. Nel linguaggio dei → predicati ogni termine è denotante; pertanto, date una proprietà P e una lettera t che rappresenta un termine singolare, dalla scrittura predicativa «la proprietà P vale per il termine t», è possibile dedurre logicamente la proposizione «esiste x tale che la proprietà P vale per x». Il vincolo che ogni termine sia denotante non sussiste nelle cosiddette logiche libere (→ logica libera).