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