https://www.edu.ru/ - Российское образование. Федеральный образовательный портал.
Лекция 2
Формальная логика и язык.
План лекции
Язык, его функции и структура.
Язык логики. Семантические категории.
Основные принципы и законы формальной логики.
Основные понятия: формально-логический закон, истина, ложь, логическая правильность, тождество, противоречие, явное и неявное противоречие, мнимое противоречие, тезис, аргумент (основание).
Теоретические сведения
Предметом формальной логики выступает мышление, выраженное в языке, т.е. языковые формы и законы правильного мышления.
Язык является знаковой информационной системой, возникающей как специализированная форма реализации потребности в общении в ходе коллективной трудовой деятельности.
Функции языка производны от его основной функции - быть средством общения между людьми; к ним относятся: а) добывание, хранение и переработка информации; б) передача и получение накопленных знаний, умений, опыта от поколения к поколению; в) обучение и воспитания подрастающего поколения; г) выражение эмоций и т.д. Таким образом, язык выступает важнейшей составной частью культуры всякого народа.
Язык реализуется в речи и через речь, которая может быть устной или письменной, звуковой или незвуковой, внешней или внутренней, речью, выраженной с помощью естественного или искусственного языка.
Элементарной единицей языка выступает знак ( слово ).
Знак - материальный предмет (явление, событие), выступающий в качестве представителя, заместителя некоторого другого предмета, явления, и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Знаки подразделяются на языковые и неязыковые (к последним относятся: знаки-копии, знаки-признаки или знаки-показатели, знаки-сигналы, знаки-символы и др.).
Одной из важнейших функций языковых знаков (слов) является обозначение ими предметов. Для обозначения предметов служат имена.
Имя - слово или словосочетание, обозначающее какой-либо определенный предмет (предмет здесь понимается в широком смысле как вещи, свойства, отношения, явления природы, общественной жизни, психической, сознательной деятельности людей). Качественную определенность изменчивых предметов и обозначают имена.
Имена делятся на: I) простые (например, книга) и сложные (например, священная книга христианства). В простом имени нет частей, имеющих самостоятельный смысл, в сложном имени они имеются;
2) собственные (это имена отдельных людей, предметов, событий) и общие (названия класса однородных предметов).
Каждое имя имеет значение и смысл.
Значением имени является обозначаемый им предмет.
Смысл (концепт) имени - это способ, каким имя обозначает предмет, т.е. информация о предмете, которая содержится в имени.
В логике различают выражения, являющиеся именными функциями, и выражения, являющиеся пропозициональными функциями.
Именная функция – языковое выражение, которое при замене переменных постоянными превращается в обозначение предмета (имя предмета).
Пропозициональная функция – языковое выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при подстановке вместо переменной имени предмета из определенной предметной области. Пропозициональные функции делятся на одноместные (содержат одну переменную), называемые свойствами и многоместные (содержат две и более переменной), называемые отношениями.
Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на семантические категории, к которым относятся:
1) предложения: повествовательные, побудительные, вопросительные. Интересующие традиционную формальную логику суждения выражаются в форме повествовательных предложений (суждений);
2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.
К дескриптивным (описательным) терминам относятся:
- имена предметов - слова или словосочетания, обозначающие единичные предметы или классы однородных предметов;
- предикаторы - слова или словосочетания, обозначающие свойства предметов или отношения между предметами. Одноместные предикаторы обозначают свойства, многоместные - отношения;
- функциональные знаки – это выражения, обозначающие предметные функции, операции (например, ×, ÷, Ctgά и т.д.).
К логическим терминам (логическим постоянным, логическим константам) относятся:
- конъюнкция (соответствует союзу "и"); обозначается знаком «
»; конъюнктивное суждение обозначается 
;
- дизъюнкция (соответствует союзу "или"), обозначается «
»; запись дизъюнктивного суждения имеет вид: 
(нестрогая дизъюнкция), 
(строгая дизъюнкция);
- импликация (соответствует союзу "если..., то"), обозначается «
»; условное (импликативное) суждение обозначается 
- эквиваленция (соответствует выражению "если и только если…, то") «
»; эквивалентное высказывание обозначается 
- отрицание (соответствует словам «не», «неверно, что»), обозначается «
»; отрицание высказывания обозначается 
- квантор общности (соответствует кванторным словам "все", "всякий" и т.д.) обозначается «
»;
- квантор существования (соответствует словам «некоторые», "существует"), обозначается «
».