Beermood38.ru

Пивное настроение

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

Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание
Портал   Лучшие статьи   Проект   Обсуждение проекта
править 

Логика

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

Читать далее...

править 

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

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

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

Читать далее...

Архив
править 

Цитата дня

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

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

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

Статьи

Математическая логика
Список статей по математической логике.
Логика высказываний. Алгебра логики. Аксиома. Математическая индукция. Квантор. Круги Эйлера. Отношение. Таблица истинности. Закон двойного отрицания. Закон исключённого третьего. Закон противоречия. Формальный язык. Теория моделей. Теория множеств. Множество. Мощность множества. Теория типов. Теория рекурсии. Алгоритм. Теория доказательств. Метаматематика. Математический конструктивизм. Автоматическое доказательство теорем.
Философские аспекты логики
Категория:Философская логика
Диалектика. Диалектическая логика. Софистика. Антиномия. Антитезис. Априори. Денотат. Достоверность. Знак. Интенсионал. Категорический силлогизм. Категория. Конкретное. Концептуализм. Ложь. Метаязык. Модус. Модус простого силлогизма. Номинализм. Объём понятия. Определение. Перформатив. Понятие. Предикативность. Предикация. Противоречие. Референт. Референция. Сигнификат. Смысл. Спекуляция. Суждение. Тождество. Трансцендентальная логика. Универсалия. Экстенсионал. Энтимема. Эристика.
Разделы логики и приложения
Дескрипционная логика. Игровая логика. Многоагентная система. Экзистенциальные графы. Нечёткая логика. Эпистемическая логика. Интуиционистская логика. Логика Гюнтера. Классическая логика. Логика высшего порядка. Модальная логика. Многозначная логика. Параконсистентная логика. Релевантная логика. Традиционная логика.
Логики
Список логиков.
Аристотель (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) •Артур Шопенгауэр (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)

править 

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

править 

Новые статьи

править 

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

Бертран Рассел

Бертран Рассел (англ. Bertrand Arthur William Russell, 3rd Earl Russell; 18 мая 1872 — 2 февраля 1970) — английский математик, философ и общественный деятель. Рассел проделал сложную философскую эволюцию, которую он сам определял как переход от платоновской интерпретации пифагореизма к юмизму. Создал концепцию «логического атомизма» и разработал теорию дескрипций. Рассел считал, что математика может быть выведена из логики. Рассел — один из инициаторов Пагуошского движения, соавтор Манифеста Рассела-Эйнштейна. В 1963 создал «Фонд мира». Совместно с Жан-Полем Сартром организовал международный трибунал по расследованию военных преступлений США во Вьетнаме. В 1950 получил Нобелевскую премию по литературе «…в знак признания разнообразных и значительных произведений, в которых он отстаивает гуманистические идеалы и свободу мысли».

Читать далее...

править 

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

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

Категории

править 

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


Для категории Логика найти:

  • болванки статей
  • статьи с утверждениями без источников
  • изолированные статьи (2 инструмент)
  • тупиковые статьи
  • статьи без иллюстраций (Искать иллюстрации)
  • статьи без интервики (2 инструмент)
  • ненейтральные статьи
  • кандидаты на удаление
  • кандидаты на объединение
  • статьи, где нужны источники
  • правки в категории
  • новые статьи
  • непатрулированные статьи (RSS)
  • устаревшие патрулированные статьи
  • статьи с нерабочими ссылками
править 

Проекты

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

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

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

© 2011–2023 beermood38.ru, Россия, Кострома, ул. Клубная 35, +7 (4942) 24-57-66