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

Логика Квантовой Механики - логическая теория, цель которой — описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом мышлении квантовой механикой, был настолько ра­дикальным, что возникла идея особой «логики микромира», от­личной...
Логика Классическая - раздел современной (математичес­кой, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, в соответствии с которым всякое высказы­вание является или истинным, или ложным. У истоков Л. к....
Логика Классов - раздел математической логики, соответ­ствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в других случаях - как расширение логики...
Логика Комбинаторная(от лат. combinare — соединять, соче­тать)  — одно из направлений в математической логике, занимаю­щееся анализом понятий, которые в рамках классической мате­матической логики принимаются без дальнейшего изучения (напр., понятия «переменная», «функция», «правила подстановки» и т...
Логика Многозначнаясм.: Многозначная логика.
Логика Научного Познанияили: Логика науки,  -применение идей, методов и аппарата логики в анализе научно­го познания. Развитие логики всегда было тесно связано с прак­тикой теоретического мышления и прежде всего с развитием на­уки. Конкретные рассуждения дают логике материал, из которого она...
Логика Неклассическая - совокупность логических тео­рий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыт­кой ее усовершенствования, но также ее дополнением и дальней­шим развитием идей, лежащих в основе современной логики. Начавшаяся...
Логика Нормсм.: Деонтическая логика.
Логика Отношений - раздел логики, изучающий свойства высказываний об отношениях между объектами различной при­роды. Элементарными высказываниями об отношениях являются высказывания вида akb, т. е. объект а находится в отношении k к объекту b, напр.: «а брат b», «а тяжелее b» и т. п. В зависимости...
Логика Предикатовили: Функциональная логика, теория квантификации, кванторная логика,  - основ­ной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расши­ренным вариантом...
Логика Традиционнаясм.: Традиционная логика.
Логика Эпистемическая(от греч. episteme - знание)  - раз­дел модальной логики, исследующий логические связи высказыва­ний, включающих такие понятия, как «полагает» («убежден»), «со­мневается», «отвергает», «знает», «доказуемо», «неразрешимо», «опровержимо» т. п. Знание отличается от убеждения, или...
Математическая Логика — одно из названий современной формальной логики, пришедшей во второй половине XIX — на­чале XX в. на смену традиционной логике. В качестве другого назва­ния современного этапа в развитии науки логики используется также термин логика символическая. Определение «математичес­кая...
Материальная Суппозициясм.: Суппозиция.
Метаматематика — раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество не­которых конечных последовательностей символов, называемых фор-...
Метатеория(от греч. meta - после, за, позади)  - теория, изу­чающая язык, структуру и свойства некоторой другой теории. Тео­рия, свойства которой исследуются в М., называется предмет­ной, или объектной, теорией. Наиболее развиты М. логики и математики (в металогике и метаматематике). Объектом...
Метафора(от греч, metaphora - перенос, образ)  - перенесе­ние свойств одного предмета (явления или аспекта бытия) на другой по принципу их сходства в к.-л. отношении или по контра­сту, напр.: «говор волн», «нос самолета», «свинцовые тучи» и т. п. В отличие от сравнения, где присутствуют оба члена...
Метаязык(от греч. meta - после, за, позади)  - язык, сред­ствами которого исследуются и описываются свойства другого язы­ка, называемого предметным, или объектным. Напр., когда мы на­чинаем изучать иностранный язык, знакомиться с его выражения­ми, с его грамматической структурой, системой времен,...
Метод(от греч. methodos — путь, способ исследования, обуче­ния, изложения)  — совокупность приемов и операций познания и практического преобразования действительности; способ достиже­ния определенных результатов в познании и практике. Применение того или иного М. детерминируется целью...
Методологическая Аргументация - обоснование отдель­ного утверждения или целостной концепции путем ссылки на тот несомненно надежный метод, с помощью которого получено обо­сновываемое утверждение или отстаиваемая концепция. М.а. являет­ся частным случаем аргументации теоретической. Представления о...

Реклама