Светлов В.А. Современная логика. Учебное пособие. - СПб.: Питер, 2006. - С.172.
"То, - говорит он [стоик Зенон Китионский. - В.С.], что лишено души и разума, не может породить из себя одушевленное и владеющее разумом. Следовательно, мир должен быть одушевленным и владеющим разумом" [Цицерон. Философские трактаты. - М., 1985. С.107]
Приведенное рассуждение содержит прямое доказательство тезиса, в котором U="вещи", А="лишенные души и разума", В="способные породить из себя нечто одушевленное и владеющее разумом", С="представляющее собой мир". Тезисом выступает суждение "Мир есть одушевленная и владеющая разумом вещь", т.е. β = "Все С есть ¬А". Первый аргумент - суждение "Ни одна вещь, лишенная души и разума, не есть вещь, способная породить из себя нечто одушевленное и владеющее разумом", т.е. α1 = "Ни одно А не есть В". Второй аргумент - суждение "Мир порождает одушевленное и владеющее разумом", т.е. α2 = "Все С есть В". Проверяем следование тезиса из названных аргументов:
Так как тезис следует из аргументов и последние, согласно Зенону, истинны, этот тезис следует считать доказанным. Но в приведенном доказательстве бесспорен только второй аргумент. Истинность же первого сомнительна с научной точки зрения. Поэтому хотя тезис и следует из аргументов, его доказанность остается под вопросом.