dedukcyjnych

Encyklopedia PWN

logika
[gr. logikós ‘zgodny z rozumowaniem’],
teoria czynności poznawczych, przede wszystkim naukotwórczych,
naukozn. najstarsza z nauk o nauce;
Ajdukiewicz Kazimierz, ur. 12 XII 1890, Tarnopol, zm. 12 IV 1963, Warszawa,
polski logik i filozof.
naukozn. trad. nazwa nauk dedukcyjnych, nadawana im ze względu na to, że zajmują się badaniem świata abstrakcyjnych form i tworów, takich jak: formy wnioskowania, liczby, figury geom., zbiory, systemy dedukcyjne itp.;
dedukcja
[łac. deductio ‘wyprowadzenie’],
log. rozumowanie (wnioskowanie), które posiada cechę niezawodności, tzn. od prawdziwych przesłanek prowadzi do prawdziwych wniosków dzięki zastosowaniu niezawodnej reguły wnioskowania (wnioskowanie);
geometria
[gr. gḗ ‘ziemia’, metréō ‘mierzę’],
dyscyplina nauki zajmująca się badaniem figur, tj. fragmentów rozmaitych przestrzeni.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia