Статьи к доработке

Статьи к улучшению до уровня хорошей статьи:

• Логика

Статьи удовлетворительного качества:
Этот список нуждается в переработке.

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

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

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

Статьи к созданию

• Красные ссылки
  
  

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

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

• Ортодоксальность
• Парадоксальность
• Постулат в отличие от аксиомы
• Эквивалентность

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

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

Совместные работы

• Оптимизация дерева Категории «Логика».
• Дальнейшая разработка навигационного шаблона {{Логика}}.
• Оценка статей проекта с проставлением шаблона {{Статья проекта:Логика}} на страницы обсуждения.

Шаблоны

• {{logic-stub}};
• {{mathlogic-stub}};
• {{rq}} |topic=logic;
• {{логика}} — навигациооный шаблон (требуется доработка);
• {{Статья проекта:Логика}} — проставляется на СО статей проекта;

• {{Участник:Box/Интерес:Логика}} — для ЛС;
• {{Участник:Box/Участник проекта:Логика}} — для участников проекта.

Категории проекта

Статистика

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

• Гастелло (шашечный клуб) (обсуждение)
• Орлова, Милена (обсуждение)
• ДРАКОН (обсуждение)
• Анафора (лингвистика) (обсуждение)
• Денотат (обсуждение)
• Номинация (лингвистика) (обсуждение)
• Предикативность (обсуждение)
• Пресуппозиция (обсуждение)
• Референт (лингвистика) (обсуждение)
• Референция (обсуждение)
• Сигнификат (обсуждение)
• Показатель эффективности (обсуждение)
• Песоцкий, Владимир Арсеньевич (обсуждение)
• Шарафутдинов, Марсель Ирикович (обсуждение)
• Баранов, Иван (шахматист) (обсуждение)
• Билан, Данила Юрьевич (обсуждение)
• Сокрустов, Игорь Анатольевич (обсуждение)
• Аэрофлот Опен 2011 (обсуждение)
• Цикл разработки программного обеспечения (обсуждение)
• Тишин, Пётр (обсуждение)
• Данин, Александр Сергеевич (обсуждение)
• Простые теоремы в алгебре множеств (обсуждение)
• Эллиптическая модулярная задача обращения в форме Лежандра (обсуждение)
• Сети свертки (обсуждение)
• Методы проектирования (обсуждение)
• VB Watch (обсуждение)
• Чемпионат СССР по шахматам 1954 (обсуждение)

Новые статьи

• Габриэле, Паоло — начато 8 октября 2012 Vigoshi

• Безматричные методы — начато 8 октября 2012 J-avdeev

• Пап, Миша — начато 7 октября 2012 Volcanus

• Никчевич, Небойша — начато 7 октября 2012 Volcanus

• Косич, Драган — начато 7 октября 2012 Volcanus

• Драшко, Милан — начато 7 октября 2012 Volcanus

• Дукич, Никола — начато 7 октября 2012 Volcanus

• Благоевич, Драгиша — начато 7 октября 2012 Volcanus

• Ватиликс — начато 7 октября 2012 Dmitry Rozhkov

• Губер, Эдуард Иванович — начато 6 октября 2012 Ctac

• Ячимович, Драголюб — начато 6 октября 2012 Volcanus

• Пинту де Алмейда, Бернарду — начато 6 октября 2012 37.110.83.166

• Станоёски, Звонко — начато 5 октября 2012 Volcanus

• Предобуславливание — начато 5 октября 2012 J-avdeev

• Амбруш, Золтан — начато 3 октября 2012 Mcowkin

• Малишаускас, Видмантас — начато 3 октября 2012 Volcanus

• Unmechanical — начато 3 октября 2012 Prollissimo

• Енишерлов, Владимир Петрович — начато 2 октября 2012 Bogdanov-62

• Немет, Ласло — начато 2 октября 2012 Mcowkin

• Ружеле, Дарюс — начато 1 октября 2012 Volcanus

Координационные списки

Решено перенести все координационные списки в пространство тематических проектов, работа ведётся в рамках проекта «Координационные списки». Чтобы перенести список в проект «Логика» достаточно его переименовать таким образом: Проект:Логика/Списки/Список XXX. Если необходимо сделать перенаправление на координационный список в другом проекте, то, соответственно, нужно создать перенаправление на другой тематический проект, но также под наименованием Проект:Логика/Списки/Список YYY. Перенесённые координационные списки:

Участники проекта

1. Вован 14 марта 2006
2. Fractaler 09:07, 29 апреля 2009 (UTC)
3. Wald 4 октября 2010
4. Никита Андреевич 12:48, 8 марта 2011 (UTC)
5. Ontological Realist