Проект:Логика
Материал из Энциклопедии в свободной энциклопедии
(перенаправлено с «Энциклопедия:П:ЛО»)
|
| Портал | Лучшие статьи | Проект | Обсуждение проекта |
Логика
 |
Цель этого проекта в создавать, улучшать и стандартизировать статьи по логике. Задачи проекта:
|
|
Статьи к доработке
Статьи к улучшению до уровня хорошей статьи:
Статьи удовлетворительного качества:
Этот список нуждается в переработке.
- Аксиома параллельности Евклида
- Алгебра логики
- Арность
- Высказывание (логика)
- Дедуктивные умозаключения
- Закон двойного отрицания
- Логика высказываний
- Логическое высказывание в мало линков на другие статьи.
- По умолчанию
- Понятие
- Предикат
- Софизм
- Суждение (пропозиция)
- Термин
- Традукция
- Трансфинитная индукция
- Формализированный язык
- Формальная теория
- Формальный язык
Статьи, нуждающиеся в доработке:
- Аксиома
- Акциденция
- Антитезис
- Апория
- Атом (логика)
- Ахиллес и черепаха в доработать и переименовать в Ахиллес и черепаха (парадокс)
- Булева алгебра
- Двоичная логика
- Дедукция
- Диалектика
- Диалектическая логика в Хорошая, но пустая болванка статьи.
- Доказательство
- Закон исключённого третьего
- Закон противоречия
- Закон тождества
- Здравый смысл
- Знак
- Индукция (философия) в Доработать и переименовать в Индукция (логика)
- Исчисление высказываний
- Исчисление предикатов
- Квантор
- Логика
- Логика второго порядка
- Логика первого порядка
- Логические исчисления
- Логическое программирование
- Математическая логика
- Метод от противного
- Модальность
- Недоказуемые утверждения
- Парадокс
- Парадокс лжеца в доработать и переименовать в Лжец (парадокс)
- Порочный круг
- Противоречие
- Редукция
- Рекурсия
- Силлогизм
- Сорит
- Стадион (апория) в доработать и переименовать в Стадион (парадокс)
- Стрела Зенона в доработать и переименовать в Стрела (парадокс)
- Тезис
- Теорема Гёделя о неполноте
- Терм (логика первого порядка)
- Троичная логика (Трёхзначная логика)
- Троичная система счисления
- Особенное (философская категория)
- 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/Участник проекта:Логика}} в для участников проекта.
Категории проекта
Статистика
| Статьи проекта «Логика» | |||||||
|---|---|---|---|---|---|---|---|
| Уровень качества |
Важность | ||||||
| Неизв. | Всего | ||||||
 Избр. |
0 | ||||||
 Избр. |
0 | ||||||
 Хор. |
0 | ||||||
| I | 0 | ||||||
| II | 1 | 1 | |||||
| III | 1 | 1 | 5 | 7 | |||
| IV | 5 | 13 | 4 | 10 | 32 | ||
| Список | 0 | ||||||
| Неизв. | 4 | 4 | |||||
| Всего | 2 | 6 | 18 | 4 | 14 | 44 | |
| Статистика обновляется автоматически (в») | |||||||
Статьи к удалению
- Удмуртская Энциклопедия (обсуждение)
- Гаврилов, Александр Феликсович (обсуждение)
- Старославянская Энциклопедия (обсуждение)
- Мегаплан (обсуждение)
- Методы проектирования (обсуждение)
- Леденёв, Валерий (обсуждение)
- VB Watch (обсуждение)
- Аудиохрестоматия (обсуждение)
- Ажурная схема (обсуждение)
- Ключворд (обсуждение)
- Простая операция (обсуждение)
- Детерминационный анализ (обсуждение)
- Показатель эффективности (обсуждение)
- Кулмамбетов, Жаныш Осмонович (обсуждение)
- Кашубская Энциклопедия (обсуждение)
- Тимашева, Марина Александровна (обсуждение)
- Функционально полный толерантный элемент (обсуждение)
- Национальный совет кинокритиков США (1929) (обсуждение)
Новые статьи
- Биномиальное дифференциальное уравнение в начато 24 мая 2012 87.69.196.33
- Калькуляционный аргумент в начато 23 мая 2012 Chinger
- Рейнольдс, Саймон в начато 18 мая 2012 Cinemantique
- Ангарский, Николай Семёнович в начато 17 мая 2012 Bechamel
- Перл, Джуда в начато 15 мая 2012 Simon2188
- Идлис, Юлия Борисовна в начато 15 мая 2012 46.20.71.233
- Невядомский, Станислав в начато 13 мая 2012 Mcowkin
- Gerasim@Home в начато 13 мая 2012 Evatutin
- BNAM - блочные численно-аналитические методы решения краевых задач для дифференциальных уравнений в начато 13 мая 2012 Bnamapl
- Церковь Саентологии и Энциклопедия в начато 9 мая 2012 Mistery Spectre
- Барбаро, Умберто в начато 7 мая 2012 JeanneMish
- Иэн Макдональд (музыкальный критик) в начато 6 мая 2012 Mevo
- Рекурсия (программирование) в начато 6 мая 2012 Мазурок И.Е.
- MediaGoblin в начато 1 мая 2012 AVRS
- Сумма Римана в начато 30 апреля 2012 Yekver
- Лежнёв, Исайя Григорьевич в начато 29 апреля 2012 Bechamel
- FreedomBox в начато 28 апреля 2012 Deepak-nsk
Координационные списки
Решено перенести все координационные списки в пространство тематических проектов, работа ведётся в рамках проекта «Координационные списки». Чтобы перенести список в проект «Логика» достаточно его переименовать таким образом: Проект:Логика/Списки/Список XXX. Если необходимо сделать перенаправление на координационный список в другом проекте, то, соответственно, нужно создать перенаправление на другой тематический проект, но также под наименованием Проект:Логика/Списки/Список YYY. Перенесённые координационные списки:
| Логика/Списки/Список логиков | Логика/Списки/Список неклассических логик | Логика/Списки/Список статей по логике |
Участники проекта
- Вован 14 марта 2006
- Fractaler 09:07, 29 апреля 2009 (UTC)
- Wald 4 октября 2010
- Никита Андреевич 12:48, 8 марта 2011 (UTC)
