Формальная логика и язык.

Основные понятия: формально-логический закон, истина, ложь, логическая правильность, тождество, противоречие, явное и неявное противоречие, мнимое противоречие, тезис, аргумент (основание).

Предмет формальной логики - мышление, выраженное в языке.

Язык - знаковая информационная система, средством общения между людьми.

Функции языка:

а) добывание, хранение и переработка информации;

б) передача и получение накопленных знаний, умений, опыта от поколения к поколению;

в) обучение и воспитания подрастающего поколения;

г) выражение эмоций.

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

Знак (слово) – Элементарная единица языка, используемая для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Знаки подразделяются на языковые и неязыковые (знаки-копии, знаки-признаки или знаки-показатели, знаки-сигналы, знаки-символы).

Функция языковых знаков (слов) - обозначение ими предметов. Для обозначения предметов служат имена.

Имя - слово или словосочетание, обозначающее какой-либо определенный предмет (вещь, свойства, отношения, явления природы, общественной жизни, психической, сознательной деятельности людей).

Имена бывают:

1) простые (книга)

2) сложные (священная книга христианства), части имени имеют самостоятельный смысл.

3) собственные (это имена отдельных людей, предметов, событий).

4) общие (названия класса однородных предметов).

Значением имени является обозначаемый им предмет.

Смысл (концепт) имени - это способ, каким имя обозначает предмет, т.е. информация о предмете, которая содержится в имени.

Именная функция – языковое выражение, которое при замене переменных постоянными превращается в обозначение предмета (имя предмета).

Пропозициональная функция – языковое выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при подстановке вместо переменной имени предмета из определенной предметной области. Пропозициональные функции делятся на одноместные (содержат одну переменную), называемые свойствами и многоместные (содержат две и более переменной), называемые отношениями.

Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на семантические категории, к которым относятся:

1) предложения: повествовательные, побудительные, вопросительные. Интересующие традиционную формальную логику суждения выражаются в форме повествовательных предложений (суждений);

2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.

К дескриптивным (описательным) терминам относятся:

- имена предметов - слова или словосочетания, обозначающие единичные предметы или классы однородных предметов;

- предикаторы - слова или словосочетания, обозначающие свойства предметов или отношения между предметами. Одноместные предикаторы обозначают свойства, многоместные - отношения;

- функциональные знаки – это выражения, обозначающие предметные функции, операции (например, ×, ÷, Ctgά и т.д.).

К логическим терминам (логическим постоянным, логическим константам) относятся:

- конъюнкция (соответствует союзу "и"); обозначается знаком « »; конъюнктивное суждение обозначается ;

- дизъюнкция (соответствует союзу "или"), обозначается « »; запись дизъюнктивного суждения имеет вид: (нестрогая дизъюнкция), (строгая дизъюнкция);

- импликация (соответствует союзу "если..., то"), обозначается « »; условное (импликативное) суждение обозначается

- эквиваленция (соответствует выражению "если и только если…, то") « »; эквивалентное высказывание обозначается

- отрицание (соответствует словам «не», «неверно, что»), обозначается « »; отрицание высказывания обозначается

- квантор общности (соответствует кванторным словам "все", "всякий" и т.д.) обозначается « »;

- квантор существования (соответствует словам «некоторые», "существует"), обозначается « ».

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