Объяснение логических терминов
Б

БУКВА — единица (графический знак) какого-либо алфавита, обозначающая изолированно или в сочетании с другими единицами (знаками) алфавита, как правило, минимальную единицу звукового строя языка, или фонему (см.); письменный знак, за которым закреплено значение определенного звука и который входит в написание слов. Как отмечается в [1840, стр. 98], буквенное членение написанного слова может в идеальном случае совпадать с фонемным членением соответствующего звучащего слова, хотя фактически такое совпадение почти не встречается. Одна фонема может требовать для своего обозначения нескольких букв, как, напр., во французской графике звук «о» может обозначаться тремя буквами «еаи». Но в языковой практике наблюдаются и такие случаи, когда буква может и не иметь звукового эквивалента, как, напр., в немецкой графике буква «Q», которая употребляется лишь в соединении с буквой «и». В русском алфавите буквы ъ и ь не обозначают никаких звуков.
В алфавитах искусственных языков математической логики роль, сходную с ролью буквы из обычного текста, выполняют принятые по соглашению специальные знаки. В большинстве систем формализованных языков в качестве букв алфавита взяты латинские буквы (А, В, С . . . Alt В,, Сх . . ,). В алфавиты формализованных языков входят также символы, называемые пропозициональными связками (см.), которые обозначают формы связи и отношений между высказываниями (см.). Как и в обычном тексте, в алфавитах формализованных языков есть знаки, которые употребляются только в определенном графическом сочетании с другими знаками, как, напр., символы V (см. Квантор общности) и Я (см. Квантор существования), ставящиеся впереди кванторной переменной: Yx, Ях.
В алфавитах формализованных языков имеются также знаки, которые обозначают множества, не имеющие элементов; в большинстве случаев пустые множества обозначаются символом ф. Если в алфавитах обычного языка буква, как правило, обозначает звуковую единицу (в русской графике: а, б, в,...), то в алфавитах формализованных языков буква может обозначать целое высказывание и даже совокупность высказываний.
Применение букв сыграло существенную роль в развитии способности человеческого мозга абстрагироваться, отвлекаться и выделять в маесе свойств предметов и явлений существенное. Уже простая замена вещей буквами в математике, как это заметила С. А. Яновская, рассматриваемыми при этом не как знаки для фонем, а только как некоторые объекты, которые мы умеем различать и отождествлять, помогла людям отвлечься от качественных особенностей вещей, выявить и выразить их количественные отношения.

Метки:, , , , ,

Похожие страницы