Википедия:К объединению/14 апреля 2007

• Начинающим
• Сообщество
• Порталы
• Избранное
• Проекты
• Запросы
• Оценивание

К объединению: 31 мая 1 июня 2 июня 3 июня 4 июня 5 июня 6 июня 24 мая 25 мая 26 мая 27 мая 28 мая 29 мая 30 мая 17 мая 18 мая 19 мая 20 мая 21 мая 22 мая 23 мая 10 мая 11 мая 12 мая 13 мая 14 мая 15 мая 16 мая

 | 

Здесь находятся завершившиеся обсуждения. Просьба не вносить изменений.

Закон исключённого третьего и Закон двойного отрицания

Предлагаю объединть — ИМХО оба закона суть одно и то же. Хацкер 14:18, 14 апреля 2007 (UTC)

Логично =) Но нужно суметь это грамотно написать, что закон записывается в двух вариантах, имеющих разные названия. Опять же, есть ли какие-либо логические системы, где они не эквивалентны? Mashiah 16:19, 15 апреля 2007 (UTC)

В интуиционистской логике эти законы эквивалентны. Насчет остальных — это очень хороший вопрос, чтобы ответить на него мне пришлось основательно погуглить. Оказывается действительно существуют логики, где это не так. Довольно экзотические правда, но все же. Вот здесь есть статья, в которой этот вопрос исследуется. Кстати насколько я понимаю, это довольно таки свежий резутьтат. Забавно, этим законам столько лет, а никто этим вопросом так долго не интересовался. Вобщем, я думаю что статьи не стоит разделять объединять, а дописать вновь открывшиеся сведения, и вставить линк. Хацкер 19:50, 15 апреля 2007 (UTC)

Спасибо, я не ожидал, что получу ответ... Мы обсуждаем объединение или не объединение, я не вполне осознал Вашу позицию в этом ракурсе. Mashiah 19:56, 15 апреля 2007 (UTC)

Да, действительно бред написал. Позиция теперь — не объединять. Оставить как есть. Хацкер 20:02, 15 апреля 2007 (UTC)

Спасибо, я, пожалуй, согласен. Mashiah 21:27, 15 апреля 2007 (UTC)

Итог

Решено не объединять, в статьи добавлена информация, повествующая о логиках, в которых законы не эквивалентны. Mashiah 11:43, 17 апреля 2007 (UTC)