Всего найдено: 77
  • § 1. Классическое и неклассическое в логике
    Непосредственным результатом революции, происшедшей в логике в конце XIX — начале XX в.в., было возникновение логической теории, получившей со временем имя классической логики. У ее истоков стоят наряду со многими другими исследователями ирландский логик Д. Буль, американский философ и логик Ч. Пирс, немецкий логик Г. Фреге. В их работах была постепенно реализована идея перенесения в логику тех методов, которые обычно применяются в математике.Классическая логика ориентировалась главным образом
  • НЕКЛАССИЧЕСКАЯ ЛОГИКА
    Непосредственным результатом революции, произошедшей в логике в конце XIX — начале XX в., было возникновение логической теории, получившей название математической логики. Со временем это направление получило назва­ние классической логики. Разнообразные неклассические направле­ния, возникшие позднее, объединяются в такое понятие, как неклассическая логика. Возникно­вение новых разделов логики было связано с на­чавшейся в XX в. критикой классической логики. В 1908 г. Л. Брауер, голландский
  • 4. Классическая и неклассическая логика
    Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего. Неклассическая логика - есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть интуиционистская логика (отказ от закона исключения третьего). Кроме того
  • Неклассическая логика
    Основные виды неклассических логик: модальные, многозначные, интуиционистская, релевантная логики. 2.1. Алетическая модальная логика высказываний Основные виды модальных логик: алетическая, эпистемиче- ская, деонтическая. Опишем только алетическую логику высказываний. Язык алетическои модальной логики 1. Счетное множество пропозициональных переменных: p, g, r, ...; 2. Логические связки (конъюнкция и др.); 3. Операторы модальной логики: ? - читается «необходимо, что.», 0 - читается «возможно,
  • Ответы к экзамену по предмету Логика
    1. Логика как наука и ее значение в системе образования. Значение логики 2. Формирование и основные этапы развития логики 3. Современная логика и основные сферы ее практического применения 4. Классическая и неклассическая логика 5. Основные уровни и формы познания 6. Роль мышления в познании 7. Понятие логической формы мышления 8. Законы мышления в формальной логике 9. Мышление и язык. Основные функции языка 10. Язык логики. Основные понятия 11. Естественные и искусственные языки 12. Семиотика
  • 6. ОСОБЕННОСТИ СОВРЕМЕННОЙ ЛОГИКИ
    Необходимые потребности научно-технического прогресса ведут к развитию современной логики. Прошедшая революция в логике в конце XIX-начале XX вв. послужила результатом возникновения логической теории, впоследствии получившей название «классическая логика». Ее основателями являются ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В своих работах они переносили в логику методы, в своем большинстве принимаемые в математике. Но классическая логика все еще
  • Ответы по предмету - Логика
    ПОНЯТИЕ ПОЗНАНИЯ. ЧУВСТВЕННАЯ СТУПЕНЬ ПОЗНАНИЯ АБСТРАКТНОЕ МЫШЛЕНИ КАК СТУПЕНЬ ПОЗНАНИЯ ОСОБЕННОСТИ ЛОГИКИ КАК НАУКИ ОСОБЕННОСТИ ЛОГИЧЕСКИХ ЗАКОНОВ И ИХ СВЯЗЬ С ПРИНЦИПАМИ МЫШЛЕНИЯ ЗАКОН НЕПРОТИВОРЕЧИЯ ЗАКОН ТОЖДЕСТВА ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ ЗАРОЗКДЕНИЕ ЛОГИКИ ИСТОРИЯ РАЗВИТИЯ ТРАДИЦИОННОЙ ЛОГИКИ НЕКЛАССИЧЕСКАЯ ЛОГИКА МЕТОД В ЛОГИКЕ ЗНАЧЕНИЕ ЛОГИКИ ЯЗЫК, ЕГО АСПЕКТЫ И ФУНКЦИИ ЗНАК, ЕГО ХАРАКТЕРИСТИКИ И ВИДЫ ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ ПОНЯТИЕ КАК ФОРМА
  • ЕДИНСТВО ЛОГИКИ. ДИАЛЕКТИЧЕСКАЯ ЛОГИКА
    Самым интересным и неожиданным в оформлении корпуса неклассической логики является то, что в нем оказалась древнейшая форма логики, диалектика, так как она явно не попадает в ту форму логической системы, которая обозначается как классическая. Истоки диалектической логики идут от Гераклита, Платона, Канта, Гегеля, Шелли, Маркса, Ленина.Различие между формальной и диалектической логиками базируется на различии рассудка и разума. Рассудок - это среднее звено мышления после формата ума. Он имеет
  • Модальная логика
    является результатом стремления расширить выразительные возможности логики. В системе двузначной логики фиксируется, что субъект суждения обладает некоторым свойством. В рамках модальных логических систем уточняется специфика связи между субъектом и свойством (является ли связь необходимой или случайной, всегда ли субъект обладает данным свойством, хорошо это или плохо, поддается ли обоснованию (доказательству) принадлежность свойства к субъекту и т. д.). Общая формула модальности: М (S есть
  • Логика в классической, неклассической и постнеклассической науке
    Периодизация логики соответствует периодизации науки в целом (см. раздел 2.5). Одновременно с этим основанием для деления логики на разные направления служит различие применяемых в ней принципов, на которых базируются исследования. Исходя из этого выделяются три основные направления. Классическая логика имеет следующие основополагающие принципы: область исследования составляют обыденные рассуждения в классических науках; допущение разрешимости любой проблемы; отвлечение от содержания
  • 3. Математическая и диалектическая логик
    Как неминуемо по Марксу и Энгельсу изменение формы диалектики, так и двухзначная формальная логика перешла в новую, математическую форму — классическую логику (классическое исчисление; Г.Фреге, 1879 г.), и решила сложные задачи. Основными ее законами остались три закона Аристотеля (тождества, непротиворечия, исключения третьего), а закон Г.Лейбница (достаточного основания) стал логическим принципом. Усилившись богатым символическим языком, она достигла успехов в теориимножеств — ZFC, ZFC, В. Но
  • 9.3 Эпистемическая логика
    В качестве эффективного инструмента реконструкции и анализа теоретико-познавательных контекстов и проблем обычно используется особый вид интенсиональной логики – эпистемическая логика. Это направление современной неклассической логики было инициировано пионерской работой Я.Хинтикки "Знание и убеждение" (1962). Основная идея этой работы заключается в интерпретация понятий знания и убеждения как особого рода (эпистемических) модальных операторов, которые добавляются к языку обычной классической
  • 9.3 Эпистемическая логика
    В качестве эффективного инструмента реконструкции и анализа теоретико-познавательных контекстов и проблем обычно используется особый вид интенсиональной логики – эпистемическая логика. Это направление современной неклассической логики было инициировано пионерской работой Я.Хинтикки "Знание и убеждение" (1962). Основная идея этой работы заключается в интерпретация понятий знания и убеждения как особого рода (эпистемических) модальных операторов, которые добавляются к языку обычной классической
  • 9.3 Эпистемическая логика
    В качестве эффективного инструмента реконструкции и анализа теоретико-познавательных контекстов и проблем обычно используется особый вид интенсиональной логики – эпистемическая логика. Это направление современной неклассической логики было инициировано пионерской работой Я.Хинтикки "Знание и убеждение" (1962). Основная идея этой работы заключается в интерпретация понятий знания и убеждения как особого рода (эпистемических) модальных операторов, которые добавляются к языку обычной классической
  • § 5. Другие разделы неклассической логики
    Острой критике классическая логика подверглась за то, что она не дает корректного описания логического следования.Основная задача логики — систематизация правил, позволяющих из принятых утверждений выводить новые. Возможность получения одних идей в качестве логических следствий других лежит в фундаменте любой науки. Это делает проблему верного описания логического следования чрезвычайно важной. Неудача в ее решении отрицательно сказывается не только на самой логике, но и на методологии
  • ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА.РЕЛЕВАНТНАЯ ЛОГИКА (ЛОГИКА ТЕОРИИ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ)
    В классической логике большое значение имеет теория противоречия, суть которой заключается в наличии возможности одновременного доказательства некоторого суждения и его отри-цания. Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной.Название данного вида неклассической логики является определенным опровержением теории противоречия. Это логика, которая не позволяет выводить из противоречия произвольное суждение. В паранепротиворечивой логике противоречие
  • Иными словами, в свете идеи "causa sui" вскрывается парадоксальность антиномической логики. "Теоретик-классик" может быть сейчас представлен в точке самоотстранения.
    Попытаюсь раскрыть смысл "самоотстранения" как особого логико-образующего процесса, еще раз обратившись к принципу дополнительности. До сих пор я подчеркивал логическую миссию принципа дополнительности по отношению к классике, его провокационную миссию - вскрыть антиномичность классического разума, фиксировать особую форму диалога, который "теоретик-классик" ведет с самим собой. Но такая фиксация и провокация удаются только потому, что в принципе дополнительности диалог
  • Топологическая логика
    (греч. - место) считается направлением неклассической логики, которая исследует относительное место двух двухместных высказываний в ряду значений истинности от 0,1,2,..., до п. когда значение 0 рассматривается как самая высокая степень истины (абсолютно истинно), значение п - как самая низкая (абсолютно
  • Теория истины с оператором истинности и логики Truth Theory with Truth Operator and Logics
    Павлов С.А. Институт философии РАН, г. Москва E-mail: sergey.aph.pavlov@gmail.com Рассматривается теория истины с операторами истинности и ложности для множества предложений, включая неклассический случай, и расширение ее на множество выражений языка. На первом шаге строится элементарная теория, которая является двухуровневой. Для вы­сказываний об истинности или ложности предложений, которые будем называть TF выска­зываниями, принимается классическая логика. Допускается итерация операторов, чем
  • Каузальность в классической и неклассических парадигмах
    Классическая картина мира первоначально базировалась на законах механики в понимании детерминизма. Но одновременно она полагалась и на экспериментальную парадигму в развитии научного знания, которая стала общей для ряда естественных наук и означала к окончанию Нового времени уже иное — принятие определенной логики проверки теоретических гипотез на пути, который был выработан в противовес индуктивному методу. Общей основой этой парадигмы стал путь доказательства от противного, обоснованный в
  • Каузальность в классической и неклассических парадигмах
    Классическая картина мира первоначально базировалась на законах механики в понимании детерминизма. Но одновременно она полага­лась и на экспериментальную парадигму в развитии научного знания, которая стала общей для ряда естественных наук и означала к оконча­нию Нового времени уже иное — принятие определенной логики про­верки теоретических гипотез на пути, который был выработан в про­тивовес индуктивному методу. Общей основой этой парадигмы стал путь доказательства от противного, обоснованный в
1 2 3 4
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -