Логейон

Стихотворные размеры, образуемые сочетанием неодинаковых стоп (напр., дактилей и хореев), последовательность которых правильно повторяется из стиха в стих или из строфы в строфу. В метрическом стихосложении - основная форма античной песенной лирики. В силлабо-тоническом стихосложении малоупотребительны (см. Сапфическая строфа).. ..

Ученый-гидродинамик, академик АН УССР (1967). С 1945 работал в ЦАГИ, в 1966-71 одновременно был директором Института гидромеханики АН УССР. Преподавал в Московском энергетическом институте (профессор с 1957), Московском физико-техническом институте (с 1975). Развил теорию глиссирования и погружения в жидкость, теорию подводных крыльев. Премия им. Н. Е. Жуковского (1965). Ленинская премия (1978).. ..

Наука о способах доказательств и опровержений. Совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям. Каталогизаци..

Раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. Н. Элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.. ..