Всего найдено: 1000
  • Вопрос 22 Категоричность теории. Проблемы непротиворечивости, полноты и разрешимости теории.
    Под интерпретацией языка теории понимают всякую систему включающую в себя: 1)непустое мн-во М, называемое мн-вом интерпретации; 2) какое-либо правило которое ставит в соответствие каждому элементу языка теории Т единственный элемент мн-ва М, т.е ф-цию заданной . Модель теории – интерпретация языка этой теории. Если некоторая совокупность предметов и отношений между ними выбрана в качестве интерпретации теории, удовлетворяющей всем аксиомам теории, то она называется моделью. Интерпретация
  • Вопрос 22 Категоричность теории. Проблемы непротиворечивости, полноты и разрешимости теории.
    Под интерпретацией языка теории понимают всякую систему включающую в себя: 1)непустое мн-во М, называемое мн-вом интерпретации; 2) какое-либо правило которое ставит в соответствие каждому элементу языка теории Т единственный элемент мн-ва М, т.е ф-цию заданной . Модель теории – интерпретация языка этой теории. Если некоторая совокупность предметов и отношений между ними выбрана в качестве интерпретации теории, удовлетворяющей всем аксиомам теории, то она называется моделью. Интерпретация
  • 101. Приведите характеристики формализованного доказательства.
    Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство – это идеальное и неоспоримое доказательство. Формализация может осуществляться с разной степенью полноты. Полная формализация теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий
  • Математическая логика
    Вопрос 1. Двузначная логика. Булевы функции. Вопрос 2. Полнота, примеры полных систем. Полином Жегалкина. Вопрос 3. Множество булевых функций Вопрос 4. Двойственные ф-ии. Вопрос 5. Теорема о полноте систем булевых функций. Базисы. Примеры базисов. Вопрос 6. Исчисление высказываний. Аксиомы. Правило вывода. Вывод. Тождественная истинность выводимых формул (доказать). Непротиворечивость исчисления высказываний. Теорема о полноте исчисления высказываний. Проблема разрешимости. Исчисление
  • §3. Существование в теориях и в текстах
    Всякая теория может быть рассмотрена двояко: как объект физического мира и как ментальное образование. Первый аспект связан с тем, что теория есть некоторое множество материальных вещей, называемых знаками или символами. Это синтаксический аспект теории. То, что скрывается за знаками и символами, образует семантический аспект теории. Вопрос о том, можно ли редуцировать семантику к синтаксису, один из ключевых в проблеме типов существования. Иногда не видят особых сложностей в ответе на
  • Ограниченность подхода теории игр к теории международных отношений
    Дискуссия неореалистов и неолибералов критически анализировалась с раз­личных позиций — от постмарксистских до феминистских. Большая часть кри­тики носила эпистемологический характер. Неореалистов и неолибералов по-разному обвиняли в неспособности осознать тот факт, что их теории годятся только лишь для оправдания существующей расстановки сил (Peterson, 1992). Их также обвиняли в материализации концепции причинности (Ashley, 1986), в недооценке важности политических дискуссий (Enloe, 1994;
  • ЗАДАЧИ, ТЕСТЫ И УПРАЖНЕНИЯ
    Какой методологический принцип выражает «бритва Оккама» ? Принцип простоты. Б. Принцип непротиворечивости. Принцип разрешимости. В качестве какой методологии использует философию экономическая наука? Всеобщей. Б. Общенаучной. Частнонаучной. Что такое «научная революция» по Т. Куну? Стадия кризиса «нормальной науки». Б. Переход от одной парадигмы к другой парадигме. Разрешение кризисной ситуации в науке в рамках самой парадигмы. Как, согласно И. Лакатосу, соотносятся в
  • 3. Аксиоматический метод
    Это способ производства нового знания, когда в основу его закладываются аксиомы, из которых все остальные утверждения выводятся чисто логическим путем с последующим описанием этого вывода. Основное требование аксиоматического метода — непротиворечивость, полнота, независимость аксиом. При аксиоматическом построении теоретического знания сначала задается набор исходных положений, не требующих доказательства. Затем из них по определенным правилам выстраивается система выводов-заключений.
  • 2. Защита финитизма
    Метод абсолютного обоснования непротиворечивости формализованной теории реализуется для простых исчислений,-таких, как исчисление высказываний, исчисление предикатов и абстрактная теория групп, но он оказывается неприменимым для основных теорий, с которыми имеет дело математика. Неразрешимой оказалась уже задача обоснования непротиворечивости формализма арифметики. Принято считать, что причины этой ограниченности полностью раскрываются теоремой К. Гёделя о неполноте (1931), которая утверждает,
  • Проблемы в исчислении высказываний
    Для обоснования исчисления высказываний, как для любой аксиоматической теории, необходимо рассмотреть проблемы разрешимости и непротиворечивости. Проблема разрешимости исчисления выказываний заключена в доказательстве существования алгоритма, который позволил бы для любой формулы исчисления высказываний определить ее доказуемость. Любая формула исчисления высказываний может быть представлена формулой алгебры высказываний. Эффективность процедуры разрешения показана таблицами истинности для
  • 2.3 Проблемы в исчислении предикатов
    Для обоснования исчисления предикатов, как для любой аксиоматической теории, необходимо рассмотреть проблемы разрешимости и непротиворечивости. Проблема разрешимости исчисления предикатов есть проблема поиска эффективной процедуры в доказательстве. Исчисление предикатов – пример неразрешимой формальной системы, т.к. нет единого эффективного алгоритма в доказательстве любой формулы. Наличие кванторов, ограничивающих области определения, наличие сколемовских функций не позволяет использовать
  • § 21. Объяснение символики
    Настоящая глава не относится к истории логики. Ее цель — изложить систему немодальной силлогистики в соответствии с требованиями современной формальной логики и вместе с тем в тесной связи с идеями, выдвинутыми самим Аристотелем.Современная формальная логика строго формальна. Для того чтобы получить точно формализованную теорию, удобнее использовать специально созданную для зтой цели символику, нежели использовать обычный язык, подчиняющийся своим собственным грамматическим законам. Я поэтому
  • 8.3. Особенности интеллектуальных автоматизированных рабочих мест
    Интеллектуальное АРМ — это программный продукт, в кото­ром некоторая часть или все модули поддержки процесса приня­тия решений реализованы с использованием систем, основанных на знаниях (экспертных и(или) литературных). Такое АРМ позво­ляет осуществлять содержательный (в отличие от формального) анализ данных и предоставлять врачу объяснение предложенного решения, учитывающее его профессиональный уровень. Все сведения, сообщаемые экспертом или извлекаемые из ли­тературных источников при создании
  • СТРУКТУРИЗАЦИЯ ТЕОРЕТИЧЕСКИХ ОСНОВАНИЙ ЭКОНОМИКИ ПЕРСОНАЛА
    Принципиальным для изучения экономики персонала является учет активного развития общетеоретического базиса экономической науки в целом. Дело в том, что современная экономическая мысль не предлагает и для исследователя, и для обучающегося одномерной, непротиворечивой, «монистической» базовой экономической теории. Состав базовых понятий и аналитических процедур достаточно жестко определяется направлением экономической мысли, а разнообразие этих направлений, набор парадигм и предлагаемых ими
  • 3.5. Тема 15: равновесие, рост и развитие экономики в долгосрочном периоде
    Выше мы показали, что моделирование конъюнктурного цикла вводит понятие «тренд развития экономики». Оно не только позволяет выявить фазы цикла, но и является ключевым в теории долгосрочной динамики экономики, то есть теорий ее роста и развития. Формализованная теория экономического роста берет свое начало в 30-х гг. XX в. со статьи американского экономиста Д. фон Неймана (1903-1957) Модель общего экономического равновесия (1937). Экономика в модели описывается с помощью линейно однородных (с
  • Введение
    В последние три десятилетия наблюдается стремительное повышение интереса к теории игр и значительное возрастание ее роли. Во многом это объясняется тем, что без нее в настоящее время уже немыслима современная экономическая теория, причем область применения теории игр постоянно расширяется. Теория игр прошла путь от весьма формализованной теории, представлявшей интерес в первую очередь для математиков и ставшей источником целого ряда работ чрезвычайно глубокого математического содержания, до
  • ВВЕДЕНИЕ
    Экономическая кибернетика как наука об управлении сложными динамическими социально-экономическими системами ставит перед как перед теоретиком, так и перед практиком, в качестве основных задачи анализа и синтеза композиции объекта управления и системы управления им. В связи со сложностью управляемых экономических систем соответствующие задачи синтеза систем управления также являются крайне сложными. Их решение требует разнообразных подходов и носит итеративный характер. Процедура
  • 3. Перспективы надежного обоснования
    Последовательное проведение онтологической программы позволяет утверждать абсолютную непротиворечивость элементарной математики, т. е. арифметики и евклидовой геометрии. Непротиворечивость арифметики в соответствии с изложенным здесь подходом может быть обоснована различными путями. Она непосредственно следует из факта аподиктической очевидности ее аксиом, доказывается возможностью ее логицистского и интуиционистского представления, она может быть обоснована в формалистской программе
  • 6. Сфера абсолютной надежности
    Устанавливая факт непротиворечивости аксиоматического представления содержательной математической теории, мы достигаем конечной цели всего нашего рассуждения, ибо мы получаем возможность говорить о существенной непротиворечивости всех центральных математических теорий и об абсолютной непротиворечивости всех стабильных аксиоматик, признанных математическим сообществом. Мы приходим к пониманию того положения, что за коллективным восприятием математической теории как несомненно надежной лежит
  • 3. Надежность содержательного рассуждения
    Основная проблема, с которой мы здесь сталкиваемся, это проблема надежности содержательных рассуждений. Мы нуждаемся не просто в построении некоторого рассуждения, которое приводило бы нас к тезису о непротиворечивости, к примеру, аксиоматизированной теории множеств, но мы нуждаемся в таком рассуждении, в котором усматривалась бы гарантия того, что противоречия фактически не могут появиться в теориях, удовлетворяющим нашим критериям, философское обсуждение проблемы непротиворечивости,
  • 4. Об определенности критерия стабильности
    Другая трудность, которая здесь неизбежно возникает, состоит в понимании стабильности аксиом как критерия непротиворечивости содержательно аксиоматизированной математической теории. В отличие от конструктивного или логического критериев этот критерий представляется неоднозначным и мало приемлемым для строгого решения вопроса в конкретных случаях. Мы рассмотрели выше два критерия, определяющие корректность математического рассуждения. Это аподиктическая очевидность шагов доказательства как
1 2 3 4 5 6 7 8 9 10 11 > 48
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -