В последнее время актуализируется проблематика логического учения Стои. Однако, в философской литературе фрагментарно приводится стоическая классификации высказываний.
В данном исследовании, во-первых, воедино собрана существовавшая у стоиков классификация высказываний; во-вторых, рассматриваются логические связки, легшие в основу дифференциации высказываний; в-третьих, анализируются истинностные характеристики высказываний.
Исследование показало, что в логическом учении стоиков огромное место занимала теория высказываний. Результаты исследования дают возможность систематизировать научные знания о теории высказываний стоической школы.
Ключевые слова:теория высказываний, конъюнктивные суждение, дизъюнктивные суждение, импликативные высказывания, принцип бивалентности, условие истинности, субъект и предикат высказывания, логическая связка, индуктивно–модальная интерпретация, материальная импликация.
В античном рабовладельческом обществе в III веке до н. э. разразился социальный, политический, экономический кризис. Этот кризис привел к возникновению и развитию философских течений и школ, представлявших отражение процесса, начавшегося в философской и научной мысли [1, с. 300]. Одной из таких школ была стоическая школа, которая возникла в IV веке до н. э.
Основателем стоической школы был Зенон из Китиона (336–264 гг. до н. э.), создавший собственную доктрину на основании ряда мегарских, кинических и аристотелевских учений.
Стоическое философское учение представляет собой синтез идей Гераклита, мегариков, Аристотеля и отчасти Платона. Эволюция стоических учений протекала на фоне заметного роста математических, естественных и технических наук.
Логике сравнительно с другими частями учения стоиков повезло меньше всего. Были утрачены сочинения основателей Стои, из поздних стоиков логикой специально никто не занимался. И даже те изложения, которые существуют и дошли до нас страдают невнятностью и фрагментарностью. Определить различия логических учений у отдельных представителей стоической школы оказывается невозможным в силу отсутствия первоисточников, и в основном излагают логику стоиков основываясь в первую очередь на учение Хрисиппа — глава стоической школы с 230 по 207 гг. до н. э.; его называли «вторым основателем» Стои; именно при Хрисиппе возросло влияние стоицизма. Согласно преданиям был очень плодовитым автором, написал 705 книг, среди которых свыше 300 книг по логике. Он особенно известен оригинальной разработкой условных и разделительных силлогизмов. Нет никаких сомнений, что логическое учение Стои не только было разработано им во всех деталях, но приобрело в силу этого статус школьной догмы.
Согласно свидетельству Секста Эмпирика, основное место в логике стоиков занимала теория высказываний, которыми стоики оперировали как едиными нерасчлененными целыми.
Высказывания в логической теории стоиков делятся на простые и не простые или составные.
Надо заметить, что по учению стоиков из предложений высказываниями можно назвать те, которые что-либо утверждают, либо отрицают, а также заключают в себе истинность, либо ложность.
Деление на простые и не простые или сложные производилось по формальному признаку: простые — это сочетание субъекта и предиката, сложные — это сочетание различных простых высказываний при помощи логической связки или же сочетание двух или более одинаковых простых высказываний.
Простые высказывания бывают определенные, неопределенные и средние. Определенные — это такие высказывания, субъект которых выражен указательным местоимением. Неопределенные — это такие высказывания, где субъект выражен именем неопределенным местоимением. Средние — это такие высказывания, где субъект выражен именем собственным или нарицательным.
Стоики также как и Аристотель классифицировали высказывания (суждения) по качественной, количественной и модальной характеристикам.
С точки зрения качественной характеристики стоики выделили высказывание утвердительное, высказывание отрицательное, а также опровергающее, ограничительное и «сверхотрицательное».
Отрицательные высказывания образуются из утвердительных при помощи отрицательных частиц. Отрицательные высказывания занимают весьма существенную роль в решении проблемы истинности высказываний.
Среди сложных высказываний различали условные, утвердительно-условные, соединительные, разъединительные, причинные, сравнительные к большему и к меньшему.
Относительно дальнейших подразделений высказываний существовали многочисленные расхождения. Так, например, Степанова пишет о трех видах высказываний: точное (выводное), истинное и доказательное.
Классификация сложных высказываний основана на различии между соответствующими логическими связками.
Для Хрисиппа наиболее важны были три основных типа сложных высказываний.
- условное (импликативное) (если 1–ое, то 2–ое) — связка «если, то»;
- конъюнктивное (соединительное) (1–ое и 2–ое) — связка «и»;
- дизъюнктивное (1–ое или 2–ое) — связка «или».
Одним из самых обсуждаемых вопросов — условие истинности и формальной корректности условного высказывания; в особенности этим занимались Диодор Крон, Филон Мегарский и Хрисипп. Все трое были согласны в следующем: из 4 возможных комбинаций — высказывание начинается с истинного и кончается истинным; начинается с ложного и кончается ложным; начинается с ложного и кончается истинным; начинается с истинного и кончается ложным — типы 1–3 формально корректны и лишь тип 4 неистинен.
Конъюнктивное высказывание истинно, если истинны оба члена. Дизъюнктивное высказывание типа «или 1, или 2» истинны, если и только если один из членов истинен, а другой ложен. Надо отметить, что согласно Н. И. Стяжкину, «Стоики различали два вида дизъюнктивных предложений: с одной стороны, в неразделительном смысле (греческий эквивалент латинского «vel» («или также»)), с другой стороны, строго разделительную дизъюнкцию (греческий аналог русского «либо, либо»). В последнем случае они налагали на дизъюнктивное суждение требование, чтобы имела место взаимоисключаемость альтернатив. Само собой разумеется, что последнее требование не предъявлялось ими к сложным суждениям с нестрогой дизъюнкцией» [7, с. 47].
Необходимо обозначить еще и гипотетические высказывания. С точки зрения Хрисиппа, гипотетическим высказыванием может считаться любое высказывание, где от наличия или отсутствия одного заключают к наличию или отсутствию другого (здесь равно может использоваться импликация, дизъюнкция или отрицательная дизъюнкция). Особенность гипотетических высказываний заключалась в том, что они не утверждают, а лишь предполагают наличие некоторой предметности, и их истинность, следовательно, не зависит от реального существования тех предметов, о которых идет речь.
В логике Хрисипп ввел принцип бивалентности для высказываний, согласно которому каждое высказывание может получить только одно значение истинности, быть либо истинным, либо ложным. Данный принцип следует отличать от закона исключенного третьего Аристотеля. Излагая логику Хрисиппа, Цицерон писал: «Фундаментом диалектики служит тезис, что всякое высказывание (то, что называют «аксиомой») или истинно, или ложно» [16, с. 83]. Другими словами, принцип бивалентности гласит, что областью определения высказываний являются только истина и ложь. «Хрисипп, — продолжает дальше свидетельствовать Цицерон, — напрягает все силы для доказательства того, что всякая «аксиома» или истинна или ложна» [16, с. 84].
Если рассматривать импликацию стоиков с точки зрения математической логики, то можно сказать, что у Хрисиппа представлена теория материальной импликации. Согласно свидетельству Диогена Лаэртского, у стоиков связь «если первое, то второе» ложна, лишь если первое верно, а второе (одновременно) не верно. Например, ложное суждение «если земля существует, то она летает», в то время как следующие три суждения истинны: 1) если земля существует, то она не летает; 2) если земля не существует, то она не летает; 3) если земля не существует, то она летает (пример Хрисиппа). Итак, стоики сформулировали формальные условия для истинности сложных суждений, явно встав на путь трактовки их как истинностных функций.
Существенным моментом изложенного понимания импликации было то, что она определялась стоиками без использования модальных понятий. В этом смысле импликация Хрисиппа противостоит индуктивно-модальной интерпретации условного высказывания у Диодора Кроноса. Последний определял истинную импликацию как такую, для которой исключена возможность как в прошлом, так и в настоящем времени иметь истинный антецедент и одновременно ложный консеквент. Для Хрисиппа же достаточно лишь принятия следующего соотношения: ((«р истинно») & («q ложно»)) > (р>q), которое категорически позволяет исключить «ложь» из «истины».
Литература:
1. Берков В. Ф. История логики [Текст]: учеб. пособие / В. Ф. Берков, Я. С. Яскевич, С. В. Воробьев и др.; под общ. ред. В.Ф, Беркова, Я. С. Яскевич. — Мн.: Новое знание, 2001. — 170 с.
2. Попов П. С., Стяжкин Н. И. Развитие логических идей от античности до эпохи Возрождения [Текст]. М.: Издательство Московского университета, 1974. — 233 с.
3. Попович М. В. Очерк развития логических идей в культурно-историческом контексте [Текст]. Киев, 1979. — 240 с.
4. Степанова А. С. Философия Древней Стои [Текст]. — СПб.: Издательство KN, 1995. — 272 с.
5. Столяров А. А. Стоя и стоицизм [Текст]. М.: АО Ками Грyro, 1995. — 448 с.
6. Субботин А. Л. Традиционная и современная формальная логика [Текст]. М.: Наука, 1969. — 145 с.
7. Barwick К. Probleme der Stoischen Sprachlehre und Rhetorik. Berlin, 1957.
8. Becker О. Zwei Untersuchungen zur antiken Logik. Wiesbaden, 1957.
9. Schenk G. Zur Geschichte der logischen Form. Berlin, 1973.
10. Scholz Н. Geschichte der Logik. Berlin. 1965.
11. Steinthal Н. Geschichte der Sprachwissenschaft bei den Griechen und Romern. 1 Teil, Hildesheim, 1961.
12. Stoicorum veterum fragmenta, coll. J.ab Arnim, Vol. I-IV. Leiden, 1964.
13. Prantl С. Geschichte der Logik im Abendlande. Leipzig, 1957.
