Диссертации по философии, автореферат и диссертация на тему Логика Специальность ВАК РФ: 09.00.07

Реконструкция логических систем Н. А. Васильева средствами современной логики

Костюк, Тамара Петровна — Москва, 1999

Все перечисленные обстоятельства делают актуальным анализ текстов самого Васильева и реконструкцию его теории с использованием средств современной логики. Формальная реконструкция логики H.A. Васильева позволит 1) выявить семантические и дедуктивные особенности построенных им систем и 2) получить точные данные, которые позволили бы в дальнейшем...

Квазиматричная логика норм

Кузнецов, Андрей Михайлович — Москва, 1998

В настоящее время в логической литературе предложено достаточно много разнообразных систем логики норм. При этом ни одна из этих систем не лишена определенных серьезных недостатков, о которых будет сказано ниже. Однако такое положение дел отражает лишь тот факт, что исследования в логике норм...

Логико-методологический анализ представлений индуктивных рассуждений в современных логических теориях

Петров, Василий Борисович — Москва, 1998

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

Логико-философские основания проблемы представления знаний

Мешкова, Людмила Николаевна — Москва, 1998

Семантическая метрика. На множестве информационных •д.; ни ц в некоторых случаях полезно задавать отношение, . :-:терпзуюшее ситуационную близость информационны:': единиц, -. л-;-ние релевантности для информационных единиц. Такое :; ленпе дает возможнсть выделять в информационной базе ры: тип"вые .итуации. Каждая типовая ситуация, каждое . :тяти...

Логическое следование и интуиционизм (проблема релевантизации интуиционистской логики)

Шрамко, Ярослав Владиславович — Киев, 1998

Релевантна логжа комплексно розглядае проблематику в1дношення лопчного сл!дування i всю низку питань, що пов'язана з щею проблематикою. В межах дооиджень, яю проводяться в загальному pycAi релевантно! лопки, побудована значна гальгасть р1зноман1тних лог1чних числень. Деяи з них отримали широке визнання i стали в певному po3yMiHHi парадигматичними...

Моделирование финитных ситуаций и критика финитных моделей в традиционной логике

Беляев, Вадим Владимирович — Санкт-Петербург, 1998

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

Табличные исчисления в классической и неклассических логиках

Антонова, Ольга Аркадьевна — Санкт-Петербург, 1998

В 50-е гг. наряду с такими известными методами доказательства как аксиоматический, натуральный, секвенциальный получил широкое распространение и применение метод таблиц. Табличный метод имеет фундаментальное значение для теории доказательств, являющейся одной из интенсивно развивающихся областей современной логики. Не меньшее значение имеет...

Учение о речи в античной диалектике

Савельев, Афанасий Леонтьевич — Санкт-Петербург, 1998

В настоящее время сложилось несколько вариантов употребления слова "диалектика", достаточно далеких друг от друга. Верно это и в отношении древней диалектики: так, например, "История античной диалектики" — совместный труд группы советских философов, отмечает: "...в этот период (т.е. в античности — A.C.) о диалектике следует говорить в двух...

Формальная феноменология

Васюков, Владимир Леонидович — Москва, 1998

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

Исследование силлогистических теорий средствами символической логики

Маркин, Владимир Ильич — Москва, 1997

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

Логическая семиотика во Львовско-Варшавской философской школе

Домбровский, Борис Тарасович — Москва, 1997

Мировое научное сообщество причисляет Львовско-Варшавскую школу к одному из направлений аналитической философии. Характерной чертой философии Школы является критический анализ постулатов и утверждений, используемых языковых средств наряду с их обязательной логической проверкой. Такова общая характеристика аналитического метода, привнесенного в...

Полимодальные фрагменты временных логик

Фримучкова, Екатерина Владимировна — Москва, 1997

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

Этика Абсолюта русской философии интуитивизма (Н.О. Лосского и С. Л. Франка)

Ларионова, Виктория Константиновна — Киев, 1997

Ми перебуваємо на межі двох великих історичних епох, і новий досвід вимагає нового його осмислення. Гуманістичні надбання минулих поколінь у цьому плані являють собою багату скарбницю, з якої наші нащадки мають можливість черпати наснагу для подальшого свого творчого розвитку. Вилучення будь-якого елемента філософської культури звужує масштаби...

Бикомпонентная семантика и интенсиональная логика (проблемы логики смысла и денотата)

Микиртумов, Иван Борисович — Санкт-Петербург, 1996

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

Биокомпонентная семантика и интенсиональная логика (проблемы логики смысла и денотата)

Микиртумов, Иван Борисович — Санкт-Петербург, 1996

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

Дедукционная теорема в системах релевантной логики

Ладушкин, Сергей Иванович — Санкт-Петербург, 1996

Особое значение приобретает поэтому комплексное исследование основных понятий и принципов, на базе которых строятся исчисления релевантной логики. Такой подход позволит заложить основу для построения целостной методологии исследования релевантности в логике, отсутствие которой остро ощущается в настоящее время...

Логическое учение Раймунда Луллия

Кульматов, Владимир Александрович — Санкт-Петербург, 1996

Раймунд Луллий (1232-1316) - каталонский средневековый мыслитель. Литературное наследие Р. Луллия довольно обширно. Оно включает работы различного жанра по многим областям, человеческого знания: богословии, философии, логике, праву, этике и т.д., написанные на каталонском, латинском, арабском языках. Предполагаемое полное собрание сочинений...

Ответственность как духовно-нравственное измерение личности

Василевская, Татьяна Эдуардовна — Киев, 1996

Усе це робить насущним питания про обгрунтування кнтте-вих ор1снтир1в, критерии жнттед1ялыюст1 1нд1ш1да. Bupi-шальну роль тут покликана з!гратн етика, особливо у резробц! теми, що эвучить сьогодн! всюди - теми особисто! rilnnoui-дальност1 людини за cbít i за себе у цьону cbItí. Епоха "к!нця трансцендентального алШ" ( Махл1н В.Л.) з особливою...

Феномен конечности бытия человека, экзистенциальныйи этический аспекты

Мулярчук, Евгений Иванович — Киев, 1996

Актуальність тени дисертації, в дослідженні розглянуто проблематику, яка, власне, завжди була присутня у філософії. Однак у XX столітті вона набуває особливої актуальності. Поняття "конечність" притаманне передусім саморозумінніо людини нашої доби, коли втрачають свою обгрунтованість уявлення про буття в цілому як таке, то має певний смисл, зада...

Концептуальные основания формального языка металогики

Переверзев, Василий Николаевич — Новосибирск, 1995

С одной сторсим.в современной символической логике сформировался новыЯ раздел "Металогнка".в рачках которого изучавтся чроблемн логического синтакскса,логической сен антики и логической прагматики .еыхо.-дщие за пределы таких ,стъввих ужа традиционными, разгагов , как "Логика гчказыванкй" и ''Логика предикатов". В процессе разработки кгнкретччх...