Logika - rozdział VI.

 0    11 schede    mro26
Stampa Gioca Testa il tuo livello
 
Domanda Risposta
Definicja językowa
inizia ad imparare
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
inizia ad imparare
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
inizia ad imparare
nazywamy zwrot zawierający wyrażenie definiowane.
Definiensem
inizia ad imparare
nazywamy zwrot definiujący.
Spójką definicyjną
inizia ad imparare
nazywamy zwrot łączący definiendum z definiensem.
Definicja wyraźna
inizia ad imparare
to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa
inizia ad imparare
to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą
inizia ad imparare
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ą
inizia ad imparare
nazywamy szczególną odmianę definicji projektującej.
Eksplikandum
inizia ad imparare
nazywamy wyrażenie poddane eksplikacji.
Eksplikatum
inizia ad imparare
nazywamy wyrażenie definiowane w eksplikacji.

Devi essere accedere per pubblicare un commento.