Современная логика

каждым именем связываются некоторые объекты, обозначаемые им. Совокупность этих объектов принято называть «объемом имени», или «денотатом имени». Например, объем имени «человек» представляет собой совокупность всех людей, имени «квадрат» – множество всех квадратов, то есть геометрических фигур, являющихся плоскими, замкнутыми, четырехугольными, равносторонними и равноугольными. В объем имени «Пушкин» входит только один объект, тот же, что входит в объем имени «автор «Евгения Онегина». Объем имени «круглый квадрат» пуст, так как нет ни одного предмета, который был бы круглым и квадратным вместе. Помимо объема, с именем связывается также другая характеристика – содержание, или смысл. Содержание представляет собой систему тех свойств, которые мыслятся в данном имени. Именно эти свойства позволяют в случае любого, произвольно взятого объекта решить, подпадает он под

Для развития логики имеется хорошая почва в тех обществах, которые строятся на принципах демократии и в которых процедура убеждения опирается не на традицию и, тем более, не на принуждение или прямое насилие, а главным образом на доказательную речь.

Автоматика и электронно-вычислительная техника были бы невозможны без использования алгебры логики – этого исторически первого раздела современной логики. В управляющих схемах, применяемых в ЭВМ, значительное место занимают релейно-контактные схемы, моделирующие логические операции. Описание таких операций, даваемое логикой, способствует детальному анализу логического строения мысли и открывает поразительные перспективы автоматизации логических процессов, богатые возможности использовать для их осуществления автоматические машины. «Математическая логика, – заключает математик Г. Поваров, – является необходимым инструментом для машинизации умственного труда»