Современная математическая логика - Большая Энциклопедия Нефти и Газа, статья, страница 2
Лучше помалкивать и казаться дураком, чем открыть рот и окончательно развеять сомнения. Законы Мерфи (еще...)

Современная математическая логика

Cтраница 2


Сознательная целенаправленная деятельность по формированию и развитию знания регулируется нормами и правилами, руководствуется определенными методами и приемами. Выявление и разработка таких норм, правил, методов и приемов, которые представляют собой не что иное, как аппарат сознательного контроля, регулирования деятельности по формированию и развитию научного знания, составляет предмет логики и методологии научного познания. При этом термин логика традиционно связывается с выявлением и формулировкой правил вывода одних знаний из других, правил определения понятий, что, начиная еще с античности, составляло предмет формальной логики. В настоящее время разработка логических норм рассуждения, доказательства и определения как правил работы с предложениями и терминами языка науки осуществляется на основе аппарата современной математической логики. Предмет же методологии науки, методологического ее анализа понимается более широко, охватывая многообразные методы, приемы и операции научного исследования, его нормы и идеалы, а также формы организации научного знания. Современная методология науки интенсивно использует материал истории науки, тесно связана со всем комплексом наук, изучающих человека, общество и культуру.  [16]

Начнем с предположения, что р неверно, и выведем из него два противоречащих друг другу утверждения. Значит, наше предположение, что р неверно, является ошибочным. Законность этого метода основывается на современной математической логике.  [17]

Данные об энтропии одной буквы текста, о которых речь шла выше, относились, как правило, к среднему литературному языку, поскольку материалом для экспериментов по определению энтропии служили чаще всего л и-тературные тексты: так А. Н. Колмогоров и его сотрудники использовали произведения С. Т. Аксакова и И. А. Гончарова ( см. стр. HN или избыточности R будут различными для текстов, заимствованных из разных источников. При этом любой специальный язык ( например, научный или технический текст по определенной специальности, деловая переписка, какой-либо жаргон) будет, как правило, иметь избыточность выше средней из-за меньшего количества употребляемых слов и наличия часто повторяющихся специальных терминов и оборотов - весьма благоприятное обстоятельство, очень облегчающее просмотр научной литературы по определенной специальности или чтение такой литературы на недостаточно знакомом языке. Исключение в этом отношении могут представлять жаргоны, специально преследующие своей целью уменьшение избыточности языка, например, воровской жаргон, на котором весьма краткие выражения могут иногда заменять длинные и содержательные фразы, или некоторые научные жаргоны с широко разработанной терминологией, вроде того, который употребляется в математике французской школой Бурбаки); еще более яркий пример в этом направлении доставляет символический язык современной математической логики, характеризующийся исключительной смысловой насыщенностью.  [18]



Страницы:      1    2