関連する実験動画
Updated: Feb 26, 2026

05:39
Generating Strictly Controlled Stimuli for Figure Recognition Experiments
Published on: March 18, 2019
5.6K
アローの不可能性定理の完全形式的表現
1Department of International Relations, Kyoto Sangyo University, Kyoto, Japan.
PloS one
|February 24, 2026
まとめ
この研究は、ケネス・アローの不可能性定理の新しい形式論理的証明を提示し、数学的厳密性を高めます。また、標準的な合理性の仮定を超えた多様な選好関係を考慮することで、定理の適用範囲を広げます。
科学分野:
- 経済学
- 政治学
- 哲学
- 形式論理
背景:
- ケネス・アローの不可能性定理は、社会選択理論、経済学、政治学の礎である。
- 既存の証明は、数学的厳密性よりも直感的なアクセスしやすさを優先することが多い。
- この定理は、集団的意思決定と社会的厚生関数の理解に大きな影響を与える。
研究 の 目的:
- 形式論理を用いたケネス・アローの不可能性定理の、新しく数学的に厳密な証明を開発すること。
- 定理の中心となる社会的厚生関数のグローバル構造を明らかにすること。
- 定理の適用範囲をより広範な選好関係に拡張すること。
主な方法:
- 形式論理証明計算を用いた証明の構築。
- 定理の完全な数学的表現の開発。
- 定理証明への形式論理技法の体系的な適用。
主要な成果:
- 数学的詳細を強化したアローの不可能性定理の新しい証明。
- 社会的厚生関数のグローバル構造の特定。
- 標準的な合理性の仮定を超えた、より広範な選好関係の許容。
結論:
- 形式論理は、アローの不可能性定理の研究に強力な方法論的貢献を提供する。
- 新しい証明は、定理の構造と含意の理解を深める。
- この枠組みは、多様な人間の行動パターンを社会選択理論に統合することを支持する。
関連する概念動画
Fundamental Theorem of Algebra
337
The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as: with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the...
337
Theorem of Pappus
111
The Theorem of Pappus, also known as the Pappus–Guldinus Theorem, provides a geometric method for determining the volume and surface area of solids generated by the revolution of a plane region or a plane curve about an external axis. The theorem consists of two related statements. The first addresses the volume of solids formed by rotating plane areas, while the second addresses the surface area generated by rotating plane curves. Both results depend on the location of the centroid,...
111
Rolle’s Theorem
107
Rolle’s Theorem states that if a real-valued function is continuous on a closed interval, differentiable on the open interval, and takes equal values at both endpoints, then there is at least one point within the open interval where the derivative of the function is zero.Rolle’s Theorem describes an important property of differentiable functions, this theorem applies to a real-valued function defined on a closed interval, provided three specific conditions are met. First, the...
107
Castigliano's Theorem
1.1K
Castigliano's theorem analyzes displacements and rotations in elastic structures. It relates the derivative of elastic strain energy to the applied forces or moments, allowing for the calculation of deformations. The theorem states that the partial derivative of the total strain energy of a system with respect to a specific load results in the displacement at the point where the load is applied. This principle applies to both forces and moments.
1.1K
Theorems of Pappus and Guldinus: Problem Solving
1.1K
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
1.1K
Graphical Representation of Inequalities
276
The graph of the equation where y equals x squared forms a curve known as a parabola. This curve acts as a boundary in the coordinate plane, dividing it into distinct regions based on the relative position of points.When the equality sign in the equation is replaced with an inequality—such as greater than, less than, greater than or equal to, or less than or equal to—the graphical representation changes from a single curve into a broader shaded area that signifies the set of all...
276

