URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Бессонов А.В. Предметная область в логической семантике
Id: 111255
 
178 руб.

Предметная область в логической семантике. Изд.2

URSS. 2010. 112 с. Мягкая обложка. ISBN 978-5-396-00138-1.

 Аннотация

Настоящая монография посвящена анализу роли концепции предметной области в обосновании логического вывода. На основе критического рассмотрения стандартного метода обоснования вывода развиваются идеи подстановочной семантики языка кванторной логики. С точки зрения задачи обоснования вывода анализируется

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

Книга рассчитана на специалистов в области философских проблем логики, а также всех, кто интересуется данной проблематикой.


 Оглавление

Введение
Глава I. Стандартная концепция предметной области и ее проблемы
 § 1.Стандартная семантика: онтологизация логики
 § 2.Неадекватность однородной онтологии
 § 3.Экстенсиональность стандартной логики
Глава II. Логический вывод, истина и концепция указания
 § 1.Стандартная семантическая теория: иллюзия абсолютного обоснования
 § 2.Понятие истины и концепция указания в логике
Глава III. Логическая семантика и предметная область
 § 1.Подстановочная интерпретация кванторов: история и мотивы
 § 2.Подстановочная versus стандартная семантика в исчислениях предикатов
 § 3.Подстановочная семантика в программе обоснования кванторной логики
Глава IV. Логическая теория истины и принцип предметности
 § 1.Задача логической теории истины и подход Тарского
 § 2.Принцип предметности и предикат истины
 § 3.Теория истины в подстановочном метаязыке
Глава V. Понятие объекта в логике
 § 1.Логика, объект, значение
 § 2.Объект, истина и существование в логике
Заключение

 Введение

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

Однако со времени выхода в свет книги Б.В.Бирюкова "Крушение метафизической концепции универсальности предметной области в логике" (М., 1963) концепция предметной области не становилась предметом специального исследования. Работа же Б.В.Бирюкова, которому принадлежит приоритет в постановке проблемы предметной области, осуществлена в основном в рамках теоретико-множественной логико-семантической парадигмы. Она основывается на специально-логических результатах, относящихся к "домодельной * эре в логической семантике.

С тех пор логическая семантика претерпела существенные изменения.

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

Во-вторых, с построением семантики возможных миров получили распространение нетеоретико-множественные логико-семантические идеи. Л сосредоточение внимания логиков на построении и применении самых разнообразных интенсиональных систем поставило логическую семантику в положение области наиболее интенсивного развития логики.

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

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

Чрезвычайно важное значение имеет правильная постановка данной проблемы. Она должна отражать ведущие современные тенденции развития логики и потому соотноситься с источником этого развития, с целями и задачами логической теории в целом. Но, несмотря на важность проблем, возникающих в результате внутритеоретического развития, источник развития логики, несомненно, не находится в ней самой. Как указывает Ф.Энгельс, "логическое развитие вовсе не обязано держаться только в чисто абстрактной области. Наоборот, оно нуждается в исторических иллюстрациях, в постоянном соприкосновении с действительностью". И сегодня, когда логика не открещивается от естественного языка как от хаотического нагромождения незначащих фраз, когда ориентация на естественный язык провозглашается в логике открыто, становится особенно очевидным, что источник развития логики -- в постоянном сопоставлении с реальными рассуждениями, с существующими и складывающимися в естественно-языковой практике нормами мышления.

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

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

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

Естественно, что подобное исследование не может не затрагивать такие связанные с концепцией предметной области логико-семантические понятия, как понятия объекта, референции, истины, существования. Эти понятия были связаны определенным образом в относящейся к "домодельной" эре так называемой стандартной семантике, идеи которой, широко распространенные и в наши дни, наиболее четко выражены в работах А.Тарского и У, Куайна. Критический анализ основных принципов стандартной семантики, исходя из задачи обоснования вывода, позволяет более точно определить место концепции предметной области в логической семантике.

Автор выражает искреннюю благодарность В.В.Целишеву и В.В.Петрову, чье постоянное внимание Стимулировало завершение работы над книгой.


 Об авторе

Александр Владимирович БЕССОНОВ (род. в 1951 г.)

Доктор философских наук, ведущий научный сотрудник Института философии и права Сибирского отделения Российской академии наук (г. Новосибирск, Академгородок), профессор Новосибирского государственного университета. Автор 3-х монографий по философии логики, соавтор ряда коллективных монографий по актуальным проблемам философии науки.

 
© URSS 2016.

Информация о Продавце