Ekstensja
Ekstensja pewnego słowa, wyrażenia czy innego symbolu to rzecz, do której symbol ten odsyła. Ekstensja termu to obiekt, do którego ten term się odnosi. Ekstensją predykatu jest zbiór rzeczy, do których odnosi się ten predykat. Ekstensją zdania w sensie logicznym jest - np. wg Carnapa - jego wartość logiczna. W ujęciu pojęcia prawdy wg Tarskiego dla zinterpretowanych języków pierwszego rzędu, ekstensją zdania fałszywego jest zbiór pusty, a zdania prawdziwego jest zbiór wszystkich ciągów przedmiotów, których nazwy można wstawiać za zmienne w tym języku. Np. ekstensją termu „Marylin Monroe” jest Marylin Monroe. Ekstensją predykatu „bycie wierzbą płaczącą” są wszystkie wierzby płaczące.
W przypadku wyrażeń o charakterze nazwowym, termin ekstensja używany jest synonimicznie z terminem denotacja.
Zobacz też
edytujLinki zewnętrzne
edytuj- Christopher Menzel , Possible Worlds, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 8 lutego 2016, ISSN 1095-5054 [dostęp 2018-01-17] (ang.).