Логика (Греч . Logike)

62

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

См. Также Математическая логика..

Значения в других словарях
Логвинович Георгий Владимирович (Р . 1913)

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

Логейон

В древнегреческом театре эпохи эллинизма и Римской империи продолговатая площадка перед сценой, где играли актеры,тогда как хор по-прежнему оставался на орхестре.. ..

Логика Высказываний

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

Логика Классов

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

Дополнительный поиск Логика (Греч . Logike) Логика (Греч . Logike)

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Логика (Греч . Logike)" в словаре Современный толковый словарь, подробное описание, примеры использования, словосочетания с выражением Логика (Греч . Logike), различные варианты толкований, скрытый смысл.

Первая буква "Л". Общая длина 22 символа