Логика

ТРАДИЦИОННАЯ ЛОГИКА - этап исторического развития логики, противопоставляемый современной символической логике и характеризующийся рядом специфических черт.

ТОЖДЕСТВО - категория, выражающая равенство, одинаковость предмета (вещи, процесса и т.п.) с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, если все свойства (и отно-шения), которые характеризуют А, характе-ризуют и В, и наоборот (закон Лейбница). Категория абстрактного Т. характеризует внешнее Т., сходство, одинаковость. Однако, поскольку материальная действительность постоянно изменяется, абсолютно тождественных самим себе предметов (вещей, процессов и т.п.), даже в их существенных свойствах, не бывает.

ТОЖДЕСТВА ПРИНЦИП - методологическое требование определенности мышления, в соответствии с которым в процессе рассуждения некий термин должен употребляться в одном и том же смысле. Хотя предметы, существующие в объективной действительности, непрерывно изменяются, в понятиях об этих предметах выделяется нечто неизменное. В процессе рассуждения нельзя изменять понятия без специальной оговорки, т.е. при изменении смысла термина следует об этом сообщить, чтобы не быть понятым неправильно.

ТЕОРИЯ ТИПОВ - теория, созданная Б. Расселом и А.Н. Уайтхедом на пути построения такой логической системы, которая обеспечит развитие математики, свободной от парадоксов, в частности тех, которые были обнаружены в «наивной» теории множеств Кантора. Т.т., согласно замыслу ее создателей, должна была лежать в основании программы обоснования математики, вошедшей в историю под названием логицизма. Рассел считал, что все логические парадоксы, а также и все парадоксы теории множеств сводятся к парадоксу «лжец». Поэтому Т.т. строится таким образом, чтобы исключить возможность образования суждений, оборачивающихся на самих себя. Для этого все логические высказывания делятся на классы в соответствии с областью определения. К первому классу относятся объекты или индивидуумы...

ТАВТОЛОГИЯ (греч. … — то же самое, … — слово) — всегда истинное высказывание в силу заключенных в нем значений. Простейшими Т. являются высказывания вида «А есть А» («Человек есть человек» и т.п.). Но это крайний случай, не имеющий большого познавательного значения. Более важный случай Т. представлен системой аналитических суждений, широко применяемых в науке. Аналитические суждения всегда истинны вследствие того, что их предикат лишь выявляет признаки субъекта, использованные при его определении. Таковы суждения «Тело протяженно», «Человек мыслит» и т.п.

СУППОЗИЦИЯ - понятие средневековой логики, впервые рассмотренное Иоанном Дунсом Скотом (1265—1308) и понимаемое им как возможность или невозможность замещения переменного термина конкретным постоянным термином, взятым из множества однородных предметов. Понятие С.

СУЖДЕНИЕ - мысль, в которой утверждается наличие или отсутствие каких-либо положений дел. Различают простые и сложные С. Простым называется С., в котором нельзя выделить правильную часть, в свою очередь являющуюся С. Основными видами простых С. являются атрибутивные С. и С. об отношениях. Атрибутивными называются С., в которых выражается принадлежность предметам свойств или отсутствие у предметов каких- либо свойств. Атрибутивные С. можно истолковать как С. о полном или частичном включении или невключении одного множества предметов в другое или как С.

СУБЪЕКТ (от лат. subjectus — лежащий под, подверженный; от sub — под и jacio — бросаю, кладу в основание) — 1) логический термин, относящийся к структуре суждения и обозначающий то, о чем идет речь, что составляет предмет высказывания; 2) истинносущее, субстанция вещи; 3) источник предметно-практической и познавательной активности, направленной на объект. На протяжении истории философии трактовка С. существенно меняется, смещаясь из области онтологии в сферу гносеологии. В период античности и средневековья С. обыкновенно рассматривается в рамках категориальной пары «субъект — предикат». Так, Аристотель трактует С. как индивидуальное бытие, лишенное предикатов, — неоформленную, или первую, субстанцию. Подобным образом схоластика понимает под С. нечто подлинно реальное, вокруг которого организуется система предикатов...

СИНТЕЗ (от греч. … — соединение, сочетание, составление) — понятие, противоположное анализу, характеризующее способ соединения различных элементов в целое. Существенно, что анализ служит для исследования уже известного знания, а С. способен дать новое знание, т.к. объединение элементов в новую систему может привести к новому качеству (системное качество), перекомбинирование даже старых элементов, но в других связях и отношениях может приводить к появлению новых систем.

СИМВОЛИЧЕСКАЯ ЛОГИКА, математическая логика, теоретическая логика — область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «С.л.» был, по-видимому, впервые применен Дж. Венном в 1880 г. Уже Аристотель широко применял буквенные обозначения для переменных в своих логических работах. Идея построения универсального языка для всей математики и формализации на базе такого языка математических доказательств и вообще любых рассуждений выдвигалась в XVII в. Г. Лейбницем. С другой стороны, возникновение и развитие С.л. связано с работами Г. Фреге (1848-1925) и Ч.С. Пирса (1839-1914). После того как Фреге в 1879 г. и Пирс в 1885 г. ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде логического исчисления, что и было сделано Фреге, который по праву считается основателем С.л. в ее современном понимании. Основы современной логической символики были разработаны итальянским математиком Дж. Пеано (1858— 1932), чьи интересы, как и Фреге, концентрировались вокруг оснований математики и развития формально-логического языка. Логическая запись Пеано была принята, хотя и частично модифицирована, А.Н. Уайтхедом и Б. Расселом в их знаменитой трехтомной «Principia Mathematica» (1910-1913), а затем одобрена и самим Д. Гильбертом…