Arrow-Type Impossibility for Genuinely Modal Judgments

한 그룹의 친구들이 복잡한 주제에 대해 단일하고 통일된 결정을 내리려 한다고 상상해 보십시오. 보통 우리는 이러한 주제를 단순한 사실로 생각합니다. "비가 오고 있다", "회의는 오후 2 시에 있다", 또는 "앨리스는 뉴욕에 있다"와 같은 것들입니다. 만약 모든 사람이 사실에 동의한다면, 그룹도 동의하게 됩니다. 하지만 만약 사실들이 까다롭다면 어떨까요? 만약 그룹이 "비가 반드시 오고 있어야 한다", "비가 아마도 오고 있을지도 모른다", 또는 "비가 있을 수 없다"와 같은 것들을 결정하려 한다면 어떨까요?

이 논문은 매우 구체적인 질문을 제기합니다: 우리가 그룹에게 이러한 "아마도/반드시/있을 수 없다"(모달) 진술에 대해서만 투표하도록 강제한다면, 일관된 그룹 결정을 내리는 유일한 방법이 한 사람을 boss(독재자) 로 만드는 상황으로 이어질 수 있을까요?

논리와 투표의 세계에서는 이를 "애로우 유형의 불가능성"이라고 부릅니다. 이는 "투표 규칙이 얼마나 공정하든, 상황의 논리가 독재제를 강요한다"는 것을 세련되게 표현한 것입니다.

다음은 일상적인 비유를 사용하여 저자들이 발견한 바를 간단히 정리한 것입니다.

1. 오래된 문제: "교리 역설"

새로운 발견을 이해하려면 오래된 것을 알아야 합니다. 법정 사건을 상상해 보십시오.

• 사실 A: 피고가 계약을 위반했다.
• 사실 B: 피고는 과실이 있었다.
• 결론: 피고는 책임이 있다 (A 와 B 가 모두 참이어야 하기 때문).

세 명의 판사가 투표한다고 가정해 보십시오.

• 판사 1: A 에 대해 "예", B 에 대해 "예", 책임에 대해 "예".
• 판사 2: A 에 대해 "예", B 에 대해 "아니오", 책임에 대해 "아니오".
• 판사 3: A 에 대해 "아니오", B 에 대해 "예", 책임에 대해 "아니오".

각 사실에 대해 개별적으로 투표한다면, 다수는 A 에 대해 "예"라고 하고 B 에 대해 "예"라고 합니다. 따라서 논리적으로 그룹은 책임에 대해 "예"라고 해야 합니다. 하지만 만약 책임에 대해 직접 투표한다면, 다수는 "아니오"라고 합니다. 그룹은 결국 모순된 혼란에 빠지게 됩니다.

이 논문의 저자들은 궁금해했습니다: 우리가 단순한 사실 (A 와 B) 을 제거하고 "반드시/아마도" 버전에만 투표하도록 한다면, 이 혼란은 여전히 발생할까요?

2. 새로운 발견: "모달 함정"

저자들은 말합니다: 네, 함정은 여전히 존재합니다.

그들은 그룹이 "X 일 필요가 있다" 또는 "Y 일 가능성이 있다"와 같은 진술에 대해서만 투표할 수 있는 시나리오를 구축했습니다. 그들은 모든 단순한 사실을 제거했습니다. 규칙을 더 추상적이고 "모호하게"(가능성과 필연성을 사용하여) 만듦으로써 논리적 연결이 느슨해져 합의가 쉬워질 것이라고 생각할지도 모릅니다.

놀라운 점: 저자들은 "가능성"과 "필연성"의 구조 자체가 숨겨진 함정을 만들어낸다는 것을 발견했습니다. 단순한 사실 없이도 "아마도"와 "반드시" 사이의 논리적 연결이 너무 견고하여, 한 사람이 답을 지시하지 않는 한 그룹을 모순으로 몰아갑니다.

3. 비유: "원형 무대"

이를 증명하기 위해 저자들은 번호가 매겨진 자리 (0, 1, 2, ...) 가 있는 원형 무대처럼 보이는 수학적 모델을 사용했습니다.

• 규칙: 당신이 한 자리에 서 있다고 상상해 보십시오. 당신은 당신으로부터 특정 수의 걸음만큼 떨어진 자리만 "볼"(접근할) 수 있습니다.
• 투표: 그룹은 그들이 있는 자리에서 볼 수 있는 것을 바탕으로 진술이 참인지 결정해야 합니다.
• "이동": 저자들은 마술 같은 트릭을 발견했습니다. 무대가 완벽하게 대칭적이기 때문에, 특정 수의 걸음만큼 위치를 이동하면 "아마도"와 "반드시"의 복잡한 연쇄가 새로운 자리에 대한 단순한 진술로 축소됩니다.

은유:
상자 위에 겹치는 담요 ("모달 진술") 를 깔려고 한다고 상상해 보십시오.

• 일반적인 방에서는 담요가 서로 충돌하지 않도록 배치할 수 있다고 생각할지도 모릅니다.
• 하지만 이 특정 원형 무대에서는 저자들이 담요가 특정한 피할 수 없는 패턴으로 반드시 겹쳐야 한다는 것을 보여 주었습니다.
• 모순을 피하기 위해 담요를 배치하려 하면, 담요가 테이블 전체를 덮어 공정한 타협을 위한 공간이 전혀 남지 않는다는 것을 발견하게 됩니다. 혼란을 막는 유일한 방법은 한 사람이 "내가 담요를 어디에 둘지 결정한다"고 말하는 것입니다.

4. 이것이 중요한 이유 (논문에 따르면)

이 논문은 두 가지 주요 주장을 합니다:

1. 함정은 불가피합니다: 단순한 사실에서 복잡한 "모달" 판단으로 전환한다고 해서 "독재자 문제"를 피할 수는 없습니다. 논리 자체의 기하학이 갈등을 만들어냅니다. 사람들이 투표를 잘하지 못해서가 아니라, 게임의 규칙(가능성의 논리) 이 독재제를 강요하기 때문입니다.
2. 은은한 희망 (효율성): 그들은 모든 진술을 독립적으로 투표하려 한다면 독재제가 불가피하다는 것을 증명했지만, 모든 지점에서 독립적이 되려 하지 않는다면 과정을 효율적으로 만들 수 있는 방법도 발견했습니다.

그들은 "모달" 진술이 간단한 수학 문제 (담요로 테이블을 덮는 것) 로 축소될 수 있기 때문에, 그룹이 특정 단계별 투표 방법을 사용한다면 컴퓨터가 공정하고 독재자가 아닌 결과를 빠르게 계산할 수 있음을 보여주었습니다. 모든 조각을 한 번에 추측하여 퍼즐을 풀 수는 없지만, 특정 패턴을 따르면 매우 빠르게 풀 수 있다는 것을 깨닫는 것과 같습니다.

요약

• 질문: 우리가 "반드시/아마도" 진술에만 투표한다면, 독재제를 강요하는 논리적 모순에 여전히 빠지게 될까요?
• 답변: 네. "가능성"과 "필연성"의 구조는 단순한 사실과 동일한 막다른 길로 이어지는 고 rigid 한 논리적 연쇄를 만들어냅니다.
• 방법: 그들은 논리적 연쇄가 어떻게 연결되는지 보여 주기 위해 원형이고 대칭적인 모델 (무대와 같은) 을 사용했습니다.
• 결과: 순수한 "아마도"와 "반드시"의 세계에서도 논리가 너무 견고하여 한 사람이 주도권을 잡지 않는 한 그룹이 합의할 수 없습니다. 하지만 그룹이 특정 비독립적 투표 절차를 따르기로 동의한다면, 그룹 결정을 내릴 수 있는 빠르고 컴퓨터 친화적인 방법도 발견했습니다.