Всего найдено: 681
  • 4. Классическая и неклассическая логика
    Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего. Неклассическая логика - есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть интуиционистская логика (отказ от закона исключения третьего). Кроме того
  • НЕКЛАССИЧЕСКАЯ ЛОГИКА
    Непосредственным результатом революции, произошедшей в логике в конце XIX — начале XX в., было возникновение логической теории, получившей название математической логики. Со временем это направление получило назва­ние классической логики. Разнообразные неклассические направле­ния, возникшие позднее, объединяются в такое понятие, как неклассическая логика. Возникно­вение новых разделов логики было связано с на­чавшейся в XX в. критикой классической логики. В 1908 г. Л. Брауер, голландский
  • Неклассическая логика
    Основные виды неклассических логик: модальные, многозначные, интуиционистская, релевантная логики. 2.1. Алетическая модальная логика высказываний Основные виды модальных логик: алетическая, эпистемиче- ская, деонтическая. Опишем только алетическую логику высказываний. Язык алетическои модальной логики 1. Счетное множество пропозициональных переменных: p, g, r, ...; 2. Логические связки (конъюнкция и др.); 3. Операторы модальной логики: ? - читается «необходимо, что.», 0 - читается «возможно,
  • Неклассическая логика
    - совокупность логических теорий, которые находятся в оппозиции к логике классической и являются не только ее критикой, но и
  • Ответы к экзамену по предмету Логика
    1. Логика как наука и ее значение в системе образования. Значение логики 2. Формирование и основные этапы развития логики 3. Современная логика и основные сферы ее практического применения 4. Классическая и неклассическая логика 5. Основные уровни и формы познания 6. Роль мышления в познании 7. Понятие логической формы мышления 8. Законы мышления в формальной логике 9. Мышление и язык. Основные функции языка 10. Язык логики. Основные понятия 11. Естественные и искусственные языки 12. Семиотика
  • 61. Современная (символическая) формальная логика.
    Классическая логика занималась мышлением и лишь суждениями, понятиями и заключениями. А современная формальная логика не является наукой о мышлении. Главные понятия – высказывание (предложение, которое может быть охаректеризовано как истинное или ложное), рассуждение (выведение одних высказываний из других). Высказывания состоят из слов, а слова – это знаки. Так что современная логика – наука о знаках, использовавшихся при рассуждениях. Современная логика – наука о вычислениях, логика
  • 6. ОСОБЕННОСТИ СОВРЕМЕННОЙ ЛОГИКИ
    Необходимые потребности научно-технического прогресса ведут к развитию современной логики. Прошедшая революция в логике в конце XIX-начале XX вв. послужила результатом возникновения логической теории, впоследствии получившей название «классическая логика». Ее основателями являются ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В своих работах они переносили в логику методы, в своем большинстве принимаемые в математике. Но классическая логика все еще
  • 8. РЕЛЕВАНТНАЯ ЛОГИКА
    Непосредственным результатом революции, произошедшей в логике в конце 1ХХ-начале ХХ вв., было возникновение логической теории, получившей со временем название «классическая логика». Классическая логика по-прежнему остается ядром современной логики, сохраняющим как теоретическую, так и практическую значимость. Основной задачей логики считается систематизация правил, которые позволяют из принятых утверждений выводить новые. Классическая логика подвергалась критике долгое время за то, что она не
  • § 1. Классическое и неклассическое в логике
    Непосредственным результатом революции, происшедшей в логике в конце XIX — начале XX в.в., было возникновение логической теории, получившей со временем имя классической логики. У ее истоков стоят наряду со многими другими исследователями ирландский логик Д. Буль, американский философ и логик Ч. Пирс, немецкий логик Г. Фреге. В их работах была постепенно реализована идея перенесения в логику тех методов, которые обычно применяются в математике.Классическая логика ориентировалась главным образом
  • Дискуссия на тему Что есть логика? Discussion on the matter What is Logic?
    Быстров П.И Институт философии РАН, г. Москва E-mail: petbys@yandex.ru Докладчик: Много лет я искал ответ на единственный, стоящий внимания вопрос: что та­кое логика, на самом деле? Нашел. Его лучше всего выразить так: «Логика подобна беско­нечной решетке мегаабстрактных алгебр»... Реплика: Объясните,в чем состоит подобие? Докладчик (немного подумав): Ну, может быть, вы и правы; возможно, логика не подоб­на такой решетке. В любом случае, к истинной логике ведет структурализация истинност­ных
  • Интуиционистская логика (высказываний
    ) Утверждая независимость математики от языка и логики, ее самодостаточность, принцип полной индукции в качестве единственного метода решения всех математических проблем, интуицио- нисты тем самым давали понять, что проблема формализации доказательств им безразлична. Однако дискуссии интуиционистов с логицистами и формалистами по поводу законности закона исключенного третьего в конце концов вынудили их проявить интерес и к логической проблематике. В результате была создана так называемая
  • Язык классической логики
    Классическая логика предикатов является расширением классической логики высказываний за счет более глубокого и детального анализа структуры языковых выражений. Элементарными осмысленными выражениями языка логики высказываний являются атомарные формулы и соответствующие им атомарные высказывания типа: «Сегодня прекрасная погода», «Я получил двойку на экзамене» или «Политическая ситуация в настоящее время характеризуется стабильностью». Однако логика высказываний обладает слабыми выразительными
  • Логика в классической, неклассической и постнеклассической науке
    Периодизация логики соответствует периодизации науки в целом (см. раздел 2.5). Одновременно с этим основанием для деления логики на разные направления служит различие применяемых в ней принципов, на которых базируются исследования. Исходя из этого выделяются три основные направления. Классическая логика имеет следующие основополагающие принципы: область исследования составляют обыденные рассуждения в классических науках; допущение разрешимости любой проблемы; отвлечение от содержания
  • Логика для искусственного интеллекта Logic for the artificial intellect
    Лобанов В.И. Центральный научно-исследовательский институт «Комета», г. Москва E-mail: lobanov-v-i@mail.ru Никакое образование немыслимо без изучения логики. Особенно велика роль логики в 21 веке, названным «веком искусственного интеллекта (ИИ)». Классическая логика не годится для решения проблем ИИ. С задачей формализации, чётко поставленной Лейбницем, справ­ляется только Русская логика [1-5]. На нижеприведённых скалярных диаграммах, предложенных автором, показан процесс получения
  • Ответы по предмету - Логика
    ПОНЯТИЕ ПОЗНАНИЯ. ЧУВСТВЕННАЯ СТУПЕНЬ ПОЗНАНИЯ АБСТРАКТНОЕ МЫШЛЕНИ КАК СТУПЕНЬ ПОЗНАНИЯ ОСОБЕННОСТИ ЛОГИКИ КАК НАУКИ ОСОБЕННОСТИ ЛОГИЧЕСКИХ ЗАКОНОВ И ИХ СВЯЗЬ С ПРИНЦИПАМИ МЫШЛЕНИЯ ЗАКОН НЕПРОТИВОРЕЧИЯ ЗАКОН ТОЖДЕСТВА ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ ЗАРОЗКДЕНИЕ ЛОГИКИ ИСТОРИЯ РАЗВИТИЯ ТРАДИЦИОННОЙ ЛОГИКИ НЕКЛАССИЧЕСКАЯ ЛОГИКА МЕТОД В ЛОГИКЕ ЗНАЧЕНИЕ ЛОГИКИ ЯЗЫК, ЕГО АСПЕКТЫ И ФУНКЦИИ ЗНАК, ЕГО ХАРАКТЕРИСТИКИ И ВИДЫ ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ ПОНЯТИЕ КАК ФОРМА
  • § 2. Интуиционистская и многозначная логика
    «Нет пророка в своем отечестве», — говорит старая пословица. Те, кого мы сейчас называем классиками, когда-то стояли наравне со своими современниками, и последние не скупились на критику.Не успела классическая логика сложиться, окрепнуть и проявить свои потенции, как она сделалась объектом суровой критики, идущей с разных сторон. Одними из наиболее активных в этом отношении были интуиционисты во главе с голландским математиком Л. Брауэром.Основные идеи интуиционизмаИсточник математики, считал
  • Логика
    Это учение о последовательном и упорядоченном мышлении. Формальная, классическая логика делится на учение об элементах мышления (понятие, суждение, умозаключение) и учение о методах (спо-собах исследования и доказательства). Современная логистика стремится к мак-симальной формализации и математизации. Она работает с логическими исчислениями, понимаемыми как системы знаков (символов) и правил оперирования с ними. Кроме того, ей известны и многозначные системы, в которых высказывания могут
  • § 5. Другие разделы неклассической логики
    Острой критике классическая логика подверглась за то, что она не дает корректного описания логического следования.Основная задача логики — систематизация правил, позволяющих из принятых утверждений выводить новые. Возможность получения одних идей в качестве логических следствий других лежит в фундаменте любой науки. Это делает проблему верного описания логического следования чрезвычайно важной. Неудача в ее решении отрицательно сказывается не только на самой логике, но и на методологии
  • Математическая логика
    Математическая логика представляет собой совокупность искусственных формализованных языков, для которых устанавливаются такие их логические свойства, как доказуемость, выводимость, следствие и т.д. В отличие от классической математической логики, базировавшейся на принципе двузначности (признания суждения либо истинным, либо ложным), современная математическая логика руководствуется принципом многозначности, допускающим три и более значений истинности (многозначная логика), и рассматривает
  • Теория истины с оператором истинности и логики Truth Theory with Truth Operator and Logics
    Павлов С.А. Институт философии РАН, г. Москва E-mail: sergey.aph.pavlov@gmail.com Рассматривается теория истины с операторами истинности и ложности для множества предложений, включая неклассический случай, и расширение ее на множество выражений языка. На первом шаге строится элементарная теория, которая является двухуровневой. Для вы­сказываний об истинности или ложности предложений, которые будем называть TF выска­зываниями, принимается классическая логика. Допускается итерация операторов, чем
  • Философская методология: диалектическая логика.
    "В формальной логике противоречие является сигналом бедствия, но в развитии реального знания оно означает первый шаг по направлению к успеху " Алфред Норт Уайтхед В позднем средневековье философ Н.Кузанский замечает, что реальный процесс познания не может быть теоретически изображен в понятиях классической (аристотелевской) логики. Ф.Бэкон в XVII в. прямо ставит задачу создания "нового метода", положив начало разработке индуктивной логики. И.Кант тоже заявляет о необходимости создания
1 2 3 4 5 6 7 8 9 10 11 > 33
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -