Греческая философия

Высказывание в его обычной форме расчленяется на субъект (имя или местоимение) и предикат (глагол или глагольная группа). Присутствие философских и онтологических интересов в логике стоиков проявляется в дифференцированной интерпретации этих двух функций: не все части речи мыслятся как непременно обладающие бестелесным значением. В частности, обозначаемое имен, будь то собственных или нарицательных, есть некое "качество", индивидуальное или разделяемое многими индивидуумами, которое принадлежит телам и которое само телесно; наименовать какое-то тело ("Сократ") - это не то же, что сказать нечто о субъекте данного тела ("Сократ мудр"), т. е. разделить в языковом выражении то соединение, какое образуют в реальности Сократ и его мудрость. Значение предиката, напротив, есть lekton, которое именуется "неполным" ("мудр" вызывает вопрос: "кто?"), в отличие от значения целого, полученного путем прибавления к этому предикату субъекта: высказывание есть "полное" lekton.

Основная единица стоической логики - "высказывание". Стоики выделяют простые высказывания и их различные типы. Простейший тип - тот, у которого самые простые условия истинности. Это "определенное" высказывание, в котором субъект обозначается указательным местоимением единственного числа ("Вот этот идет"): отношение референции с конкретным реальным индивидуумом непосредственно устанавливается своего рода словесным жестом "указания" (deixis/δεῖξις). Так же просто "неопределенное" высказывание ("Кто-то идет"), которое истинно, только если существует кто-то, о ком можно высказать истинное суждение "Вот этот идет". Единичное высказывание, по аристотелевской классификации ("Сократ идет"), рассматривается стоиками как промежуточное между этими двумя типами, не потому, что может быть несколько индивидуумов, носящих имя Сократ, а потому, что референция, осуществляемая именем собственным, не имеет столь непосредственного и прямого характера, как указательное местоимение (о Сократе можно говорить в его отсутствие или после его смерти). А вот аристотелевское общее высказывание ("Всякий человек смертен") не зачисляется в разряд простых, поскольку стоическая онтология принципиально не признает реального существования универсалий (эти последние даже нельзя обозначить как "нечто", они, самое большее, - "как бы нечто"); общее высказывание стоики воспринимают как сложное ("Если x человек, то x смертен").

Независимо от различий между видами простых высказываний, такие высказывания могут сочетаться друг с другом, составляя высказывания единые, но не простые при помощи различных пропозициональных связок, главные из которых образуют условные ("если р, то q"), соединительные ("р и q") и разделительные ("p или q") высказывания. Сложные высказывания как таковые тоже могут быть истинными или ложными. Стоики иногда старались определить условия их истинности так, чтобы она была функцией, и единственно только функцией, истинностного значения входящих в их состав высказываний, безотносительно к содержанию этих высказываний. Такой подход четко прослеживается в случае конъюнкции, которая истинна, если и только если все ее составляющие истинны. Но в других случаях стоики не стремились придерживаться "истинностно-функциональной" интерпретации. Особенно важный случай, в философском и эпистемологическом плане, представляет условное высказывание, которое уже вызывало изощренные споры у диалектиков. Понятно, что самое главное - выяснить, при каких условиях можно утверждать, что одно высказывание следует из другого (имплицируется другим). Истинностно-функциональная интерпретация была принята диалектиком Филоном: "если р, то q" ложно, если р истинно, a q ложно, и истинно во всех остальных сочетаниях. Такая трактовка импликации приводит к парадоксам: любое истинное высказывание имплицирует любое другое истинное высказывание; ложное высказывание имплицирует какое угодно высказывание. По-видимому, стоики, чтобы избежать парадоксов, в общем предпочитали говорить, что "если р, то q" истинно, если и только если не-q несовместимо с р; введение понятия несовместимости явно требует принимать в соображение не только истинностное значение р и q, но и их содержание.