Logika - rozdział VI.

 0    11 speciālā zīme    mro26
Drukāt spēlēt pārbaudiet sevi
 
jautājums atbilde
Definicja językowa
sākt mācīties
Jeżeli język, w którym sformułowana jest określona definicja, jest metajęzykiem języka, dla którego sformułowana jest ta definicja, to stanowi ona definicję językową.
Definicja przedmiotowa
sākt mācīties
Jeżeli język, w którym sformułowana jest określona definicja, jest tym samym językiem, dla którego jest ona sformułowana, to stanowi ona definicję przedmiotową.
Definiendum
sākt mācīties
nazywamy zwrot zawierający wyrażenie definiowane.
Definiensem
sākt mācīties
nazywamy zwrot definiujący.
Spójką definicyjną
sākt mācīties
nazywamy zwrot łączący definiendum z definiensem.
Definicja wyraźna
sākt mācīties
to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa
sākt mācīties
to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą
sākt mācīties
danego wyrażenia dla określonego, budowanego właśnie języka jest taka definicja, która informuje o znaczeniu jakie definiowane wyrażenie będzie mieć w tym języku. Definicje projektujące nazywa się też definicjami syntetycznymi.
Eksplikacją
sākt mācīties
nazywamy szczególną odmianę definicji projektującej.
Eksplikandum
sākt mācīties
nazywamy wyrażenie poddane eksplikacji.
Eksplikatum
sākt mācīties
nazywamy wyrażenie definiowane w eksplikacji.

Lai ievietotu komentāru, jums jāpiesakās.