Другие журналы на сайте ИНТЕЛРОС

Журнальный клуб Интелрос » Философия науки » № 4, 1998

А.М. Анисов
Неконструктивные рассуждения и е-исчисления

Как известно, идея исчисления с е-термином принадлежит Д.Гильберту. Смысл выражения вида ехА(х) состоит в указании на некий индивид, обладающий свойством А(х), если такой индивид существует. Знаки индивидов называются именами, однако в рассматриваемом случае мы имеем дело с именем не конкретного, а неопределенного индивида, произвольно выбранного среди объектов, удовлетворяющих свойству А(х), если таковые вообще найдутся.
Архив журнала
№1, 2020№2, 2020№2, 2019№1, 2019№1, 2018№1, 2017№2, 2017№2, 2015№20, 2015№17, 2012№16, 2011№15, 2010№14, 2009№13, 2008№12, 2006№11, 2005№10, 2004№9, 2003№8, 2002№7, 2001№6, 2000№5, 1999№ 4, 1998№3, 1997№2, 1996№1, 1995
Поддержите нас
Журналы клуба