Обсуждение проекта:Логика/Списки/Список неклассических логик

Untitled

Аргументация по откату будет? "Паранепротиворечивая логика" - стандартный перевод "Paraconsistent logic". А "стоическая логика" в списке лишняя. --Не А 10:02, 14 мая 2007 (UTC)

Насчёт паранепротиворечивой логики, я пожалуй погорячился, извиняюсь. По крайне мере гугл показывает, что такой перевод намного чаще употребляется, хотя лично мне он не нравится. Ну да ладно. Что же касается стоической логики — скажу чесно, я выдрал этот список целиком по указанному адресу, как единственный более или менее полный, который я смог найти в инете. Некоторые из этих логик мне знакомы, некоторые — нет. Стоическая относится к последним. Но мне кажется, что автор не стал бы её просто так включать. Почему ВЫ считаете, что она лишняя? Настаиваите ли Вы на остальных своих правках? Хацкер 12:22, 14 мая 2007 (UTC)

Термин "нестандартные логики" мне непонятен. Если имелись ввиду неклассические математические логики, то стоическая логика лишняя. Целесообразно статью переименовать, а стоическую логику удалить. Или переименовать в список логик вообще. "Временная логика" - тоже стандартный перевод temporal logic. --Не А 09:50, 15 мая 2007 (UTC)

Насчет неклассических логик, и нестандартных — это довольно тонкий вопрос. У меня самого руки чесались назвать этот список, списком неклассических логик. Но, я до сих пор не встречал достаточно общего определения неклассичности, и тем более списка неклассических логик. А вот список нестандартных логик — нашёл. Тут хоть есть на кого сослаться. В Computer science, когда говорят про (не)классичность логики, имеется в виду часто наличие (отсутствие) закона исключённого третьего. Поэтому классическими называют даже логики, которые вроде бы по остальным параметрам неклассические, например (не)классическая линейная логика. Часто, просто используют как противопоставление классическая логика — интуиционистская логика (хотя между ними ещё бесконечное множество промежуточных логик).

Что касается временной/темпоральной логики, по крайне мере Гугл выдаёт где-то в 2,5 раза больше ссылок по первому варианту. Но я думаю, что это объясняется тем, что в инете на порядок больше русскоязычных статей по философии чем по Computer science, где она очень существенно используется. Хотелось бы знать, какой именно термин используется в авторитетных русскоязычных изданиях по Computer science, если такие вобще существуют. Хацкер 11:05, 15 мая 2007 (UTC)

Не совсем понимаю, почему ориентиром должна быть только одна из дисциплин. Если есть неясность, то в списке целесообразней привести оба названия. --Не А 09:17, 16 мая 2007 (UTC)

В списке пожалуй можно, но статья-то будет всё равно одна. Хацкер 10:05, 16 мая 2007 (UTC)

Название "Нестандартные логики" не употребляется в русском языке, поэтому страницу перенаправления "Нестандартные логики" следует удалить. Аргументы:

1. Была проведена консультация с профессором из БГУИР преподающим дисциплину, включающую в себя данную тематику
2. См ссылки на русском
3. В поисковиках на запрос Нестандартные логики выдаёт совершенно другие темы, а на запрос Неклассические логики выдаёт то, что нужно Yakudza 20:40, 14 декабря 2009 (UTC)