Вторник, 25.09.2018
Мой сайт
Меню сайта
Категории раздела
Умная логика.(2017). [9]
Умная философия.(2017). [10]
Дополнительные статьи. [2]
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Форма входа

Символическая логика.(2017).
.
Символическая логика.(2017).

Символический язык и математические методы в логику ввели для того, что бы избавиться в рассуждениях от неоднозначностей и неопределенностей, свойственных естественным языкам.
Следовательно, символическая логика не заменяет традиционную (формальную) логику, во всяком случае – кардинально, а, вроде бы, улучшает её. Но есть в этом улучшении нечто явно странное, наводящее на широко известное выражение: «хотели как лучше, а получилось – как всегда». Ведь логики, совершенствуя десятилетиями теорию своей науки, были настолько увлечены математической точностью своих теоретических изысканий, что не очень то и обращали внимание на то, что применяемые ими математические методы всё дальше и дальше уводили их от естественного языка, и главное от – здравого смысла. Поэтому если предложить такому логику с математическим уклоном изложить свои теории естественным языком, то он этого или не сможет, или выдаст нечто очевидно сомнительное, с точки зрения здравого смысла. Но в некоторых, узких областях достижения математической логики – неоспоримы. (В области оснований математики, в кибернетике, в информационных технологиях.) Но только в этих «узостях». А в обычных и в философских рассуждениях использовать символическую (математическую) логику почти невозможно (только в редких, не существенных случаях).
Математические логики философствуют не лучше обычных счетоводов.
Кроме этого, за время своего существования символическая (математическая) логика разделилась на не малое количество разных школ, толкующих по-особенному, некоторые основополагающие математические понятия.
Так что - нет единства в символической логике, слишком разными представляются ныне все эти неклассические логики (например, интуиционистская логика, многозначные логики, паранепротиворечивая логика). Не мало противоречий между ними: что приписывается высказыванию, чем является высказывание, что собой представляют логические операции над этими высказываниями? Все эти и многие другие вопросы становятся
все большей проблемой. Кажется неразрешимым вопрос об иерархии, взаимоотношениях и классификации всех этих логик.
Таким образом, постепенно накапливается такая же неоднозначность, как и в естественных языках. И как остановить это – никто не знает, а некоторые – и не считают нужным.

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

В результате должны получиться – совершенная логика и совершенный язык.
.
Категория: Умная логика.(2017). | Добавил: odnoznachnost1 (22.08.2018)
Просмотров: 16 | Рейтинг: 0.0/0
Поиск
Друзья сайта
  • Создать сайт
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Все проекты компании
  • Copyright MyCorp © 2018
    Бесплатный хостинг uCoz