это быстро и бесплатно
Оформите заказ сейчас и получите скидку 100 руб.!
ID (номер) заказа
4995417
Ознакомительный фрагмент работы:
Работа над логическими статьями для “Новой философской энциклопедии”, а также над статьей “Логика в России. Вторая половина ХХ века” [Карпенко 1999], к удивлению автора, заставила его задуматься не столько об итогах развития логики, сколько о некоторых необычных феноменах и фактах, которые к концу двух с половиной тысячелетнего периода развития логики со всей остротой поставили вопрос о том, что такое логика или, более конкретно, что такое логическая система?
Конечно, два традиционных направления развития логики остаются пока непоколебимыми. Это, с одной стороны, синтаксическое направление, проявившееся в наибольшей степени в фундаментальной работе Д.Габбая [Gabbay 1996] и получившее название “labelled” дедуктивные системы, а также непрекращающиеся попытки максимально обобщить генценовские исчисления (см. [Вансинг 1998]). И в первом и во втором случае ставится цель единообразного охвата наибольшего числа различных логических систем и даже различных направлений в логике. С другой стороны, остается неизменной тенденция в выработке единого семантического основания для возможно большего разнообразия логических систем [Epstein 1990, Epstein 1994]. При обоих подходах логическая техника становится всё более утонченной и формально разработанной и не оставляет места философским спекуляциям. На IX Международном конгрессе по логике, методологии и философии науки (Упсала, Швеция, 1991) Г. фон Вригт констатировал: “С логикой случилось то, что она расплавилась в разнообразных исследованиях математики…” [Вригт 1992, с. 89].
На самом деле - это титанические усилия строгой науки представить в совершенно точных терминах понятие “логической системы” и удовлетворить требования компьютерных наук в вопросе о том, что такое дедуцирование? То, что с применением аппарата универсальной алгебры, с развитием теории категорий и с возрастающими потребностями в вычислениях и обработке информации представления о логических системах и о самой логике принимают всё более абстрактный характер, как раз говорит о непостижимой глубине данной науки, а может быть даже о некоторой тайне, скрываемой в недрах логического универсума.
Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников
Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.
Цены ниже, чем в агентствах и у конкурентов
Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит
Бесплатные доработки и консультации
Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки
Гарантируем возврат
Если работа вас не устроит – мы вернем 100% суммы заказа
Техподдержка 7 дней в неделю
Наши менеджеры всегда на связи и оперативно решат любую проблему
Строгий отбор экспертов
К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»
Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован
Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн
Обзор на грант
Презентация, Основы научной и проектной деятельности в организации общего образования
Срок сдачи к 25 окт.
Решение задач
Решение задач, Планирование эксперимента в исследовании техпроцесса
Срок сдачи к 24 окт.
Решить все задачи и все практические, без нейросети
Практическая работа, Экономика предприятия
Срок сдачи к 31 окт.
Сделать практические работы начиная
Практическая работа, Компьютерные сети и системы
Срок сдачи к 26 окт.
Планирование и организация рекламной кампании для компании ооо «днс ритейл», на примере бренда «dexp»
Курсовая, медиапланирование
Срок сдачи к 29 окт.
Профилактика развития аллергических заболеваний у детей через применение здоровье сберегающих технологий в дошкольной образовательной организации.
Курсовая, медико-биологические основы здоровья
Срок сдачи к 30 нояб.
Особенности организационно-правового регулирования пассажирских...
Диплом, Юриспруденция
Срок сдачи к 10 дек.
разработка в соответствии с исходными данными эскизного
Курсовая, Прикладная механика
Срок сдачи к 1 нояб.
Заполните форму и узнайте цену на индивидуальную работу!