일탈 논리학

Deviant logic

철학자 수잔 해크는[1] "악의 논리"라는 용어를 사용하여 논리의 특정 비종류적 체계를 묘사한다. 이 논리학에서는

  • 생성된 올바른 형식의 공식 집합은 고전적 논리에 의해 생성된 올바른 형식의 공식 집합과 동일하다.
  • 생성되는 이론들의 집합은 고전적 논리에 의해 생성되는 이론들의 집합과 다르다.

일탈 논리의 이론 집합은 고전적 논리의 이론 집합과 가능한 어떤 방식으로도 다를 수 있다: 적절한 부분 집합, 수퍼셋 또는 완전히 배타적인 집합. 이것의 주목할 만한 예는 폴란드 논리학자수학자 얀 우카시오에비츠에 의해 개발된 3가 논리학이다. 이 체제 하에서는 반드시 고전적 논리의 이분법 원리에 의존하는 어떤 정리는 유효하지 않을 것이다. 이 용어는 빌라드오르만 콰인(Willard Van Orman Quine)의 <뉴저지 주 로직 철학: 프렌티스 홀(1970년)> 제6장에 처음 등장하는데, 그녀의 저서 15페이지에 해크가 인용하고 있다.

준변위 및 확장 로직

해크는 그녀가 말하는 준편파적 논리도 설명했다. 이러한 로직은 다음과 같은 점에서 순수한 일탈 로직과는 다르다.

  • 생성된 올바른 형식의 공식 집합은 고전적 논리에 의해 생성된 올바른 형식의 공식 집합의 적절한 상위 집합이다.
  • 생성되는 이론 집합은 고전적 논리에 의해 생성되는 이론 집합의 적절한 상위 집합이다. 준편파 논리는 고전적 논리와 공통적으로 잘 형성된 공식을 사용하여 새로운 이론들을 생성한다는 점뿐만 아니라 새로운 공식들을 사용하여 새로운 이론들을 생성한다는 점에서 말이다.

마지막으로, Hack은 단지 확장된 로직의 클래스를 정의했다. 이 안에.

  • 생성된 올바른 형식의 공식 집합은 고전적 논리에 의해 생성된 올바른 형식의 공식 집합의 적절한 상위 집합이다.
  • 생성된 이론 집합은 고전적 논리에 의해 생성된 이론 집합의 적절한 상위 집합이지만, 확장된 논리에 의해 생성된 새로운 이론은 단지 새로운 잘 형성된 공식의 결과일 뿐이다.

모달 논리학의 일부 시스템은 이 정의를 충족한다. 그러한 시스템에서는 어떤 새로운 정리도 모달 연산자로 인해 고전적 논리학에서 파시스트하지 않을 것이다. 일탈과 준이탈 로직은 전형적으로 고전적 논리의 라이벌로서 제안되지만, 확장 로직의 이면의 동력은 보통 그것에 대한 보완책만을 제공하기 위한 것이다.

20년 후

아칠 Varzi Haack의 책이 1996년판의 그의 review[2]에 이 설문 조사에서 잘, 고전적이 아닌 논리의 지난 2decades—paraconsistent 논리에서``특별한 확산, 선형 논리, 하부 구조의 논리, 비단 조적 논리 AI및 컴퓨터에 대해 수많은 다른 논리적으로 특히 시간의 시험을 이겨 내지 않았다.피하의그는 또한 해크의 애매함에 대한 설명이 "지금은 심각하게 결함이 있다"는 것을 발견한다. 그러나 그는 "철학적 입장을 옹호하는 차원에서 데반트 로직은 그 중요성을 유지한다"고 인정한다.

참조

  1. ^ Haack, Susan (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: The University of Chicago Pres. p. xxvi-291. ISBN 9780226311340. (1974년 케임브리지 대학 출판부에서 발행한 데반트 로직으로 처음 등장했다. 1996년판에는 1973년부터 1980년 사이에 출판된 일부 추가적인 에세이가 포함되어 있으며, 특히 퍼지 논리에 관한 논문이 포함되어 있다.)
  2. ^ Varzi, Achille. "Review" (PDF). The Philosophical Review. 107 (3): 468-471. Archived (PDF) from the original on 2016-03-04. Retrieved 2011-04-10.