Коварство многозначных логик вообще и 3VL в частности

[Vaelg]

А я ничего здесь не понял. Это матрица для -а и а&b?

Это таблицы истинности для отрицания (-), конъюнкции (&) и дизъюнкции (|).

Я не могу вычленить. У меня это просто ряды, и что куда не понять.

L{..., S{..., E, O{&,-, |, ||, >, ...}, ...}, ...}

А я ничего не понял здесь.
[/quote]
Логика - это множество, одним из подмножеств которого является формальный язык описания.

[myst]

Я не могу вычленить. У меня это просто ряды, и что куда не понять.

У меня всё нормально, в виде таблиц.

Логика{..., язык{...}, ...}

Логика - это множество, одним из подмножеств которого является формальный язык описания.

Спорно. Что является элементом логики, а что — языка?

[myst]

L{..., S{..., E, O{&,-, |, ||, >, ...}, ...}, ...}

И всё-таки расшифруйте эти буковки и скобочки.

[Vaelg]

Язык будет и сам являться элементом логики n-го порядка. Любое его подмножество (например, оператор) будет являться элементом логики n+1 порядка.

[Vaelg]

L{..., S{..., E, O{&,-, |, ||, >, ...}, ...}, ...}

И всё-таки расшифруйте эти буковки и скобочки.

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

[myst]

Язык будет и сам являться элементом логики n-го порядка.

Подмножество язык является подмножеством логики,

Вы уж определитесь, язык — элемент логики или её подмножество.

[myst]

В общем, давайте определение логики, а то я Вас не понимаю.

[Vaelg]

Язык будет и сам являться элементом логики n-го порядка.

Подмножество язык является подмножеством логики,

Вы уж определитесь, язык - элемент логики или её подмножество.

Вы в вашем требовании "определитесь" исходите из того, что некое множество замкнуто и может содержать в себе элементы и подмножества. Я исхожу из того, что конечного элемента или подмножества не существует и конечность конкретного множества определена только нашими знаниями о нем. Любой элемент (с вашей точки зрения) может быть развернут в множество. А если не может, то это опять же ограничение нашего знания о нем.

[Vaelg]

Ну определение логики, по-моему, уже как бы понятно из того, что уже написано...

[myst]

Любой элемент (с вашей точки зрения) может быть развернут в множество.

У Вас множества могут содержать в качестве элементов другие множества, что ли?

[myst]

Ну определение логики, по-моему, уже как бы понятно из того, что уже написано...

Да вот, как бы нет.

[myst]

Может, вернёмся к простым, ясным и понятным алгебрам логик?

[Vaelg]

Может, вернёмся к простым, ясным и понятным алгебрам логик?

Другими словами, вы категорически не приемлете изложенную мной простую, ясную и понятную теорию . И предлагаете вернуться в рамки всех этих кон- и дизъюнкций.
Ну давайте вернемся.

[Vaelg]

Может, вернёмся к простым, ясным и понятным алгебрам логик?

Другими словами, вы категорически не приемлете изложенную мной простую, ясную и понятную теорию . И предлагаете вернуться в рамки всех этих кон- и дизъюнкций.
Ну давайте вернемся.

[myst]

Другими словами, вы категорически не приемлете изложенную мной простую, ясную и понятную теорию

Я её не понимаю. Но если Вы ясно и понятно объясните...
В Вашей теории множества могут быть элементами других множеств?

[Vaelg]

Другими словами, вы категорически не приемлете изложенную мной простую, ясную и понятную теорию

Я её не понимаю. Но если Вы ясно и понятно объясните...
В Вашей теории множества могут быть элементами других множеств?

Понятие элемента дуально. Элемент может рассматриваться как элемент (если он является конечной точкой нашего среза и мы не разворачиваем его в множество). В противном случае он является подмножеством для включающего множества и множеством - для включаемого.
Ну что-то типа ЛИСПа.

[Vaelg]

Универсум в простейшем случае можно представить в виде вектора, на котором откладывается отрезок нашего знания о том или ином множестве. Этот отрезок, каждая точка на котором - это элемент, мы можем последовательно, слева направо (сверху вниз) развернуть на любую, доступную нашему опыту, знанию и пониманию, глубину.

[Vaelg]

В полном же рассмотрении универсум - это круг, каждая точка которого - элемент; диаметр круга соответствует нашему текущему уровню знаний о нем (универсуме).
Ну чего проще!

[myst]

Однако, у Вас необычная теория множеств. Где про неё можно почитать?