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