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