Гномическое время

[Валер]

ну да..
совершенный вид маркирован
несовершенный немаркирован
гномис наглухо лишён маркеров..

Может я туповат бываю, но я так толком этот гномис не уразумел. "Дважды два - четыре" - гномис? Тут - лишён. "Не всё  золото"..тоже. Но всегда ли нет намёка на время?

[Wulfila]

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

[Валер]

..."Они никогда не знают куда мы идём"

[Валер]

Маркер то он маркер, но всегда ли есть куда ткнуть в него пальцем

[arseniiv]

Artemon, а как насчёт «эмпирически»?

Можно, конечно, разделять то, что по определению и то, что не (подумал, логичнее; передумал), но определение можно натянуть на всё.

P. S. 2×2 = 4 истинно в арифметике Пеано, на которой основано много-много чего [умножение определяется в ней, равенство аксиомами теории равенства, расширением которой является а. П., а сама теория равенства — расширение логики предикатов; 2 и 4 — символы метатеории, определяемые [не вдаваясь в подробности] как соответствующие суммы единиц], альтернативных же арифметик я не очень знаю — не пригодились, видимо.
Хотя, нет. Если мы возьмём какое-нибудь кольцо, там может быть всяко-разно. К примеру, в кольце целых чисел по модулю 4 (рассматриваются не числа, а их остатки от деления на 4) 2×2 = 0. Хотя, никто не запрещает ввести ещё одно имя 4 для денотата имени 0, притом это будет не абсурдно — 4 и 0 по модулю 4 эквивалентны.
В кольце целых по модулю 3 2×2 = 1.

P.² S. Я тут немного перемешал разные вещи; для пущей однородности надо было говорить не об аксиоматике Пеано, а о кольце целых чисел (хотя аксиомы Пеано покрывают только натуральные, но в нашем примере всё равно). Можно было бы преобразовать описание колец в разговоры о соответствующих системах аксиом, но в алгебре такое не используется, потому что совершенно не даёт никаких преимуществ. И даже запутывает.

[Валер]

Artemon, а как насчёт «эмпирически»?

Например
Если я правильно понял, то это может быть интересно, но ИМХО, лучше в виде "по факту", "де-факто", "фактически"

[autolyk]

Но гномис выражает «никакое» время, следовательно теоретически аспект может быть любым.

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

Согласен, но временные точки тоже могут находиться в том или ином месте на всей протяжённости оси (в случае «гномис перфектатив»).

[hurufu]

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

У нас, помню, даже одно практическое занятие было посвящено «тропической алгебре» (tropical algebra).

[arseniiv]

J? xnj d ytq ghjbc[jlbn& Расскажите, пожалуйста! А, вижу, полукольцо определённое.

Например
Если я правильно понял, то это может быть интересно, но ИМХО, лучше в виде "по факту", "де-факто", "фактически"

«Де-факто» явно не подходит, потому что оно подразумевает (хм) неформальность, а она должна быть побоку. А «фактически» разве не то же самое будет [что и моё]? Наблюдали-наблюдали — и в результате установили X. Т. е. X — это факт.

[Валер]

J? xnj d ytq ghjbc[jlbn& Расскажите, пожалуйста! А, вижу, полукольцо определённое.

Например
Если я правильно понял, то это может быть интересно, но ИМХО, лучше в виде "по факту", "де-факто", "фактически"

.. А «фактически» разве не то же самое будет [что и моё]? Наблюдали-наблюдали — и в результате установили X. Т. е. X — это факт.

А Вы фактически своё "эмпирически" в половину контекстов не всунете. Оно там будет не при контексте

[RawonaM]

P. S. 2×2 = 4 истинно в арифметике Пеано, на которой основано много-много чего [умножение определяется в ней, равенство аксиомами теории равенства, расширением которой является а. П., а сама теория равенства — расширение логики предикатов; 2 и 4 — символы метатеории, определяемые [не вдаваясь в подробности] как соответствующие суммы единиц], альтернативных же арифметик я не очень знаю — не пригодились, видимо.

От так совпадуха: акурат сейчас в книге логики у меня открыта страница с арифметикой Пеано...

[arseniiv]

Кстати, хорошая задачка: доказать в арифметике Пеано
a + b = b + a,
ab = ba,
(a + b)c = ac + bc.

Мне приходилось выдумывать много лемм.

А Вы фактически своё "эмпирически" в половину контекстов не всунете. Оно там будет не при контексте

Как хотите; лень пытаться понять, как точнее проверить и проверить.

[hurufu]

J? xnj d ytq ghjbc[jlbn& Расскажите, пожалуйста! А, вижу, полукольцо определённое.

А что рассказать-то, довольно молодая алгебра, применяется например в анализе последовательности нуклеотидов в ДНК.

[Artemon]

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