Сайт nashuch.ru и его партнеры используют на этом сайте определенные технологии, в том числе файлы cookie, чтобы подбирать материалы и рекламу на основе интересов и анализа активности пользователей. Чтобы узнать подробности, ознакомьтесь с нашей политикой конфиденциальности. Оставаясь на сайте, вы даете согласие на использование этих технологий. nashuch.ru также участвует в рекламной деятельности третьих сторон, которая учитывает интересы пользователей. Это позволяет поддерживать наши сервисы и предлагать вам подходящие материалы. Нажимая кнопку «Принять», вы выражаете согласие с описанной рекламной деятельностью.

принять

А. Р. Познер доктор философских наук, профессор кафедры философии Московского Государственного техни­ческого университета им Н. Э. Баумана



страница103/255
Дата28.09.2018
Размер1.25 Mb.
Название файлаStudmed.ru_lebedev-sa-filosofiya-nauki-slovar-osnovnyh-terminov_d01e2a6ed32.doc
Учебное заведениеА.Р. Познер - доктор философских наук, профессор кафедры философии Московского Государственного техни­ческого университета им Н.Э. Баумана;
1   ...   99   100   101   102   103   104   105   106   ...   255
МАТЕМАТИЧЕСКАЯ ЛОГИКА - современная ма­тематическая модель формальной логики как науки о правильном рассуждении. По меткому выражению русского логика Порецкого, математическая логика суть логика по предмету и математика — по методу

решения своих проблем. Систематическая разработка математической логики началась с работ Больцано, Фреге, Рассела и Витгенштейна. Суть этой логики и рас­смотрении большинства логических категорий (поня­тие, предикат, суждение, умозаключение, вывод, дока­зательство) как логических функций, областью значе­ния которых являются истинностные значения. Как логические функции истолковываются и все логичес­кие операторы (термины «Все», «Существует», «Неко­торые», «Один», «Ниодин», «и», «или», «если,то», «тож­дественно», «возможно», «необходимо» и т. д. и т. п.). Все логические функции задаются, в конечном счете, табличным способом с помощью всевозможных соче­таний введенного числа истинностных значений на «входе» и «выходе» этих функций. Так, например, ло­гическое отношение «если, то...» моделируется с помо­щью функции =), называемой материальной имплика­цией. Табличное задание этой функции в системах дву­значной логики выглядит следующим образом:



р

D

q

и

И

и

и

л

л

л

и

и

л

и

л

где р и q — суть некоторые высказывания, и — истина, л — ложь, тогда сложное (составное) высказы­вание «р тэ q», связывающее входящие в него (простые) высказывания р и q отношением материальной импли­кации (—>), будет истинным во всех случаях, кроме од­ного, когда р — истинно, a q — ложно. Как показало интенсивное развитие математической логики в XX в., формальная логика может быть представлена бесконеч­ным числом всевозможных логических математических систем, конструктивно моделирующих те или понятия и отношения естественной логики. Построено значи­тельное число математических систем не только двух-

значной, но и многозначной (и даже 8-значной) логик, модальных, временных, вероятностных логик и т. д. Системы математической логики находят важное при­менение при создании различных формализованных языков, с помощью которых только и возможно пред­ставление различных систем знания для компьютеров и ЭВМ. С помощью математической логики был также получен ряд фундаментальных результатов, имеющих огромное философское значение (доказательство Геде-лем принципиальной неполноты любых формализован­ных систем математики по отношению к их содержатель­ным прототипам, доказательство возможности полной формализации логических систем типа исчисления выс­казываний и исчисления предикатов первого порядка, до­казательство невозможности сведения математики к ло­гике, контекстуальный характер любых содержательных рассуждений и др.). (См. логика, математика, вывод).





Удк 16 ббк87.4 л 33
Абстрагирование
Абстрактный объект
Авторское право
Аксиоматический метод
Альтернативные концепции
Аналитическое знание
Аналитическая философия
Антиинтеракционизм
Антисциентизм
Антропный принцип
Антропологизм
Апостериорное знание
Базис обобщения
Бессознательное
Биофилософия
Верификационизм
Вероятностная логика
Вненаучные формы знания
Военные науки
Выбор альтернативной теории
Генетический метод
Герменевтический круг
Гипотеза ad hoc
Государственная научно-техническая политика
Государственное управление интеллек­туальной собственностью
Государственный сектор науки
Гуманитарное знание
Гуманитарные науки
Детерминированный хаос
Диалектическая концепция
Диалектический метод
Диахронный анализ
Дополнительности принцип
Древневосточная наука
Естествознание
Закон исключенного третьего
Закон противоречия
Закон тождества
Идеалы и нормы научного исследова­ния
Идеографический метод
Инвариантность
Индетерминизм
Инженерные науки
Инженерное проектирование
Инновационная деятельность
Интервал абстракции
Интерсубъективность
Интуиционизм (математический)
Интуиционизм (философский)
Интуиция (в науке)
Информированное согласие
Использование объектов интеллекту­альной собственности
Истинностные значения
Исторические науки
Исторические формы науки
Исторический метод
Категориальная апперцепция
Квантовая механика
Кентавровое знание (в науке)
Классическая наука
Классическая философия науки
Когнитивная социология науки
Когнитивное общение
Когнитивное решение
Когнитивные ценности
Когнитивный стиль
Конвенционализм
Конструирование (мысленное)
Конструктивизм (математический)
Конструктивизм (философский)
Контекст обоснования
Контекст открытия
Концептуальная развертка
Концептуальная сборка
Критерии научности
Лингвистического анализа философия
Линейное мышление
Лицензионный договор (лицензия)
Логический позитивизм
Логическое доказательство
Марксистская философия
Медицинские науки
Междисциплинарные исследования
Метатеоретическое знание
Метафизика метафизика
Метафилософия науки
Метод восхождения от абстрактного к конкретному
Методология науки
Методы стимулирования творческого мышления
Многозначная логика
Модальная логика
Надсознательное
Науки о культуре
Науки о природе
Наукоемкая отрасль
Научная гипотеза
Научная деятельность
Научная картина мира
Научная классификация
Научная коммуникация
Научная критика
Научная практика
Научная проблема
Научная рациональность
Научное доказательство
Научное мировоззрение
Научное объяснение
Научное понимание
Научное сообщество
Научное творчество
Научно-исследовательская программа
Научно-техническая революция (нтр)
Научно-технический потенциал (нтп)
Научные конвенции
Научный коллектив
Научный консенсус
Научный контекст
Научный менеджмент
Научный принцип
Неизменность
Неклассическая наука
Неклассическая философия науки
Нелинейная наука
Нелинейное мышление
Неоднозначность
Неонеклассическая (постнеклассическая) наука
Неопределенности принцип
Неопределенность
Не-я — сфера реальности, противостоящая я. (см. я, сознание, бытие, оно). ничто
Номотетический метод
Общественные науки
Оппонентный круг
Основания научной теории
Оценка интеллектуальной собственнос­ти
Охранный документ
Патентная информация
Позитивистская концепция (соотношения философии и науки)
Политические науки
Постмодернистская философия науки
Правило соответствия
Правовая охрана объектов интеллекту­альной собственности
Прогнозирование научно-технического развития
Продуктивное воображение
Промышленная собственность
Пространство
Протокольные предложения (протоколы)
Профессиональная ответственность
Психологические науки
Психология науки
Равновесие (баланс)
Рассказ (story)
Редукционные предложения
Решающий эксперимент
Самоорганизация
Сверхсознание
Синтетическое знание
Синхронный анализ
Системный метод
Создание объектов интеллектуальной собственности
Социальная психология науки
Социальные науки
Социальный репертуар
Социология науки
Средневековая наука
Структура науки
Субъект научного познания
Творческая эволюция
Теоретическая схема
Теоретический объект
Теоретическое знание
Теоретическое и эмпирическое
Теория относительности
Технические науки
Технологические науки
Технологический императив
Трансцендентальный
Трансцендентальная апперцепция
Управление наукой
Управленческие науки
Уровни научного знания
Феноменологическая научная теория
Физическая реальность
Филологические науки
Философские основания науки
Философия математики
Философия науки
Формализация
Фундаментальная
Фундаментальные и прикладные иссле­дования
Фундаментальные социальные кон­станты (фск)
Целенаправленность
Целесообразность
Экономика науки
Экономические науки
Эмпириокритицизм
Эмпирический репертуар
Эмпирическое знание
Этическая экспертиза
Этический комитет
Юридические науки


Поделитесь с Вашими друзьями:
1   ...   99   100   101   102   103   104   105   106   ...   255


База данных защищена авторским правом ©nashuch.ru 2017
обратиться к администрации | Политика конфиденциальности

    Главная страница
Контрольная работа
Курсовая работа
Лабораторная работа
Пояснительная записка
Методические указания
Рабочая программа
Методические рекомендации
Теоретические основы
Практическая работа
Учебное пособие
Общая характеристика
Общие сведения
Теоретические аспекты
Физическая культура
Дипломная работа
Самостоятельная работа
Федеральное государственное
История развития
Направление подготовки
квалификационная работа
Выпускная квалификационная
Общая часть
Техническое задание
Технологическая карта
Методическое пособие
Краткая характеристика
государственное бюджетное
Теоретическая часть
прохождении производственной
Техническое обслуживание
Методическая разработка
Технология производства
Общие положения
Математическое моделирование
Исследовательская работа
Металлические конструкции
Организация работы
Понятие предмет
Правовое регулирование
учреждение высшего
Гражданское право
Уголовное право
Описание технологического
Технологическая часть
Практическое занятие
Решение задач
Метрология стандартизация
Общие требования
История возникновения
Основная часть
физическая культура