It’s definitely not a coherent logic as those are defined to be first-order, while this is explicitly a second-order logic.
I didn’t know that coherent logic was actually a term logicians used! I’m not a logician myself—I’m a programmer. Thanks for letting me know!
It’s definitely not a coherent logic as those are defined to be first-order, while this is explicitly a second-order logic.
I didn’t know that coherent logic was actually a term logicians used! I’m not a logician myself—I’m a programmer. Thanks for letting me know!