Словари

выборка		описание
ФОРМАЛЬНАЯ ЛОГИКА		ФОРМАЛЬНАЯ ЛОГИКА , см. Логика.... узнать больше
ПОР-РОЯЛЯ ЛОГИКА		ПОР-РОЯЛЯ ЛОГИКА , логическое учение, основано на принципах философии Декарта и Паскаля; систематически изложена в книге близких к монастырю Пор-Руаяль А. Арно и П. Николя "Логика, или Искусство мыслить" (1662), в которой логика определяется как наука, формулирующая методы установления истины в науках о природе и математике.... узнать больше
ЛОГИКА НАУКИ		ЛОГИКА НАУКИ , наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1-й четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60-х гг. получила творческое развитие в рамках современной философии. Термин "логика науки" употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научного исследования (логика исследования), учения о психологических и методологических предпосылках научных открытий (логика научных открытий).... узнать больше
ЛОГИКА КЛАССОВ		ЛОГИКА КЛАССОВ , логика объемов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов).... узнать больше
ИНТУИЦИОНИСТСКАЯ ЛОГИКА		ИНТУИЦИОНИСТСКАЯ ЛОГИКА , логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.... узнать больше
ИНДУКТИВНАЯ ЛОГИКА		ИНДУКТИВНАЯ ЛОГИКА , логика индукции, совокупность теорий, в которых изучаются выводы из посылок, необходимых, но недостаточных для логической дедукции, а также математические критерии для степени оправдания следствий из таких посылок... узнать больше
ФОРМАЛЬНАЯ ШКОЛА		"ФОРМАЛЬНАЯ ШКОЛА" , см. "Формальный метод" в литературоведении, ОПОЯЗ.... узнать больше
МАТЕМАТИЧЕСКАЯ ЛОГИКА		МАТЕМАТИЧЕСКАЯ ЛОГИКА , дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.... узнать больше
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА		ПОЛОЖИТЕЛЬНАЯ ЛОГИКА , совокупность логических теорий, в которых изучаются способы рассуждений, не связанные с опровержениями; не содержит операции отрицания.... узнать больше
МОДАЛЬНАЯ ЛОГИКА		МОДАЛЬНАЯ ЛОГИКА , логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.... узнать больше
СИМВОЛИЧЕСКАЯ ЛОГИКА		СИМВОЛИЧЕСКАЯ ЛОГИКА , то же, что математическая логика.... узнать больше
МНОГОЗНАЧНАЯ ЛОГИКА		МНОГОЗНАЧНАЯ ЛОГИКА , общее наименование логических систем, в которых, помимо двух значений истинности ("истина" и "ложь"), рассматриваются и др. значения (напр., "бессмысленно", "неопределенно" и т. п.). Широко применяются в логической семантике и кибернетике.... узнать больше
ЛОГИКА ПРЕДИКАТОВ		ЛОГИКА ПРЕДИКАТОВ , раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.... узнать больше
ЛОГИКА		ЛОГИКА (греч . logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.... узнать больше
ЛОГИКА ВЫСКАЗЫВАНИЙ		ЛОГИКА ВЫСКАЗЫВАНИЙ , раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.... узнать больше
Дальше >>>