Logika - rozdział VI.

 0    11 cartonașe    mro26
printează joacă Testează-te
 
Întrebare Răspuns
Definicja językowa
începe să înveți
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
începe să înveți
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
începe să înveți
nazywamy zwrot zawierający wyrażenie definiowane.
Definiensem
începe să înveți
nazywamy zwrot definiujący.
Spójką definicyjną
începe să înveți
nazywamy zwrot łączący definiendum z definiensem.
Definicja wyraźna
începe să înveți
to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa
începe să înveți
to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą
începe să înveți
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ą
începe să înveți
nazywamy szczególną odmianę definicji projektującej.
Eksplikandum
începe să înveți
nazywamy wyrażenie poddane eksplikacji.
Eksplikatum
începe să înveți
nazywamy wyrażenie definiowane w eksplikacji.

Trebuie să te autentifici pentru a posta un comentariu.