# Logically-consistent hypothesis testing in the hexagon of oppositions

## TL;DR

This paper explores the logical consistency of agnostic hypothesis tests using the hexagon of oppositions, providing geometric insights into their credal modalities and their logical relations.

## Contribution

It characterizes credal modalities in agnostic tests and employs the hexagon of oppositions to explain their logical relationships and conditions for consistency.

## Key findings

- Hexagons of oppositions illustrate conditions for logical consistency.
- Prisms show how credal modalities vary with thresholds.
- Nested hexagons reveal new logical relations.

## Abstract

Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This paper characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations.