Исследуя тему правил спора, он вплотную приблизился к формализации общего способа опровержения ложных тезисов вида «если р, то q» при помощи контрпримера.
ɪssɭʲˈeduja tʲˈemu prˈɑvʲiɭ spˈora, ˈon fpɭʌtnˈuju prʲibɭʲˈiʑiɭsʲʌ kˈɑ fʌrmʌɭʲizˈɑtsyɪ ˈopɕivʌ spˈosʌba ʌprʌvʲirʒˈɛnʲija ɭˈoʒnyx tʲˈeʑisʌf vʲˈida «jˈesɭʲɪ ˈɛr, tˈo (en)kjˈuː(ru)» prʲˈɪ pˈomʌɕɪ kʌntrprʲˈimʲira.