Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Точность

ТОЧНОСТЬ—1) качество человеческого знания и действия, означающее строгое соответствие исторически сложившемуся или заранее установленному стандарту, образцу, норме, принципу, правилу, заданному способу действия, противопоставляемое неопределенности, расплывчатости, двусмысленности, необязательности, неточности; 2) одно из фундаментальных понятий гносеологии, логики и методологии науки, характеризующее степень (меру) соответствия научного знания реальности и особенности его организации, регулирующее процессы воспроизведения объекта в рамках научной теории.

Тождество (Фролов, 1991)

ТОЖДЕСТВО — категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, неразличимыми, если и только если все свойства (и отношения), которые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку материальная действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, основных свойствах, не бывает. Тождество является не абстрактным, а конкретным, т. е.

Тождества закон

ТОЖДЕСТВА ЗАКОН — закон логики, согласно к-рому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о которых идет речь в данном рассуждении. На деле, однако, такое различение и отождествление не всегда возможно (Различие, Тождество).

Типов теория (Фролов)

ТИПОВ ТЕОРИЯ (иерархия типов) — способ построения формальной (математической) логики, при котором вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антиномий. Впервые Типов теорию развил Э. Шрёдер в применении к логике классов (1890). В 1908— 1910 годы Рассел построил детальную систему Типов теории в применении к исчислению предикатов; ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится деление на порядки.

Термин (Фролов, 1991)

ТЕРМИН (лат. terminus — предел, граница) — 1. Однозначное слово, фиксирующее определенное понятие науки, техники, искусства и т. п. Термин является элементом языка науки, введение которого обусловлено необходимостью точного и однозначного обозначения данных науки, особенно тех, для которых в обыденном языке нет соответствующих названий. В отличие от слов обыденного языка, термины лишены эмоциональной окраски.

Теорема

ТЕОРЕМА (греч. theoreo— рассматриваю, обдумываю) — в современной формальной логике и математике любое предложение некоторой строго построенной дедуктивной (например, аксиоматической) теории, которое доказано (выведено) на основе применения к исходным положениям этой теории (аксиомам) и (или) к уже доказанным предложениям теории допустимых для этой теории правил вывода. В синтаксических системах класс теорем эквивалентен классу выводимых формул; в семантических системах класс аксиом и теорем совпадает с классом истинных предложений данной теории. Различение между аксиомами и теоремами условно: одни и те же предложения некоторой теории в одних случаях могут быть приняты в качестве аксиом, в других — доказываться как теоремы. В силу этого к теоремам часто относят и аксиомы. Теорема, которые формулируются относительно некоторой теории (обычно формальной или формализованной) и доказываются содержательными средствами метатеории этой теории, называются метатеоремами (например, теорема о дедукции).

Тавтология (Фролов, 1991)

ТАВТОЛОГИЯ (греч. tauto — тот же самый). 1. В математической логике — то же самое, что тождественно-истинные высказывания. 2. В традиционной логике — определение, в котором определяющее является простым повторением иными словами того, что мыслится в определяемом.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 448.

Суждение (Фролов)

СУЖДЕНИЕ — мысль, выраженная в форме предложения, в к-ром нечто утверждается или отрицается об объектах, и являющаяся объективно либо истинной, либо ложной. Примеры суждений: «Все планеты обращаются вокруг Солнца», «Если число делится на 10, то оно делится и на 5», «Иванов сдаст экзамен на «отлично». Два первых суждения истинны. Третье может оказаться и ложным (если выяснится, что Иванов не сдал экзамен на «отлично»), хотя высказывавший эту мысль мог полагать, что он высказывает истину.

Сравнение

СРАВНЕНИЕ — сопоставление объектов с целью выявления черт сходства или черт различия между ними (или того и другого вместе). Является важной предпосылкой обобщения. Играет большую роль в умозаключениях по аналогии. Суждения, выражающие результат сравнения, служат цели раскрытия содержания понятий о сравниваемых объектах; в этом отношении сравнение используется в качестве приема, дополняющего, а иногда и заменяющего определение

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 432.

Синтетическое и аналитическое

СИНТЕТИЧЕСКОЕ И АНАЛИТИЧЕСКОЕ (греч. synthesis — соединение, сочетание и analysis — разложение расчленение) — понятия, выражающие различные способы установления истинности предложений (высказываний). Все предложения некоторой логически упорядоченной системы знания, зафиксированной в обычном языке или специальном языке науки, можно разделить на два типа: аналитические — те, истинность которых может быть установлена на основе только правил данной системы, без обращения к внеязыковым фактам, и синтетические — те, истинность которых не может быть выявлена на основе лишь этих правил и требует обращения к эмпирическим данным. В истории философии проблема синтетического и аналитического тесно связана с различением эмпирического и теоретического уровней знания. У Лейбница это различение находит выражение в делении всех истин на необходимые (теоретическое знание) и случайные (фактическое знание). Кант считал, что аналитические суждения не зависят от опыта, и определял их, в отличие от синтетических, как такие, предикат которых содержится в субъекте и тождествен ему. Строгое разграничение синтетического и аналитического имеет смысл лишь для данного формализованного языка. Среди его выражений различают логические истины (аналитические предложения) и фактические истины (синтетические предложения)...

Страницы