Ozahariev

Бимодална логика с константи. Език.

Език на класическа бимодална логика с константи:

а) e разширение на език на класическа модална логика с константи, която,

б) е разширение на език на класическа модална логика, която,

в) е разширение на език на класическа бинарна логика с константи, която,

г) е разширение на език на класическа бинарна логика, която,

д) по настоящем е с представител - езика именуван ‘булева алгебра’.

Тази наследственност определя произход на унифицирана семантика, който приляга на разглеждан език, нека ви предложим семантика на възможните светове и “техни константни имена”.

За да се запознаем с унифицирания произход, граматически, представяме обозначение за това “как си я представяме?”, а именно M=<W,R,S,V>:

а) приемаме M като правилно обозначение на някакъв неизвестен нам модел

б) и в това M да обозначим универсума с W,

в) и предварително определена семантика е в основата, т.е. ние използваме свойствата й, като ‘общите елементите на R и S са елементи на декартовия квадрат на W, който съдържа и започва с елемента нула, т.е. празното множество’ и ‘елементите в декартовия квадрат на W са елементи на R или S’. Самите R и S си ги представяме като ‘релации - подмножества в това което е декартовия квадрат на W’.

Ако до тук вече въведохме понятието модел на тази семантика, то сега сами ще усложним отговора на предходните въпроси с един стар въпрос – ‘Кое е определимо в този език ?’.

Модел M=<W,R,S,V> е представител на структура обозначаема с Fr=<W,R,S> и ще търсим отговора на въпроса в W. Какво е построението на е универсума на Fr, което ще ни даде правилен отговор? Нека вземем в предвид, че:

a) бимодални съждения от език на класическа бимодална логика с константи, който не са определими в семантика на класическа бимодална логика или в сходна и непозната нам наследственно унифицирана по произход семантика (прочие виж по-горе поставенността на термина ‘приляга’ в контекст) са опредилими като синтаксис, т.е. граматика на езика;

б) и тези съждения реализират критерий за модална определимост.

Нека, ‘традиционно’, да приемем универсума на W като множество от верни съждения във модели породени от W. Неопределимостта се реализира като теорема, която теорема въвежда универсум за:

а) множество от верни съждения във модели породени от Fr,

б) именува този универсум с термина ‘логика’,

в) посочва непразно множество съдържащо съждение непринадлежащо на логиката,

г) въвежда алгоритмичност която разпознава:

г.1) кои универсуми на W съдържат универсуми на тази логика или

г.2) съждение логически изводимо от посоченото непразно множество:

г.2.1) с формални методи и/или предположена генетично наследственна информация за търсения краен модел;

г.2.2) чрез статистически/житейски предположена алгоритмичност.

По настоящем, в основата на прагматичните алгебрични резултати, например в областта на финитната пълнота, е реализирана субституция, т.е. замяна – ¿взаимоизгодна? и в двата универсума, на предположена или реализирана алгоритмичност.

Какъвто e характера на един синтактико-граматически-краен-логически въпрос поставен, заедно с пак там предложения отговор.

Ozahariev 09:43, 16 октомври 2007 (UTC) © winis webmaster; Раздел Образование; © 1991-2007

Здравей

Здравей! В българските Укикниги не се появява почти никой редовно. Ако имаш някакви въпроси, мога да се опитам да ти съдействам. --Alexandar.R. 17:53, 16 октомври 2007 (UTC)

.. Здрасти .. Да би могъл, ако гласуваш на страницата с кандидатурата ми. Ozahariev 13:07, 18 октомври 2007 (UTC)

Защо искаш да ставаш администратор? --Alexandar.R. 13:52, 18 октомври 2007 (UTC)

..краткият отговор се съдържа в самото ми желание. дългият отговор е в книгата която предложих на вашето внимание Ozahariev 19:19, 20 октомври 2007 (UTC)

Намеренията ти сигурно могат да се осъществят и без администриране. --Alexandar.R. 21:29, 20 октомври 2007 (UTC)

..ако имаш предвид писането: да!!!. за останалото ще си позволя да цитирам един мой приятел който в заключение казва "божа работа". аз в частност не съм атеист а с последното не се опитвам да правя пропаганда. виж по отношение на някои политики и принципи на поведение съм силен пропагандатор, 'Потребител:Alexandar.R.' нима ме питаш кои са те Ozahariev 14:54, 22 октомври 2007 (UTC)