Логика и диалектика

Формальные ученые пытались объединить формальную логику (науку о дедуктивно обоснованных выводах или логических истинах ) и диалектику (форму рассуждения, основанную на диалоге аргументов и контраргументов) посредством формализации диалектики. Эти попытки включают доформальные и частично формальные трактаты по аргументации и диалектике , системам, основанным на отменяемых рассуждениях , и системам, основанным на игровой семантике и диалогической логике .

История

С конца 20 века европейские и американские логики пытались обеспечить математические основы диалектики посредством формализации. ^[1]^{: 201–372} хотя логика с древнейших времен была связана с диалектикой. ^[1]^: 51–140 Были доформальные и частично формальные трактаты по аргументации и диалектике таких авторов, как Стивен Тулмин ( «Использование аргумента» , 1958), ^[2]^[3]^[1]^{: 203–256} Николас Решер ( Диалектика: противоречивый подход к теории познания , 1977), ^[4]^[5]^[1]^{: 330–336} и Франс Х. ван Эмерен и Роб Гроотендорст ( прагма-диалектика , 1980-е). ^[1]^{: 517–614} Сюда можно отнести работы сообществ неформальной логики и паранепротиворечивой логики . ^[1]^{: 373–424}

Осуществимость

Опираясь на теории опровергаемых рассуждений (см. Джона Л. Поллока ), были построены системы, которые определяют правильность аргументов, правила, управляющие процессом представления аргументов, основанных на фиксированных предположениях, и правила перераспределения бремени. ^[1]^{: 615–675} Многие из этих логик появляются в специальной области искусственного интеллекта и права , хотя интерес ученых-компьютерщиков к формализации диалектики проистекает из желания построить системы поддержки принятия решений и компьютерные системы совместной работы. ^[6]

Диалоговые игры

Саму диалектику можно формализовать как ходы в игре, в которой спорят сторонник истинности предложения и оппонент. ^[1]^{: 301–372} Такие игры могут обеспечить семантику логики , очень общую по применимости. ^[1]^: 314

См. также

Ссылки

^ Jump up to: ^а ^б ^с ^д ^и ^ж ^г ^час ^я Эмерен, Франс Х. ван ; Гарссен, Барт; Краббе, Эрик CW; Снук Хенкеманс, А. Франциска; Верхей, Барт; Вейджманс, Джин Х.М. (2014). Справочник по теории аргументации . Нью-Йорк: Springer-Verlag. дои : 10.1007/978-90-481-9473-5 . ISBN 9789048194728 . OCLC 871004444 .
^ Тулмин, Стивен (2003) [1958]. Использование аргумента (Обновленная ред.). Кембридж, Великобритания; Нью-Йорк: Издательство Кембриджского университета. дои : 10.1017/CBO9780511840005 . ISBN 978-0521827485 . OCLC 51607421 .
^ Хичкок, Дэвид; Верхей, Барт, ред. (2006). Рассуждение о модели Тулмина: новые очерки анализа и оценки аргументов . Библиотека аргументации. Том. 10. Дордрехт: Springer-Verlag. дои : 10.1007/978-1-4020-4938-5 . ISBN 978-1402049378 . OCLC 82229075 .
^ Хетерингтон, Стивен (2006). «Николас Решер: Философская диалектика» . Философские обзоры Нотр-Дама (2006.07.16).
^ Жакет, Дейл, изд. (2009). Причина, метод и ценность: читатель философии Николаса Решера . Франкфурт: Онтос Верлаг. дои : 10.1515/9783110329056 . ISBN 9783110329056 .
^ Обзоры работ в этой области см., например: Чесневар, Карлос Иван; Магуитман, Ана Габриэла; Луи, Рональд Прескотт (декабрь 2000 г.). «Логические модели аргументации». Обзоры вычислительной техники ACM . 32 (4): 337–383. CiteSeerX 10.1.1.702.8325 . дои : 10.1145/371578.371581 . И: Праккен, Генри; Врисвейк, Жерар (2005). «Логика опровергаемой аргументации». В Габбае, Дов М.; Гентнер, Франц (ред.). Справочник по философской логике . Том. 4 (2-е изд.). Дордрехт; Бостон: Академическое издательство Kluwer. стр. 219–318. CiteSeerX 10.1.1.295.2649 . дои : 10.1007/978-94-017-0456-4_3 . ISBN 9789048158775 .

Эта философии статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

[Eemeren-1] Jump up to: ^а ^б ^с ^д ^и ^ж ^г ^час ^я Эмерен, Франс Х. ван ; Гарссен, Барт; Краббе, Эрик CW; Снук Хенкеманс, А. Франциска; Верхей, Барт; Вейджманс, Джин Х.М. (2014). Справочник по теории аргументации . Нью-Йорк: Springer-Verlag. дои : 10.1007/978-90-481-9473-5 . ISBN 9789048194728 . OCLC 871004444 .

[2] Тулмин, Стивен (2003) [1958]. Использование аргумента (Обновленная ред.). Кембридж, Великобритания; Нью-Йорк: Издательство Кембриджского университета. дои : 10.1017/CBO9780511840005 . ISBN 978-0521827485 . OCLC 51607421 .

[3] Хичкок, Дэвид; Верхей, Барт, ред. (2006). Рассуждение о модели Тулмина: новые очерки анализа и оценки аргументов . Библиотека аргументации. Том. 10. Дордрехт: Springer-Verlag. дои : 10.1007/978-1-4020-4938-5 . ISBN 978-1402049378 . OCLC 82229075 .

[4] Хетерингтон, Стивен (2006). «Николас Решер: Философская диалектика» . Философские обзоры Нотр-Дама (2006.07.16).

[5] Жакет, Дейл, изд. (2009). Причина, метод и ценность: читатель философии Николаса Решера . Франкфурт: Онтос Верлаг. дои : 10.1515/9783110329056 . ISBN 9783110329056 .

[6] Обзоры работ в этой области см., например: Чесневар, Карлос Иван; Магуитман, Ана Габриэла; Луи, Рональд Прескотт (декабрь 2000 г.). «Логические модели аргументации». Обзоры вычислительной техники ACM . 32 (4): 337–383. CiteSeerX 10.1.1.702.8325 . дои : 10.1145/371578.371581 . И: Праккен, Генри; Врисвейк, Жерар (2005). «Логика опровергаемой аргументации». В Габбае, Дов М.; Гентнер, Франц (ред.). Справочник по философской логике . Том. 4 (2-е изд.). Дордрехт; Бостон: Академическое издательство Kluwer. стр. 219–318. CiteSeerX 10.1.1.295.2649 . дои : 10.1007/978-94-017-0456-4_3 . ISBN 9789048158775 .

[1]

[2]

[3]

[4]

[5]

[6]