Англо-русский социологический словарь
Формальная логика; наука о законах выведения нового знания из ранее полученного знания без специальных опытов или экспериментов, а только с применением правил мышления.
формальная логика; наука об общих законах мышления, о правилах умозаключений.