рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Язык логики высказываний

Язык логики высказываний - раздел Философия, Логика. Предмет логики Логика Изучает Не Только Естественный Язык, Которым Люди Пользуются В Процесс...

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

Для решения различных задач логики было выработано несколько специальных ис­кусственных языков. Одним из наи­более широко применимых является язык логики высказываний. Логика высказываний - это раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных, не разлагаемых на части и не анализируемых, высказываний с помощью логических операций конъюнкции, дизъюнкции, импликации, отрицания и т.д. Конъюнкция – это логическая операция, отражающая употребление союза «и» в логических выводах; дизъюнкция – операция, представляющая употребление союза «или»; импликация – операция, которой в естественном языке соответствует связка «если…то».

Как и в естественных языках, в этом языке есть алфавит, а также сложные выражения.

Алфавит языка логики высказываний составляют следующие символы:

а) p, q, r, s, ... - пропозициональные переменные, это символы для повествовательных предложений, выражающих суждения. Каждый символ соответствует целому предложению;

б) логические термины:

Ø - отрицание («не», «неверно, что»),

& - конъюнкция («и») (в последнее время для обозначения конъюнкции все чаще используется знак Ù,

Ú - дизъюнкция («или»),

É - импликация («если, ...то…»)

º - эквиваленция («если и только если…»)

в) (… ) – скобки

г) , - запятая.

Выражения в языке логики высказываний являются формулами. Формулы первого уровня – это элементарные формулы к которым применена только одна логическая связка, например, рÚq, рÉq, рºq. Более сложные формулы строят, присоединяя высказывания при помощи логических связок к уже имеющимся формулам. Процесс построения сложного высказывания из простых регулируется скобками, означающими порядок применения связок, например, (Øр)Úq. В случае, когда сложное высказывание содержит много формул, которые надо выделять скобками, используют правило старшинства логических связок: сильнее всех является связка Ø, за ней идут &, Ú, É, º. Если формула записана в виде рÚq&s, то q&s было построено раньше, а затем соединено с р младшей связкой Ú.

 

– Конец работы –

Эта тема принадлежит разделу:

Логика. Предмет логики

М И Ивлева.. Глава предмет логики.. Из истории логики Название науки логики происходит от древнегреческого слова..

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Язык логики высказываний

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Из истории логики
  Название науки логики происходит от древнегреческого слова «λογος», которое означает «разум», «рассуждение». Логика является одной

Предмет логики
  Необходимо отметить, что в настоящее время слово «логика» используется в нескольких основных значениях. Это и объективная логика закономерностей в развитии и изменении явлени

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

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

Язык как знаковая система
  Язык как знаковая система, средство фиксирования, хранения и передачи информации - один из важных объектов рассмотрения логических исследований. . Знак – э

Естественные и искусственные языки
  В повседневной жизни мы пользуемся языком, усвоенным нами с детства – в разговорной речи, встречаемся с ним в произведениях литературы и искусства. Этот язык является естественным,

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

Учение о понятии
  Понятие – важнейший вид мыслей, так как в нем отражаются сущностные характеристики действительности в процессе абстрактного мышления. Логика исследует понятия как мысли особого виды

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

Реальные и номинальные определения
  Исходя из характеристики конвенциональности и функции, которую они выполняют в познании, определения делятся на реальные и номинальные. Определения, в которых придается точ

Простые суждения
  Простые суждения – такие суждения, где невозможно выделить некоторую часть, которая в свою очередь является суждением. К этим суждениям относятся атрибутивные сужде

СЛОЖНЫЕ СУЖДЕНИЯ
  Сложными являются суждения, в которых можно выделить правильные части, в свою очередь являющиеся суждениями. Сложные суждения образуются как из простых, так и из др

ОТРИЦАНИЕ СУЖДЕНИЯ
    Отрицание суждения – это логическая операция, которая представляет собой такое изменение логического содержания суждения, что его истинностное значе

ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ
  Суждения подразделяются на сравнимые и несравнимые. Сравнимые суждения имеют общий субъект или предикат, несравнимые суждения не имеют общего субъекта либо предиката.

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

Непосредственные умозаключения
  Непосредственные умозаключения – это умозаключения из одной по­сылки, которая является категорическим суждением. Категорические суждения подразделяются на общеутвер

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

Общие правила категорического силлогизма
конецформыначалоформыПравила терминов категорического силлогизма Первое правило - в силлогизме должно быть только три термина (меньший, больший, средний). Второе

Обратная дедукция
  Одним из видов индуктивных заключений является обратная дедукция: высказывания В1, В2,…Вn подтверждают высказывание А, если из А следуют высказывания В1, В2,…Вn , А

ОБОБЩАЮЩАЯ ИНДУКЦИЯ
  Обобщающая индукция - это умозаключение, в котором осу­ществляется переход от знания об отдельных предметах класса или о подклассе этого класса к знанию о классе в

Метод остатков.
При использовании этого метода рассматривают сложное явление U. Это явление состоит из ряда простых явлений а, b, с, d. Из предшествующего опыта известно, что простое явление

Умозаключения по аналогии
Умозаключением по аналогии (от древнегреческого ἀναλογἰα — соответствие, сходство) называется рассуждение, в ко­тором исходя из сходства двух

Аргументация и доказательство
    Одним из важных способов обоснования утверждений (суждений, гипотез, концепций и т. д.) является аргументация. Аргументация - это полное или

Критика и опровержение
  Критика - это деятельность, противоположная по своей цели и содержанию аргументации. Если целью аргументации является выработка убеждения в истин­ности или, по крайней мере,

Правила аргументации и критики, доказательства и опровержения
В процессе аргументации и критики могут совершаться ошибки двух типов: умышленные и неумышленные. Умышленные ошибки называются софизмами, а лица, совершающие такие ошибки, — со

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

В. Правила по отношению к аргументам. Возможные ошибки
Первое правило:аргументы должны быть сформулированы явно и ясно. Для выполнения этого правила необходимо: (1) перечислить все аргументы; если в процессе аргумента

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

Стокгольм, 26 октября 1959 года
В1959 году двум американским ученым-атомщикам присуждена Нобелевская премия по физике за открытие антипротонам доказывающее существование двух форм материи — частиц и античастиц... Согласно одному

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги