- совокупность логических теорий, возникших в известной оппозиции к логик е классической и являющихся во многом не только критикой после дней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитие м идей , лежащих в основе со временной логики. Начавшаяся в конце XIX — начале XX в., критика классической логики привела к возникновению целого ряда новых, неклассических разделов ма тема тической (символической) логики. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике. Л. Брауэр (1881—1961) подверг сомнению неограниченную применимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом (1888) и не содержащей указанных законов. Одновременно с Л. Брауэром идею неуниверсальности закона исключенного третьего отстаивал рус. логик Н. А. Васильев (1880-1940). В 1912 г. К. И. Льюис (1883—1964) обратил внимание на парадоксы импликации, характерные для формального аналога условного высказывания в классической логике — импликации материальной. В дальнейшем он раз работа л первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное , чем даваемое классической логикой, описание логического следования и условной связи . Наибольшую известность из них получила релевантная логика . Классическая логика исходит из предположения, что всякое высказывание является или истинным, или ложным (двузначности принцип ). В 20-е годы XX в. Я. Лукасевич ем (1878-1956) и Э. Постом (1897—1954) были построены многозначные логики, допускающие более двух истинностных значений. На рубеже 20-х годов К. И. Льюисом и Я. Лукасевичем были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности и т. п. Тем самым в со- временной логике была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики. В середине 20-х годов появилась первая работа Э. Малли по деонтической логике, исследующей логические связи нормативных высказываний. К этому же времени относится первая попытка Э. Гуссерля (1859—1938) развить оценок логику. В 30-е годы Д. фон Нейманом (1903-1957) и Г. Биркгофом была опубликована первая работа по логике квантовой механики. Особенно интенсивно Л. н. продолжала расширяться после второй мировой войны . С. Яськовским (1906-1965) была построена «логика дискуссии», явившаяся прототипом паранепротиворечивой логики, на возможность которой еще раньше указывали Н. А. Васильев и Я. Лукасевич; с работ А. Н. Прайора началось развитие логики времени; С. Халлденом и Г. X. фон Вригтом (р. 1916) были предложены развитые логические теории сравнительных оценок (предпочтений логика); Г. X. фон Вригтом построены логика изменения и логика действия; А. Берксом — логика причинности и т. д. Экстенсивный рост Л. н. не завершился и сейчас . В последние десятилетия существенно упрочились ее основы и усовершенствовались ее методы. Это касается прежде всего модальной логики и теории логического следования. Л. н. с трудом поддается определению, т. к. ее ветви рассматривают различные типы рассуждений. В целом задача Л. н. - более полно описать те элементы логической формы рассуждений, которые упускаются из виду классической логикой. Между неклассическими разделами логики существуют сложные и многообразные связи. Так, интуиционистская и модальная логики могут быть истолкованы как определенного рода многозначные логики (а именно : как бесконечнозначные логики). В рамках модальной логики может быть определено понятие логического следования, в свою очередь в терминах неклассических импликаций — определены модальные понятия и т. д. В настоящее время Л. н. является наиболее интенсивно развивающейся частью логики, нашедшей важные приложения в философии, математике, кибернетике, физике, языкознании и т. д.
Что такое Логика Неклассическая? Значение Логика Неклассическая в словаре логики
Логика Неклассическая - - совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе современной логики. Начавшаяся в конце XIX — начале XX в., критика классической логики привела к возникновению целого ряда новых, неклассических разделов математической (символической) логики. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике. Л. Брауэр (1881—1961) подверг сомнению неограниченную применимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом (1888) и не содержащей указанных законов. Одновременно с Л. Брауэром идею неуниверсальности закона исключенного третьего отстаивал рус. логик Н. А. Васильев (1880-1940). В 1912 г. К. И. Льюис (1883—1964) обратил внимание на парадоксы импликации, характерные для формального аналога условного высказывания в классической логике — импликации материальной. В дальнейшем он разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получила релевантная логика. Классическая логика исходит из предположения, что всякое высказывание является или истинным, или ложным (двузначности принцип). В 20-е годы XX в. Я. Лукасевичем (1878-1956) и Э. Постом (1897—1954) были построены многозначные логики, допускающие более двух истинностных значений. На рубеже 20-х годов К. И. Льюисом и Я. Лукасевичем были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности и т. п. Тем самым в со- временной логике была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики. В середине 20-х годов появилась первая работа Э. Малли по деонтической логике, исследующей логические связи нормативных высказываний. К этому же времени относится первая попытка Э. Гуссерля (1859—1938) развить оценок логику. В 30-е годы Д. фон Нейманом (1903-1957) и Г. Биркгофом была опубликована первая работа по логике квантовой механики. Особенно интенсивно Л. н. продолжала расширяться после второй мировой войны. С. Яськовским (1906-1965) была построена «логика дискуссии», явившаяся прототипом паранепротиворечивой логики, на возможность которой еще раньше указывали Н. А. Васильев и Я. Лукасевич; с работ А. Н. Прайора началось развитие логики времени; С. Халлденом и Г. X. фон Вригтом (р. 1916) были предложены развитые логические теории сравнительных оценок (предпочтений логика); Г. X. фон Вригтом построены логика изменения и логика действия; А. Берксом — логика причинности и т. д. Экстенсивный рост Л. н. не завершился и сейчас. В последние десятилетия существенно упрочились ее основы и усовершенствовались ее методы. Это касается прежде всего модальной логики и теории логического следования. Л. н. с трудом поддается определению, т. к. ее ветви рассматривают различные типы рассуждений. В целом задача Л. н. - более полно описать те элементы логической формы рассуждений, которые упускаются из виду классической логикой. Между неклассическими разделами логики существуют сложные и многообразные связи. Так, интуиционистская и модальная логики могут быть истолкованы как определенного рода многозначные логики (а именно: как бесконечнозначные логики). В рамках модальной логики может быть определено понятие логического следования, в свою очередь в терминах неклассических импликаций — определены модальные понятия и т. д. В настоящее время Л. н. является наиболее интенсивно развивающейся частью логики, нашедшей важные приложения в философии, математике, кибернетике, физике, языкознании и т. д.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Модус Понендо Толленс - (лат. modus ponendo tollens) термин средневековой логики, ...
- Модель Семантическая - система значений, приписываемых выражениям некоторого формализованного языка, ...
- Модальность - (от лат., modus — мера, способ) — оценка ...
- Множеств Теория - — математическая теория, изучающая точными средствами проблему бесконечности. ...
- Многозначности Принцип - см.: Принцип многозначности. ...
- Методология Науки - часть науковедения, исследующая структуру научного знания, средства ...
- Метод - (от греч. methodos — путь, способ исследования, обучения, ...
- Логика - (от греч. logos — слово, понятие, рассуждение, разум), ...
- Лемма - (от греч. lemma — предположение) в математике ...
- Круг В Доказательстве - (лат. — circulus in demonstrando) — логическая ошибка ...
- Конъюнкция - (от лат. conjunctio союз, связь) логическая ...
- Контрарная Противоположность - (от лат. contrarius противоположный) — отношение между ...
- Контрадикторная Противоположность - (от лат. contradictorius — противоречащий) — отношение между ...
- Контекст - (от лат. contextus — сцепление, соединение, связь) — ...
- Дилемма - (от греч. di(s) дважды и lemma ...