Портал:Логика
| Портал | Лучшие статьи | Проект | Обсуждение проекта |
Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.
Избранная статья
Бертран Рассел писал, что апории Зенона «в той или иной форме затрагивают основания почти всех теорий пространства, времени и бесконечности, предлагавшихся с его времени до наших дней». Апории Зенона обсуждаются более двух тысячелетий, им посвящены сотни исследований. Научные дискуссии, вызванные рассуждениями Зенона, существенно углубили понимание таких фундаментальных понятий, как роль дискретного и непрерывного в природе, адекватность физического движения и его математической модели и др.
Цитата дня
Логика — это нравственность мысли и речи.Ян Лукасевич
Избранное изображение
Статьи
Математическая логика
Список статей по математической логике.
Логика высказываний. Алгебра логики. Аксиома. Математическая индукция. Квантор. Круги Эйлера. Отношение. Таблица истинности. Закон двойного отрицания. Закон исключённого третьего. Закон противоречия. Формальный язык. Теория моделей. Теория множеств. Множество. Мощность множества. Теория типов. Теория рекурсии. Алгоритм. Теория доказательств. Метаматематика. Математический конструктивизм. Автоматическое доказательство теорем.
Философские аспекты логики
Категория:Философская логика
Диалектика. Диалектическая логика. Софистика. Антиномия. Антитезис. Априори. Денотат. Достоверность. Знак. Интенсионал. Категорический силлогизм. Категория. Конкретное. Концептуализм. Ложь. Метаязык. Модус. Модус простого силлогизма. Номинализм. Объём понятия. Определение. Перформатив. Понятие. Предикативность. Предикация. Противоречие. Референт. Референция. Сигнификат. Смысл. Спекуляция. Суждение. Тождество. Трансцендентальная логика. Универсалия. Экстенсионал. Энтимема. Эристика.
Разделы логики и приложения
Дескрипционная логика. Игровая логика. Многоагентная система. Экзистенциальные графы. Нечёткая логика. Эпистемическая логика. Интуиционистская логика. Логика Гюнтера. Классическая логика. Логика высшего порядка. Модальная логика. Многозначная логика. Параконсистентная логика. Релевантная логика. Традиционная логика.
Логики
Список логиков.
Аристотель (384—322 гг. до н. э.) • Филон из Мегары (IV—III в. до н. э.) • Хрисипп (281—208 гг. до н. э.) • Цицерон (106-43 гг. до н. э.) • Боэций (475—524) • Пьер Абеляр (1079—1142) • Ибн Рушд (1126—1198) • Уильям из Шервуда (1200—1266) • Дунс Скот (1266—1308) • Уильям Оккам (1285—1347) • Жан Буридан (1300—1358) • Лейбниц (1646—1716) • Готфрид Плуке (1716—1790) • Георг Гегель (1770—1831) •Артур Шопенгауэр (1788—1860) • Огастес де Морган (1806—1871) • Джордж Буль (1815—1864) • Чарльз Пирс (1839—1914) • Эрнст Шрёдер (1841—1902) • Фридрих Фреге (1848—1925) • Джузеппе Пеано (1858—1932) • Давид Гильберт (1862—1943) • Бертран Рассел (1872—1970) • Ян Лукасевич (1878—1956) • Генри Шеффер (1882—1964) • Людвиг Витгенштейн (1889—1951) • Рудольф Карнап (1891—1970) • Аренд Гейтинг (1898—1980) • Готхард Гюнтер (1900—1984) • Альфред Тарский (1901—1983) • Юзеф Мария Бохеньский (1902—1995) • Алонзо Чёрч (1903—1995) • Станислав Яськовский (1906—1965) • Курт Гёдель (1906—1978) • Жак Эрбран (1908—1931) • Эверт Бет (1908—1964) • Уильям Куайн (1908—2000) • Клод Шеннон (1916—2001) • Георг фон Вригт (1916—2003) • Рэймонд Смаллиан (* 1919) • Карел Берка (* 1923) • Уэсли Сэлмон (1925—2001) • Яаакко Хинтикка (* 1929) • Джон Робинсон (* 1930) • Сол Крипке (* 1940)
Статьи к удалению
- Пингин, Артём Александрович (обсуждение)
- Ратсма, Мидас (обсуждение)
- Бесконечная мощность (обсуждение)
- Чемпионат России по заочной игре в русские шашки среди мужчин 2003—2004 (обсуждение)
- Лично-командный чемпионат России по международным шашкам среди женщин 2007 (обсуждение)
- Каем, Юрий Михайлович (обсуждение)
- Kallisto (шашечная программа) (обсуждение)
- Ван Мил, Йохан (обсуждение)
- Топологическая семантика (обсуждение)
- CHESS (динамический анализатор) (обсуждение)
- Пэн Сюнцзянь (обсуждение)
- Ткачев, Александр Васильевич (шахматист) (обсуждение)
- Пранав Ананд (обсуждение)
- Тайлон, Брайс (обсуждение)
- Салов, Сергей Александрович (обсуждение)
- Леон Люк Мендонка (обсуждение)
- Агамалиев, Джамиль (обсуждение)
- Агарагимов, Джахангир Агабаба оглы (обсуждение)
- Чемпионат Дании по шахматам 1938 (обсуждение)
- Макаров, Аркадий Александрович (обсуждение)
- Командный чемпионат России по международным шашкам среди мужчин 2003 (обсуждение)
- Командный чемпионат России по международным шашкам среди мужчин 2013 (быстрая программа) (обсуждение)
- Лично-командный чемпионат России по международным шашкам 2007 (обсуждение)
- Лично-командный чемпионат России по международным шашкам среди мужчин 2002 (обсуждение)
- Лично-командный чемпионат России по международным шашкам среди мужчин 2007 (обсуждение)
- Кубок Америки по шахматам 2022 (обсуждение)
- Простой тип (обсуждение)
- Медвежьи шахматы (обсуждение)
- Шахбокс (обсуждение)
- Матус, Владимир Павлович (обсуждение)
- Дебрецен 1968 (обсуждение)
- Различие типа и токена (обсуждение)
- Суждение (математическая логика) (обсуждение)
- Phraser (обсуждение)
- Дебют Эльшада (обсуждение)
- Шайдуллина, Сандугач Сальмановна (обсуждение)
- Гиперпараметр (машинное обучение) (обсуждение)
- Ленский, Игорь Леонидович (обсуждение)
- Калиниченко, Николай Михайлович (обсуждение)
- Электроника ИМ-01 (обсуждение)
- Электроника ИМ-05 (обсуждение)
- Брызгалин, Кирилл Дмитриевич (обсуждение)
- Fish Fillets NG (обсуждение)
- Альтона 1872 (шахматный турнир) (обсуждение)
- Загадка (мультфильм) (обсуждение)
- Рахимзянов, Рафис Раифович (обсуждение)
- Филимонов, Андрей Дмитриевич (обсуждение)
- Коробков, Владимир Александрович (шашист) (обсуждение)
- Иванов, Кирилл Владимирович (обсуждение)
- Брусанов, Михаил Николаевич (обсуждение)
- Елина, Елена (обсуждение)
- Левин, Наум Львович (обсуждение)
- Анетбаев, Берик Ануарбекович (обсуждение)
- Маслов, Леонид Петрович (обсуждение)
- Чеснаускис, Антанас Альгимантас (обсуждение)
- Чукаев, Егор Сергеевич (обсуждение)
- Бененсонайте, Лилия (обсуждение)
- Розенталене, Илана (обсуждение)
- Шпикене, Нина (обсуждение)
- Гимн проходной пешке (шахматный этюд) (обсуждение)
- По умолчанию (обсуждение)
- Зак, Георгий Владимирович (обсуждение)
- Гасанов, Эльдар Мовсум оглы (обсуждение)
- Гутман, Геннадий Михайлович (обсуждение)
- Максимов, Дмитрий Иванович (обсуждение)
- Chess Life (обсуждение)
- Chess Monthly (обсуждение)
- Chess Player’s Chronicle (обсуждение)
- Берлинков, Борис Лазаревич (обсуждение)
- Поиск подстроки (обсуждение)
- Арзуманян, Георгий Сергеевич (обсуждение)
- Чемпионат России по шахматам 2000 (обсуждение)
- Чемпионат России по шахматам 2001 (обсуждение)
- Матч Китай — Россия 2010 (обсуждение)
- Фролов, Артур Владимирович (обсуждение)
- Дембо, Владимир Борисович (обсуждение)
- Ошибочная ладейная пешка (обсуждение)
- Цифровая юриспруденция (обсуждение)
- START-PROF (обсуждение)
- Гусев, Николай Николаевич (шахматист) (обсуждение)
- Пойковский 2000 (обсуждение)
- Пойковский 2008 (обсуждение)
- Пойковский 2009 (обсуждение)
- Пойковский 2010 (обсуждение)
- Пойковский 2011 (обсуждение)
- Пойковский 2012 (обсуждение)
- Пойковский 2013 (обсуждение)
- Пойковский 2014 (обсуждение)
- Пойковский 2018 (обсуждение)
- Пойковский 2019 (обсуждение)
- Код стука (обсуждение)
Новые статьи
Избранная личность
А́лан Мэ́тисон Тью́ринг (англ. Alan Mathison Turing; 23 июня 1912 — 7 июня 1954) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Кавалер Ордена Британской империи (1945), член Лондонского королевского общества (1951). Предложенная им в 1936 году абстрактная вычислительная «Машина Тьюринга», которую можно считать моделью компьютера общего назначения. позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований. Общепринято считать Алана Тьюринга отцом информатики и теории искусственного интеллекта.
Знаете ли вы, что…
- Истина может принимать значения от нуля до единицы.
- Хотя лотереи существуют уже тысячи лет, парадокс лотереи был сформулирован лишь в XX веке.
- Если бы два математика не сбросились по 50 фунтов стерлингов, один из величайших трудов по логике никогда бы не вышел в свет.
- Закон исключённого третьего — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными, одно из них необходимо истинно. Закон исключённого третьего является одним из основополагающих принципов современной математики. В народе говорят обычно «Третьего не дано».
- Парадокс лжеца: «То, что я утверждаю сейчас, ложно». Если это высказывание истинно, то оно ложно, и в то же время, если оно ложно, то истинно. Таким образом оно противоречит «закону исключённого третьего» в двоичной логике.
Категории
Как я могу помочь
- Участвуйте в проекте «Логика».
- В этом разделе Вы можете оставлять запросы на статьи по логике:
- Статьи к доработке: Статьи к доработке.
- Статьи к созданию: Статьи к созданию.
Проекты
Родственные порталы
