Phenomen.Ru : Философия online

Главная > Философский словарь > логика

  логин

  пароль

Забыли пароль?


:: сайта »
:: академические »
:: глобальные »
:: Философская правда »


:: члены »
:: кандидаты »
:: форум кандидатов »
:: зарегистрироваться »


:: все статьи »
:: популярные статьи »
:: обсуждения »


:: философский словарь »
:: :: все статьи КФС »
:: :: все статьи РБ »
:: каталог ресурсов »
:: :: добавить ссылку »


:: все форумы »
:: общий форум »
:: форум кандидатов »
:: обновленные темы »


  e-mail

Подробности



RSS-канал Новости Phenomen.Ru
Rambler's Top100

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

Краткий философский словарь (алфавитный список) >>
Русская Британника (алфавитный список) >>
Открытая философская энциклопедия (алфавитный список) >>

Поиск:

 

 В заголовках, расширенный
 В заголовках, строгий
 Полнотекстовый поиск

 Краткий философский словарь
 Русская Британника
 Открытая философская энциклопедия

Найдено в Русской Британнике


логика
Исследование умозаключений и доказательств. Умозаключение – это совершаемый по определенным правилам переход от одного или нескольких суждений, называемых посылками, к другому суждению, называемому заключением. Дедуктивное умозаключение – это умозаключение, претендующее на обоснованность, причем обоснованным умозаключением будет такое, в котором заключение должно быть истинным, если истинны посылки (дедукция; обоснованность). Все другие умозаключения называются индуктивными (индукция). В узком смысле под логикой понимают науку о дедуктивных умозаключениях. В еще более узком смысле, логика – это исследование умозаключений, которые зависят от понятий, выражаемых «логическими константами», включая: (1) пропозициональные связки типа «не» (обозначается Ø), «и» (обозначается Ù), «или» (обозначается Ú) и «если- то» (обозначается É), (2) кванторы общности ("x) и кванторы существования ($x), которые в русском языке обычно передаются выражениями типа: «Для всякого (любой) x, …» и «Существует x, такой что …» соответственно, (3) понятие тождества (выражаемое знаком «=») и (4) определенное понятие предикации. Изучение логических констант (1) само по себе известно под названием исчисления высказываний; изучение (1) через (4) называется исчислением предикатов первого порядка с тождеством. Логическая форма суждения – это выражение, получаемое путем замены всех нелогических понятий в суждении на переменные. Изучение отношений между подобными не интерпретируемыми формулами называется формальной логикой. деонтическая логика; модальная логика.


 Страница обновлена:
 20.11.2017, 08:46:16 MSK

 © Программирование и
     дазайн: Иван Шкуратов