... Pn, lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Qn style='font-size:14.0pt;line-height:150%'>, style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Rn style='font-size:14.0pt;line-height:150%'> (величина параметра λ выражает
смысл теории значения, вес, который исследователь приписывает логическому
фактору по сравнению с эмпирическим в процессе определения значения
репрезентативной функции Карнапа; характеризующий апостериорную вероятность
сингулярного предикатного вывода; как видно, мы пользуемся λ таким
образом, что ее единственной интерпретацией является не число описаний
состояния, индивидов, упоминаемых в свидетельстве, а математическое понятие
числа, т. е. мы упоминаем здесь язык, формализующий λ-континуум Карнапа, подобно
тому, как
n-местные предикаты интерпретируемы в речи посредством понятия);

<![if !supportLists]> style='font-size:14.0pt;line-height:150%'>4) style='font:7.0pt "Times New Roman"'>               

<![endif]>семантики:
α1, α2, α3, (постоянные Хинтикки)
--
p, lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q style='font-size:14.0pt;line-height:150%'>, style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>r style='font-size:14.0pt;line-height:150%'>.

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



<![if !supportLists]> style='font-size:14.0pt;line-height:150%'>5) style='font:7.0pt "Times New Roman"'>               

<![endif]>S style='font-size:14.0pt;line-height:150%'> (смысл) -- style='mso-char-type:symbol;mso-symbol-font-family:Symbol'>" style='font-size:14.0pt;line-height:150%'>, style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>P style='font-size:14.0pt;line-height:150%'> (значение) -- lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>E style='font-size:14.0pt;line-height:150%'>.

<![if !supportLists]> style='font-size:14.0pt;line-height:150%'>6) style='font:7.0pt "Times New Roman"'>               

<![endif]><!--[if gte vml 1]> style='position:absolute;left:0;text-align:left;z-index:1' from="108pt,-18pt"
to="117pt,-18pt"/><![endif]--><![if !vml]> src="http://lib.ru/POLITOLOG/SHILOW_S/int.files/image003.gif" v:shapes="_x0000_s1047"><![endif]> style='font-size:14.0pt;line-height:150%'>связки логики отношений.


style='font-size:14.0pt;line-height:150%'>Замечание: Поскольку кванторы
формализуются как субъект и предикат логических исследований,
переформулирование связок языка логики предикатов в логические связки языка,
выражающего понятия отношений, производится, реферируя их обоюдное отношение к
дизъюнкции, понимаемой конструктивно. А. А. Марков пишет: "в конструктивной
математике дизъюнкции понимания как осуществимости указания и верного члена, т.
е. как потенциальная осуществимость конструктивного процесса, дающего один из
членов дизъюнкции, который будет верным... Аналогично двучленным дизъюнкциям
могут строиться и пониматься дизъюнкции трехчленные, четырехчленные и т. д. ...
Когда в нашем распоряжении имеется список всех конструктивных объектов
интересующего нас типа, причем этот список одержит более одного названия,
высказывание о существовании конструктивного объекта, удовлетворяющего данному
требованию оказывается равнозначным многочленной дизъюнкции, каждый член
которой утверждает, что один из объектов списка удовлетворяет выдвинутому
требованию, причем все объекты списка фигурируют в этом смысле в дизъюнкции".
Для исчисления логики отношений программа финитизма Гильберта представляется,
таким образом, выполнимой, в частности, вопрос о непротиворечивости этой системы
может быть решен средствами, которые в ней же формализуются, поскольку она
своей интерпретацией имеет язык логики предикатов. Выражая язык логики
предикатов посредством формальной системы и исследуя вопрос о
непротиворечивости этой системы, мы выясняем границы приложения концепции языка
логики предикатов, указываем пределы, в которых наверняка противоречий не
возникает, или, иначе говоря, конструируем смысл, требующий образования понятия
логики предикатов. Связки языка логики предикатов оказываются тем самым
десигнациями, формализмами в речи, финитной тем самым посредством понятий,
связок логики отношений, делегирующих собой смысл, требующий образования в
финитной речи посредством понятий понятия же связок языка логики предикатов,
значения классической формальной логики: материальная импликация (утверждает то
же, что и дизъюнкция, первый член которой есть отрицание посылки



style='font-size:8.0pt'> style='mso-spacerun:yes'>

&

style='font-size:14.0pt'>импликации, а второй -- ее заключение) → - & (конъюнкция).



Поскольку истинность и
ложность многосоставных конъюнктивных суждений определяется правилом:
конъюнкция истинна в случае истинности всех ее членов и ложна при ложности хотя
бы одного из ее членов, то, следуя безразличию конструирования закону
абсолютного различия лжи и истины, и следуя теории о разрешенных высказываниях
и их прямых отрицаниях (конъюнкция двух разрешимых высказываний есть прямое
отрицание их дизъюнкции, а также о том, что прямое отрицание всякого
разрешимого высказывания есть разрешимое высказывание и всякое разрешимое
высказывание есть прямое отрицание своего прямого отрицания), мы заключаем о
том, что смыслами языка логики предикатов, формализмом, получающим
интерпретацию в языке логики отношений будет



 



style='font-size:16.0pt'> style='mso-spacerun:yes'>

&

style='font-size:14.0pt'>"материальная импликация"

style='font-size:8.0pt'> style='font-size:14.0pt'>→ . style='mso-spacerun:yes'> style='mso-spacerun:yes'> style='mso-spacerun:yes'> style='font-size:18.0pt;mso-ansi-language:EN-US'>V style='font-size:14.0pt'>

Таким образом, далее
ясно, что строгая импликация → --
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>V

style='font-size:14.0pt;line-height:150%'> (дизъюнкция).

Как известно, дизъюнкция прямых
отрицаний двух разрешимых



style='font-size:14.0pt'> style='mso-spacerun:yes'>

style='mso-spacerun:yes'> style='mso-spacerun:yes'> style='font-size:16.0pt;mso-ansi-language:EN-US'>&

style='font-size:14.0pt;line-height:150%'>высказываний есть разрешимое
высказывание. Если в первом случае с
мы имели дело с языком,
формализующим принцип фальсифицируемости Карнапа, то во втором, очевидно, мы
сталкиваемся со смыслом принципа фальсифицируемости Поппера, полемика по поводу
этих принципов уже сама по себе доказывает существование языка логики отношений
как такового, непротиворечивость которого доказывается средствами,
формализующимися в его же системе.



Далее:



style='font-size:14.0pt;line-height:150%'>дедуктивная импликация ├ style='mso-spacerun:yes'>

- (импликация) →

Под дедуктивной
импликацией понимается та, что "выражает выводимость своего заключения из своей
посылки при данной совокупности правил вывода" (А. А. Марков).



Через дедуктивную импликацию
определено редукционное отрицание, ее формализацией может служить концепция
языка Куайна.



<!--[if gte vml 1]> coordsize="72,144" filled="f">

<![endif]--><![if !vml]> v:shapes="_x0000_s1074"><![endif]><!--[if gte vml 1]> style='position:absolute;left:0;text-align:left;z-index:9;
mso-position-horizontal:absolute;mso-position-vertical:absolute' points="240.75pt,23.4pt,236.7pt,31.5pt"
coordsize="81,162" filled="f">

<![endif]--><![if !vml]> v:shapes="_x0000_s1075"><![endif]><!--[if gte vml 1]> style='position:absolute;left:0;text-align:left;z-index:6;
mso-position-horizontal:absolute;mso-position-vertical:absolute' points="198pt,5.25pt,202.5pt,13.05pt"
coordsize="90,156" filled="f">

<![endif]--><![if !vml]> v:shapes="_x0000_s1072"><![endif]><!--[if gte vml 1]> style='position:absolute;left:0;text-align:left;z-index:7;
mso-position-horizontal:absolute;mso-position-vertical:absolute' points="206.85pt,5.25pt,202.35pt,13.05pt"
coordsize="90,156" filled="f">

<![endif]--><![if !vml]> v:shapes="_x0000_s1073"><![endif]> style='mso-spacerun:yes'>

style='font-size:24.0pt'>V

Индуктивная импликация →
-
V (строгая
дизъюнкция), так выразим смысл разрешимого высказывания. Индуктивная импликация
реализует идею ступенчатой семантической системы. "Имея формальный язык,
пригодный для построения высказываний определенного рода, мы сможем оказаться в
состоянии ввести дедуктивные импликации с посылками и заключениями этого вида.
Однако сами эти импликации уже не будут выражаться формулами этого языка.
Пожелав рассматривать эти дедуктивные импликации как высказывания, которые
можно комбинировать с помощью логических связей, необходимо построить новый
формальный язык". Индуктивная импликация, формализуя смысл строгой дизъюнкции,
истинной, или иначе существующей таким образом, и тогда только, когда истинен
один и ложен другой ее член, выражает тем самым смысл понятия формулы,
экспликация ┤ - (отрицание)



Здесь уместно вспомнить
концепции классического и неклассического отрицания с той единственно точки
зрения, что как то, так и другое являются финитизмом десигнации понятия смысла
и, поэтому,



Субстантивация,
обозначается словом-знаком "есть" - (эквиваленция). Эквиваленцию формализует
слово "есть", которое мы рассматриваем как ключевое в построении алгорифмом
самого себя.



"Словами в алфавите А
показывают конструктивные объекты, получающие в результате развертывание конструктивных
процессов, ведущихся на основе следующих правил:



а) пустое слово ^ мы
считаем словом в алфавите А;



б) если конструктивный
объект Р уже оказался словом в алфавите А, то словом в алфавите А мы считаем
также конструктивный объект
PEs, где Es -- любая буква алфавита А".



К сему мы добавляем
третье правило: исходным словам вербального алгорифма в алфавите А является
слово "есть", введя тем самым понятие выполнимого алгорифма. Формализм слова
"есть" будет служить в качестве интерпретации алгорифмом самим себе и движение
его, состоящем в собственном достраивании по законам теоретико-семантической
игровой концепции Хиптикки, он будет тем самым воспроизводить свой финитизм, т.
е. присоединяющие, сокращающие, разветвляющие, удваивающие и обращающие
алгорифмы на следующем шаге будут выступать для себя словами, их длиной,
началами, концами, проекцией на алфавит и т. д., а вхождения и системы слов
будут рассматриваться им самим как сочетание нормальных алгорифмов
(распространение, замыкание, композиция, объединение, разветвление,
повторение);



<!--[if gte vml 1]> coordsize="117,6" filled="f">

<![endif]--><![if !vml]> v:shapes="_x0000_s1068"><![endif]><!--[if gte vml 1]> style='position:absolute;left:0;text-align:left;z-index:2' from="162pt,6.8pt"
to="171pt,6.8pt"/><![endif]--><![if !vml]> v:shapes="_x0000_s1056"><![endif]>7. технические знаки " style='font-size:14.0pt;line-height:150%'>,

style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>E lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>-- кванторы языка логики предикатов,
выражающие соответственно стандартную и подстановочную интерпретации
квантификации.


<!--[if gte vml 1]> style='position:absolute;left:0;text-align:left;z-index:4;
mso-position-horizontal:absolute;mso-position-vertical:absolute' points="180pt,-425.65pt,185.1pt,-425.65pt"
coordsize="102,1" filled="f">

<![endif]--><![if !vml]> src="http://lib.ru/POLITOLOG/SHILOW_S/int.files/image010.gif" v:shapes="_x0000_s1065"><![endif]><!--[if gte vml 1]> id="_x0000_s1062" style='position:absolute;left:0;text-align:left;z-index:3'
from="179.45pt,267.35pt" to="179.45pt,267.35pt"/><![endif]--><![if !vml]> style='mso-ignore:vglayout;position:absolute;z-index:3;left:0px;margin-left:
238px;margin-top:355px;width:2px;height:2px'> src="http://lib.ru/POLITOLOG/SHILOW_S/int.files/image011.gif" v:shapes="_x0000_s1062">

<![endif]> style='font-size:14.0pt;line-height:150%'>Технические знаки имеют следующую
интерпретацию, носящую конструктивный характер: квантор существования языка
логики предикатов на деле выражает стандартную интерпретацию квантификации,
основными чертами которой является, "во-первых, то, что такая интерпретация
предполагает априорно заданную область объектов, и, во-вторых, что
предполагаемая область объектов не пуста, т. е. содержит по крайней мере один
объект. Стандартная интерпретация предполагает также референтативный характер
формального языка, проявляющийся, в частности, в том, что имена
формализованного языка указывают на существующие с точки зрения соответствующей
теории объекта. Иными словами, стандартная интерпретация первопорядкового
кванторного языка основана на понятии
<!--[if gte vml 1]> id="_x0000_s1078" style='position:absolute;left:0;text-align:left;z-index:10;
mso-position-horizontal:absolute;mso-position-horizontal-relative:text;
mso-position-vertical:absolute;mso-position-vertical-relative:text' points="183.45pt,7.2pt,187.95pt,7.05pt"
coordsize="90,3" filled="f">

<![endif]--><![if !vml]> v:shapes="_x0000_s1078"><![endif]>объекта", квантор общности " style='font-size:14.0pt;line-height:150%'> языка логики предикатов,
интерпретируется языков и в языке логики
отношений, style='mso-spacerun:yes'>
как подстановочная style='mso-spacerun:yes'> интерпретация

style='font-size:14.0pt;line-height:150%'>квантификации.



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



<![if !supportLists]> style='font-size:14.0pt;line-height:150%'>1) style='font:7.0pt "Times New Roman"'>                         

<![endif]>выявление
роли, которую индивидные константы играют в некотором языке логики предикатов;


<![if !supportLists]> style='font-size:14.0pt;line-height:150%'>2) style='font:7.0pt "Times New Roman"'>                         

<![endif]>замена
имен языка функциями индивидных переменных согласно стандартной интерпретации
квантификации;


<![if !supportLists]> style='font-size:14.0pt;line-height:150%'>3) style='font:7.0pt "Times New Roman"'>                         

<![endif]>замена
предикатов пропозициональными функциями, определяемых самой подстановочной интерпретацией
квантификации на выясненном вполне в исследуемых вполне в силу этого
lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n style='font-size:14.0pt;line-height:150%'>-ных имен языка.

<![if !supportLists]> style='font-size:14.0pt;line-height:150%'>4) style='font:7.0pt "Times New Roman"'>                         

<![endif]>Правильное
употребление технического знака определяется следующим образом:


а)
технический знак Е употреблен правильно, если означаемая им формула выводима средствами
языка логики предикатов.



б)
технический знак
style='mso-char-type:symbol;mso-symbol-font-family:Symbol'>"

style='font-size:14.0pt;line-height:150%'> употреблен правильно, если применен
к выражению, не выводимому в языке логики предикатов.


 



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



 



style='border-collapse:collapse;border:none;mso-border-alt:solid windowtext .5pt;
mso-yfti-tbllook:480;mso-padding-alt:0cm 5.4pt 0cm 5.4pt;mso-border-insideh:
.5pt solid windowtext;mso-border-insidev:.5pt solid windowtext'>
























 



 



 



 



 



 



 



 



 



 



____



___



_



___



 



___



___



___



X



Y