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

Оглавление

Введение

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

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

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

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

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

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

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

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

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

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

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

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

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

Об авторе

Бессонов Александр Владимирович

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