Словарь логики

(в логике). А. с. — суждения, истинность которых устанавливается без обраще­ния к действительности посредством логико-семантического ана­лиза их компонентов. С. с. — суждения, истинность которых уста­навливается только в процессе их сопоставления с той реальностью, о которой они говорят. Впервые в ясной форме разделение суждений на А. и С. было осуществлено немецким философом И. Кантом (1724—1804). А. с. Кант называл такое суждение, предикат которого уже входит в содержание субъекта и, таким образом, ничего не добавляет к тому, что мы знали о субъекте. Напр., суждение «Всякий холостяк неженат» является аналитическим, т. к. признак «быть неженатым» уже мыслится в содержании понятия «холостяк». «Всякое тело про­тяженно», «Москвичи живут в Москве» — все это А. с. Синтетиче­ским же, согласно Канту, является такое суждение, предикат кото­рого добавляет что-то новое к содержанию субъекта, напр. «Алмаз горюч», «Тихий океан — самый большой из океанов Земли» и т. п. Считается, что только С. с. выражают новое знание, А. с. представля­ют собой тавтологии, не содержащие никакой информации. Современная логика расширила понятие а.с., включив в число таких суждений и сложные суждения, истинность которых можно установить лишь на основе логических правил, не обращаясь к ре­альности. Напр., если нам дано суждение «а --> а», то нам не нуж­но обращаться к действительности, чтобы узнать, истинно или ложно суждение «а», — в любом случае данная импликация будет истинной. Следовательно, это А. с. Различие между А. и С. с. не является строгим и четким, ибо наши понятия в процессе развития познания изменяют свое со­держание, включают в него новые признаки, а это приводит к тому, что какие-то С. с. становятся А.с. Напр., когда-то суждение «Все тигры полосаты» было С. с. и несло в себе новую информа­цию о тиграх. Но сейчас понятие «тигр», кажется, уже включило в свое содержание признак полосатости. Скорее всего мы зат­руднимся назвать тигром животное, во всем похожее на тигра, но лишенное характерных полос на шкуре. Следовательно, это сужде­ние стало А. с.