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

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

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

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

Содержание

Участники

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

Работа над статьями

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

Статьи отличного качества

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

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

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

Нужные статьи

Отсутствуют

Перенаправленные

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

Дополнительные

Этот список нужно распределить по остальным подподразделам —Не А 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)

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home