dedukcyjnych
Encyklopedia PWN
nauki dedukcyjne, nauki formalne, nauki aprioryczne,
naukozn., metodol. nauki, w których jedyną podstawą uznawania zdań, nie będących aksjomatami ani definicjami, jest ich wyprowadzanie przez dedukcję ze zdań już wcześniej uznanych;
mat., log. równoważność operatorów konsekwencji syntaktycznej (syntaktyka) i semantycznej (semantyka) w rozważanym systemie dedukcyjnym;
w aspekcie pragmatycznym — nauka o metodach działalności nauk. i stosowanych w nauce procedurach badawczych;
Tarski Alfred, pierwotnie A. Tajtelbaum, ur. 14 I 1901, Warszawa, zm. 27 X 1983, Berkeley (stan Kalifornia),
polski logik, matematyk i filozof; uważany za jednego z największych logików w dziejach nauki.
termin wieloznaczny, rozmaicie rozumiany i definiowany;
