Волны Ложбана/Волна 27

Эта статья в данный момент активно редактируется участником Участник:Tempuser! Пожалуйста, не вносите в неё никаких изменений до тех пор, пока не исчезнет это объявление. В противном случае могут возникнуть конфликты редактирования!

Уроки Ложбана – урок двадцать седьмой (ложбанская логика: da, bu'a, zo'u и условия)

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

Вовлечение в большинство скрытых деталей этих логических конструкций может быть головоломно трудным, и всегда будут некоторые разногласия по поводу острых углов этой части языка. Изучение этих логических построений требует того, чтобы немного узнать о конструкциях, которые не имеют логического характера. Давайте начнём с zo'u

zo'u отделяет prenex от bridi

Всё, что перед zo'u, представляет из себя prenex, после zo'u - bridi. Неформально, prenex – это то место в передней части bridi, где вы расположили кучу условий. Условие – это английское слово, обозначающее некоторые виды ложбанских конструкций: sumti, sumtcita с или без прилагающимися sumti, na ku и гадость, называемая termsets, которую я отказываюсь включать в эти уроки. Рrenex не является частью bridi, но любые условия, размещённые внутри него, дают нам информацию о bridi. Можно, например, использовать его, чтобы заявить тему, как показано ниже:

lo pampe'o je nai speni zo'u mi na zunre – «что касается любовников, которые не являются супругами: я не одобряю.»

Преимущества такого вида структурирования предложений сомнительны, но ведь всегда хорошо иметь в наличии несколько вариантов, чтобы с ними играть. Кроме того, построение предложения таким образом очень напоминает Mandarin (и другие языки), что означает, что оно может показаться более понятным для носителей этого языка.

pampe'o x1 является любовником x2

zunre x1 одобряет x2 (план, событие или действие)

Конечно, отношения между условиями в prenex и bridi носят неопределённый характер. Можно представить себе любые sumti в prenex, несущие то же отношение к bridi, как если бы они были размещены в bridi после do'e sumtcita, и любые sumtcita в prenex делают почти то же самое, как если бы они были размещены в bridi. Вполне возможно разместить условия в prenex без ясного указания на то, каким образом это условие может соотноситься с bridi:

le ti gerku zo'u mi to'e nelci lo cidjrpitsa – «что касается этой собаки: я не люблю пиццу».

Это заставляет вас гадать о причине упоминания собак.

cidjrpitsa x1 пицца с добавлением/ингредиентами x2

Если prenex содержит na ku, это довольно просто: всё bridi отрицается так, как если бы само bridi начиналось с na ku.

Итак, как долго длится действие prenex? Оно длится до тех пор, пока следующее за ним bridi не заканчивается. Если это не желательно, то существуют два способа сделать действие prenex относящимся к нескольким bridi: один способ – это разместить какую-нибудь связку после .i , разделяющего bridi, а другой – это просто включить весь текст в tu'e ... tu'u-скобки. Эти скобки почти что склеивают все bridi вместе и делают так, что все виды конструкций распространяются на несколько bridi.

Теперь, когда мы рассмотрели zo'u, первые «логические» слова, которые мы можем использовать с ним, таковы:

da logically quantified existential pro-sumti 1

de logically quantified existential pro-sumti 2

di logically quantified existential pro-sumti 3

Эти слова означают то же самое, что и математические переменные x, y и z. Однако, как только у вас есть определение для них, они продолжают ссылаться на одни и те же вещи. Эти слова определяются в prenex of bridi, что означает, что как только prenex прекращает своё действие, определения этих трёх слов отменяются.

Слова da, de и di могут ссылаться на практически любое sumti, что несколько обесценивается в том случае, если они чем-нибудь ограничены. В первую очередь способом их ограничения является их определение: они называются "logically quantified existential pro-sumti" не просто так. Они представляют из себя pro-sumti, они по большей части используются при определении количества и они являются «»экзистенциальными». Что значит быть «экзистенциальным»? Это значит, что если они используются, то это означает, что они относятся к чему-то, что существует. Например:

Заявление pa da zo'u da gerku имеет pa da в prenex, что значит «об одной существующей вещи», и затем da, определённое в настоящем, используется в bridi da gerku. В переводе на русский это значит «что касается одной существующей вещи, то это собака.» Очевидно, что это ложь, потому что в мире их примерно 400,000,000. Если da и её сёстры не определены, по умолчанию используется число su'o. Таким образом, da zo'u da gerku значит «чуществует по крайней мере одна вещь, которая является собакой», что является правдой.

Обратите внимание, что любой подсчёт должен быть более или менее точным, чтобы быть правдой: конечно, одна собака существует, но в Ложбане pa da zo'u da gerku значит не только то, что существует одна собака, но также и то, что других собак, кроме неё, больше нет.