Значение ЛОГИКА ПРЕДИКАТОВ в Большом энциклопедическом словаре

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

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

ЛОГИКА ПРЕДИКАТОВ в Большой советской энциклопедии, БСЭ:
предикатов , раздел математической логики , изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с …
ЛОГИКА ПРЕДИКАТОВ в Современном толковом словаре, БСЭ:
раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит …
ЛОГИКА в Большой советской энциклопедии, БСЭ:
(греч. logik), наука о приемлемых способах рассуждения. Слово 'Л.' в его современном употреблении многозначно, хотя и не столь богато смысловыми …
ЛОГИКА в Большом российском энциклопедическом словаре:
Л́ОГИКА ПРЕДИКАТОВ, раздел логич. теорий, в к-ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе Л.п. …
ЛОГИКА в Цитатнике Wiki:
Data: 2009-05-27 Time: 11:55:20 * Глупость обычно бывает логична. ( Хуго Штейнхаус ) * Если логика говорит вам, что жизнь …
ЛОГИКА в Новейшем философском словаре:
(греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логически) мыслить. …
ЛОГИКА в Педагогическом энциклопедическом словаре:
(греч. logik*e, от logikos - построенный на рассуждении), наука о способах доказательств и опровержений; дисциплина, изучающая формы и законы правильных, …
ЛОГИКА в Большом энциклопедическом словаре:
(греч. logike) наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и …
ЛОГИКА в Энциклопедическом словаре Брокгауза и Евфрона:
(от ?????, разум, слово, мышление) — по мнению одних, наука о доказательстве, по мнению других, наука о законах и формах …
ЛОГИКА в Современном энциклопедическом словаре:
(греческое logike), наука о способах доказательств и опровержений совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем …
ЛОГИКА в Энциклопедическом словарике:
[греческое] 1) наука о законах мышления; формальная логика - наука об элементарных законах и формах правильного …
ЛОГИКА в Энциклопедическом словарике:
и, мн. нет, ж. 1. Наука о законах мышления и его формах. Изучать логику. Математическая логика (включающая математические методы исследования …
ЛОГИКА в Энциклопедическом словаре:
, -и, ж. 1. Наука о законах и формах мышления. Формальная л. Диалектическая л. 2. Ход рассуждений, умозаключений. У этого …
ЛОГИКА в Большом российском энциклопедическом словаре:
Л́ОГИКА НАУКИ, область науки, применяющая понятия и техн. аппарат совр. логики к анализу систем науч. знания. Сформировалась в 1-й четв. …
ЛОГИКА в Большом российском энциклопедическом словаре:
Л́ОГИКА КЛАССОВ, логика объёмов понятий, раздел логич. теорий, в к-ром изучаются операции над классами (множествами) и свойства этих операций (законы …
ЛОГИКА в Большом российском энциклопедическом словаре:
Л́ОГИКА ВЫСКАЗЫВАНИЙ, раздел логики, в к-ром вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения …
ЛОГИКА в Большом российском энциклопедическом словаре:
Л́ОГИКА (греч. logik;), наука о способах доказательств и опровержений; совокупность науч. теорий, рассматривающих определ. способы доказательств и опровержений. Основателем Л. …
ЛОГИКА в Энциклопедии Брокгауза и Ефрона:
(от ?????, разум, слово, мышление) ? по мнению одних, наука о доказательстве, по мнению других, наука о законах и формах …
ЛОГИКА в Полной акцентуированной парадигме по Зализняку:
ло'гика, ло'гики, ло'гики, ло'гик, ло'гике, ло'гикам, ло'гику, ло'гики, ло'гикой, ло'гикою, ло'гиками, ло'гике, …
ЛОГИКА в Словаре эпитетов:
Ход рассуждений, умозаключений; убеждение, точка зрения. Бабская (разг.), безукоризненная, беспощадная, беспристрастная, блестящая, внутренняя, гибкая, дикая (разг.), доказательная, железная, женская, жизненная, …
ЛОГИКА в Популярном толково-энциклопедическом словаре русского языка:
-и, только ед. , ж. 1) Наука о законах мышления и его формах. Изучать логику. Математическая логика. 2) ( чего …
ЛОГИКА в Словаре для разгадывания и составления сканвордов:
Наука о …
ЛОГИКА в Новом словаре иностранных слов:
( гр. logike) 1) наука о законах и формах мышления; формальная л. - наука, изучающая формы мыслей и формы сочетаний …
ЛОГИКА в Словаре иностранных выражений:
[гр. logike] 1. наука о законах и формах мышления; формальная л. - наука, изучающая формы мыслей и формы сочетаний их, …
ЛОГИКА в Словаре синонимов Абрамова:
|| железная …
ЛОГИКА в словаре Синонимов русского языка:
закономерность, …
ЛОГИКА в Новом толково-словообразовательном словаре русского языка Ефремовой:
ж. 1) Научная дисциплина, изучающая способы доказательств и опровержений. 2) Внутренняя закономерность, присущая явлениям природы, общества. 3) Правильный, разумный ход …
ЛОГИКА в Словаре русского языка Лопатина:
л`огика, …
ЛОГИКА в Полном орфографическом словаре русского языка:
логика, …
ЛОГИКА в Орфографическом словаре:
л`огика, …
ЛОГИКА в Словаре русского языка Ожегова:
наука о законах и формах мышления Формальная л. Диалектическая л. логика разумность, внутренняя закономерность чего-нибудь Л. вещей. Л. событий. логика …
ЛОГИКА в Словаре Даля:
жен. , греч. наука здравомыслия, наука правильно рассуждать; умословие. Логик муж. умослов, правильный и здравый мыслитель, знающий науку правильного рассуждения. …
ЛОГИКА в Современном толковом словаре, БСЭ:
(греч. logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и …
ЛОГИКА в Толковом словаре русского языка Ушакова:
логики, ж. (греч. logike от logos – слово, разум). 1. Наука об общих законах развития объективного мира и познания (филос.). …
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ в Большом энциклопедическом словаре:
раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств …
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ в Большой советской энциклопедии, БСЭ:
предикатов, раздел математической логики - совокупность логико-математических исчислений , формализующих те разделы современной логики, в которых отображаются и изучаются (в …
СЛОВА-БУМАЖНИКИ в Словаре постмодернизма.
ТИПОВ ТЕОРИЯ (В ЛОГИКЕ) в Большой советской энциклопедии, БСЭ:
теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств , включающая переменные различных 'типов' (сортов, ступеней, порядков). Формальные …
СЛОЖНАЯ СИСТЕМА в Большой советской энциклопедии, БСЭ:
система, составной объект, части которого можно рассматривать как системы , закономерно объединённые в единое целое в соответствии с определенными принципами …
СИЛЛОГИСТИКА в Большой советской энциклопедии, БСЭ:
(от греч. syllogistikos - выводящий умозаключение), теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний ( суждений ): …
РАВЕНСТВО (МАТЕМАТИЧ.) в Большой советской энциклопедии, БСЭ:
отношение взаимной заменимости (подстановочности) объектов, которые именно в силу их взаимной заменимости считают равными. Такое понимание Р. восходит к Г. …
ПРОТИВОРЕЧИЯ ПРИНЦИП в Большой советской энциклопедии, БСЭ:
принцип, закон отрицания противоречия, закон непротиворечия, принцип запрещения противоречия, один из основных общелогических принципов, согласно которому никакое противоречие не может …
ПРЕДМЕТНАЯ ОБЛАСТЬ в Большой советской энциклопедии, БСЭ:
область , область объектов, универсум рассуждения, универсум рассмотрения, или просто универсум, класс (множество) объектов, рассматриваемых в пределах данного контекста. Под …
ПОНЯТИЕ в Большой советской энциклопедии, БСЭ:
форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений в их противоречии и развитии; мысль или система мыслей, …
ПЕРЕМЕННАЯ в Большой советской энциклопедии, БСЭ:
переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма , Р. Декарта , И. Ньютона , …
ПАРАДОКС в Большой советской энциклопедии, БСЭ:
(от греч. paradoxes - неожиданный, странный), неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным …
НОМИНАЛИЗМ в Большой советской энциклопедии, БСЭ:
(лат. nominalis - относящийся к именам, именной, от nomen - имя), философское учение, согласно которому имена свойств, классов и отношений …
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и …
МОДЕЛЬ (В НАУКЕ) в Большой советской энциклопедии, БСЭ:
(франц. modèle, итал. modello, от лат. modulus - мера, мерило, образец, норма), 1) образец, служащий эталоном (стандартом) для серийного ли …
МЕТАТЕОРЕМА в Большой советской энциклопедии, БСЭ:
(от мета... ) , теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. …
МЕТАМАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических …
МАТЕМАТИЧЕСКИЙ ИНТУИЦИОНИЗМ в Большой советской энциклопедии, БСЭ:
интуиционизм, философско-математическое течение, отвергающее теоретико-множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая …
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление , исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики . Различные Л. и. служат базой для построения …
ЛОГИЧЕСКИЕ ОПЕРАЦИИ в Большой советской энциклопедии, БСЭ:
http-equiv"Default-Style" content"encstyle"> Логические операции Логические операции , логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения …
ЛОГИЧЕСКИЕ ДИАГРАММЫ в Большой советской энциклопедии, БСЭ:
диаграммы , графический (геометрический, точнее - топологический) аппарат математической логики . Идея Л. д. была известна ещё в средние века, …
ЛОГИКА КЛАССОВ в Большой советской энциклопедии, БСЭ:
классов , раздел логики , основным предметом рассмотрения в котором служат классы (множества) предметов, задаваемые характеризующими их свойствами, общими для …
КВАНТОР в Большой советской энциклопедии, БСЭ:
(от лат. quantum - сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её …
ИНТУИЦИОНИСТСКАЯ ЛОГИКА в Большой советской энциклопедии, БСЭ:
логика, форма логики предикатов , отражающая взгляд интуиционизма на характер логических законов, считающихся, с его точки зрения, допустимыми в применении …
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ в Большой советской энциклопедии, БСЭ:
теория множеств, формулировка множеств теории в виде формальной (аксиоматической) системы (см. Аксиоматический метод ) . Основным побудительным стимулом для построения …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ ПРЕДИКАТОВ, раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), …
СКРЫТЫЕ КАТЕГОРИИ в Лингвистическом энциклопедическом словаре:
(криптотн-пы) — семантические и синтаксические признаки слов или словосочетаний, не находящие явного (эксплицитного) морфологического выражения, но существенные для построения и …

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

← ЛОГИКА НАУКИ ЛОГИНОВ ЕВГЕНИЙ ФЕДОРОВИЧ→