Википедия:Проект:Логика

Материал из Википедии — свободной энциклопедии

Ссылка: ВП:П:ЛО

Википедия:Проект:Логика

Цель этого проекта — создавать, улучшать и стандартизировать статьи о логике.

Содержание

1 Участники
2 Работа над статьями
3 Конструктивные предложения
4 Предложения по стандартизации статей
5 Портал

[править] Участники

Вован (Большой Любитель Истины)

[править] Работа над статьями

Просьба при добавлении и переносе статей придерживаться алфавитного порядка.

[править] Статьи отличного качества

Пока таковых не обнаружил. — Вован 01:26, 14 марта 2006 (UTC)

[править] Статьи удовлетворительного качества

Аксиома параллельности Евклида
Алгебра логики
Арность
Высказывание
Дедуктивные умозаключения
Закон двойного отрицания
Логика высказываний
Логическое высказывание — мало линков на другие статьи.
По умолчанию
Понятие
Предикат
Софизм
Суждение (пропозиция)
Термин
Традукция
Трансфинитная индукция
Формализированный язык
Формальная теория
Формальный язык

[править] Статьи, нуждающиеся в доработке

Аксиома
Акциденция
Антитезис
Апория
Атом (логика)
Ахиллес и черепаха — доработать и переименовать в Ахиллес и черепаха (парадокс)
Булева алгебра
Двоичная логика
Дедукция
Диалектика
Диалектическая логика — Хорошая, но пустая болванка статьи.
Доказательство
Закон исключённого третьего
Закон противоречия
Закон тождества
Здравый смысл
Знак
Индукция (философия) — Доработать и переименовать в Индукция (логика)
Исчисление высказываний
Исчисление предикатов
Квантор
Логика
Логика второго порядка
Логика первого порядка
Логические исчисления
Логическое программирование
Математическая логика
Метод от противного
Модальность
Недоказуемые утверждения
Парадокс
Парадокс лжеца — доработать и переименовать в Лжец (парадокс)
Порочный круг
Противоречие
Редукция
Рекурсия
Силлогизм
Сорит
Стадион (апория) — доработать и переименовать в Стадион (парадокс)
Стрела Зенона — доработать и переименовать в Стрела (парадокс)
Тезис
Теорема Гёделя о неполноте
Терм (логика первого порядка)
Троичная логика (Трёхзначная логика)
Троичная система счисления

[править] Нужные статьи

[править] Отсутствуют

Абсурд
Адъектив
Аксиоматика — есть статья аксиома, если будет аксиоматический метод, то эта статья не нужна. Abyr 14:58, 25 марта 2006 (UTC)
Аксиоматический метод
Алгебра высказываний — есть Алгебра логики. Abyr
Альтернатива
Аналогия
Антиномия
Апулея квадрат
Вывод
Гонсета парадокс
Двузначности принцип
Дедуктивная логика
Деревенский парикмахер (парадокс) — то же, что парадокс брадобрея и парадокс Рассела. Abyr
Дискретность
Дихотомическое деление
Дихотомия (парадокс)
Доказательство от противного — перенаправить на Метод от противного
Закон ассоциативности — есть ассоциативность, на неё же ссылается алгебра логики. Abyr
Закон дистрибутивности —"—
Закон коммутативности —"—
Закон поглощения
Индуктивная логика
Интенсионал
Интуиционистская логика — есть статья интуиционизм. Abyr
Исключённого третьего принцип — нужна Принцип исключённого третьего. Abyr
Истинность
Исчисление — disambig; есть логическое исчисление, которую надо дорабатывать. Abyr
Кантора парадокс — нужен парадокс Кантора. Abyr
Конъюнктивная и дизъюнктивная нормальные формы
Куча (парадокс)
Логика науки — это как? Abyr
Логика Пор-Рояля
Логика предикатов — есть исчисление предикатов. Abyr
Логическая семантика
Логические антиномии
Логические ошибки
Логический закон
Логическое исчисление
Математические софизмы
Многозначная логика
Начала — что имеется в виду? «Начала» Евклида? Abyr
Новый Органон
Объект (логика)
Органон
Парадоксы в логике
Паралогизм
Плешивый (парадокс)
Представление — что имеется в виду? Термин много где по-разному используется. Abyr
Принцип конструктивного подбора
Рассела парадокс — есть парадокс Рассела. Abyr
Ришара парадокс — нужен парадокс Ришара. Abyr
Семантические антиномии
Силлогистика
Стрелка Пирса — нужен редирект на Алгебра логики (как и со штриха Шеффера) и т. п. Abyr
Субъект (логика)
Сумма по модулю два — есть сравнение по модулю. Abyr
Таблицы истинности — скорее всего, нужен редирект на Алгебра логики. Abyr
Тождество
Умозаключение
Утверждение
Формальная логика — что имеется в виду? Abyr
Штрих Шефера
Экстенсионал
Эпименида парадокс

[править] Перенаправленные

Краткие определения этих терминов содержатся в других статьях.
Желательно создать полноценные энциклопедичные статьи.

[править] Дополнительные

Этот список нужно распределить по остальным подподразделам —Не А 03:54, 29 марта 2006 (UTC)

Modus ponens
Modus tollens
Non sequitur (логика)
«Principia Mathematica»
Quod erat demonstrandum
Reductio ad absurdum
Абдуктиное обоснование
Абдукция (логика)
Аксиоматизация
Алгебра Гейтинга
Антецедент
Аристотелевская логика
Афинная логика
Бесконечная логика
Большая посылка
Больший термин
Булева логика
Введение двусторонней импликации
Введение дизъюнкции
Введение конъюнкции
Выполнимость
Гипотетический силлогизм (Условный силлогизм)
Двойное отрицание
Двузначность
Девиантная логика
Дедуктивное рассуждение
Диаграмма Венна
Диаграмма Джонстона
Допущение и допустимость в логике
Достаточное условие
Единичный термин
Если и только если
Закон Пирса
Законы де Моргана
Законы логики
Законы формы
Значение истинности
Импликант
Инверсия (логика)
Индуктивная логика
Интенсиональное утверждение
Интерпретируемость
Интуиционистская линейная логика
Интуиционистская логика
Исключающее «или»
Исключающее «ни — ни»
Исключение двойного отрицания
Исключение двусторонней импликации
Исключение дизъюнкции
Исключение конъюнкции
Исчисление предикатов первого порядка
Исчисление секвентов
Карта Карно
Категорная логика (Категорическая логика, Категориальная логика, Логика категорий)
Квадрат противоположностей
Квантификация
Квантор всеобщности
Квантор существования
Квантор уникальности (единичности)
Коинтерпретируемость
Комбинаториальная логика (комбинационная логика)
Комбинаторная логика
Консеквент
Контрапозиция импликации
Контрафактическое условное высказывание
Крайние термины (силлогизма)
Линейная логика
Логика абака
Логика времени
Логика вычислимости
Логика доказуемости
Логика интерпретируемости
Логика квантвовой механики
Логика контроля (контрольная логика?)
Логика терминов
Логицизм
Логическая двойная импликация
Логическая дизъюнция
Логическая конъюнкция
Логическая ошибка
Логическая эквивалентность
Логический аргумент
Логический вентиль (компьютерное)
Логический оператор
Логическое условное высказывание
Меньшая посылка
Мереология
Металогика
Множественная квантификация (Множественность квантификации)
Модальная логика
Натуральный вывод
«Не и» (логика)
Неаристотелевская логика
Невыразимость на языке логики первого порядка (Nonfirstorderizability)
Недозволенная большая посылка
Недозволенная меньшая посылка
Немонотонная логика
Необоснованное доказательство (Invalid proof)
Необходимое и случайное
Неформальная логика
«Ни — ни» (логика)
Обоснованность
Обратная формула Баркана
Обратный вывод (обратная цепочка выводов в искусственном интеллекте)
Обращение (логика) (Обратный)
Осмысленность
Открытое предложение (математика)
Отрицание антецедента
Отрицание
Ошибка в силлогизме
Ошибка распределения (дистрибутивная)
Парадокс Карри
Паранепротиворечивая логика
Полагание антецедента (Утверждение антецедента)
Полагание консеквента (Утверждение консеквента)
Полисиллогизм
Польская символика в логике
Правило введения
Правило вывода
Правило исключения
Предикат более высокого порядка
Предикат второго порядка
Предикат первого порядка
Программирование в индуктивной логике
Процедура вывода
Прямой вывод (прямая цепочка выводов в искусственном интеллекте)
Пустая истинность (Тривиально истинное)
Разделительный силлогизм (Дизъюнктивный силлогизм)
Разрешение первого порядка
Релевантная логика
Самореференция
Свободные и связанные переменные
Секвент
Секвенциальная логика
Семантика игр
Система аксиом (Аксиоматическая система)
Содопустимость (совместное допущение?)
Средний термин
Степень истинности
Строгая импликация
Строгая логика
Строгое условное высказывание
Структурное правило
Схоластическая логика
Тавтология
Теорема дедукции
Теория доказательств
Теория типов
Трилемма
Унификация (компьютер)
Упорядоченная логика (Некоммутативная логика)
Условие истинности
Условное высказывание
Условное доказательство (доказательство через условное высказывание)
Учетверение терминов
Форма аргумента (аргументная форма)
Формула Баркана
Формула Хорна
Функция истинности
Экзистенциальная ошибка (ошибка допущения существования)
Язык логики

Термины, которые неизвестно как переводятся

Fluidic logic
Naive set theory

переводится как Наивная теория множеств Reincarnation 13:53, 13 сентября 2006 (UTC)

[править] Конструктивные предложения

Состояние статей, посвящённых логике, ниже допустимого. Призываю всех Любителей Истины присоединяться к проекту. Я в Википедии новичок и пока многое не умею. Сейчас необходимо создать портал и довести до ума статью проекта. Обращаюсь к «смежникам» — математикам и физикам: присоединяйтесь! Без вашей помощи трудно будет сделать многие статьи полноценными. — Вован 01:26, 14 марта 2006 (UTC)
Желательно создать статью — словарь терминов логики, поскольку многие статьи (например Арность) столь малы по объёму и явно более подходят для словаря, что может встать вопрос об их удалении. — Вован 01:26, 14 марта 2006 (UTC)

[править] Предложения по стандартизации статей

Предлагаю статьи о парадоксах, когда слово парадокс в названии не фигурирует, создавать в таком виде: [[Название парадокса (парадокс)]] . Если же есть разные варианты названия, тогда статью именовать таким образом, а с другого названия делать перенаправление. К примеру статью Парадокс лжеца перенаправить на Лжец (парадокс), в коей и разместить текст статьи. — Вован 01:26, 14 марта 2006 (UTC)
- Всё же, по моему мнению, так делать не надо, по крайней мере, с парадоксами, названия которых у всех на слуху. Для упоминаемого факта «парадокс лжеца» — стандартное название, зачем же его так насиловать? :) Вас ещё, я вижу, смущают названия статей, являющиеся словосочетаниями «существительное + прилагательное», но в Википедии приняты к употреблению именно они, в отличие от многих бумажных энциклопедий (причина этого в гораздо более широких возможностях поиска электронной энциклопедии по сравнению с обычной). Abyr 16:53, 25 марта 2006 (UTC)

[править] Портал

Увы, портал пока не создан. — Вован 01:26, 14 марта 2006 (UTC)

Это незавершённая статья по логике.
Вы можете помочь проекту, исправив и дополнив её.

У этой статьи нет ссылок на другие языковые разделы.
Вы можете помочь проекту, найдя и добавив их в статью.

Категории: Незавершённые статьи по логике | Википедия:Статьи без интервик | Википедия:Проекты | Логика