Логика

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

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

Логистика

ЛОГИСТИКА (греч. Λογιστική), 1) этап в развитии математической логики, связанный с работами школы Б. Рассела (см. Логицизм); 2) архаический (идущий от Лейбница) синоним термина «математическая логика»; 3) в античной математике под логистикой понимали совокупность известных в то время вычислительных (в арифметике) и измерительных (в геометрии) алгоритмов — в отличие от развиваемой путём содержательных рассуждений «теоретической математики». Под логистическим методом понимают метод построения формальной логики путём построения логистических систем (иначе — исчислений, формальных систем).

Алгебра логики

АЛГЕБРА ЛОГИКИ, система алгебраических методов решения логических задач, а также совокупность задач, решаемых такими методами. Алгебра логики в узком смысле слова — алгебраическое (табличное, матричное) построение классической логики высказываний, в котором рассматриваются логические операции над высказываниями, каждое из которых имеет одно из двух значений истинности: «истина» (сокращенно «и» или 1) и «ложь» («л» или 0). Элементами алгебры логики служат переменные, принимающие одно из этих двух значений, а также константы 1 и 0. Предмет алгебры логики составляет совокупность свойств логических операций в этой двузначной алгебре...

Металогика

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

Логика предикатов

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

Возможных миров семантика

ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА - метод логического анализа модальных и интенсиональных понятий, основу которого составляет рассмотрение мыслимых положений дел (идеальных альтернатив, описаний состояний, точек соотнесения). Дунс Скот (1265-1308) первым предложил уточнять смысл модальных понятий в процессе анализа альтернативных состояний дел. В его теории «возможное» понимается как области концептуальной непротиворечивости. Среди логических возможностей (possibile logicum) выделяются классы эквивалентных областей на основе отношения их совозможности (compossibilitas). Из них выделяется один класс — «действительный мир». При этом некоторые логические возможности понимаются как реальные альтернативы действительному миру (possibile real). Идею возможных миров использовал Лейбниц для толкования «необходимо истинного» как того, что имеет место во всех возможных мирах...

Логика науки

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

Логика науки как специальная дисциплина начала развиваться в середине 19 века и окончательно оформилась в 1-й четверти 20 века под влиянием идей Фреге, Рассела и Витгенштейна...

Формализация

ФОРМАЛИЗАЦИЯ, отображение результатов мышления в точных понятиях или утверждениях. В этом смысле формализация противопоставляется содержательному или интуитивному мышлению. В математике и формальной логике, где формализация наиболее развита, под формализацией обычно понимают отображение содержательного знания в знаковом формализме, или формализованном языке. Непременным условием для построения такого языка является использование аксиоматического метода, благодаря к-рому удаётся получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом.

Логика классов

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

Многозначная логика

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

Алгоритм

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

Страницы