Портал:Логика

Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

править

Избранная статья

Зенон показывает ученикам двери к Истине и Лжи. Фреска в библиотеке Эскориала.

Апории Зенона (от др.-греч. ἀπορία, трудность) — внешне парадоксальные рассуждения на тему движения и множества, автором которых является древнегреческий философ Зенон Элейский (V век до н. э.). Современники упоминали 40 апорий Зенона, до нас дошли 9, из них наиболее известны 4, обсуждаемые в «Физике» Аристотеля (а также в комментариях Симпликия к этому труду).

Бертран Рассел писал, что апории Зенона «в той или иной форме затрагивают основания почти всех теорий пространства, времени и бесконечности, предлагавшихся с его времени до наших дней». Апории Зенона обсуждаются более двух тысячелетий, им посвящены сотни исследований. Научные дискуссии, вызванные рассуждениями Зенона, существенно углубили понимание таких фундаментальных понятий, как роль дискретного и непрерывного в природе, адекватность физического движения и его математической модели и др.

Архив

править

Цитата дня

Логика — это нравственность мысли и речи.Ян Лукасевич

править

Избранное изображение

Deep Blue — шахматный суперкомпьютер

править

Статьи

править

Статьи к удалению

править

Новые статьи

Руфицкая, Елена Всеволодовна

Хлусевич, Светлана Александровна

Хлусевич, Сергей Олегович

Шерих, Лидия Ивановна

Янгарбер, Арнольд Иосифович

Попов, Альберт Егорович

Чемпионат СССР по русским шашкам среди женщин 1937

Чемпионат СССР по русским шашкам среди женщин 1936

Покровский, Николай Валентинович

Норламо, Сарабелла

Зильберберг, Алик Самуилович

Лондон 2018 (шахматный турнир)

Павловский, Тадеуш (философ)

Intel Xe

Баят, Шохре

Вейк-ан-Зее 2023 (шахматный турнир)

Wiener Schachzeitung

Дом шахмат имени Тиграна Петросяна

Чемпионат мира по быстрым шахматам и блицу 2017

Чемпионат мира по быстрым шахматам и блицу 2019

править

Избранная личность

А́лан Мэ́тисон Тью́ринг (англ. Alan Mathison Turing; 23 июня 1912 (1912-06-23) — 7 июня 1954) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Кавалер Ордена Британской империи (1945), член Лондонского королевского общества (1951). Предложенная им в 1936 году абстрактная вычислительная «Машина Тьюринга», которую можно считать моделью компьютера общего назначения. позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований. Общепринято считать Алана Тьюринга отцом информатики и теории искусственного интеллекта.

править

Знаете ли вы, что…

Истина может принимать значения от нуля до единицы.
Хотя лотереи существуют уже тысячи лет, парадокс лотереи был сформулирован лишь в XX веке.
Если бы два математика не сбросились по 50 фунтов стерлингов, один из величайших трудов по логике никогда бы не вышел в свет.
Закон исключённого третьего — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными, одно из них необходимо истинно. Закон исключённого третьего является одним из основополагающих принципов современной математики. В народе говорят обычно «Третьего не дано».
Парадокс лжеца: «То, что я утверждаю сейчас, ложно». Если это высказывание истинно, то оно ложно, и в то же время, если оно ложно, то истинно. Таким образом оно противоречит «закону исключённого третьего» в двоичной логике.

Архив

править

Категории

Другие категории…

править

Как я могу помочь

Участвуйте в проекте «Логика».
В этом разделе Вы можете оставлять запросы на статьи по логике:
- Статьи к доработке: Статьи к доработке.
- Статьи к созданию: Статьи к созданию.

править

Проекты

Викисклад	Викисловарь
Викитека	Викицитатник

править

Родственные порталы


Наука	Философия	Математика	Компьютерные технологии