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

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

История [ править ]

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

Осуществимость [ править ]

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

Диалоговые игры [ править ]

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

См. Также [ править ]

Ссылки [ править ]

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

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

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

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

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

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

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

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

[1]