Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52
|
ПОРЕЦКИЙ Платон Сергеевич[3(15).10.1846, Елизаветград, ныне Кировоград - 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам П. был материалистом. Формальные методы в логике, согласно П., могут быть обоснованы лишь анализом содержат. оснований; логич. исчисления не отменяют содержат. формальной логики, но предполагают её. П. считал, что математич. логика по предмету своему есть логика, а по методу - математика. П. были получены существ. результаты, относящиеся к алгебре логики; он развил и усовершенствовал методы решения логич. равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Осн. результат П.- нахождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (определ. вида) из данных посылок; все гипотезы, из к-рых может следовать данное заключение; все различные эквивалентные формы, в к-рых могут быть представлены данные выражения - посылки и заключения.
Категория: Словари и энциклопедии » Философия » Советский философский словарь, 1974 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|