Логический перевод

Перевод английского предложения в логику первого порядка

Логический перевод — это процесс представления текста на формальном языке логической системы . Если исходный текст сформулирован на обычном языке термин « формализация естественного языка» , то часто используется . Примером может служить перевод английского предложения «некоторые мужчины лысые» в логику первого порядка , как $\exists x(M(x)\land B(x))$. Цель – раскрыть структуру аргументов . логическую Это позволяет использовать точные правила формальной логики для оценки правильности этих аргументов. Он также может направлять рассуждения , придя к новым выводам .

Многие трудности процесса вызваны расплывчатыми или двусмысленными выражениями на естественном языке. Например, английское слово «is» может означать, что что-то существует , идентично чему -то другому или обладает определенным свойством . Это контрастирует с точной природой формальной логики, которая избегает подобных двусмысленностей. Формализация естественного языка актуальна для различных областей естественных наук и гуманитарных . Оно может играть ключевую роль для логики в целом, поскольку необходимо для установления связи между многими формами рассуждений и абстрактными логическими системами. Использование неформальной логики является альтернативой формализации, поскольку оно анализирует убедительность аргументов обычного языка в их исходной форме. Формализация естественного языка отличается от логических переводов, преобразующих формулы из одной логической системы в другую, например, из модальной логики в логику первого порядка. Эта форма логической трансляции особенно актуальна для логического программирования и металогики .

Основная проблема логического перевода — определение точности перевода и отделение хороших от плохих. Технический термин для этого – критерии адекватных переводов . Часто цитируемый критерий гласит, что переводы должны сохранять логические отношения между предложениями. Это означает, что если аргумент действителен в исходном тексте, то и переведенный аргумент также должен быть действителен. Другой критерий состоит в том, что исходное предложение и перевод имеют одинаковые условия истинности . Дополнительные предлагаемые условия заключаются в том, что перевод не содержит дополнительных или ненужных символов и что его грамматическая структура аналогична исходному предложению. Были предложены различные процедуры перевода текстов. Подготовительные шаги включают понимание смысла исходного текста и его перефразирование , чтобы устранить двусмысленность и сделать его логическую структуру более ясной. В качестве промежуточного шага может быть осуществлен перевод на гибридный язык. Этот гибридный язык реализует логический формализм, но сохраняет словарь исходного выражения. На последнем этапе этот словарь заменяется логическими символами. Процедуры перевода обычно не являются точными алгоритмами, и их применение зависит от интуитивного понимания. Логические переводы часто подвергаются критике на том основании, что они не способны точно передать все аспекты и нюансы исходного текста.

Определение

Логический перевод — это перевод текста в логическую систему . Например, переведя предложение «все небоскребы высокие» как $\forall x(S(x)\to T(x))$— это логический перевод, который выражает предложение английского языка в логической системе, известной как логика первого порядка . Цель логических переводов обычно состоит в том, чтобы сделать логическую структуру естественного языка аргументов явной. Таким образом, правила формальной логики аргументов можно использовать для оценки обоснованности .

В широком смысле перевод – это процесс, который связывает выражения, принадлежащие исходному языку, с выражениями, принадлежащими целевому языку. Например, при постатейном переводе английского текста на французский язык английские предложения связаны со своими французскими аналогами. Отличительной чертой логических переводов является принадлежность целевого языка к логической системе. Логические переводы отличаются от обычных переводов тем, что они в основном направлены на выражение логической структуры исходного текста, а не на его конкретное содержание. С другой стороны, обычные переводы учитывают различные дополнительные факторы, относящиеся к содержанию, значению и стилю исходного выражения. По этой причине некоторые теоретики, такие как Перегрин и Свобода, утверждают, что это не форма перевода. Они склонны использовать другие термины, такие как «формализация», «символизация» и «экспликация». Это мнение разделяют не все логики, а некоторые, например Марк Сейнсбери , утверждают, что успешные логические переводы сохраняют весь исходный смысл, делая при этом логическую структуру явной.

Дискуссии о логических переводах обычно сосредотачиваются на проблеме выражения логической структуры предложений обычного языка в формальной логической системе. Этот термин также охватывает случаи, когда перевод происходит из одной логической системы в другую.

Основные понятия

См. Также: Логика § Основные понятия.

Посредством логического перевода можно оценить, следуют ли аргументы обычного языка действующему правилу вывода, такому как modus ponens .

При изучении и анализе логических переводов используются различные основные понятия. Логика заинтересована в правильном рассуждении, которое происходит в форме умозаключений или аргументов. Аргумент – это совокупность посылок и заключения. Аргумент является дедуктивно действительным, если его вывод не может быть ложным, если все его посылки истинны. Действительные аргументы подчиняются правилу вывода , которое предписывает, как должны быть структурированы посылки и вывод. Важным правилом вывода является modus ponens , которое гласит, что аргументы вида «(1) p ; (2) если p , то q ; (3) следовательно, q » действительны. Пример аргумента, следующего modus ponens: «(1) сегодня воскресенье; (2) если сегодня воскресенье, то мне не нужно идти сегодня на работу; (3) следовательно, мне не нужно идти на работу. сегодня".

Существуют разные логические системы для оценки обоснованности аргументов. Например, логика высказываний фокусируется только на выводах, основанных на логических связках , таких как «и» или «если… то». С другой стороны, логика первого порядка также включает в себя шаблоны вывода, принадлежащие таким выражениям, как «каждый» или «некоторые». Расширенная логика охватывает дальнейшие выводы, например, относительно того, что возможно и необходимо, или относительно временных отношений.

Это означает, что логические системы обычно не улавливают все закономерности вывода. Это актуально для логического перевода, поскольку они могут пропустить шаблоны, для которых они не предназначены. Например, пропозициональную логику можно использовать, чтобы показать, что следующий аргумент обычного языка верен: «(1) Джон не пилот; (2) Джон — пилот или Билл — поэт; (3) следовательно, Билл — поэт. ". Однако он не может показать, что аргумент «(1) Джон является пилотом; (2) следовательно, Джон может летать» верен, поскольку он не может уловить логическую связь между терминами «Пилот» и «может летать». Если логическая система применяется к случаям, выходящим за рамки ее ограниченного объема, она не способна оценить обоснованность аргументов естественного языка. Преимущество этого ограничения состоит в том, что неясности и двусмысленности аргументов на естественном языке можно избежать, сделав некоторые закономерности вывода очень ясными.

Формальные логические системы используют точные формальные языки для выражения своих формул и выводов. В случае пропозициональной логики такие буквы, как $A$ и $B$используются для представления простых предложений. Их можно объединить в более сложные предложения, используя пропозициональные связки, например $\land$ выразить, что оба предложения истинны и $\lor$выразить, что хотя бы одно из предложений истинно. Так что если $A$ означает «Адам спортивный» и $B$ означает «Барбара спортивна», тогда формула $A\land B$ представляет собой утверждение, что «Адам спортивен, а Барбара спортивна». Логика первого порядка также включает пропозициональные связки, но вводит дополнительные символы. Прописные буквы используются для обозначения предикатов, а строчные — для обозначения отдельных лиц. Например, если $A$ обозначает предикат «сердит» и $e$ представляет отдельную Эльзу, то формула $A(e)$выражает суждение «Эльза злится». Еще одним нововведением логики первого порядка является использование кванторов типа $\exists$ и $\forall$ для представления значений таких терминов, как «некоторые» и «все».

Типы

Логические переводы можно классифицировать в зависимости от исходного языка исходного текста. Во многих логических переводах исходный текст принадлежит естественному языку, например английскому или французскому. В этом случае часто используется термин «формализация естественного языка». Например, предложение «Дана — логик, а Дана — хороший человек» можно формализовать в логику высказываний с помощью логической формулы $L\land N$. Следующий тип логической трансляции происходит между двумя логическими системами. Это означает, что исходный текст составлен из логических формул, принадлежащих одной логической системе, и цель состоит в том, чтобы связать их с логическими формулами, принадлежащими другой логической системе. Например, формула $\Box A(x)$ в модальной логике можно перевести в логику первого порядка по формуле $\forall y(R(x,y)\to A(y))$.

Формализация естественного языка

Чтобы оценить обоснованность обычного языкового аргумента, каждое его утверждение можно перевести в логическую систему.

Формализация естественного языка - это форма семантического анализа. который начинается с предложения на естественном языке и переводит его в логическую формулу. Его цель — сделать логическую структуру предложений и аргументов естественного языка явной. В основном речь идет об их логической форме, тогда как их конкретное содержание обычно игнорируется. Логический анализ — это тесно связанный термин, который относится к процессу раскрытия логической формы или структуры предложения. Формализация естественного языка позволяет использовать формальную логику для анализа и оценки аргументов естественного языка. Это особенно актуально для сложных аргументов, которые часто трудно оценить без формальных инструментов. Логический перевод также можно использовать для поиска новых аргументов и тем самым направлять процесс рассуждения. Обратный процесс формализации иногда называют «вербализацией». Это происходит, когда логические формулы переводятся обратно на естественный язык. Этот процесс менее нюансирован, и дискуссии, касающиеся связи между естественным языком и логикой, обычно сосредотачиваются на проблеме формализации.

Успех применения формальной логики к естественному языку требует правильного перевода. Формализация правильна, если ее явные логические особенности соответствуют неявным логическим особенностям исходного предложения. Логическая форма предложений обычного языка часто не очевидна, поскольку существует множество различий между естественными языками и формальными языками, используемыми логиками. Это создает различные трудности для формализации. Например, обычные выражения часто включают расплывчатые и двусмысленные выражения. По этой причине обоснованность аргумента часто зависит не только от самих выражений, но и от того, как они интерпретируются. Например, предложение «у ослов есть уши» может означать, что у всех ослов (без исключения) есть уши или что у ослов обычно есть уши . Второй перевод не исключает существования некоторых ослов без ушей. Эта разница имеет значение для того, можно ли использовать квантор универсальности для перевода предложения. Подобные двусмысленности не встречаются в точных формулировках искусственных логических языков, и их необходимо разрешить, прежде чем станет возможным перевод.

Проблема формализации естественного языка имеет различные последствия для естественных наук и гуманитарных , особенно для областей лингвистики , когнитивистики и информатики . в области формальной лингвистики Например, Ричард Монтегю предлагает различные предложения о том, как формализовать выражения английского языка в своей теории универсальной грамматики . Формализация также обсуждается в философии логики в связи с ее ролью в понимании и применении логики. Если логику понимать как теорию обоснованных выводов вообще, то формализация играет в ней центральную роль, поскольку многие из этих выводов формулируются на обычном языке. Логический перевод необходим для того, чтобы связать формальные логические системы с аргументами, выраженными на обычном языке. Связанное с этим утверждение заключается в том, что все логические языки, включая весьма абстрактные, такие как модальная логика и многозначная логика , должны быть «закреплены в структурах естественного языка». Одна из трудностей в этом отношении состоит в том, что логику обычно понимают как формальную науку , но теория ее отношения к эмпирическим вопросам, имеющим отношение к обычным языкам, выходит за рамки этой чисто формальной концепции. По этой причине некоторые теоретики, такие как Георг Брун, выделяют чистую ветвь логики и противопоставляют ее прикладной логике, которая включает проблему формализации.

Из этих соображений некоторые теоретики делают вывод, что неформальное рассуждение имеет приоритет над формальным рассуждением. Это означало бы, что формальная логика может добиться успеха только в том случае, если она основана на правильной формализации. Например, Майкл Баумгартнер и Тимм Ламперт считают, что «не существует неформальных заблуждений », а есть только «неправильное понимание неформальных аргументов, выраженное посредством неадекватной формализации». Эту позицию отвергают Ярослав Перегрин и Владимир Свобода, которые утверждают, что неформальные рассуждения не всегда точны и могут быть исправлены с помощью формальной логики.

Альтернативой формализации является использование неформальной логики , которая анализирует убедительность аргументов естественного языка в их исходной форме. Это имеет много преимуществ, поскольку позволяет избежать трудностей, связанных с логическим переводом, но также имеет различные недостатки. Например, неформальной логике не хватает точности, присущей формальной логике, позволяющей отличать хорошие аргументы от ошибочных .

Примеры

С точки зрения пропозициональной логики предложение «Тиффани продает драгоценности, а Гуччи продает одеколон» можно перевести как $T\land G$. В этом примере $T$ представляет собой иск «Тиффани продает драгоценности», $G$ означает «Gucci продает одеколон», и $\land$– это логический союз, соответствующий «и». Другим примером является предложение «Нотр-Дам повышает плату за обучение, если Purdue это сделает», которое можно формализовать как $P\to N$.

Для логики предикатов предложение «Энн любит Бена» можно перевести как $L(a,b)$. В этом примере $L$ означает «любит», $a$ означает Энн и $b$ означает Бена. Другие примеры: «Некоторые мужчины лысые», как $\exists x(M(x)\land B(x))$, "у всех рек есть исток" как $\forall x(R(x)\to H(x))$, "никакие лягушки не птицы" как $\forall x(F(x)\to \lnot B(x))$, и «если Элизабет — историк, то и некоторые женщины — историки», как $H(e)\to \exists x(W(x)\land H(x))$.

Проблемные выражения

Для различных выражений естественного языка неясно, как их следует переводить, и правильный перевод может отличаться от случая к случаю. Неясность и двусмысленность обычного языка, в отличие от точной природы логики, часто являются причиной этих проблем. По этой причине оказалось сложно найти общий алгоритм , охватывающий все случаи перевода. Например, значение основных английских выражений, таких как «и», «или» и «если… то», может варьироваться от контекста к контексту. Соответствующие логические операторы в символьной логике ( $\land$, $\lor$, $\to$), с другой стороны, имеют очень точно определенные значения. В этом отношении они улавливают лишь некоторые аспекты первоначального смысла.

Английское слово «is» создает еще одну подобную трудность, поскольку оно имеет много значений. Он может выражать существование (например, «есть Санта-Клаус»), идентичность (например, «Супермен — это Кларк Кент») и предикацию (например, «Венера — это планета»). Каждое из этих значений по-разному выражается в логических системах, таких как логика первого порядка. Другая трудность заключается в том, что кванторы часто не выражаются явно в обычном языке. Например, в предложении «изумруды зеленые» прямо не указывается универсальный квантификатор «все», т.е. «все изумруды зеленые». Однако некоторые предложения со схожей структурой, такие как «дети живут по соседству», подразумевают экзистенциальный квантор «некоторые», то есть «некоторые дети живут по соседству».

Тесно связанная проблема обнаруживается в некоторых действительных аргументах естественного языка, наиболее очевидный перевод которых недействителен в формальной логике. Например, аргумент «(1) Фьюри — лошадь; (2) следовательно, Фьюри — животное» действителен, но соответствующий аргумент формальной логики из $H(f)$ к $A(f)$является недействительным. Одним из решений является добавление к аргументу дополнительной предпосылки, утверждающей, что «все лошади — животные». Другой вариант — перевести предложение «Ярость — это лошадь» как $H(f)\land A(f)$. Эти решения сопряжены с новыми проблемами. Другими проблемными выражениями являются определенные описания , условные предложения и определительные прилагательные , а также массовые существительные и анафоры .

Перевод между логиками

Следующий тип логической трансляции имеет место между логическими системами. Перевод между двумя логическими системами можно определить в формальном смысле как математическую функцию . Эта функция отображает предложения первой системы на предложения второй системы, подчиняясь при этом отношениям следствия между исходными предложениями. Это означает, что если предложение влечет за собой другое предложение в первой логике, то перевод первого предложения должен повлечь за собой перевод второго предложения во второй логике. Таким образом, перевод из одной логики в другую представляет формулы, доказательства и модели первой логики через вторую. Иногда это называют консервативным переводом . Он контрастирует с грубым переводом , который только отображает предложения первой логики на предложения второй логики без учета их отношений следования.

Предварительный вывод о логических трансляциях заключается в том, что существует не одна логика, а множество логик. Эти логики отличаются друг от друга в отношении языков, которые они используют, а также правил вывода, которые они считают действительными. Например, интуиционистская логика отличается от классической логики, поскольку она отвергает определенные правила вывода, такие как исключение двойного отрицания . Это правило гласит, что если предложение не является истинным, то оно истинно, т. е. что $A$ следует из $\lnot \lnot A$. Один из способов перевода интуиционистской логики в неинтуиционистскую логику — использование модального оператора . Это основано на идее, что интуиционистская логика выражает не только то, что истинно, но и то, что познаваемо . Например, формула $\lnot p$ в интуиционистской логике можно перевести как $K\lnot p$ где $K$ — модельный оператор, выражающий познаваемость следующей формулы.

Другой пример — перевод модальной логики в обычную логику предикатов. Модальная логика содержит дополнительные символы возможности ( $\diamond$) и необходимость ( $\Box$) не встречается в обычной логике предикатов. Один из способов их перевода — ввести новые предикаты, такие как предикат R, который указывает, что один возможный мир доступен из другого возможного мира. Например, модальное логическое выражение $\lfloor \diamond p\rfloor _{\iota }$ (возможно, что p истинно в реальном мире) можно перевести как $\exists vR(\iota ,v)\land \lfloor p\rfloor _{v}$ (существует возможный мир, доступный из реального мира, и в нем p истинно).

Переводы между логиками актуальны для металогики и логического программирования . В металогике их можно использовать для изучения свойств логических систем и отношений между ними. В логическом программировании они позволяют применять программы, ограниченные одним типом логики, ко многим дополнительным случаям. С помощью логических преобразований такие программы, как Пролог, можно использовать для решения задач модальной и темпоральной логики, хотя Пролог изначально не поддерживает эти логические системы. Тесно связанный вопрос касается вопроса о том, как перевести формальный язык, такой как контролируемый английский, в логическую систему. Контролируемый английский — это контролируемый язык , который ограничивает грамматику и словарный запас с целью уменьшения двусмысленности и сложности. В этом отношении преимуществом контролируемого английского является то, что каждое предложение имеет уникальную интерпретацию. Это позволяет использовать алгоритмы для перевода их в формальную логику, что обычно невозможно для естественных языков.

Критерии адекватных переводов

Критерии адекватных переводов определяют, как отличить хороший перевод от плохого. Они определяют, точно ли логическая формула представляет логическую структуру предложения, которое она переводит. Таким образом, они помогают логикам выбирать между конкурирующими переводами одного и того же предложения. В научной литературе обсуждаются различные критерии. По мнению различных теоретиков, таких как Перегрин и Свобода, самым основным критерием является то, что переводы должны сохранять логические отношения между предложениями. Этот принцип иногда называют критерием синтаксической правильности или критерием достоверности . Он предусматривает, что если аргумент действителен в исходном тексте, то переведенный аргумент также действителен. Одна из трудностей в этом отношении состоит в том, что одно и то же предложение может составлять часть нескольких аргументов, иногда в качестве посылки, а иногда в качестве заключения. Перевод предложения является правильным только в том случае, если во всех или почти во всех этих случаях логические отношения сохраняются. Согласно точке зрения холизма , это означает, что нельзя оценивать переводы предложений индивидуально. Эта позиция утверждает, что правильность перевода одного предложения зависит от того, как переводятся другие предложения, чтобы обеспечить соответствие в выводных отношениях. Эту точку зрения отвергают атомисты, утверждающие, что правильность перевода предложений можно оценивать индивидуально.

Тесно связанный критерий фокусируется на условиях истинности предложений. Условие истинности предложения — это то, каким должен быть мир, чтобы это предложение было истинным. Этот критерий гласит, что для адекватных переводов условия истинности исходного предложения идентичны условиям истинности переведенного предложения. Одного факта, что предложение и его перевод имеют одинаковое истинностное значение, недостаточно. Вместо этого это подразумевает, что всякий раз, когда одно истинно, другое также истинно, т.е. они должны иметь одно и то же истинностное значение во всех возможных обстоятельствах. Этот критерий не является общепринятым и подвергался критике на основании утверждения, что логические формулы не имеют условий истинности. Согласно этой точке зрения, символы, которые они используют, сами по себе бессмысленны и предназначены только для выражения логической формы предложения, не подразумевая какого-либо конкретного содержания. Другая проблема этого подхода заключается в том, что все тавтологии имеют одни и те же условия истинности: они истинны независимо от обстоятельств. Это означало бы, что любая тавтология является правильным переводом любой другой тавтологии.

Помимо этих основных критериев, в научной литературе часто обсуждаются различные дополнительные критерии. Их цель обычно состоит в том, чтобы исключить плохие переводы, которые, тем не менее, соответствуют другим критериям. Например, согласно первым двум критериям предложение «идет дождь» можно формализовать как $p$ или как $\lnot \lnot \lnot \lnot \lnot \lnot p$. Причина в том, что обе формулы имеют одинаковые условия истинности и одинаковые закономерности вывода. Однако вторая формула является плохим переводом. Еще одним критерием является то, что переводы не должны включать символы, не соответствующие выражениям в исходном предложении. Согласно ему, перевод «идет дождь» не должен включать символ логического отрицания ( $\lnot$), так как соответствующее выражение не найдено в исходном предложении.

Другой критерий гласит, что порядок символов в переводе должен отражать порядок выражений в исходном предложении. Например, предложение «Пит поднялся на холм, а Куинн поднялся на холм» следует перевести как $p\land q$ и не как $q\land p$. Тесно связанным критерием является принцип прозрачности , который гласит, что переводы должны быть похожи на исходное выражение. Это касается, например, того, чтобы перевод максимально точно отражал грамматическую структуру исходного предложения. Принцип экономии гласит, что следует отдавать предпочтение простым переводам (т.е. логическим формулам, в которых используется как можно меньше символов). Один из способов проверить правильность формализации — перевести ее обратно на естественный язык и посмотреть, соответствует ли этот второй перевод оригиналу.

Проблема критериев адекватного перевода часто не обсуждается подробно во введениях в логику. Одна из причин этого заключается в том, что некоторые теоретики, такие как Герберт Э. Хендри, рассматривают логический перевод как искусство или интуитивную практику. Согласно этой точке зрения, оно основано на практических навыках, приобретенных на основе опыта на многих примерах, и руководствуется некоторыми грубыми эмпирическими правилами. Такой взгляд предполагает отсутствие строгих правил адекватной формализации. Критики этой идеи утверждают, что без четких критериев адекватного перевода очень сложно сделать выбор между конкурирующими формализациями одного и того же предложения.

Процедуры перевода

Различные логики предлагали процедуры перевода, включающие несколько шагов для достижения правильного перевода. Некоторые из них представляют собой лишь приблизительные рекомендации, помогающие переводчикам в этом процессе, тогда как другие состоят из подробных и эффективных процедур, охватывающих все шаги, необходимые для выполнения перевода. В любом случае это обычно не точные алгоритмы, которым можно слепо следовать, а скорее инструменты, упрощающие процесс.

Подготовительные шаги могут быть предприняты на естественном языке до начала фактического перевода. Первым шагом часто является понимание смысла исходного текста, например, путем анализа изложенных в нем утверждений. Это включает в себя определение того, какие аргументы приводятся и действует ли утверждение как предпосылка или как заключение. На этом этапе общая рекомендация — перефразировать предложения, чтобы сделать утверждения более ясными, устранить двусмысленность и подчеркнуть их логическую структуру. Например, предложение «Иоанн Павел II непогрешим» можно было бы перефразировать так: «Это не тот случай, когда Иоанн Павел II непогрешим». Это может включать в себя идентификацию функциональных связок истинности, таких как «и», «если… то» или «нет», и соответствующее разложение текста. Каждая из проанализированных таким образом единиц представляет собой отдельное утверждение, которое является либо истинным, либо ложным. Близко связанный с этим этап — группировка отдельных выражений в логические единицы и классификация их в соответствии с их логической ролью. Например, в приведенном выше предложении «может ошибаться» является предикатом, а выражение «это не тот случай, когда» соответствует логической связке для отрицания .

После завершения этих приготовлений некоторые теоретики, такие как Перегрин и Свобода, рекомендуют перевод на гибридный язык. Такие гибридные выражения уже содержат логический формализм, но сохраняют обычные названия предикатов и собственных имен. Например, предложение «У всех рек есть истоки» можно перевести как $\forall x((River(x))\to HasHead(x))$. Идея этого шага заключается в том, что обычные термины по-прежнему сохраняют свое первоначальное значение и тем самым облегчают понимание формул и понимание того, как они соотносятся с исходным текстом. Словарный запас естественного языка обычно не определен точно, и поэтому ему не хватает точности, требуемой формальной логикой. На последнем этапе эти обычные термины заменяются логическими символами. Для приведенного выше выражения это приведет к формуле $\forall x((R(x))\to H(x))$. Таким образом, связь с обычными языковыми значениями отсекается. Формулы становятся чисто формальным выражением логической структуры исходного текста, при этом любое специфическое содержание удаляется.

Формализация полного аргумента состоит из нескольких шагов, поскольку аргумент состоит из нескольких предложений. После завершения перевода формальные инструменты логической системы, такие как правила вывода, могут быть использованы для оценки достоверности аргумента.

Критика

Критика логических переводов в первую очередь сосредоточена на ограничениях и диапазоне допустимых приложений, а также на том, как они обсуждаются в академической литературе. Логический перевод — широко признанный и используемый процесс в логике и других областях, даже среди теоретиков, критикующих его аспекты. В некоторых случаях отдельные логические переводы подвергаются критике, утверждая, что они неспособны точно передать все аспекты и нюансы исходного текста. Например, логический словарь обычно не способен уловить такие вещи, как сарказм , косвенная инсинуация или акцент . В связи с этим часто игнорируются многие аспекты значения исходного выражения, выходящие за рамки истинности, обоснованности и логической структуры. На уровне неформальных выводов существуют различные выражения, которые нелегко представить с помощью точных, но ограниченных языков формальной логики. По этим причинам иногда возникают споры относительно корректности конкретного логического перевода. Когда логический перевод используется для защиты вывода аргумента на естественном языке, один из способов подорвать такую ​​защиту — заявить, что логический перевод неверен. Это означает, что выводы, полученные в результате формального логического анализа, не имеют никакого значения для исходного аргумента.

Другой тип критики направлен не на сами логические переводы, а на то, как они обсуждаются во многих стандартных работах и ​​курсах логики. В этом отношении такие теоретики, как Георг Брун, Перегрин и Свобода, утверждают, что такие работы не обеспечивают должного обсуждения роли и ограничений логических переводов. Вместо этого утверждается, что они просто рассматривают эту тему как второстепенную заметку. Они могут привести несколько примеров, но их основное внимание сосредоточено на самих формальных системах. Таким образом, не существует углубленного обсуждения того, как эти системы применяются к обычным аргументам.

См. также

• Общая логика
• Перевод с двойным отрицанием
• Стандартный перевод

Ссылки

Источники

• Баумгартнер, Майкл; Ламперт, Тимм (сентябрь 2008 г.). «Адекватная формализация» . Синтезируйте . 164 (1): 93–115. дои : 10.1007/s11229-007-9218-1 . S2CID   15396554 . Архивировано из оригинала 15 апреля 2023 года . Проверено 27 марта 2023 г.
• Блэкберн, Саймон (24 марта 2016 г.). «правило вывода». Словарь философии . Издательство Оксфордского университета. п. 422. ИСБН  9780198735304 . Архивировано из оригинала 8 января 2022 года . Проверено 8 января 2022 г.
• Блэкберн, Саймон (1 января 2008 г.). «аргумент». Оксфордский философский словарь . Издательство Оксфордского университета. ISBN  978-0-19-954143-0 . Архивировано из оригинала 8 января 2022 года . Проверено 8 января 2022 г.
• Блэкберн, Саймон (1 января 2008 г.). «условия истинности». Оксфордский философский словарь . Издательство Оксфордского университета. ISBN  978-0-19-954143-0 . Архивировано из оригинала 27 марта 2023 года . Проверено 27 марта 2023 г.
• Блэр, Дж. Энтони; Джонсон, Ральф Х. (2000). «Неформальная логика: обзор» . Неформальная логика . 20 (2): 93–107. дои : 10.22329/il.v20i2.2262 . Архивировано из оригинала 9 декабря 2021 года . Проверено 29 декабря 2021 г.
• Борхерт, Дональд (2006). «Логика, неклассика» Философская энциклопедия Макмиллана, 2-е издание . Макмиллан. ISBN  978-0-02-865790-5 . Архивировано из оригинала 12 января 2021 года . Проверено 4 января 2022 г.
• Брун, Георг (2003). Правильная формула: философские проблемы логической формализации (на немецком языке). Франкфурт: Онтос Верлаг. ISBN  3-937202-13-7 .
• Бунт, Х.; Маскенс, Рейнхард; Тейсс, Э. (6 декабря 2012 г.). Вычислительное значение: Том 2 . Springer Science & Business Media. п. 15. ISBN  978-94-010-0572-2 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.
• Бирн, Рут MJ; Эванс, Джонатан Ст. Б.Т.; Ньюстед, Стивен Э. (18 июня 2019 г.). Человеческое рассуждение: психология дедукции . Рутледж. п. 59. ИСБН  9781317716266 . Архивировано из оригинала 10 февраля 2023 года . Проверено 27 марта 2023 г.
• Кози, Роберт Л. (июнь 1980 г.). «Герберт Р. Отто. Лингвистические основы логического перевода. University Press of America, Вашингтон, округ Колумбия, 1978, x + 201 стр». Журнал символической логики . 45 (2): 373–374. дои : 10.2307/2273204 . JSTOR   2273204 . S2CID   121994474 .
• Колман, Эндрю М. (1 января 2009 г.). «логический анализ». Словарь психологии . Издательство Оксфордского университета. ISBN  978-0-19-953406-7 . Архивировано из оригинала 9 октября 2023 года . Проверено 27 марта 2023 г.
• Крейг, Эдвард (1996). «Формальная и неформальная логика». Философская энциклопедия Рутледжа . Рутледж. ISBN  978-0-415-07310-3 . Архивировано из оригинала 16 января 2021 года . Проверено 29 декабря 2021 г.
• Дауден, Брэдли Х. (2020). Логические рассуждения (PDF) . Архивировано (PDF) из оригинала 2 июня 2023 года . Проверено 27 марта 2023 г. (более раннюю версию см.: Дауден, Брэдли Харрис (1993). Логическое объяснение . Издательская компания Уодсворт. ISBN  9780534176884 . Архивировано из оригинала 10 февраля 2023 года . Проверено 27 марта 2023 г. )
• Дайкхофф, Рой; Эрре, Генрих; Шредер-Хейстер, Питер (13 марта 1996 г.). Расширения логического программирования: 5-й международный семинар, ELP '96, Лейпциг, Германия, 28–30 марта 1996 г. Труды . Springer Science & Business Media. стр. 21, 31–2. ISBN  978-3-540-60983-4 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.
• Энгель, С. Моррис (1982). «2. Среда языка». Не без оснований. Введение в неформальные заблуждения . стр. 59–92. ISBN  978-0-312-08479-0 . Архивировано из оригинала 1 марта 2022 года . Проверено 2 января 2022 г.
• Фрэнкс, Бриджит А.; Террио, Дэвид Дж.; Бур, Мириам И.; Чан, Эвелин С.; Гонсалес, Клэр М.; Квон, Хикён К.; Шелбле, Дженни Л.; Ван, Сюэсун (август 2013 г.). «Оглядываясь назад: рассуждения и метапознание с помощью повествовательных текстов». Метапознание и обучение . 8 (2): 146. дои : 10.1007/s11409-013-9099-2 . S2CID   255162310 .
• Фу, Цзы-Кэн; Куц, Оливер (2012). «Анализ и синтез логического перевода». Материалы двадцать пятой Международной конференции Флоридского общества исследований искусственного интеллекта . Пало-Альто, Калифорния: AAAI Press. ISBN  978-1-57735-558-8 .
• Габбай, Дов М.; Ольбах, Ханс Дж. (29 июня 1994 г.). Временная логика: Первая международная конференция ICTL '94, Бонн, Германия, 11–14 июля 1994 г. Труды . Springer Science & Business Media. стр. 462–3. ISBN  978-3-540-58241-0 . Архивировано из оригинала 26 марта 2023 года . Проверено 27 марта 2023 г.
• Гаррет, Брайан (25 февраля 2011 г.). Что это за вещь, называемая метафизикой? . Тейлор и Фрэнсис. п. 28. ISBN  978-1-136-79269-4 . Архивировано из оригинала 26 марта 2023 года . Проверено 27 марта 2023 г.
• Гарсон, Джеймс (2023). «Модальная логика: 13. Бисимуляция» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета. Архивировано из оригинала 7 октября 2020 года . Проверено 22 февраля 2023 г.
• Гельбух, Александр (7 февраля 2007 г.). Компьютерная лингвистика и интеллектуальная обработка текста: 8-я Международная конференция CICLing 2007, Мехико, Мексика, 18–24 февраля 2007 г., Материалы . Springer Science & Business Media. ISBN  978-3-540-70938-1 .
• Гроат, Линда Н.; Ван, Дэвид (11 февраля 2002 г.). Методы архитектурных исследований . Джон Уайли и сыновья. п. 283. ИСБН  978-0-471-33365-4 .
• Ханссон, Свен Уве; Хендрикс, Винсент Ф. (24 октября 2018 г.). Введение в формальную философию . Спрингер. п. 61. ИСБН  978-3-319-77434-3 . Архивировано из оригинала 26 марта 2023 года . Проверено 27 марта 2023 г.
• Хинтикка, Яакко (2023). «Логическая запись» . www.britanica.com . Проверено 15 февраля 2023 г.
• Херли, Патрик Дж. (2018). Краткое введение в логику (Тринадцатое изд.). Бостон, Массачусетс: Cengage Learning. ISBN  978-1-305-95809-8 .
• Джеймисон, Д. (9 марта 2013 г.). Язык, разум и искусство: очерки оценки и анализа в честь Пола Зиффа . Springer Science & Business Media. п. 34. ISBN  9789401583138 . Архивировано из оригинала 10 февраля 2023 года . Проверено 27 марта 2023 г.
• Янссен, Тео М.В.; Циммерманн, Томас Эде (2021). «Семантика Монтегю» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета. 1. Введение. Архивировано из оригинала 16 апреля 2021 года . Проверено 27 марта 2023 г.
• Кун, Тобиас (март 2014 г.). «Обзор и классификация контролируемых естественных языков». Компьютерная лингвистика . 40 (1): 152. arXiv : 1507.01701 . дои : 10.1162/COLI_a_00168 . S2CID   14586568 .
• Макниш, Крейг; Пирс, Дэвид; Перейра, Луис М. (10 августа 1994 г.). Логика в искусственном интеллекте: Европейский семинар JELIA '94, Йорк, Великобритания, 5-8 сентября 1994 г. Материалы . Springer Science & Business Media. стр. 366–7. ISBN  978-3-540-58332-5 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.
• Магнус, доктор медицинских наук; Баттон, Тим; Томас-Болдук, Аарон; Зак, Ричард; Лофтис, Дж. Роберт; Труман, Роберт (2021). forall x: Калгари: Введение в формальную логику (PDF) . Калгари: Университет Калджери. ISBN  979-8527349504 . Архивировано (PDF) из оригинала 16 февраля 2023 года . Проверено 27 марта 2023 г.
• Махер, Майкл (1996). Логическое программирование: материалы совместной международной конференции и симпозиума по логическому программированию 1996 года . МТИ Пресс. п. 65. ИСБН  978-0-262-63173-0 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.
• Мошовакис, Джоан (2022). «Интуиционистская логика» . Стэнфордская энциклопедия философии: 1. Отказ от Tertium Non Datur . Лаборатория метафизических исследований Стэнфордского университета. Архивировано из оригинала 16 декабря 2022 года . Проверено 11 марта 2023 г.
• Моссаковски, Тилль; Дьяконеску, Рэзван; Тарлецкий, Анджей (июль 2009 г.). «Что такое логический перевод?». Логика универсальная . 3 (1): 95–124. два : 10.1007/s11787-009-0005-2 . S2CID   14296432 .
• Отто, HR; Туэдио, Дж. (6 декабря 2012 г.). Перспективы разума . Springer Science & Business Media. п. 315. ИСБН  978-94-009-4033-8 . Архивировано из оригинала 9 октября 2023 года . Проверено 12 февраля 2024 г.
• Пиз, Адам; Ли, Джон (2010). «Контролируемый английский в логический перевод». Теория и приложения онтологии: компьютерные приложения . Спрингер Нидерланды. стр. 245–258. дои : 10.1007/978-90-481-8847-5_11 . ISBN  978-90-481-8847-5 . Архивировано из оригинала 17 февраля 2023 года . Проверено 27 марта 2023 г.
• Перегрин, Ярослав; Свобода, Владимир (сентябрь 2013 г.). «Критерии логической формализации». Синтезируйте . 190 (14): 2897–2924. дои : 10.1007/s11229-012-0104-0 . S2CID   255069143 .
• Перегрин, Ярослав; Свобода, Владимир (2016). «Логическая формализация и формирование логики (логик)» . Логика и анализ (233): 55–80. ISSN   0024-5836 . JSTOR   26767818 . Архивировано из оригинала 21 февраля 2023 года . Проверено 27 марта 2023 г.
• Кесада, Хосе Ф.; Матеос, Франсиско-Хесус Мартин; Лопес-Сото, Тереза ​​(25 апреля 2016 г.). Будущие и новые тенденции в языковых технологиях: первый международный семинар, FETLT 2015, Севилья, Испания, 19–20 ноября 2015 г., Пересмотренные избранные статьи . Спрингер. ISBN  978-3-319-33500-1 .
• Рабе, Флориан (2008). Представление логики и логических переводов (PDF) (кандидатская диссертация). Бремен: Бременский университет Джейкобса.
• Сауле, Бурбекова; Айсулу, Нуржанова (июль 2014 г.). «Проблемы теории и практики перевода: эквивалентность оригинального и переведенного текста» . Procedia — Социальные и поведенческие науки . 136 : 122. doi : 10.1016/j.sbspro.2014.05.300 .
• Шапиро, Стюарт (4 сентября 2014 г.). Разновидности логики . ОУП Оксфорд. п. 75-6. ISBN  978-0-19-102551-8 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.
• Лестница, Аллен (29 сентября 2017 г.). Путеводитель мыслителя по философии религии . Рутледж. п. 343. ИСБН  978-1-351-21981-5 . Архивировано из оригинала 26 марта 2023 года . Проверено 27 марта 2023 г.
• Турецкий, Филипп (11 апреля 2019 г.). Элементы аргументов: введение в критическое мышление и логику . Бродвью Пресс. п. 35. ISBN  978-1-4604-0646-5 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.
• Веллеман, Дэниел Дж. (16 января 2006 г.). Как это доказать: структурированный подход . Издательство Кембриджского университета. п. 8, 103. ISBN  9780521675994 . Архивировано из оригинала 10 февраля 2023 года . Проверено 27 марта 2023 г.
• Уолтон, Дуглас Н. (1987). «1. Новая модель аргументации». Неформальные заблуждения: к теории аргументированной критики . Джон Бенджаминс. стр. 1–32. ISBN  978-1-55619-010-0 . Архивировано из оригинала 2 марта 2022 года . Проверено 2 января 2022 г.
• Якуб, Аладдин М. (24 октября 2014 г.). Введение в металогику . Бродвью Пресс. п. 87. ИСБН  978-1-77048-381-1 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.
• Зоя, Дурдик (7 июля 2016 г.). Документирование решений по архитектурному проектированию посредством повторного использования шаблонов проектирования . КИТ Научное издательство. п. 77. ИСБН  978-3-7315-0292-0 . Архивировано из оригинала 25 марта 2023 года . Проверено 27 марта 2023 г.