Диссертации по философии, автореферат и диссертация на тему Логика Специальность ВАК РФ: 09.00.07
Логицизм И. Г. Ламберта
Гордова, Татьяна Викторовна — Санкт-Петербург, 1995Следующим значительным обстоятельством, затрудняющим изучение достижений И.ГЛачберта, является отсутствие до сих пор издания собрания сочинений Ламберта, хотя начало общему изданию его работ было положено двумя первыми томами "Opera Mathematika", Zurich, 1948 под редакцией Андреаса Шпайзера, что представляет собой переиздаете четырехтомного труда...
Многомерные семантики временной и модально-временной логик
Карпинская, Ольга Юрьевна — Москва, 1994Многомерные семантики - это семантики, в которых оценка формул производится . одновременно более чем в одной точке (факторе, аспекте) Пожалуй, это самое общее определение, которое можно дать...
Точечные и интервальные семантики для модальных и временных систем
Голованова, Ирина Павловна — Москва, 1994Исследования в овласти как точечного, так и интервального понимания природы времени получили в последнее время определенное развитие в отечественной и зарубежной литературе. Однако целостного рассмотрения вопроса и сопоставления точечного и интервального подходов в отечественной литературе пока не существует...
Аналогия: логический анализ, применение в искусственном интеллекте и моделировании
Левенец, Елена Владимировна — Москва, 1993Аналогия так же является эффективным средством, используемым в моделировании при нсследовани сложных и малоизученных объ-. ектов. Хорошо известной аналоговой моделью является модель атома Реэерфода. Также известной моделью для изучения прохождения тока в электрической цепи является модель, построенная на основании' ' аналогии электрического тока с...
Генценовские методы в логике
Мухачев, Виктор Павлович — Санкт-Петербург, 1993Хотя проз.л ) почти шестьдесят лет со времени опубликования классических трудов Генцена и список работ, посвященных поднятым в них проблемам, исчисляется уже не одной сотней названий, однако до сих пор нет исследований, содержащих хотя бы краткий л5зор истории развития гениеноЕСКих методов. Необходимость в такого рода исследованиях диктуется не...
Логика в России в конце XIX- начале XX века. Логика отношений С. И. Поварнина
Спивак, Веда Игоревна — Санкт-Петербург, 1993Расцвет русской логической мысли относится к концу ЯХ -началу XX Еека, когда складывались новые услоеия, при которых характер.развития историко-научных исследований качественно меняется. Это связано прежде есого о фундаментальными изменениями естестЕознания на рубеже XIX и XX векоЕ...
Логические основы компьютеризации диалога
Джалиашвили, Зураб Отарович — Санкт-Петербург, 1993ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ Предметом исследования являются логические основы компьютеризации диалога. Диалог рассматривается как процесс обмена информацией пеклу его участниками. Если в диалоге одна кз участву-' ¡ощих сторон смоделирована в виде компьютерной программы, то з зтом случае диалог следует рассматривать как компьютерный диалог. При...
Логико-лингвистические характеристики аргументации
Царева, Светлана Михайловна — Москва, 1992Практическая ценность работы заключается в возможности построения методик процессов обмена мнениями /толерантности, соглашения, консенсуса/, определении логических и лингвистических ошибок, возникающих в процессе аргументации и условий их устранения. Содержащиеся в работе идеи и результаты могут быть использованы для углубленного изложения курсов...
Логический анализ интеллектуальных систем с метапроцедурами
Катречко, Сергей Леонидович — Москва, 1992Тшсгеа образом, сосрэкушбо развитее ЭВМ делает актуальным анализ ттх гносеологических ■ проблем, встащи перед compute»« eolenoe, к рдэрвботку ковш: непргацювкй исследований для рененмн этих проблем...
"Логический анализ рассуждений с неявными предпосылками"
Хлус, Андрей Михайлович — Москва, 1992В современной литературе по ИИ выделяют два направления исследований: когнитивное я логическое. Критерием такого разделения является метод обоснования предлагаемых способов представления знаний. Представители когнитивного направления опираются но то или иное свое понимание "естественных" принципов приобретения гншшя, принципов организации...
Логический анализ рассуждения с неявными предпосылками
Хлус, Андрей Михайлович — Москва, 1992В современной литературе по Ш выделяют два направления исследований: когнитивное и логическое. Критерием такого раэдело-!шя является метод обоснова!шя предлагаемых способов представления знаний. Представители когнитивного направления опираются на то или иное свое понимание "естественных" принципов приобретения знания, пртадотов организации...
Совместная учебная деятельность как основа формирования умения учиться
Цукерман, Галина Анатольевна — Москва, 1992Объект исследования: интерпсихическая форма учебной ятельности младших школьников. Предмет исследования : 31шкновение и развитие субъекта совместной учебной ятельности, способного обнаруживать и восполнять недо-атацие ему способы действия, самостоятельно строя учебное аигюдействие с другим! ладь км...
Алексиус Мейнонг: теория предметов
Суздалев, Евгений Николаевич — Санкт-Петербург, 1991К настоящее времени не только построено достаточно большое число логические систем, но и сформулированы семантики различных типов. Наряду с традиционной /референциальной/ мы икеем ястиачостно-значную семантику, вероятностную семантику, секанткку возионгак ыиров, ситуационную, топологическую семантику и ряд других. Если из смотреть на логическую...
Логика функций с неопределенными аргументами
Балобанов, Виталий Серафимович — Санкт-Петербург, 1991ЛКТУАШ.'СС'ГЬ Т-йЦ. Длп современного этагта НТР характерно стремительное возрастание рода ИНФОРМ^ОГС-ХГО $а:.стора во всех областях человеческой деятельности. Особенно ощутима эта тенденций и современном пром'тлленном производстве. Если еще до 7С-х годов рост производительности труда э ото? области определялся развитием нрупичх предлриятн...
Методологические основы логического программирования
Фам Динь Нгьем — Москва, 1991Языки программирования, созданные в русле этого направления, принципиально отличаются от традиционных. Последние являются языками процедурного типа, т.е. составлая программы на этих языках, программист должен подробно описывать все шаги вычисления. Новые же языки заставляют программиста описывать ситуации и формулировать задачи, вместо того чтобы...
Релевантная логика и социология: семантические проблемы
Зайцев, Дмитрий Владимирович — Москва, 1991Очевидно, что охватить все возможности применения логики в социологии, учесть все разнообразные ответвления современной логики в одной работе просто невозможно, поэтому тема настояшего исследования существенно ограничена, с одной стороны, до анализа релевантной логики /преимущественно семантического/, а с другой - до двух социологических проблем...
Рефлексия педагога в общении со старшеклассниками как фактор эффективности руководства ученическим коллективом
Петрушихина, Елена Борисовна — Москва, 1991Особое значение настоящей работы определяется такяе той важнейшей ролью, которая принадлекпт классному руководителю в организации учебно-воепптатольного процесса. Классный руководитель выступает основным проводником педагогических воздействий, осуществляемых всем школьным коллективом, и потоку эффективность решения педагогических задач в...
Фатализм и случайность будущего (Логический анализ)(А.С. Карпенко. Фатализм и случайность будущего: логический анализ. М., Наука. 1990, 214 с.)
Карпенко, Александр Степанович — Москва, 1991Доктрина, утверждавшая, что одних законов логики вполне достаточно для доказательства того, что все в мире происходит по необходимости, получила название логического фатадиэла. В свою очередь, аргумент о том, что всеведение Бога влечет необходимость всего происходящего, называется аргументом теологического фатсиизда. Опровержение обоих...
Релевантные варианты интуиционистской логики
Шрамко, Ярослав Владиславович — Москва, 1990Практическая знаадшость райоти зчклпчсется в roa» что подученные в диссертгчря! рззульгати могут быть использованы при ¡:t,~ cTT-ooiíiji: конструктив»« теорий с непарадоксальнш отноше!шеи с~£.-дотанчя, в oomputer ooienre » а -¡ав*е upn разработке курсоь п., релевантной и интуиционистской логике...
Семантический анализ сингулярных термов
Демина, Лариса Анатольевна — Москва, 1990Для современной лингвистики характерно прослеживание взаимосвязи поверхностных и глубинных структур предложений естественного языка, результатом чего является построение моделей, отражающих'эмпирически не наблюдаемые свойства и отношения и фиксирующих существенные характеристики языка. Анализ логико-синтаксических типов структур предложений тесно...
- « Предыдущая страница
- 1
- ...
- 3
- 4
- 5
