Специально созданный для целей логики язык получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык — это «насквозь символический» язык, в котором нет ни одного слова обычного языка. В формализованном языке содержательные выражения заменяются буквами, а в качестве логических символов (логических постоянных) используются символы со строго определенным значением.
В логической литературе используются различные системы обозначений, поэтому ниже даются два и более вариантов символов.
— знаки, служащие для обозначения отрицания; читаются: «не», «неверно что»;
— знаки для обозначения логической связки, называемой конъюнкцией; читаются: «и»;
— знак для обозначения логической связки, называемой неисключающей дизъюнкцией; читается: «или»;
— знак для обозначения строгой, или исключающей, дизъюнкции; читается: «либо, либо»;
— знаки для обозначения импликации; читаются: «если, то»;
— знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;
— квантор общности; читается: «для всякого», «всем»;
— квантор существования; читается «существует», «имеется по крайней мере один»;
L, N, — знаки для обозначения модального оператора необходимости; читаются: «необходимо, что»;
М — знак для обозначения модального оператора возможности; читается: «возможно, что».
Наряду с перечисленными, в многообразных системах логики используются и другие специфические символы, при этом каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается.
В качестве знаков препинания в искусственных языках логики используются, как и в языке математики, скобки.
А) «Тот, кто ясно мыслит, ясно говорит» — ; буква А обозначает высказывание «Человек ясно мыслит», В — высказывание «Человек ясно говорит», — связка «если, то»;
Б) «Он — образованный человек и неправда, что он не знаком с сонетами Шекспира» — ; А — высказывание «Он образованный человек», В — «Он не знаком с сонетами Шекспира», — связка «и»,
— «не»;
В) «Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка» — ; А — «Свет имеет волновую природу», В — «Свет представляется в виде потока частиц», С — «Допускается ошибка»;
Г) «Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» — — «Вы были в Париже», В — «Вы видели Лувр», С — «Вы видели Эйфелеву башню».
Не нашли то, что искали? Воспользуйтесь поиском:
Лучшие изречения: Студент — человек, постоянно откладывающий неизбежность. 10615 — | 7340 — или читать все.
91.146.8.87 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.
Отключите adBlock!
и обновите страницу (F5)
очень нужно
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС . А.А.Ивин, А.Л.Никифоров . 1997 .
Смотреть что такое "символика логическая" в других словарях:
логические константы — (Логические постоянные) термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как не , и , или , есть … Словарь терминов логики
ГОСТ Р ИСО 22742-2006: Автоматическая идентификация. Кодирование штриховое. Символы линейного штрихового кода и двумерные символы на упаковке продукции — Терминология ГОСТ Р ИСО 22742 2006: Автоматическая идентификация. Кодирование штриховое. Символы линейного штрихового кода и двумерные символы на упаковке продукции оригинал документа: 3.8 Data Matrix : Двумерная матричная символика с коррекцией… … Словарь-справочник терминов нормативно-технической документации
ВИТГЕНШТЕЙН — (Wittgenstein) Людвиг (1889 1951) австро англ. философ, Проф. философии в Кембриджском ун те в 1939 1947. Филос. взгляды В. сформировались как под воздействием определенных явлений в австр. культуре нач. 20 в., так и в результате творческого… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных … Философская энциклопедия
Корова — У этого термина существуют и другие значения, см. Корова (значения). ? Домашняя корова … Википедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
ВИТГЕНШТЕЙН (WITTGENSTEIN) Людвиг — (1889 1951) австр. философ. Проф. философии в Кембриджском ун те в 1939 47 . Философские взгляды В. сформировались как под воздействием определенных явлений в австр. культуре начала XX в., так и в результате творческого освоения новых достижений… … Современная западная философия. Энциклопедический словарь
код — 01.01.14 код [ code]: Совокупность правил, с помощью которых устанавливается соответствие элементов одного набора элементам другого набора. [ИСО/МЭК 2382 4, 04.02.01] Источник … Словарь-справочник терминов нормативно-технической документации
Конт Auguste — (Comte) основатель позитивизма, род. 19 го января 1798 г. в Монпелье, где отец его был сборщиком податей. В лицее особенно успевал в математике. Поступив в политехническую школу, он удивлял профессоров и товарищей своим умственным развитием. В… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Логические символы
Каждая наука представляет собой систему знания, что изображено на определенном языке Философа, логика, математика, которые создавали различные типы логики (логические теории) и получали знания о способах и видах соображений, формы и законы абстрактно-логического, рационального мышления, методы познания, создали особый язык для адекватного изображения логического знания.
Логический язык — язык науки логики, который создан для адекватного изображения логического знания; система символов, с помощью которой моделируется логическое знание об объекте, исследуется наука логики на определенном этапе ее исторического развития.
Символика логическая — система знаков (символов), используемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказываниями. Совокупность символов называют логической символикой. Логические символы делятся на основные и вспомогательные
Возникновение символической логики обусловило:
— придание нового содержания логическим срокам, которые были введены в традиционную логику, начиная со времен ее создания в IV века до н. э;
Новые логические теории начали формироваться с 20-х годах XX века и развиваются в XXI в. Традиционная логика на протяжении двух с лишним тысяч лет пользовалась для описания мышления обычным языком. Только в XIX в. постепенно утвердилась мысль, что для целей логики необходим особый искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначается для общения. Он должен служить только одной задаче — выявлению логических связей наших мыслей, но решаться эта задача должна с предельной эффективностью.
Принципы построения искусственного логического языка хорошо разработаны в современной логике. Создание его имело примерно такое же значение в области мышления для техники логического вывода, какое в области производства имел переход от ручного труда к труду механизированному.
Специально созданный для целей логики язык получил название формализованный. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык — это «насквозь символический» язык, в котором нет ни одного слова обычного языка. В формализованном языке содержательные выражения заменяются буквами, а в качестве логических символов.
;¬ — знаки, служащие для обозначения отрицания; читаются: «не», «неверно что»;
V — знак для обозначения логической связки, называемой неисключающей дизъюнкцией; читается: «или»;
Ṽ — знак для обозначения строгой, или исключающей, дизъюнкции; читается: «либо, либо»;
→; — знаки для обозначения импликации; читаются: «если, то»;
≡; ↔ — знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;
— квантор общности; читается: «для всякого», «всем»;
— квантор существования; читается «существует», «имеется по крайней мере один»;
L; N, — знаки для обозначения модального оператора необходимости; читаются: «необходимо, что»;
М — знак для обозначения модального оператора возможности; читается: «возможно, что».
Наряду с перечисленными, в многообразных системах логики используются и другие специфические символы, при этом каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается.
В качестве знаков препинания в искусственных языках логики используются, как и в языке математики, скобки.
Возьмем, для примера, некоторые содержательные высказывания и приведем рядом их запись на языке логики:
а) «Тот, кто ясно мыслит, ясно говорит» — (А → В); буква А обозначает высказывание «Человек ясно мыслит», В — высказывание «Человек ясно говорит», → — связка «если, то»;
б) «Он — образованный человек и неправда, что он не знаком с сонетами Шекспира» — А Λ
В; А — высказывание «Он образованный человек», В — «Он не знаком с сонетами Шекспира», Λ — связка «и»,
в) «Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка» — (А → (В → С)); А — «Свет имеет волновую природу», В — «Свет представляется в виде потока частиц», С — «Допускается ошибка»;
г) «Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» — (А → (В V С)); А — «Вы были в Париже», В — «Вы видели Лувр», С — «Вы видели Эйфелеву башню»;
д) «Если какое-то вещество нагревать, то оно расплавится или испарится, но оно может также взорваться» — (А → (В V. С V Д)); А — «Вещество нагревается», В — «Вещество расплавляется», С — «Вещество испаряется», Э — «Вещество взрывается».
Приведем еще один простой пример перехода от искусственного языка логики к обычному языку. Пусть переменная А представляет высказывание «Теория Дарвина является научной», В — «Теория Дарвина может быть подтверждена опытными данными», С — «Теория Дарвина может быть опровергнута опытными данными». Какие содержательные высказывания выражаются формулами:
Ответом на этот вопрос являются, соответственно, три высказывания:
а) Если теория Дарвина научна, то если она может быть подтверждена опытными данными, она может быть также опровергнута ими;
б) Если теория Дарвина может быть подтверждена опытными данными, но не может быть опровергнута ими, она не научна;
в) Если теория Дарвина не может быть подтверждена опытными данными и не может быть опровергнута ими, она не научна.