Результаты поиска

...специальная логическая система, в которой при операциях с [[Высказывание (логика)|высказываниями]] не применяется ни [[закон исключённого третьего]], ни то ...инимальная логика является результатом пересмотра принципов [[Классическая логика|классической логики]]. ...

...]] и [[логика|логике]] — форма предикатной логики, которая отличается от [[Логика первого порядка|логики первого порядка]] дополнительными предикатами над пр ...антификацию [[предикат]]ов и функциональных символов (над множествами); '''логика третьего порядка''' использует и квантифицирует предикаты над предикатами ( ...

...ая система|формальных систем]], существенно отличающихся от [[Классическая логика|классических логик]] путём различных вариаций законов и правил (например, л Понятие «[[философская логика]]» нередко трактуется как обобщающее для всех неклассических логик, хотя те ...

{{не путать|Комбинационная логика|комбинационной логикой|способом соединения логических элементов в цифровых ...ов|1971}}. В [[дискретная математика|дискретной математике]] комбинаторная логика тесно связана с [[лямбда-исчисление]]м, так как описывает вычислительные пр ...

...Tammi|страницы=372|isbn=951-31-0471-0}}</ref> С точки зрения [[Философская логика|философской логики]], символы рассматриваются как обозначения слов. А с точ ...ральная логика|темпоральная]], [[Модальная логика|модальная]] и [[нечёткая логика]]. ...

...е в связи с содержанием [[импликация|условных утверждений]] [[классическая логика|классической логики]]. Главная функция этих утверждений — обоснование одних Если <math>B</math> является [[Тавтология (логика)|тавтологией]] (то есть утверждением, истинным при любом содержании; такие ...

...%D0%B5%D0%B4%D0%B8%D1%8F}}</ref>. Является одним из законов [[Классическая логика|классической логики]]. ...а — с. 113—116</ref><ref name="Гусев"></ref><ref name="Бойко">Бойко, А. П. Логика — с. 68</ref><ref name="Горский"></ref>. ...

...кая логика|математической логике]] суждениям соответствуют [[Высказывание (логика)|высказывания]]. ...рых входит один [[субъект]] и один [[предикат]]<ref>Гусев Д. А. Популярная логика и занимательные задачи. Учебное пособие. — М.: Прометей, 2015. — 406 с. — С ...

'''Выска́зывание''' в [[Математическая логика|математической логике]] — предложение, выражающее [[суждение]]. Если сужден ...ак нерасчленённое целое, суждение является абсолютным единством [[Субъект (логика)|субъекта]] и [[Объект (философия)|объекта]], которые связаны между собой п ...

В [[Логика|логике]], '''логическая форма''' [[высказывание (логика)|утверждения]] — структурная основа, выраженная через логические операторы, ...лизации естественного языка и рассуждений, которую он назвал [[Философская логика|философской логикой]]. Рассел писал: «Некоторое знание логических форм, хот ...

...и и кризис оснований древнегреческой математики|год=2021|язык=ru|издание=[[Философская мысль]]|выпуск=9|страницы=54–65|issn=2409-8728|doi=10.25136/2409-8728.2021. ...логик''. Важнейшей из ''неклассических логик'' является [[интуиционистская логика]]. ...

...м, что человек халатно относится к своим обязанностям» (см.: [[Тавтология (логика)|Тавтология]]). В отдельных случаях такие определения всё же допускаются (с # [[Род (логика)|Родовой признак]] должен указывать на ближайшее широкое понятие, не переск ...

...ематика|конструктивной математики]] в общемировую систему [[Математическая логика|математико-логического]] знания{{Sfn|Сборник|2003|cc=7—12|loc=''Непейвода Н | серия = Математическая логика и основания математики ...

...та является византийский учёный [[Михаил Пселл]]<ref>Логический квадрат // Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Ко ...ерпретации и вовсе не означает, как иногда утверждают, что аристотелевская логика «ошибочна». ...

...о ''p''» или «Это обязательно так, что ''q''») показывает, что [[модальная логика]] — невозможный проект.<ref>Quine, W. V. O. «Notes on Existence and Necessi ...выше, может быть тривиально и неоспоримо показан в качестве [[Тавтология (логика)|логической тавтологии]]: если ''x'' не идентичен ''y'', то всегда будет пр ...

|направление = [[модальная логика]], концептуальный [[прагматизм]], эпистемический когерентизм |интересы = [[эпистемология]], [[логика]], [[этика]], [[эстетика]] ...

'''Паранепротиворечивая логика''' — стремление [[Формальная система|формальной системы]] к решению проблем В [[Классическая логика|классической логике]], а также в [[Интуиционистская логика|интуиционистской]] и большинстве других логик, противоречия [[Умозаключение ...

...алия|итальянский]] [[Математика|математик]]. Внёс вклад в [[Математическая логика|математическую логику]], аксиоматику, философию математики. Создатель вспом ...Рассела]], с другой. Пеано принадлежит одна из первых дедуктивных систем [[Логика высказываний|логики высказываний]]. ...

...du/entries/settheory-alternative/ |date=20190807134022 }} в [[Стэнфордская философская энциклопедия|Стэнфордской философской энциклопедии]].</ref>. ...ного развития» в том смысле, что соответствующих работ по [[математическая логика|математической логике]] нет. ...

'''Гипотеза''' в [[Математика|математике]] — [[утверждение (логика)|утверждение]], которое на основе доступной информации представляется с выс ...back|url=http://iph.ras.ru/elib/0791.html |date=20160305025825 }} // Новая философская энциклопедия</ref>. Механика Ньютона неприменима для скоростей, близких к с ...