MODUS PUTING PONENS : 설명 및 예 - 철학 - 2025

잠정 ponendo의 ponens는 잘 알려진 명제 논리의 추론 규칙의 형식 시스템에 속하는 합리적인 추론의 논리적 인수의 유형입니다. 이 논증 적 구조는 명제 논리로 전달되는 초기 지침이며 조건부 논증과 직접 관련이 있습니다.

인수 modus ponendo ponens는 링크 역할을하는 세 번째 용어를 사용하는 대신 선행 요소를 결과 요소와 연관시키는 조건문을 사용하는 두 다리 삼단 법으로 볼 수 있습니다.

철학적 논리의 아버지 아리스토텔레스

관습주의를 떠나서, 우리는 추론 규칙의 절차 (modus)로서의 modus ponendo ponens를 볼 수 있는데, 이는 선행 또는 참조 (이전 요소)의 주장 (퍼팅)을 통해 결과에 대한 주장 (포넨)을 관리합니다. 또는 결론 (나중 요소).

이 합리적인 공식은 두 가지 제안 또는 전제에서 시작됩니다. 이는 논증 내에서 암묵적이고 조건화 되었음에도 불구하고 결과로 간주되기 위해 그 앞에 오는 용어와 그 자체 모두에 대한 이중 확인이 필요하다는 결론을 추론 할 수 있도록 노력합니다.

태생

연역 논리의 적용의 일부인이 긍정 모드는 고대에서 유래되었습니다. 기원전 4 세기 그리스 철학자 아리스토텔레스 데 에스 타기 라의 손에서 등장했습니다. 씨.

아리스토텔레스는 전제에서 선례와 결과 모두의 검증을 통해 합리적인 결론을 얻기 위해 법조 법을 제안했습니다. 이 과정에서 선행은 제거되고 결과 만 남습니다.

그리스 사상가는 인간의 존재에 가까운 모든 현상, 환경과의 상호 작용의 산물을 설명하고 개념화하기 위해 설명 적 논리 추론의 기초를 놓고 싶었습니다.

어원

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"

이 경우 기호 "^"는 결합 접속사 "y"를 나타내며 "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 ponens는 명제 논리의 첫 번째 규칙을 나타냅니다. 이해하기위한 단순한 전제에서 시작하여 더 깊은 추론으로 이해를 여는 개념입니다.

논리 세계에서 가장 많이 사용되는 자원 중 하나 임에도 불구하고 논리 법칙과 혼동 할 수 없습니다. 그것은 단순히 연역적 증거를 생성하는 방법입니다.

결론에서 문장을 제거함으로써, modus ponens는 추론 할 때 요소의 광범위한 응집 및 연결을 방지합니다. 이 품질을 위해 "분리 규칙"이라고도합니다.

modus ponendo ponens는 아리스토텔레스 논리에 대한 완전한 지식을 얻기 위해 없어서는 안될 자원입니다.

참고 문헌

1. Ferrater Mora, J. (1969). 철학 사전. 부에노스 아이레스 : Hispanoteca. 출처 : hispanoteca.eu.
2. Modus 퍼니 조랑말. (S. f.). 스페인 : Webnode. 출처 : laws-de-inferencia5.webnode.es.
3. Modus 퍼니 조랑말. (S. f.). (n / a) : 위키 백과. 출처 : wikipedia.org.
4. 추론 및 동등성 규칙. (S. f.). 멕시코 : UPAV. 출처 : universidadupav.edu.mx.
5. Mazón, R. (2015). 조랑말 퍼팅. 멕시코 : Super Mileto. 출처 : supermileto.blogspot.com.