Язык логики высказываний включает: алфавит, определение правильно выстроенных выражении, интерпретацию (т.е. анализом отношений между знаками и обозначаемыми объектами).

Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.

Основным строительным материалом при конструировании языка выступают используемые в нем знаки.Знак —это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета.

Среди различных знаков выделим два вида: знаки-образы и знаки-символы.

Знаки-образыимеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскпические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов.Знаки-символыне имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.

Множество исходных знаков языка составляет егоалфавит.

Комплексное изучение языка осуществляется общей теорией знаковых систем —семиотикой,которая анализирует язык в трех аспектах: синтаксическом, семантическом и прагматическом.

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

По происхождению языки бывают естественные и искусственные.

Естественные языки —это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы.

Искусственные языки —это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называютметаязыком,основной— языком-объектом.Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.

Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.

Особую группу составляютсмешанные языки,базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе можно отнести язык, условно называемый«юридическим языком»,или«языком права». Онстроится на базе естественного (в нашем случае русского) языка, а также включает множество правовых понятий и дефиниций, правовых презумпций и допущений, правил доказательства и опровержения. Исходной клеточкой этого языка выступают нормы права, объединяемые в сложные нормативно-правовые системы.

Искусственные языки успешно используются и логикой для точного теоретического и практического анализа мыслительных структур.

Один из таких языков —язык логики высказываний.Он применяется в логической системе, называемойисчислением высказываний,которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений.

Логика высказываний — это логическая система, которая анализирует процес­сы рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений.

Язык логики высказываний включает: алфавит, определение правильно выстроенных выражении, интерпретацию (т.е. анализом отношений между знаками и обозначаемыми объектами).

Алфавитсостоитизследующих символов.

1) Символыр,q,r... (пропозициональные переменные).

2) СИМВОЛЫ ДЛЯ СВЯЗОК:

Λ— конъюнкция (союз «и»);

v— дизъюнкция (союз«или»);

—> —импликация (союз«если—, то...»);

= —эквивалентность (союз«еслии только если..., то...»);

1 — отрицание («неверно, что...»). 3) Технические знаки (,) — скобки.

Допустимые в логике высказываний выражения, называемые правильно построенными формулами, или сокращенноППФ,вводятся следующим определением:

1. Всякая пропозициональная переменная —р, q, г... — являетсяППФ.

2. ЕслиА и В—ППФ(А и В — символы метаязыка для любых формул), то" выражения — А лВ, А v В, А —> В, А = В,1А— также являютсяППФ.

3. Все другие выражения, помимо предусмотренных п. 1 и 2, не являютсяППФязыка логики высказываний.

Логика высказываний может строитьсятабличным методомили какисчисление,т.е. как система, позволяющая получать по правилам вывода из одних формул другие.