논리와 변증법
Logic and dialectic정식 과학자들은 공식화를 통해 논리와 변증법을 결합하려고 시도해왔다.이러한 시도에는 주장과 변증법에 관한 사전 형식적, 부분적 형식적 논증, 배변적 추론에 기초한 시스템, 게임 의미론과 대화적 논리에 기반한 시스템 등이 포함된다.
역사
20세기 후반부터 유럽과 미국의 논리학자들은 비록 논리가 고대부터 변증법과 연관되어 있었지만 형식화를 통해 변증법의 수학적 기초를 제공하려고 시도했다.[1]: 201–372 [1]: 51–140 주장과 변증법에 스티븐 툴민(이용 토론은, 1958년)[2][3][1]:203–256 니콜라스 Rescher 같은 작가에서 있으며partially-formalpre-formal 논문들,(Dialectics:AControversy-Oriented적 접근 지식의 이론에, 1977년)[4][5][1]:330–336, 프란스 H. 반 Eemeren과 롭 Grootendorst(pragma-dialectic.s, 1980년대 cm이다.[1]:517–614우리는 비공식적 논리학과 상존적 논리학의 공동체의 작업을 포함할 수 있다.[1]: 373–424
배변성
배변 가능한 추론 이론(존 L. 폴록 참조), 논쟁의 올바른 형태를 정의하는 시스템, 고정된 가정에 근거한 논쟁 도입 과정을 지배하는 규칙, 그리고 부담을 떠넘기는 규칙 등이 구축되었다.[1]: 615–675 변증법 공식화에 대한 컴퓨터 과학자들의 관심은 의사결정 지원과 컴퓨터 지원 협업 시스템을 구축하려는 욕망에서 비롯되지만, 이러한 논리학의 많은 부분이 인공지능과 법률의 특수한 영역에 나타난다.[6]
대화 게임
변증법 자체가 게임의 움직임으로 공식화될 수 있는데, 여기서 명제의 진리를 옹호하는 사람과 반대자가 논쟁한다.[citation needed]그러한 게임은 매우 일반적인 적용가능성의 논리학의 의미를 제공할 수 있다.
참고 항목
참조
- ^ a b c d e f g Eemeren, Frans H. van; Garssen, Bart; Krabbe, Erik C. W.; Snoeck Henkemans, A. Francisca; Verheij, Bart; Wagemans, Jean H. M. (2014). Handbook of argumentation theory. New York: Springer-Verlag. doi:10.1007/978-90-481-9473-5. ISBN 9789048194728. OCLC 871004444.
- ^ Toulmin, Stephen (2003) [1958]. The uses of argument (Updated ed.). Cambridge, UK; New York: Cambridge University Press. doi:10.1017/CBO9780511840005. ISBN 978-0521827485. OCLC 51607421.
- ^ Hitchcock, David; Verheij, Bart, eds. (2006). Arguing on the Toulmin model: new essays in argument analysis and evaluation. Argumentation library. Vol. 10. Dordrecht: Springer-Verlag. doi:10.1007/978-1-4020-4938-5. ISBN 978-1402049378. OCLC 82229075.
- ^ Hetherington, Stephen (2006). "Nicholas Rescher: Philosophical Dialectics". Notre Dame Philosophical Reviews (2006.07.16).
- ^ Jacquette, Dale, ed. (2009). Reason, Method, and Value: A Reader on the Philosophy of Nicholas Rescher. Frankfurt: Ontos Verlag. doi:10.1515/9783110329056. ISBN 9783110329056.
- ^ 이 영역의 작업에 대한 설문조사는 다음을 참조하십시오. Chesñevar, Carlos Iván; Maguitman, Ana Gabriela; Loui, Ronald Prescott (December 2000). "Logical models of argument". ACM Computing Surveys. 32 (4): 337–383. CiteSeerX 10.1.1.702.8325. doi:10.1145/371578.371581. And: Prakken, Henry; Vreeswijk, Gerard (2005). "Logics for defeasible argumentation". In Gabbay, Dov M.; Guenthner, Franz (eds.). Handbook of philosophical logic. Vol. 4 (2nd ed.). Dordrecht; Boston: Kluwer Academic Publishers. pp. 219–318. CiteSeerX 10.1.1.295.2649. doi:10.1007/978-94-017-0456-4_3. ISBN 9789048158775.
