Domanda | Risposta | |||
---|---|---|---|---|
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ą.
|
||||
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ą.
|
||||
nazywamy zwrot zawierający wyrażenie definiowane.
|
||||
nazywamy zwrot definiujący.
|
||||
nazywamy zwrot łączący definiendum z definiensem.
|
||||
to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
|
||||
to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
|
||||
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.
|
||||
nazywamy szczególną odmianę definicji projektującej.
|
||||
nazywamy wyrażenie poddane eksplikacji.
|
||||
nazywamy wyrażenie definiowane w eksplikacji.
|