Суббота, 18.08.2018, 15:27
Мой сайт
Приветствую Вас Гость | RSS
Меню сайта
Категории раздела
Основы логики [11]
История логики [8]
Логика мышления [4]
Практическая логика [5]
Законы логики [13]
Наш опрос
Оцените мой сайт
Всего ответов: 791
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » Статьи » Логика » Логика мышления

Язык формальной логики
 Язык формальной логики

С чем же связано наличие собственного языка логики как науки? Дело в том, что естественному языку присущи некоторые недостатки, которые не позволяют логике ограничиваться использованием только его.

Основными недостатками естественного языка являются:

  • изменение значения слов с развитием общественной практики и по истечении определенного времени;

  • многозначность некоторых слов;

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

  • несовершенство правил построения выражений, которое в логическом смысле несет на себе печать многозначности понимания вербальной мысли;

  • деление естественного языка на большое количество языков разных стран и народов, в результате чего одна и та же мысль может быть оформлена различными языками.

Формальная логика пытается искоренить данные недостатки в своей области. Это достигается на основе введения специального символического языка. Внутри формальной логики операции с мыслями заменяются действиями со знаками. Общепринятым в современной логике является так называемый язык логики предикатов. Рассмотрим кратко принципы построения и структуру этого языка.

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

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

Имена предметов - это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.

Предикаторы - это языковые выражения, которые обозначают свойства или отношения, наличие которых в суждениях утверждается или отрицается.

Функциональные знаки - это принятые обозначения предметных функций, операций (Sin a,"+" и др.).

Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).

На основе семантических категорий естественного языка создан специальный алфавит языка логики предикатов. Из соображений удобства сведем его основные символы в таблицу.

Символ

Способ употребления

Название

Читается

x,y,z

предметные переменные

p,q,r

пропозиционные переменные

Р,Q,R

предикатные переменные

^

p ^ q

конъюнкция

p и q

v

p v q

дизъюнкция слабая

p или q

v

p v q

дизъюнкция сильная

либо p, либо q

->

р-> q

импликация

если p, то q

<->

р <-> q

эквиваленция (эквивалентность)

p тогда и только тогда, когда q

-

-p

отрицание

неверно, что р

 

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

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



Источник: http://emerecu.ukma.kiev.ua/books/Econ/data/9/F1.htm
Категория: Логика мышления | Добавил: sova (13.05.2009)
Просмотров: 3871 | Теги: логика | Рейтинг: 5.0/1
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Форма входа
Поиск
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2018Бесплатный конструктор сайтов - uCoz