Cтраница 2
Хинтикки [1974], мы склонны думать, что информация должна передаваться спрашивающему вербально, так что кивок нельзя считать абсолютно полноправным ответом на да-нет-вопрос. Хинтикка не приводит в этом месте никаких ссылок, мы не можем с уверенностью определить источник его недопонимания. В ней был описан этот тип вопроса как требующий языкового ответа во всех случаях, и Я - Хинтикка, видимо, отождествил словесный и языковой ответы. Вне всякого сомнения, кивок как ответ на da-wem - вопрос в действительности является частью языка и его ( конвенциональное) значение является сентенциональным. [16]
Так же как и для пропозиционального случая, пустое множество является тривиальным множеством Хинтикка 1-го порядка. Хинтикка 1-го порядка, содержащее 7-замкнутую формулу, должно быть бесконечным. [17]
Первый из описанных методов алгоритмического доказательства использует семантические таблицы. Используя теорию доказательств Бет и Хинтикка в 1955 г. построили алгоритм, устанавливающий, является высказывание тавтологией или нет. [18]
Невидимому, ке-тоны эти оказываются тождественными, так что наш кетон представляет собой не fi - изокамфенилон, как полагали мы раньше, основываясь на старых и недостаточно точных данных Комппа и Хинтикка, а а-изокамфе-иилон. [19]
Так как по своим свойствам кетоны эти, как видно из прилагаемой таблицы, весьма существенно отличались друг от друга, то заключение наше о строении изокамфенилона свелось к следующему: если кетон Комппа и Хинтикка имеет строение а-изокамфенилона, то полученный нами новый изомер камфенилона должен представлять собой [ i-изокамфенилон. [20]
Легко видеть, однако, что апофенхокамфорная кислота может образоваться при окислении изомерных кетонов - - а-или р-изокамфенило-на - и что точное определение карбонильной группы в нашем изокам-фенилоне ( а или fi; II) наметилось только тогда, когда был, наконец, получен и охарактеризован один из этих кетонов, а-изокамфенилон. Не вдалаясь в подробности истории этого вопроса, изложенного нами в предшествующих работах [3], укажем лишь, что основным моментом для его решения явилась работа Комппа и Рошиер [2], которая внесла весьма существенные исправления в данные более ранней работы Комппа и Хинтикка [4] относительно констант о-изокамфенилоиа. В обеих этих работах указанными авторами осуществлен в ряду камфенилона тот самый ряд превращений, который много лет назад позволил Бертраму и Вальбауму осуществить переход от фенхилового спирта к изофенхиловому. [21]
Совершенно очевидно, что установление структуры этой кислоты экспериментальным путем являлось крайне интересным и важным для суждения об истинном строении 8-метнлкамфснилона. Хинтикка [17] для определения структуры камфенилоловой кислоты, а именно: метллкамфопилоловая кислота была пробромирована, от бромзамещенной кислоты мы перешли к соответствующей а-оксикислоте, а окислением последней перекисью свинца в присутствии серной кислоты мы превратили ее в соответствующий кетон ряда циклопентана. [22]
Камфенилон был открыт Е. Е. Вагнером ( 1895) среди продуктов окисления камфена хамелеоном. Позднее были указаны различные способы получения этого кетона, исходя из того же углеводорода. Лучший из них предложили Блэз и Блан [1] и усовершенствовали недавно Комппа и Хинтикка [2]: камфен ( по предложению Комппа и Хинтикка в растворе сухого петролейного эфира) насыщают при 0 окислами азота и продукт реакции обрабатывают крепким раствором едкого кали при кипячении. Мы лично убедились в полной надежности этого метода; нельзя, однако, не отметить, что и при этом способе получение камфенилона требует не мало времени и труда. [23]
Хинтикки [1974], мы склонны думать, что информация должна передаваться спрашивающему вербально, так что кивок нельзя считать абсолютно полноправным ответом на да-нет-вопрос. Хинтикка не приводит в этом месте никаких ссылок, мы не можем с уверенностью определить источник его недопонимания. В ней был описан этот тип вопроса как требующий языкового ответа во всех случаях, и Я - Хинтикка, видимо, отождествил словесный и языковой ответы. Вне всякого сомнения, кивок как ответ на da-wem - вопрос в действительности является частью языка и его ( конвенциональное) значение является сентенциональным. [24]
Камфенилон был открыт Е. Е. Вагнером ( 1895) среди продуктов окисления камфена хамелеоном. Позднее были указаны различные способы получения этого кетона, исходя из того же углеводорода. Лучший из них предложили Блэз и Блан [1] и усовершенствовали недавно Комппа и Хинтикка [2]: камфен ( по предложению Комппа и Хинтикка в растворе сухого петролейного эфира) насыщают при 0 окислами азота и продукт реакции обрабатывают крепким раствором едкого кали при кипячении. Мы лично убедились в полной надежности этого метода; нельзя, однако, не отметить, что и при этом способе получение камфенилона требует не мало времени и труда. [25]
В новейшей работе Комппа и Рошиер [4 ] мы находим но ряду затронутых выше вопросов новые данные. Прежде всего был пополнен весьма существенный пробел прежних работ, а именно: спирт, соответствующий фен-хокамфороыу, был окислен хамелеоном в щелочной среде. Получилась двухосновная кислота, вполне тождественная с нашей рацемической ifMC - апофенхокамфориой кислотой, что вполне соответствует приведенным соображениям о строении фенхокамфорона Комппа и Хинтикка. Странным образом, однако, Комппа и Рошиер утверждают, что кислота эта не дает ангидрида, а потому и имеет тге / шнс-конфигурацию. Очевидно, им осталась неизвестной наша работа, специально посвященная / ас-апофснхокам-форной кислоте [5], в которой ангидрид этой кислоты нами описан и анализирован. [26]
По мнению Я - Хинтикки [ 19741, мы склонны думать, что информация должна передаваться спрашивающему вербально, так что кивок нельзя считать абсолютно полноправным ответом на да-нет-вопрос. Хкнтикка не приводит в этом месте никаких ссылок, мы не можем с уверенностью определить источник его не -, допонимания. В ней был описан этот тип вопроса как требующий языкового ответа во всех случаях, и Я - Хинтикка, видимо, отождествил словесный и языковой ответы. Вне всякого сомнения, кивок как ответ на оа-не / и-вопрос в действительности является частью языка и его ( конвенциональное) значение является сентенциональньш. [27]
С подвергают тщательной фракционировке и выделяют из него фракцию 159 - 161 С. Если к этой фракции прибавить затем твердой углекислоты и понизить таким образом ее температуру до 25 - 30 ниже 0 С, то вследствие выделения кристаллического камфена она быстро приобретает кашицеобразную консистенцию. Кристаллы камфена отсасывают на воронке Бюхнера, прибавляя к ним для поддержания низкой температуры немного твердой углекислоты, затем подвергают отфильтрованную массу повторному вымораживанию сначала при - 10 С, затем при 0 С и, наконец, перекристаллизовывают сырой камфен из спирта. С нами было получено этим путем 81 г сырого камфена, который после перекристаллизации был превращен, по Комппа и Хинтикка [4], в камфенилон. После очистки через семикарбазон кетон нагреванием с гидразингидратом ( 1: 1) был превращен в гидразон, из последнего же действием окиси ртути в спиртовой среде сначала на холоду, затем при нагревании на водяной бане мы получили апоциклен. Приводим ниже свойства всех только что перечисленных соединений. [28]
В более поздней работе Макдермотт и я [35] пытаемся формализовать логику, лежащую в основе TMS, при помощи того, что мы называем немонотонной логикой. Мы также приводим исторический обзор соответствующих методов рассуждения. Вейхраух [63] предлагает структуру для метатеорети-ческих рассуждений, в которой могут быть выражены как упомянутые выше, так и другие методы рассуждений. Хинтикка [23] приводит форму семантики возможного в мире для модальных логик знаний и допущений. Мур [38] комбинирует эту семантику для знаний с модальной логикой действий, но не рассматривает допущения и пересмотр допущений. [29]