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

Формализация диалектики

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

История

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

Опровержимость

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

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

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

Смотрите также

Ссылки

^ abcdefghi Eemeren, Франс Х. ван ; Гарссен, Барт; Краббе, Эрик CW; Снук Хенкеманс, А. Франциска; Верхей, Барт; Вейджманс, Джин Х.М. (2014). Справочник по теории аргументации . Нью-Йорк: Springer-Verlag. дои : 10.1007/978-90-481-9473-5. ISBN 9789048194728. OCLC 871004444.
^ Тулмин, Стивен (2003) [1958]. Использование аргумента (обновленное издание). Кембридж, Великобритания; Нью-Йорк: Cambridge University Press. doi :10.1017/CBO9780511840005. ISBN 978-0521827485. OCLC 51607421.
^ Хичкок, Дэвид; Верхей, Барт, ред. (2006). Аргументация по модели Тулмина: новые эссе по анализу и оценке аргументов . Библиотека аргументации. Том 10. Дордрехт: Springer-Verlag. doi :10.1007/978-1-4020-4938-5. ISBN 978-1402049378. OCLC 82229075.
^ Хетерингтон, Стивен (2006). «Николас Решер: Философская диалектика». Notre Dame Philosophical Reviews (2006.07.16).
^ Jacquette, Dale, ed. (2009). Reason, Method, and Value: A Reader on the Philosophy of Nicholas Rescher. Франкфурт: Ontos Verlag. doi :10.1515/9783110329056. ISBN 9783110329056.
^ Обзоры работ в этой области см., например: Chesñevar, Carlos Iván; Maguitman, Ana Gabriela; Loui, Ronald Prescott (декабрь 2000 г.). «Логические модели аргумента». ACM Computing Surveys . 32 (4): 337–383. CiteSeerX 10.1.1.702.8325 . doi :10.1145/371578.371581. И: Prakken, Henry; Vreeswijk, Gerard (2005). «Логика для отменяемой аргументации». В Gabbay, Dov M.; Guenthner, Franz (ред.). Справочник по философской логике . Том 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] Eemeren, Франс Х. ван ; Гарссен, Барт; Краббе, Эрик CW; Снук Хенкеманс, А. Франциска; Верхей, Барт; Вейджманс, Джин Х.М. (2014). Справочник по теории аргументации . Нью-Йорк: Springer-Verlag. дои : 10.1007/978-90-481-9473-5. ISBN 9789048194728. OCLC 871004444.

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

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

[4] Хетерингтон, Стивен (2006). «Николас Решер: Философская диалектика». Notre Dame Philosophical Reviews (2006.07.16).

[5] Jacquette, Dale, ed. (2009). Reason, Method, and Value: A Reader on the Philosophy of Nicholas Rescher. Франкфурт: Ontos Verlag. doi :10.1515/9783110329056. ISBN 9783110329056.

[6] Обзоры работ в этой области см., например: Chesñevar, Carlos Iván; Maguitman, Ana Gabriela; Loui, Ronald Prescott (декабрь 2000 г.). «Логические модели аргумента». ACM Computing Surveys . 32 (4): 337–383. CiteSeerX 10.1.1.702.8325 . doi :10.1145/371578.371581. И: Prakken, Henry; Vreeswijk, Gerard (2005). «Логика для отменяемой аргументации». В Gabbay, Dov M.; Guenthner, Franz (ред.). Справочник по философской логике . Том 4 (2-е изд.). Дордрехт; Бостон: Kluwer Academic Publishers. стр. 219–318. CiteSeerX 10.1.1.295.2649 . doi :10.1007/978-94-017-0456-4_3. ISBN 9789048158775.