Введение Логика - одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют предмет логики, в настоящее время не представляется возможным...

Фото Фреге хотел дать математике чисто логические основы, усилие, которое стало известно, как логическая программа. Он намеревался вывести все истины арифметики из чисто логических принципов (аксиом), используя только логические правила. Для этого, однако, Фреге пришлось «математизировать» логику, чтобы сделать ее пригодной для логической программы, дабы функционировать как основной концептуальный строительный блок его системы. Явно вдохновленный традицией искусственных языков 17-го века (в частности,...