Более быстрый доступ, чем браузер!
154 отношения: II век, IV век до н. э., V век до н. э., X век, XIII век, XIV век, XIX век, XX век, Квантовая логика, Квинтилиан, Китайская философия, Классификация, Когнитивистика, Когнитивная психология, Комбинаторная логика, Конструктивная математика, Конфуций, Концептуальная схема, Психологизм, Прагматизм, Признак, Парадокс, Паралогизм, Париж, Парменид, Пирс, Чарльз, Платон, Понятие, Органон (Аристотель), Орлов, Иван Ефимович, Обобщение понятий, Оккам, Уильям, Опровержение, Определение (логика), Ассоциация, Аристотель, Арно, Антуан (сын), Абстракция, Автоматическое доказательство, Адаптация, Аль-Фараби, Альберт Саксонский, Алгоритмическая разрешимость, Антиномия, Аналитическая философия, Аналогия, Ньяя-сутры, Нагарджуна, Николь, Пьер (богослов), Нормативная наука, ..., Новый органон, Неформальная логика, Неклассическая логика, Непротиворечивость, Руниверс, Суждение, Стоицизм, Средние века, Средневековая философия, Силлогистические теории, Софистика, Софизм, Сократ, Спирин, Владимир Семёнович, Секвенциальная логика, Семантика, Трансцендентальная логика, Трансдуктивное умозаключение, Троичная логика, Таблица истинности, Тавтология (логика), Теория, Теория аргументации, Фреге, Фридрих Людвиг Готлоб, Формальный язык, Формальная система, Формальная верификация, Формальная логика, Формализация, Формализм (математика), Цинь (династия), Челпанов, Георгий Иванович, Шольц, Генрих, Электронно-вычислительная машина, Мышление, Математическая логика, Математика, Марк Туллий Цицерон, Маркин, Владимир Ильич, Мадхъямака, Маковельский, Александр Осипович, Милль, Джон Стюарт, Многозначная логика, Мо-цзы, Морган, Огастес де, Модальность (философия), Методология науки, Истина, Искусственный интеллект, Исламская философия, Идеализация, Интуиционизм, Информатика, Индуизм, Индуктивное умозаключение, Индийская философия, Закон тождества, Закон Клавия, Закон достаточного основания, Закон исключённого третьего, Закон противоречия, Законы де Моргана, Законы деления, Зенон Элейский, Бэкон, Фрэнсис, Бурлей, Вальтер, Буддизм, Буддийская философия, Буль, Джордж, Бродский, Иосиф Нусимович, Бажанов, Валентин Александрович, Вывод (рассуждение), Васильев, Николай Александрович (философ), Верификация, Вероятностная логика, Гуссерль, Эдмунд, Грот, Гаутама, Акшапада, Гипотеза, Горский, Дмитрий Павлович, Дхармакирти, Древняя Греция, Древнегреческая философия, Диалектическая логика, Дигнага, Динамическая логика (значения), Доказательство (логика), Дедуктивное умозаключение, Декарт, Рене, Деонтическая логика, Логицизм, Логическая семантика, Логическая операция, Логическое программирование, Логика, Логика в информатике, Логика второго порядка, Логика высказываний, Логика первого порядка, Логос, 1620 год, 1662 год, 870 год, 950 год. Развернуть индекс (104 больше) »
II век
Второй век длился с 101 по 200 годы по юлианскому календарю.
Новый!!: Логика и II век · Узнать больше »
IV век до н. э.
Без описания.
Новый!!: Логика и IV век до н. э. · Узнать больше »
V век до н. э.
Карта Греции и Малой Азии 431 год до н. э.
Новый!!: Логика и V век до н. э. · Узнать больше »
X век
Десятый (X) век — последний век первого тысячелетия, длился с 901 по 1000 годы по юлианскому календарю.
Новый!!: Логика и X век · Узнать больше »
XIII век
Тринадцатый (XIII) век длился с 1201 по 1300 годы по юлианскому календарю.
Новый!!: Логика и XIII век · Узнать больше »
XIV век
Четырнадцатый (XIV) век длился с 1301 по 1400 годы по юлианскому календарю.
Новый!!: Логика и XIV век · Узнать больше »
XIX век
Девятнадцатый (XIX) век длился с 1801 по 1900 год по григорианскому календарю.
Новый!!: Логика и XIX век · Узнать больше »
XX век
мини XX век (двадцатый век, 20 век, двадцатое столетие) — отрезок времени, продолжительностью 100 лет, с по.
Новый!!: Логика и XX век · Узнать больше »
Квантовая логика
Квантовая логика — раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории.
Новый!!: Логика и Квантовая логика · Узнать больше »
Квинтилиан
Марк Фабий Квинтилиан (Marcus Fabius Quintilianus, ок. 35, Каллагурис, совр., Испания — ок. 96) — римский ритор (учитель красноречия), автор «Наставлений оратору» (Institutio oratoria) — самого полного учебника ораторского искусства, дошедшего до нас от античности.
Новый!!: Логика и Квинтилиан · Узнать больше »
Китайская философия
200px Кита́йская филосо́фия (中国哲学) является частью восточной философии.
Новый!!: Логика и Китайская философия · Узнать больше »
Классификация
Классифика́ция, также классифици́рование (от classis «разряд» + facere «делать») — «особый случай применения логической операции деления объёма понятия, представляющий собой некоторую совокупность делений (деление некоторого на, деление этих видов и так далее)».
Новый!!: Логика и Классификация · Узнать больше »
Когнитивистика
Когнитиви́стика, когнити́вная нау́ка (cognitio «познание») — междисциплинарное научное направление, объединяющее теорию познания, когнитивную психологию, нейрофизиологию, когнитивную лингвистику, невербальную коммуникацию и теорию искусственного интеллекта.
Новый!!: Логика и Когнитивистика · Узнать больше »
Когнитивная психология
Когнитивная психология (cognitio «знание») — раздел психологии, изучающий когнитивные, то есть познавательные процессы человеческой психики.
Новый!!: Логика и Когнитивная психология · Узнать больше »
Комбинаторная логика
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений.
Новый!!: Логика и Комбинаторная логика · Узнать больше »
Конструктивная математика
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Новый!!: Логика и Конструктивная математика · Узнать больше »
Конфуций
1922'') Конфу́ций (реже, латинизировано как Confucius; собственные имена 孔丘 Кун Цю и 孔仲尼 Кун Чжунни, ок., близ —) — древний мыслитель и философ Китая.
Новый!!: Логика и Конфуций · Узнать больше »
Концептуальная схема
Концептуа́льная схе́ма — семантическая сеть из взаимосвязанных по определенным правилам понятий (а не единичное понятие) и концепций.
Новый!!: Логика и Концептуальная схема · Узнать больше »
Психологизм
Психологи́зм — тенденция в философии и гуманитарном знании к объяснению духовных явлений и идеальных сущностей работой индивидуального или коллективного сознания.
Новый!!: Логика и Психологизм · Узнать больше »
Прагматизм
Прагматизм (от πράγμα, родительный падеж πράγματος — «дело, действие») — философское течение, базирующееся на практике как критерии истины и смысловой значимости.
Новый!!: Логика и Прагматизм · Узнать больше »
Признак
При́знак в математике, логике — достаточное условие для принадлежности объекта некоторому классу.
Новый!!: Логика и Признак · Узнать больше »
Парадокс
вечного двигателя не существует. Парадо́кс (от παράδοξος — неожиданный, странный от παρα-δοκέω — кажусь) — ситуация (высказывание, утверждение, суждение или вывод), которая может существовать в реальности, но не имеет логического объяснения.
Новый!!: Логика и Парадокс · Узнать больше »
Паралогизм
Паралоги́зм (παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Новый!!: Логика и Паралогизм · Узнать больше »
Париж
Пари́ж (Paris) — город, столица Франции, административный центр региона Иль-де-Франс.
Новый!!: Логика и Париж · Узнать больше »
Парменид
Пармени́д (Παρμενίδης) из Эле́и (ок. 540 до н. э. //Большая советская энциклопедия или 515 до н. э. // Энциклопедия античных писателей — ок. 470 до н. э.) — древнегреческий философ, основатель и главный представитель Элейской школыhttp://www.philosophia.copula.ru/02_Works/027(0)_Klassicheskie_uchenia_i_teksty_v_kurse_philosophii_/03_I.htm.
Новый!!: Логика и Парменид · Узнать больше »
Пирс, Чарльз
Чарльз Пирс.
Новый!!: Логика и Пирс, Чарльз · Узнать больше »
Платон
Плато́н (Πλάτων, между 429 и 427 до н. э., Афины — 347 до н. э., там же) — древнегреческий философ, ученик Сократа, учитель Аристотеля.
Новый!!: Логика и Платон · Узнать больше »
Понятие
Поня́тие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений; мысль или система мыслей, выделяющая и обобщающая предметы некоторого класса по общим и в своей совокупности специфическим для них признакам.
Новый!!: Логика и Понятие · Узнать больше »
Органон (Аристотель)
Органо́н, правильно О́рганон — традиционное название философских сочинений Аристотеля, посвящённых логике.
Новый!!: Логика и Органон (Аристотель) · Узнать больше »
Орлов, Иван Ефимович
Ива́н Ефи́мович Орло́в (1 октября 1886, Галич — 1936) — русский философ, предшественник релевантной и других подструктурных логик, пионер параконсистентного направления в логике, промышленный химик.
Новый!!: Логика и Орлов, Иван Ефимович · Узнать больше »
Обобщение понятий
Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции.
Новый!!: Логика и Обобщение понятий · Узнать больше »
Оккам, Уильям
Уи́льям О́ккам (или Оккамский) (William of Ockham; ок., Оккам, графство Суррей, Англия —,, герцогство Бавария, Священная Римская империя) — английский философ, францисканский монах из Оккама, маленькой деревни в графстве Суррей в Южной Англии.
Новый!!: Логика и Оккам, Уильям · Узнать больше »
Опровержение
Опровержение — рассуждение, направленное против тезиса с целью установления факта его ложности (иногда недоказанности).
Новый!!: Логика и Опровержение · Узнать больше »
Определение (логика)
Определе́ние, дефини́ция (definitio — предел, граница) — логическая процедура придания строго фиксированного смысла терминам языка.
Новый!!: Логика и Определение (логика) · Узнать больше »
Ассоциация
Ассоциация (от associare — соединять) — объединение.
Новый!!: Логика и Ассоциация · Узнать больше »
Аристотель
Аристо́тель (Ἀριστοτέλης; 384 год до н. э., Стагира, Фракия — 322 год до н. э., Халкида, остров Эвбея) — древнегреческий философ.
Новый!!: Логика и Аристотель · Узнать больше »
Арно, Антуан (сын)
Антуан Арно́ (Antoine Arnauld; 16 февраля 1612, Париж — 8 августа 1694, Брюссель) — французский теолог, философ, логик и математик.
Новый!!: Логика и Арно, Антуан (сын) · Узнать больше »
Абстракция
Абстра́кция (abstractio — отвлечение) — теоретическое обобщение как результат абстрагирования.
Новый!!: Логика и Абстракция · Узнать больше »
Автоматическое доказательство
Автоматическое доказательство (Automated Theorem Proving, ATP, а также Automated deduction) — доказательство, реализованное программно.
Новый!!: Логика и Автоматическое доказательство · Узнать больше »
Адаптация
Адапта́ция (adapto «приспособляю») — приспособление строения и функций организма, его органов и клеток к условиям внешней среды.
Новый!!: Логика и Адаптация · Узнать больше »
Аль-Фараби
Абу Наср Мухаммад ибн Мухаммад аль-Фараби, употребительное сокращение имени — аль-Фараби (в латинизированной форме — Alpharabius; 870 или 872, Фараб, совр. Казахстан — между 14 декабря 950 и 12 января 951, Дамаск, совр. Сирия) — философ, математик, теоретик музыки, учёный Востока.
Новый!!: Логика и Аль-Фараби · Узнать больше »
Альберт Саксонский
Альберт Саксонский (Albertus de Saxonia;, ок. 1316 —, 8 июля 1390) — средневековый философ, логик,, и естествоиспытатель.
Новый!!: Логика и Альберт Саксонский · Узнать больше »
Алгоритмическая разрешимость
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
Новый!!: Логика и Алгоритмическая разрешимость · Узнать больше »
Антиномия
Антино́мия (ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов.
Новый!!: Логика и Антиномия · Узнать больше »
Аналитическая философия
Аналити́ческая филосо́фия (Analytic philosophy) — англо-американская традиция философии, получившая широкое распространение в середине XX века.
Новый!!: Логика и Аналитическая философия · Узнать больше »
Аналогия
Анало́гия (ἀναλογία «пропорция, соответствие, соразмерность») — подобие, равенство отношений; сходство предметов, явлений, процессов, величин и т. п.
Новый!!: Логика и Аналогия · Узнать больше »
Ньяя-сутры
Ньяя-сутры — базовый текст индийской ортодоксальной философской школы ньяи.
Новый!!: Логика и Ньяя-сутры · Узнать больше »
Нагарджуна
Нагарджу́на (नागार्जुन, — «серебряный змей»; 龍樹, Lóngshù Луншу; 龍樹, Рю:дзю; 용수, Ёнъсу; నాగార్జునా) — выдающийся индийский мыслитель, развивший идею о «пустотности» дхарм; основатель буддийской школы Мадхъямаки и ведущая фигура в буддизме Махаяны.
Новый!!: Логика и Нагарджуна · Узнать больше »
Николь, Пьер (богослов)
Пьер Николь (Pierre Nicole; 1625—1695) — французский моралист и богослов.
Новый!!: Логика и Николь, Пьер (богослов) · Узнать больше »
Нормативная наука
Нормативные науки — это науки, которые не объясняют то, что есть, а задают норму поведения или деятельности.
Новый!!: Логика и Нормативная наука · Узнать больше »
Новый органон
Обложка издания 1650 года Новый Органон (Novum Organum scientiarum) — трактат английского философа, основоположника эмпиризма Фрэнсиса Бэкона, излагающий новое понимание сути науки.
Новый!!: Логика и Новый органон · Узнать больше »
Неформальная логика
Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке.
Новый!!: Логика и Неформальная логика · Узнать больше »
Неклассическая логика
Неклассические логики (иногда также используется термин «альтернативные логики») — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины.
Новый!!: Логика и Неклассическая логика · Узнать больше »
Непротиворечивость
Непротиворечивость — свойство формальной системы, заключающееся в невыводимости из неё противоречия.
Новый!!: Логика и Непротиворечивость · Узнать больше »
Руниверс
Руниверс — сайт о российской истории и культуре.
Новый!!: Логика и Руниверс · Узнать больше »
Суждение
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо.
Новый!!: Логика и Суждение · Узнать больше »
Стоицизм
Зенон Китийский Стоици́зм — философская школа, возникшая в Афинах ок.
Новый!!: Логика и Стоицизм · Узнать больше »
Средние века
Средние века Европа в 1328 году Европа в 1430-е Европа в 1470-е Сре́дние века́ или Средневеко́вье — период истории Европы и Ближнего Востока, следующий после Античности и предшествующий Новому времени.
Новый!!: Логика и Средние века · Узнать больше »
Средневековая философия
Средневеко́вая филосо́фия, филосо́фия Средневеко́вья — исторический этап развития западной философии, охватывающий период с V по XV века.
Новый!!: Логика и Средневековая философия · Узнать больше »
Силлогистические теории
Силлогистика (συλλογιστικός умозаключающий) — теория логического вывода, исследующая умозаключения, состоящие из т. н.
Новый!!: Логика и Силлогистические теории · Узнать больше »
Софистика
Софи́стика (от мудрость; софия).
Новый!!: Логика и Софистика · Узнать больше »
Софизм
Софи́зм (от σόφισμα, «мастерство, умение, хитрая выдумка, уловка») — можно подразделить на.
Новый!!: Логика и Софизм · Узнать больше »
Сократ
Сокра́т (Σωκράτης; 470/469 г. до н. э., Афины — 399 г. до н. э., там же) — древнегреческий философ, учение которого знаменует поворот в философии — от рассмотрения природы и мира к рассмотрению человека.
Новый!!: Логика и Сократ · Узнать больше »
Спирин, Владимир Семёнович
Влади́мир Семёнович Спи́рин ( —) — советский и российский китаевед, историк философии.
Новый!!: Логика и Спирин, Владимир Семёнович · Узнать больше »
Секвенциальная логика
Секвенциальная логика — это логика памяти цифровых устройств.
Новый!!: Логика и Секвенциальная логика · Узнать больше »
Семантика
Сема́нтика (от σημαντικός «обозначающий») — раздел лингвистики, изучающий смысловое значение единиц языка.
Новый!!: Логика и Семантика · Узнать больше »
Трансцендентальная логика
Трансцендентальная логика (Transzendentale Logik) — учение Канта о чистых правилах и понятиях рассудка, которые априори определяют наш опыт.
Новый!!: Логика и Трансцендентальная логика · Узнать больше »
Трансдуктивное умозаключение
Трансдуктивное умозаключение (traductio — перемещение) — умозаключение, в котором посылки и заключение (вывод) являются суждениями одинаковой степени общности, т.е., когда вывод идёт от знания определённой степени общности к новому знанию, но той же степени общности.
Новый!!: Логика и Трансдуктивное умозаключение · Узнать больше »
Троичная логика
Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году.
Новый!!: Логика и Троичная логика · Узнать больше »
Таблица истинности
Таблица истинности — это таблица, описывающая логическую функцию.
Новый!!: Логика и Таблица истинности · Узнать больше »
Тавтология (логика)
Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.
Новый!!: Логика и Тавтология (логика) · Узнать больше »
Теория
Тео́рия (θεωρία — рассмотрение, исследование) — учение, система идей или принципов.
Новый!!: Логика и Теория · Узнать больше »
Теория аргументации
Аргументационная теория, или аргументация, является междисциплинарным исследованием о том, как выводы могут быть достигнуты через череду логических рассуждений; то есть, претензии, основанные, крепко или нет, на предпосылках.
Новый!!: Логика и Теория аргументации · Узнать больше »
Фреге, Фридрих Людвиг Готлоб
Фридрих Людвиг Готлоб Фреге (Friedrich Ludwig Gottlob Frege, 8 ноября 1848, Висмар — 26 июля 1925, Бад-Клайнен) — немецкий логик, математик и философ.
Новый!!: Логика и Фреге, Фридрих Людвиг Готлоб · Узнать больше »
Формальный язык
Синтаксическое подразделение в рамках формальной системы. Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом.
Новый!!: Логика и Формальный язык · Узнать больше »
Формальная система
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Новый!!: Логика и Формальная система · Узнать больше »
Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.
Новый!!: Логика и Формальная верификация · Узнать больше »
Формальная логика
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил.
Новый!!: Логика и Формальная логика · Узнать больше »
Формализация
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Новый!!: Логика и Формализация · Узнать больше »
Формализм (математика)
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем.
Новый!!: Логика и Формализм (математика) · Узнать больше »
Цинь (династия)
Династия Цинь — китайская династия, правившая всем Китаем между династиями Чжоу и Хань.
Новый!!: Логика и Цинь (династия) · Узнать больше »
Челпанов, Георгий Иванович
Гео́ргий Ива́нович Челпа́нов (Мариуполь — 13 февраля 1936, Москва) — русский философ, логик и психолог.
Новый!!: Логика и Челпанов, Георгий Иванович · Узнать больше »
Шольц, Генрих
Ге́нрих Шольц (Heinrich Scholz; 17 декабря 1884, Берлин — 30 декабря 1956, Мюнстер) — немецкий философ, профессор в Мюнстере (с 1928), логический формалист (логистик), также известный трудами по метафизике и теологии.
Новый!!: Логика и Шольц, Генрих · Узнать больше »
Электронно-вычислительная машина
Электро́нно-вычисли́тельная маши́на (сокращённо ЭВМ) — комплекс технических, аппаратных и программных средств, предназначенных для автоматической обработки информации, вычислений, автоматического управления.
Новый!!: Логика и Электронно-вычислительная машина · Узнать больше »
Мышление
Мыслитель». Мышле́ние — это познавательная деятельность человека.
Новый!!: Логика и Мышление · Узнать больше »
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Новый!!: Логика и Математическая логика · Узнать больше »
Математика
Рафаэля Матема́тика (μᾰθημᾰτικά. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке. Математика не относится к естественным наукам, но широко используется в них как для точной формулировки их содержания, так и для получения новых результатов. Математика — фундаментальная наука, предоставляющая (общие) языковые средства другим наукам; тем самым она выявляет их структурную взаимосвязь и способствует нахождению самых общих законов природы.
Новый!!: Логика и Математика · Узнать больше »
Марк Туллий Цицерон
Марк Ту́ллий Цицеро́н (Marcus Tullius Cicerō; 3 января 106 до н. э., Арпинум — 7 декабря 43 до н. э., Формия) — древнеримский политический деятель, оратор и философ.
Новый!!: Логика и Марк Туллий Цицерон · Узнать больше »
Маркин, Владимир Ильич
Влади́мир Ильи́ч Ма́ркин (род. 9 мая 1958, Севастополь, УССР, СССР) — российский,, (1997),, профессор МГУ имени М. В. Ломоносова (2001), заместитель декана Философского факультета МГУ имени М. В. Ломоносова по научной работе (2001), с 2003 г.
Новый!!: Логика и Маркин, Владимир Ильич · Узнать больше »
Мадхъямака
Мадхъя́мака, или мадхья́мика (मध्यमक, IAST Madhyamaka ~ «срединность», 中觀宗) — одно из двух основных (наряду с йогачарой) философских направлений буддизма махаяны.
Новый!!: Логика и Мадхъямака · Узнать больше »
Маковельский, Александр Осипович
Алекса́ндр О́сипович Макове́льский (Гродно — 16 декабря 1969, Баку) — русский и советский и историк, член-корреспондент АН СССР (1946), академик АН Азербайджана (1949).
Новый!!: Логика и Маковельский, Александр Осипович · Узнать больше »
Милль, Джон Стюарт
Джон Стю́арт Милль (John Stuart Mill; 20 мая 1806 года, Лондон — 8 мая 1873 года, Авиньон, Франция) — британский философ, социолог, экономист и политический деятель.
Новый!!: Логика и Милль, Джон Стюарт · Узнать больше »
Многозначная логика
Многозна́чная ло́гика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний.
Новый!!: Логика и Многозначная логика · Узнать больше »
Мо-цзы
Мо Ди (墨翟), или Мо-цзы (墨子; ок. 470 — ок. 391 до н. э.) — древнекитайский философ, разработавший учение о всеобщей, беспристрастной любви и государственном консеквенциализме.
Новый!!: Логика и Мо-цзы · Узнать больше »
Морган, Огастес де
Огастес (Август) де Мо́рган (Augustus de Morgan,,, Индия —, Лондон) — шотландский математик и логик, профессор математики в Университетском колледже Лондона (1828—1831, 1836—1866).
Новый!!: Логика и Морган, Огастес де · Узнать больше »
Модальность (философия)
Модальность (modus — способ, вид) — способ, вид бытия или события; категории модальности: возможность, действительность, необходимость; модальный — обусловленный обстоятельствами; модальный анализ — исследование модальности; используется в логике, психологии, лингвистике, программировании, музыке и др.
Новый!!: Логика и Модальность (философия) · Узнать больше »
Методология науки
Методоло́гия нау́ки, в традиционном понимании, — это учение о методах и процедурах научной деятельности, а также раздел общей теории познания (гносеологии), в особенности теории научного познания (эпистемологии) и философии науки.
Новый!!: Логика и Методология науки · Узнать больше »
Истина
И́стина — философская гносеологическая характеристика мышления в его отношении к своему предмету.
Новый!!: Логика и Истина · Узнать больше »
Искусственный интеллект
Иску́сственный интелле́кт (ИИ; artificial intelligence, AI).
Новый!!: Логика и Искусственный интеллект · Узнать больше »
Исламская философия
Исламская философия — совокупность философских учений, разрабатывающихся в эпоху Средневековья мыслителями народов Востока, принявших ислам и пользовавшихся в основном арабским языком (реже — персидским языком).
Новый!!: Логика и Исламская философия · Узнать больше »
Идеализация
Идеализа́ция в обыденном смысле — это понятие, означающее представление о чём-либо (или о ком-либо) в более совершенном виде, чем это есть на самом деле.
Новый!!: Логика и Идеализация · Узнать больше »
Интуиционизм
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности».
Новый!!: Логика и Интуиционизм · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Логика и Информатика · Узнать больше »
Индуизм
Индуи́зм — одна из индийских религий, которую часто описывают как совокупность религиозных традиций и философских школ, возникших на Индийском субконтиненте и имеющих общие черты.
Новый!!: Логика и Индуизм · Узнать больше »
Индуктивное умозаключение
дедукцией. Инду́кция (inductio — наведение, от inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему.
Новый!!: Логика и Индуктивное умозаключение · Узнать больше »
Индийская философия
Инди́йская филосо́фия — совокупность философских теорий всех индийских мыслителей, древних и современных, индусов и неиндусов, теистов и атеистов.
Новый!!: Логика и Индийская философия · Узнать больше »
Закон тождества
Зако́н то́ждества — принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории).
Новый!!: Логика и Закон тождества · Узнать больше »
Закон Клавия
Закон Клавия — логический закон, связывающий импликацию («если, то») и отрицание.
Новый!!: Логика и Закон Клавия · Узнать больше »
Закон достаточного основания
Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истиннымГорский Д. П. Таванец П. В. Логика.
Новый!!: Логика и Закон достаточного основания · Узнать больше »
Закон исключённого третьего
Закон исключённого третьего (tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых формулирует отрицание другого, не могут быть одновременно ложными.
Новый!!: Логика и Закон исключённого третьего · Узнать больше »
Закон противоречия
Закон противоречия (закон непротиворечия) — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными.
Новый!!: Логика и Закон противоречия · Узнать больше »
Законы де Моргана
Диаграммы Венна, описывающие законы де Моргана Представление правил де Моргана через логические элементы Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары логических операций при помощи логического отрицания.
Новый!!: Логика и Законы де Моргана · Узнать больше »
Законы деления
Законы деления (дихотомия) логики созданы для классификации и систематизации разных понятий.
Новый!!: Логика и Законы деления · Узнать больше »
Зенон Элейский
Зено́н Эле́йский (Элеатский; Ζήνων ὁ Ἐλεάτης; около 490 до н. э.; Элея, Лукания, — около 430 до н. э.) — древнегреческий философ, ученик Парменида, представитель Элейской школы.
Новый!!: Логика и Зенон Элейский · Узнать больше »
Бэкон, Фрэнсис
Фрэ́нсис Бэ́кон (Francis Bacon,; ( —) — английский философ, историк, политик, основоположник эмпиризма и английского материализма. Один из первых крупных философов Нового времени, Бэкон был сторонником научного подхода и разработал новый, антисхоластический метод научного познания. Догматической дедукции схоластов он противопоставил индуктивный метод, основанный на рациональном анализе опытных данных. Главные произведения: «Опыты, или наставления нравственные и политические», «О достоинстве и приумножении наук», «Новый Органон», «Новая Атлантида». С 20 лет заседал в парламенте. Крупный государственный деятель при короле Якове I, благоволившем Бэкону и даже доверившем ему управлять государством на время своего отъезда в Шотландию. С 1617 года лорд-хранитель Большой печати, затем лорд-канцлер и пэр Англии — барон Веруламский и виконт Сент-Олбанский. В 1621 году привлечён к суду по обвинению во взяточничестве, приговорён к заключению в Тауэр, выплате 40 тысяч фунтов штрафа, а также лишён права занимать государственные должности, участвовать в заседаниях парламента и быть при дворе. Однако за свои заслуги был помилован королём Яковом I и через два дня выпущен из Тауэра, избежав более длительного заключения; от штрафа его также освободили. Бэкон питал надежду вернуться в большую политику, однако высшая власть имела другое мнение, и государственная деятельность его была закончена. Он удалился в своё поместье и последние годы жизни посвятил исключительно научной и литературной работе.
Новый!!: Логика и Бэкон, Фрэнсис · Узнать больше »
Бурлей, Вальтер
Вальтер Бурлей (Уолтер Бурлей; Walter Burley; 1275—1344) — средневековый английский философ и логик.
Новый!!: Логика и Бурлей, Вальтер · Узнать больше »
Буддизм
Греко-буддийское искусство, Гандхара (Токийский национальный музей) Будди́зм (बुद्ध धर्म,; пали बुद्ध धम्म, buddha dhamma, «Учение Просветлённого»; кит. 佛教 fójiào) — религиозно-философское учение (дхарма) о духовном пробуждении (бодхи), возникшее в середине 1-го тысячелетия до н. э. в Древней Индии.
Новый!!: Логика и Буддизм · Узнать больше »
Буддийская философия
Будди́йская филосо́фия — система рационально обоснованных взглядов на мир, человека и познание, сложившаяся в рамках разных направлений и школ буддизма — статья в Новой философской энциклопедии.
Новый!!: Логика и Буддийская философия · Узнать больше »
Буль, Джордж
Джордж Буль (George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик.
Новый!!: Логика и Буль, Джордж · Узнать больше »
Бродский, Иосиф Нусимович
Ио́сиф Нусимович Бро́дский (19 ноября 1924, Харьков — 7 декабря 1994, Санкт-Петербург) — советский и российский логик.
Новый!!: Логика и Бродский, Иосиф Нусимович · Узнать больше »
Бажанов, Валентин Александрович
Валентин Алексáндрович Бажáнов (род. 10 января 1953, Казань) — советский и российский философ, доктор философских наук, заслуженный деятель науки Российской Федерации.
Новый!!: Логика и Бажанов, Валентин Александрович · Узнать больше »
Вывод (рассуждение)
Вывод (conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям.
Новый!!: Логика и Вывод (рассуждение) · Узнать больше »
Васильев, Николай Александрович (философ)
Никола́й Алекса́ндрович Васи́льев (29 июня 1880, Казань — 31 декабря 1940) — российский и советский философ, этик, психолог, историк, поэт и переводчик; учёный и педагог, предвосхитивший развитие системы воображаемой (неаристотелевой) и основных разделов современной неклассической логики.
Новый!!: Логика и Васильев, Николай Александрович (философ) · Узнать больше »
Верификация
В различных сферах деятельности человека под верифика́цией (от verum — «истинный» и facere — «делать») могут подразумеваться разные понятия, например.
Новый!!: Логика и Верификация · Узнать больше »
Вероятностная логика
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному.
Новый!!: Логика и Вероятностная логика · Узнать больше »
Гуссерль, Эдмунд
Эдмунд Густав Альбрехт Гу́ссерль (Edmund Gustav Albrecht Husserl; 8 апреля 1859, Просниц, Моравия (Австрия) — 27 апреля 1938, Фрайбург-в-Брайсгау) — немецкий философ, основатель феноменологии.
Новый!!: Логика и Гуссерль, Эдмунд · Узнать больше »
Грот
Ануя, обиталище древнего человека. Грот (grotte от grotta) — поверхностная форма рельефа, неглубокая горизонтальная пещера со сводчатым потолком и широким входом.
Новый!!: Логика и Грот · Узнать больше »
Гаутама, Акшапада
Акшапада Гаутама (VI век до н. э.) — индийский философ и логик, автор Ньяя-сутры.
Новый!!: Логика и Гаутама, Акшапада · Узнать больше »
Гипотеза
Гипо́теза (ὑπόθεσις «предположение» от ὑπό «снизу, под» + θέσις «тезис») — предположение или догадка; утверждение, предполагающее доказательство, в отличие от аксиом, постулатов, не требующих доказательств.
Новый!!: Логика и Гипотеза · Узнать больше »
Горский, Дмитрий Павлович
Дмитрий Павлович Горский (31 декабря 1920, Рыбинск, РСФСР — 16 августа 1994, Москва, Россия) — советский и российский учёный, специалист по логике и философии.
Новый!!: Логика и Горский, Дмитрий Павлович · Узнать больше »
Дхармакирти
Дхармаки́рти (धर्मकीर्ति,, тиб. ཆོས་ཀྱི་གྲགས་པ་ букв. «Сияние Закона»; 法稱) — индийский философ VII века, буддийский монах, принадлежащий школе Йогачары, основатель индийской буддийской логики, развивший идеи Дигнаги.
Новый!!: Логика и Дхармакирти · Узнать больше »
Древняя Греция
Дре́вняя Гре́ция — античная греческая цивилизация на юго-востоке Европы, наивысший расцвет которой пришёлся на V—IV вв.
Новый!!: Логика и Древняя Греция · Узнать больше »
Древнегреческая философия
Древнегре́ческая филосо́фия — философия, возникшая в Древней Греции.
Новый!!: Логика и Древнегреческая философия · Узнать больше »
Диалектическая логика
Диалектическая логика — философский раздел марксизма, систематически развёрнутое изложение научно-теоретического мышления («диалектики как логики»).
Новый!!: Логика и Диалектическая логика · Узнать больше »
Дигнага
Дигнага (दिग्नाग; (mahā-)dignāga, dignāga; ཕོགས་ཀྱི་གླང་པོ། — Phrogs-kyi gLang-po; 陳那 — Чэньна, жил приблизительно 480—540) — индийский мыслитель, буддийский монах, принадлежащий школе йогачара, основатель индийской буддийской логики.
Новый!!: Логика и Дигнага · Узнать больше »
Динамическая логика (значения)
Динамическая логика.
Новый!!: Логика и Динамическая логика (значения) · Узнать больше »
Доказательство (логика)
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ним суждений.
Новый!!: Логика и Доказательство (логика) · Узнать больше »
Дедуктивное умозаключение
индукцией и дедукцией. Деду́кция (deductio — сокращение, снижение) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего.
Новый!!: Логика и Дедуктивное умозаключение · Узнать больше »
Декарт, Рене
Рене́ Дека́рт (René Descartes, Renatus Cartesius — Картезий; 31 марта 1596, Лаэ (провинция Турень), ныне Декарт (департамент Эндр и Луара) — 11 февраля 1650, Стокгольм) — французский философ,,, и физиолог, создатель аналитической геометрии и современной алгебраической символики, автор метода радикального сомнения в философии, механицизма в физике, предтеча рефлексологии.
Новый!!: Логика и Декарт, Рене · Узнать больше »
Деонтическая логика
Деонти́ческая ло́гика (от δέον — долг и логика; логика норм, нормативная логика) — раздел модальной логики.
Новый!!: Логика и Деонтическая логика · Узнать больше »
Логицизм
Логицизм — одно из основных направлений математики и философии математики, ставящее целью обосновать математику путём сведения её исходных понятий к понятиям логики.
Новый!!: Логика и Логицизм · Узнать больше »
Логическая семантика
Логическая семантика Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ними объектам и выражаемому ними содержанию.
Новый!!: Логика и Логическая семантика · Узнать больше »
Логическая операция
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих.
Новый!!: Логика и Логическая операция · Узнать больше »
Логическое программирование
Логи́ческое программи́рование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.
Новый!!: Логика и Логическое программирование · Узнать больше »
Логика
гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию. Ло́гика (λογική — «наука о правильном мышлении», «способность к рассуждению» от λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке.
Новый!!: Логика и Логика · Узнать больше »
Логика в информатике
Логика в информатике — это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте.
Новый!!: Логика и Логика в информатике · Узнать больше »
Логика второго порядка
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами.
Новый!!: Логика и Логика второго порядка · Узнать больше »
Логика высказываний
Логика высказываний, или пропозициональная логика (propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения.
Новый!!: Логика и Логика высказываний · Узнать больше »
Логика первого порядка
Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
Новый!!: Логика и Логика первого порядка · Узнать больше »
Логос
Ло́гос (от λόγος «слово; мысль, смысл, понятие; число») — термин древнегреческой философии, означающий одновременно «слово» (высказывание, речь) и «понятие» (суждение, смысл).
Новый!!: Логика и Логос · Узнать больше »
1620 год
Без описания.
Новый!!: Логика и 1620 год · Узнать больше »
1662 год
Без описания.
Новый!!: Логика и 1662 год · Узнать больше »
870 год
Без описания.
Новый!!: Логика и 870 год · Узнать больше »
950 год
Без описания.
Новый!!: Логика и 950 год · Узнать больше »
Перенаправления здесь:
Основные формально логические законы, Законы логики, Логик, Логика (философия), Логические законы, Логичность.
