Логика

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

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

Прикладная логика

ПРИКЛАДНАЯ ЛОГИКА – логический аппарат систематически используемый для решения конкретных практических задач. При этом необходимо различать прикладную логику и отдельные приложения логики. Для прикладной логики характерна именно систематичность, алгоритмизированность использования.

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

Дизъюнкция (Ильичёв, 1983)

ДИЗЪЮНКЦИЯ (от лат. disjunctio — разобщение, обособление), в широком смысле — сложное высказывание, образованное из двух или более предложений с помощью союза «или», выражающего альтернативность, или выбор. В символической логике дизъюнкцией называют логическую связку (операцию, функцию), образующую из предложений А и В сложное высказывание, обозначаемое обычно как А V В, которое является истинным при истинности по крайней мере одного из двух дизъюнктивных членов: А или В.

Вероятностная логика

ВЕРОЯТНОСТНАЯ ЛОГИКА — раздел логики, изучающий логические системы, в которых множеством значений истинности высказываний служат вероятности (степени правдоподобия или подтверждения). Чаще всего вероятности добавляются к системе пропозициональной логики в качестве нового отношения, соединяющего множество высказываний и множество их значений из интервала 0<Р(А)<1, где Ρ (А) — вероятность истинности высказывания А. Таким образом, система аксиом вероятностной логики состоит из трех частей: пропозициональной, задающей операции между выска-зываниями; арифметической, задающей операции между значениями вероятности; вероятностной, задающей функцию приписывания высказываниям их значений...

Алгоритм

АЛГОРИТМ, алгорифм (от лат. algorithmi, algorismus, по имени арабского ученого 9 века ал-Хорезми) – точное предписание, задающее потенциально осуществимый (см. Абстракция потенциальной осуществимости) вычислительный процесс (процесс исполнения алгоритма), ведущий от исходных данных, которые могут варьировать, к конечному результату. Овладение общим методом решения точно поставленной задачи по сути дела означает знание алгоритма. Так, умение складывать два числа означает владение алгоритмом сложения чисел (например, сложением столбиком, которому учат в школе).

Логика высказываний (Ильичёв, 1983)

ЛОГИКА ВЫСКАЗЫВАНИЙ, логика суждений, пропозициональная логика, раздел современной логики, лежащий в основе большинства её разделов в традиционном их изложении. Основной объект логики высказываний — высказывание, являющееся абстракцией от понятия предложения естественного языка, в связи с чем логику высказываний называют иногда логикой предложений. Высказывание — это предложение, рассматриваемое в отвлечении от его внутренней (субъектно-предикатной) структуры — исключительно с точки зрения его возможных истинностных значений: обычно истины (обозначаемой через «и») или лжи («л»).

Металогика

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

Интенсиональная логика

ИНТЕНСИОНАЛЬНАЯ ЛОГИКА – область неклассических логик, в которой используется понятие смысла языкового выражения в целях анализа широкого класса контекстов естественного языка. Логический анализ понятия смысла языкового выражения предполагает решение двух взаимосвязанных задач: (1) уточнение (экспликацию) понятия смысла путем построения формализованного языка и его семантики, (2) формализацию класса общезначимых формул языков-экспликаторов смысловых отношений.

Дескрипция

ДЕСКРИПЦИЯ (от лат. descriptio — описание), описательное определение (характеристика) единичных объектов посредством общих понятий (имён, свойств и отношений), выполняющее ту же функцию, что и называние собств. именем. Употребление дескрипции в логике аналогично употреблению артиклей или заменяющих артикли выражений типа «тот, который» (например, «тот, который словом скор, тот в работе редко спор») в естественных языках. Однако логическая дескрипция отличается от описательных форм выражений естественного языка определённостью экстенсионального (см.

Интенсионал

ИНТЕНСИОНАЛ — одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания этих выражений — смысл (Sinn) и денотат (Bedentung).

В работе «Значение и необходимость» вместо фрегевского метода отношения именования (см. Именования теория) Р. Карнап предлагает свой метод семантического анализа. Семантика Карнапа является трехплоскостной. Как средство семантического анализа значения он вводит пару понятий (экстенсионал и интенсионал), соответствующих двум компонентам значения у Фреге. Понятия «денотат» и «смысл», как полагает Карнап, служатэкспликатами таких понятий, как «означение» (denotation) и «соозначение» (connotation) у Дж. Ст. Милля...

Абстракция актуальной бесконечности

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ, одна из основных абстракций (идеализации) классической (теоретико-множественной) математики и классической математической логики. Состоит в отвлечении от невозможности полного обозрения какого-либо бесконечного образования (бесконечной совокупности элементов какого-либо рода; знаковых конструкций, возникающих в ходе неограниченно продолжаемого конструктивного процесса; см. Конструктивное направление) и в рассмотрении его в качестве единого объекта — актуально бесконечного множества (например, множества всех натуральных чисел, континуума точек отрезка, множества всех формул любой длины логического исчисления)...

Страницы

Subscribe to RSS - Логика
Яндекс.Метрика