Modus Ponendo Ponens 설명 및 예



그 포르노 포 데노 (modus ponendo ponens) 그것은 합리적인 추론의 일종의 논리적 인 논쟁이며, 잘 알려진 명제 논리의 공제 규칙의 형식 체계에 속한다. 이 논증 적 구조는 명제 논리에서 전송되고 조건부 논증과 직접 관련이있는 초기 패턴이다.

논증 포르노 포 데노 (modus ponendo ponens) 그것은 두 다리 달린 삼단 논법으로 보여 질 수 있습니다. 세 번째 용어를 사용하여 링크 역할을하는 대신, 선행 요소를 결과 요소와 관련시키는 조건부 문장을 사용합니다.

관습주의를 떠나서, 우리는 포르노 포 데노 (modus ponendo ponens) 절차로서 (모 더스)의 공제 규칙 중 하나 인퍼팅)를 선행 (이전 요소)하고, (포니)의 결과 또는 결론 (이후 요소).

이 합리적인 공식화는 두 가지 명제 또는 전제에서 시작됩니다. 그것은 논쟁에서 내재적이고 조건이 있음에도 불구하고 결론을 통해 추론하여, 그 자체와 그 자체 앞에 선행하는 두 가지 긍정 응답이 결과로 간주 될 수 있다고 결론 내린다..

색인

  • 1 근원
    • 1.1 어원학
  • 2 설명
  • 3 예
    • 3.1 첫 번째 예
    • 3.2 두 번째 예제
    • 3.3 세 번째 예제
  • 4 변형 및 예
    • 4.1 변형 1
    • 4.2 변형 2
    • 4.3 변형 3
    • 4.4 변형 4
  • 5 Modus ponens, 논리 경로
  • 6 참고 문헌

기원

연역적 논리의 적용의 일부로서의 이러한 긍정적 측면은 고대에 기원을두고있다. 기원전 4 세기 그리스 철학자 아리스토 텔레스 (Aristotle of Estagira)의 손에 의해 등장했다. C.

아리스토 텔레스는 모 듀스 폰 -전제에서 선례와 결과의 타당성 확인을 통해 합리적인 결론을 얻는 것입니다. 이 과정에서 선행은 제거되고 결과 만 남게됩니다..

그리스 사상가는 사람의 존재에 가까운 모든 현상을 설명하고 개념화하기 위해 논리적 인 설명 적 추론의 토대를 마련하기를 원했다..

어원학

포르노 포 데노 (modus ponendo ponens) 그것은 라틴어에 뿌리를두고 있습니다. 스페인어의 의미는 다음과 같습니다 : "이전에 말했듯이, 그것의 구조화에서 두 요소 (선행적이고 결과적인) 긍정으로 구성되기 때문에,"긍정 (긍정), 긍정 (주장) "방식입니다..

설명

일반적으로 포르노 포 데노 (modus ponendo ponens) "P"라고 불리는 컨디셔닝 전제와 "Q"라는 이름을받은 컨디셔닝 결과가 두 개의 명제를 상호 연관시킨다..

전제 1은 항상 "if-then"이라는 컨디셔닝 형식을 제시하는 것이 중요합니다. "if"가 선행사 앞에오고 "then"이 결과 앞에옵니다.

그것의 배합은 다음과 같습니다 :

전제 1 : "P", "Q".

전제 2 : "P".

결론 : "Q".

예제들

첫 번째 예

전제 1 : "내일 시험에 합격하기를 원하면 많이 공부해야합니다.".

전제 2 : "내일 시험에 합격하고 싶다".

결론적으로 : "그러므로, 많이 공부해야합니다.".

두 번째 예

전제 1 : "빨리 학교에 가기를 원한다면 그 길을 택해야합니다".

전제 2 : "빨리 학교에 가고 싶다".

결론 : "그러므로, 당신은 그 길을 가야합니다".

세 번째 예제

전제 1 : "물고기를 먹고 싶다면, 시장에서 사야한다".

전제 2 : "물고기를 먹고 싶다".

끝맺음 : "그러므로, 당신은 시장에서 사러 가야합니다"

변형 및 예

포르노 포 데노 (modus ponendo ponens) 그것의 배합에 작은 변형을 나타낼 수있다. 다음으로, 각각의 예와 함께 가장 많이 사용되는 네 가지 변형이 제시됩니다..

변형 1

전제 1 : "P", "¬Q"

전제 2 : "P"

결론 : "¬Q"

이 경우 기호 "¬"는 "Q"의 거부와 유사합니다.

첫 번째 예

전제 1 : "당신이 그런 식으로 계속 먹으면, 당신은 당신의 이상적인 체중을 달성하지 못할 것입니다".

전제 2 : "너는 그 길을 계속 먹는다".

결론 : "따라서, 당신은 당신의 이상적인 체중을 달성하지 못할 것입니다.".

두 번째 예

전제 1 : "너무 많은 양의 소금을 계속 먹으면 고혈압을 조절할 수 없게됩니다".

전제 2 : "너는 여전히 많은 양의 소금을 먹는다.".

결론 : "그러므로, 당신은 고혈압을 조절할 수 없을 것입니다.".

세 번째 예제

전제 1 : "길을가는 중이라면 잃지 않을 것".

전제 2 : "너는 길을보고있다".

결론 : "그러므로, 너는 잃지 않을 것이다".

변형 2

전제 1 : "P"^ "R" "Q"

전제 2 : "P"^

결론 : "Q"

이 경우 기호 "^"는 "and"를 나타내는 반면에 "R"은 "Q"의 유효성을 검사하기 위해 추가되는 다른 선행을 나타냅니다. 즉, 우리는 두 배의 상태에 있습니다..

첫 번째 예

전제 1 : "집에 와서 팝콘을 가져 오면 영화가 보일거야".

전제 2 : "집에 와서 팝콘 가져 오기".

결론 : "그러므로 우리는 영화를 볼 것입니다.".

두 번째 예

전제 1 : "술에 취해 휴대 전화를 보면 충돌이 일어납니다.".

전제 2 : "술에 취해 휴대 전화를 보았습니다".

결론 : "그러므로, 당신은 추락 할 것입니다".

세 번째 예제

전제 1 : "커피를 마시고 초콜릿을 먹으면, 당신은 당신의 마음을 돌보고 있습니다".

전제 2 : "커피 마시고 초콜릿 먹기".

결론 : "그러므로, 당신은 당신의 마음을 돌보고 있습니다".

변형 3

전제 1 : "¬P", "Q"

전제 2 : "¬P"

결론 : "Q"

이 경우 기호 "¬"는 "P"의 거부와 유사합니다..

첫 번째 예

전제 1 : "모음 동의어를 배우지 않으면 언어학 시험에 실패합니다.".

전제 2 : "당신은 모음 동의를 공부하지 않았습니다".

결론 : "그러므로, 당신은 언어학 시험에 실패 할 것입니다".

두 번째 예

전제 1 : "앵무새에게 음식을주지 않으면 죽을 것이다".

전제 2 : "너는 앵무새에게 음식을주지 않는다".

결론 : "그러므로 그는 죽을 것이다".

세 번째 예제

전제 1 : "물을 마시지 않으면 탈수됩니다.".

전제 2 : "물 마시지 마라".

결론 : "그러므로, 당신은 탈수 될 것입니다".

변형 4

전제 1 : "P", "Q", "R"

전제 2 : "P"

결론 : "Q"^ "R"

이 경우 기호 "^"는 "and"를 나타내는 반면에 "R"은 두 번째 결과를 나타낸다. 그러므로, 선행자는 동시에 두 가지 결론을 확언 할 것이다..

첫 번째 예

전제 1 : "네가 네 엄마에게 잘해 준다면, 네 아버지는 너에게 기타와 그의 현".

전제 2 : "너는 네 엄마와 잘했다.".

결론 : "그러므로, 네 아버지는 너에게 기타와 현".

두 번째 예

전제 1 : "수영을 연습하면 육체적 지구력을 향상시키고 체중을 줄입니다.".

전제 2 : "너 수영하고있어.".

결론 : "그러므로, 당신은 육체적 인 지구력을 향상시키고 체중을 줄이게 될 것입니다.".

세 번째 예제

전제 1 : "Lifeder에서이 기사를 읽으면 배우고 더 준비하게됩니다".

전제 2 : "당신은 Lifeder에서이 기사를 읽었습니다".

결론 : "그러므로, 당신은 배웠고 더 준비가되었습니다".

모드 폰, 논리 경로

모 듀스 폰 명제 논리의 첫 번째 규칙을 나타냅니다. 간단한 전제에서부터 이해하기 시작하여 더 깊은 추론을 이해하는 개념을 낳습니다..

논리 세계에서 가장 많이 사용되는 자원 중 하나이기는하지만 논리적 법칙과 혼동 할 수는 없습니다. 그것은 연역적 증거의 정교화를위한 단순히 방법이다..

결론에서 판단을 삭제함으로써 모 듀스 폰 공제를 할 때 요소의 응집과 광범위한 연결을 피합니다. 그 품질을 위해 그것은 또한 "분리 규칙".

포르노 포 데노 (modus ponendo ponens) 그것은 아리스토텔레스 논리에 대한 완전한 지식을 얻는 데 필수 불가결 한 자료입니다.

참고 문헌

  1. Ferrater Mora, J. (1969). 철학 사전. 부에노스 아이레스 : 히스 파노 테카. 원본 주소 'hispanoteca.eu'.
  2. Modus put ponens. (S. f.). 스페인 : Webnode. 원본 주소 'ley-de-inferencia5.webnode.es'.
  3. Modus put ponens. (S. f.). (n / a) : 위키피디아. 원본 주소 'wikipedia.org'.
  4. 추론과 동등한 규칙. (S. f.). 멕시코 : UPAV. 원본 주소 'universidadupav.edu.mx'.
  5. Mazón, R. (2015). 포니 던뜨기. 멕시코 : Super Mileto. 복구 대상 : supermileto.blogspot.com.