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