логика

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

    Философская энциклопедия

  • 82Логика в компьютерных науках — Логика в информатике это направления исследований и отрасли знания, где логика применяется в информатике и искусственном интеллекте. Логика оказалась гораздо более эффективной в информатике, чем это было в математике[1]. Включаются следующие… …

    Википедия

  • 83ЛОГИКА НАУЧНОГО ПОЗНАНИЯ — или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал …

    Философская энциклопедия

  • 84“ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” —     “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” понятие и термин, введенные И. Кантом в “Критике чистого разума” для обозначения “науки о чистом, происходящем из рассудка и разума, знании, посредством которого предметы мыслятся вполне a priori” и определяющей… …

    Философская энциклопедия

  • 85Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …

    Википедия

  • 86Логика чистого познания —         «ЛОГИКА ЧИСТОГО ПОЗНАНИЯ» («System der Philosophic 1. Theil. Logikder reinen Erkenntnis») основной теоретический труд Г. Когена, в котором он дает критическое обоснование системы научно теоретического идеализма. Помимо рассматриваемого… …

    Энциклопедия эпистемологии и философии науки

  • 87Логика Бэрроуза-Абади-Нидхэма — (англ. Burrows Abadi Needham logic) или БАН логика (англ. BAN logic)  набор правил, используемый для определения и анализа протоколов обмена информацией. В частности, БАН логика помогает своим пользователям, определить является ли… …

    Википедия

  • 88Логика Бэрроуза — Логика Бэрроуза  Абади  Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic)  это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… …

    Википедия

  • 89“ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ” —     “ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ” К. Поппера первая опубликованная в 1934 книга К. Поппера (Logik der Forschung. Wien, 1934; пер. на англ. яз.: “The Logic of Scientific Discovery”. L. N. Y, 1959; сокращенный пер. на рус. яз. в кн.: Поппер К.… …

    Философская энциклопедия

  • 90ЛОГИКА ПОР-РОЯЛЯ —     ЛОГИКА ПОР РОЯЛЯ книга по дедуктивной логике, вышедшая в Париже в 1662 анонимно под названием “Logique ou l art de penser” (“Логика или искусство мыслить”). До нач. 19 го столетия была самым популярным учебником логики, выдержала более 50… …

    Философская энциклопедия

  • 91«ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ» — – понятие и термин, введенные И.Кантом в «Критике чистого разума» для обозначения «науки о чистом, происходящем из рассудка и разума, знании, посредством которого предметы мыслятся вполне a priori» и определяющей происхождение, объем и… …

    Философская энциклопедия

  • 92ЛОГИКА ВОПРОСОВ —     ЛОГИКА ВОПРОСОВ формальные средства описания отношения “вопрос ответ”. Формальные средства имитации вопросов называют интеррогативами. Примерами интеррогативов являются ли вопросы (“верно ли высказывание Л?”), какой вопросы (“каковы все те х …

    Философская энциклопедия

  • 93логика символическая —         ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …

    Энциклопедия эпистемологии и философии науки

  • 94логика трансцендентальная —         ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ один из наиболее важных и известных разделов «Критики чистого разума» И. Канта, который, наряду с трансцендентальной эстетикой, составляет трансцендентальное учение о началах. Л. т. распадается на… …

    Энциклопедия эпистемологии и философии науки

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

    Философская энциклопедия

  • 96ЛОГИКА ОТНОШЕНИЙ —         раздел логики, посвящённый изучению отношений между объектами различной природы. Эти отношения выражаются сказуемыми и аналогичными им словами в предложениях естеств. языков. В зависимости от числа объектов, связанных данным отношением,… …

    Философская энциклопедия

  • 97Логика предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 98логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… …

    Энциклопедия эпистемологии и философии науки

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

    Энциклопедия эпистемологии и философии науки

  • 100ЛОГИКА НАУКИ — наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1 й четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60 х гг. получила творческое развитие в рамках современной… …

    Большой Энциклопедический словарь