definicje

 0    10 flashcards    logika3
download mp3 print play test yourself
 
Question język polski Answer język polski
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
start learning
definicję metaję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
start learning
definicję przedmiotową.
Definiendum
start learning
jest to zwrot zawierający wyrażenie definiowane (będące jedną z trzech części budujących definicję równościową).
Definiens
start learning
jest to zwrot definiujący, tworzący drugą część definicji równościowej.
Spójka definicyjna
start learning
jest to zwrot łączący definiendum z definiensem, tworzący trzecią część definicji równościowej.
Definicja wyraźna
start learning
to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa
start learning
to taka definicja równościowa, której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą
start learning
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.
ekspilacja
start learning
szczególna odmiana definicji projektujących
eksplikandum
start learning
nazywamy wyrażenie podane eksplikacji.

You must sign in to write a comment