|
|
| (не показаны 2 промежуточные версии этого же участника) |
| Строка 1: |
Строка 1: |
| − | {{редактирую|Участник:Tempuser}}
| |
| − | <big>'''Уроки Ложбана – урок двадцать седьмой (ложбанская логика: ''da, bu'a, zo'u'' и условия)'''</big>
| |
| | | | |
| − |
| |
| − | Тема, заявленная в этом уроке, нуждается в некотором оправдании: этот урок на самом деле не о том, как быть логичным в Ложбане, так как, во-первых, логика, по-видимому, одна и та же на всех языках, а во-вторых, на самом деле преподавание логики было бы совершенно нецелесообразно в одном единственном уроке. Скорее, этот урок объясняет некоторые конструкции, которые напоминают конструкции, использующиеся логикой. Оказывается, они с большим успехом могут применяться в Ложбане.
| |
| − |
| |
| − | Вовлечение в большинство скрытых деталей этих логических конструкций может быть головоломно трудным, и всегда будут некоторые разногласия по поводу острых углов этой части языка.
| |
| − | Изучение этих логических построений требует того, чтобы немного узнать о конструкциях, которые не имеют логического характера. Давайте начнём с 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'' значит не только то, что существует одна собака, но также и то, что других собак, кроме неё, больше нет.
| |
