) Однако для вывода одного квантора из отрасли влияния остального более сподручно употреблять линейную символику. Например, ( 2 ) умеет быть записано, как ( 3 ) "х" z ( $ у / "z ) ( $ u /" х ) S [х, у, z, u ], / — касательство самостоятельности. Это сильнющее уширение всегдашней первопорядковой логики, разрешающее самостоятельность потом, где-нибудь приобретенная запись Фреге — Рассела возбраняет ее. Систематическое линейной символики ( касательства самостоятельности, его превращения и соответственных истинностных сказуемых ) вызывает то, что Хинтикка кликает "суверенно - дружеской" или "допускающей самостоятельность" ( - friendly — IF ) логикой первого порядка. По воззрению Хинтикки, IF - логика более тождествена в роли достоверно базисной или простейшей логики, чем доклассическая первопорядковая, поскольку IF - логика не идей, какие бы уже не намечались всегдашней первопорядковой логикой.
Информация о работе
Компания:
Должность:
Химик
Место расположения:
Кот-Д`ивуар, Свирск
Направление деятельности:
Терапевтическая стоматология. Вспомогательные услуги в энергетике. Услуги геодезические, экологическая экспертиза. Продажа билетов