Авторизация
Забыли пароль? Введите ваш е-мейл адрес. Вы получите письмо на почту со ссылкой для восстановления пароля.
После регистрации вы сможете задавать вопросы и писать свои ответы, получая за это бонусы. Все остальные функции на сайте доступны без регистрации.
Вы должны войти или зарегистрироваться, чтобы добавить ответ и получить бонусы.
Формальная логика как дисциплина начала развиваться в древней Греции в V-IV веках до н.э. Однако, первые принципы формальной логики были сформулированы ещё раньше, в V веке до н.э., философами Парменидом и Зеноном из Элеи. В дальнейшем, формальная логика была развита и систематизирована такими мыслителями, как Аристотель, Евклид, Лейбниц, Бултинг, Фреге и другими. Современная формальная логика получила свою окончательную форму в XX веке благодаря работам таких логиков, как Рассел, Вайтхед, Гедель, Тарский и др.