
アルグメントゥム・ア・フォルティオリ(文字通り「より強い[理由]からの議論」)(英:/ ˈ ɑː f ɔːr t i ˈ oʊ r i / [ 1 ]米:/ ˈ eɪ f ɔːr ʃ i ˈ ɔːr aɪ / )は、ある命題に対する既存の確信を利用して、の命題に暗黙的に含まれていると考えられ、さらに最初の命題よりも確実である2番目の命題を支持する議論の形式である。 [ 2 ]
ガーナー著『現代アメリカ慣習』の中で、ガーナーは、作家が「a fortiori」を形容詞として用いることがあると述べているが、これは「抵抗すべき用法」だと述べている。彼は次のような例を挙げている。「法律が国民の同意に大きく依存しているのであれば、慣習は明らかにa fortiori(つまり、より説得力のある)用法である」[ 3 ] 。
ユダヤ法では、ア・フォルティオリの議論は kal va-chomer [4] という名前で頻繁に使用されます。これは文字通り「軽度と重度」を意味し、軽度のケースは私たちが知っているケースであり、より重度のケースについて推測しようとします。
古代インドの論理学(ニヤーヤ)において、カイムティカまたはカイムティア・ニヤーヤとして知られる議論の道具は、ア・フォルティオリ論証と類似点を持つことが判明している。カイムティカは「~について言われるべきこと」を意味するキム・ウタという言葉に由来する。 [ 5 ]
イスラム法学では、さらに強力な論証は、類推による推論(キヤー)で用いられる方法を用いて証明される。[ 6 ]
ある公理を満たすために必要な条件が一つだけ存在する場合を考えてみましょう。この公理に追加の制約が課された定理が与えられれば、「ア・フォルティオリ」な証明は常に成立します。これを実証するために、次の例を考えてみましょう。[ 9 ]
全単射は全射関数の特殊な場合であるため、(1)が成り立つならば(2)も成り立つことが自動的に導かれる。したがって、 (1)の証明は(2)の証明としても十分である。したがって、(2)は「ア・フォルティオリ」な議論である。
論理学において、maiore ad minusは、より強い実体、より大きな量、または一般的なクラスに関する主張から、より弱い実体、より小さな量、またはそのクラスの特定のメンバーに関する主張への単純で明白な推論を表します。[ 10 ]
逆の、あまり知られておらず、あまり頻繁に適用されない議論は、より小さいものからより大きいものへの推論を意味する「a minore ad maius」である。 [ 11 ]
「Argumentum a maiori ad minus」(大きい方から小さい方へ)には 2 つの機能があります。
ア・フォルティオリ論証は、特に法的な応用において、類推的推論の観点から考察されることがある。ア・フォルティオリ論証は、判例法または制定法によって規制されている事例と規制されていない事例が十分に類似しているため、同様に扱われるべきであると主張するだけでなく、規制されていない事例は規制されている事例とより高い程度で同様に扱われるべきであると主張する。ここでは、規制されていない事例は規制されている事例とより類似している(類推されている)が、規制されている事例がそれ自体と類似している(類推されている)よりも、より類似している(類推されている)のである。[ 12 ]