Введение к работе
Актуальность теми исследования^ Одной из ведущих тенденций развития современной логіки является ее все более явная переориентация с анализа математического знания на исследования в области естественного языка и компьютерных наук. Обусловленный актуальными задачами практики, прездо всего компьютеризации и информатизации общественной низни, этот поворот требует философского переосмысления накопленных логических знаний с тем, чтобы привести их в соответствие с новыми задачам! логики.
Современную символическую логику невозможно предстазить без такой ее дисциплины, как логическая семантика. Понимаемая как теория интерпретации логического символизма, логическая семантика не сводится к простому означиванию синтаксиса. Сегодня тот или иной формализм, то пли иное исчисление не считается приемлемым до тех пор, пока на него не построена удовлетворительная семантика, более того, сегодня логико-семантические разработки зачастую предшествуют соответствующему обогащения синтаксического аппарата логики. Таким образом, логическая семантика ныне заняла место области, детерминирующей развитие логической теории в цело?.;. Поэтому ведущие тенденции развития логической семантики совпадают с основными направлениями развития логики з целом.
Развитие логико-семантической теории с учетом переориентации логики с языков математических теорий на естественный язык необходимо предполагает переоценку слояившихся семантических принципов и концепций, а значит - углубленное исследование их роли в решении задач логической семантики, т.е. их методологический анализ. II здесь особого вникания заслуживает концепция предметной области. Понимаемая как определенная трактовка совокупности значений синтаксических единиц логического языка, данная концепция отражает самые общие характеристики логико-семантической теории в целом.
Вцрауля те или иные взгляды на объекты, привлекаемые для интерпретации логического синтаксиса, их структуру, концепция предметной области и тесно связанные с ней семантические поня-
-2 -тяя референции, выполнимости, истинности рассматриваются как узловые пункты в отражении взаимосвязи логики с действительна! миром. Необходимость пересмотра традиционных взглядов на соотношение логики и онтологии с позиций ведущих тенденций развития современной логики придает методологическому анализу концепции предметной области общефилософскую значимость.
Актуальность исследования концепции предметной области обуславливается и задачами развития логической теории. Поставленная совсем недавно задача построения метатеории семантики, т.е. теории, обобщающей множество имеющихся семантик и подходов к интерпретации логических языков, безусловно предполагает осуществление методологического анализа основных семантических понятий, к которым относится и концепция предметной области.
Исследования по уточнению места концепции предметной области в системе логико-семантических понятий стимулируются также приложениями логики в программировании. Тот факт, что в семантиках языков программирования эта концепция значительно менее значима, нежели в традиционных семантиках логических исчислений, а одна из наиболее широко распространенных - операциональная семантика, ооновываясь на принципе подстановки, вовсе не использует ату концепцию, заставляет более внимательно подойти к определению роли этой концепции в решении задач логической семантики.
Степень разработки проблемы. В логической семантике как общей теории интерпретации логических формализмов концепции предметной области традиционно отводится центральное место. Это подтверждается тем, что подавляющее большинство работ по философским проблемам логики в той или иной форме включает данную концепцию и связанные с ней семантические понятия. Начиная с классических работ Г.Фреге, Э.Гуссерля, А.Мвйнонга, Б.Рассела, Л.Витгенштейна, Д.Льюиса важное место в этих исследованиях отводится проблеме природы логического объекта. Эта проблема рассматривается в связи с вопросом об онтологических допущениях логики в исследованиях С.Лесневского, У.Куайна, Н.Гудмена, Н.Решера, Р.Гранда, Р.Мартина, АЛерча, Г.Кюнга, Л.Тондла,
.-з-.
В.А.Смирнова, Е.Е.Ледннкова, Л.А.Рвачева и многих других авторов.
Представления о структуре предметной области, гадожевввг в работах А.Терского, ХКемени, Р.Карнапа получили свое развитие в связи с построением семантик для модальных и интенсиональных логик в исследованиях Я.Хннтякки,. С.Кангера, С.Крита, Р.Монтегю и других. Наряду с онтологическими аспектами концвп-ции предметной области ее теоретико-познавательные основания рассматривались в работах С.А.Яновской, М.В.Поповича, Д.П.Горского, В.В.Целищева, В.В.Петрова, Е.Д.Смирновой, П.В.Тавалца, И.Н.Бродского, И.С.Нарского, В.Н.Костяка, Я.Хинтикки, Д.Скот-та, Д.Дэвидсона, Х.Патнэма, Ы.Даммнта, Д.Фоллесдаля, Р.Брэн-дома, Х.Филда, М.Бунге, П.Бочварова, Р.Вуйцицкого и других философов.
При всей условности выделения направлений развития концепции предметной области и отнесения указанных авторов к эти» направлениям, можно констатировать, что разработка этой концепции осуществляется в рамках онтологических и гносеологзчэ-ских оснований логико-семантической теории. При этом методологическая значимость этой концепции утверждается неявно или, в лучшем случае, лшь констатируется. Вопрос о роли, которуо играет концепция предметной области в логической семантике, т.о. проблема методологического анализа данной концепции не ставится.
Со времени выхода в свет книги Б.В.Бирвкова "Крушение кэ-тафизической концепции универсальности предметной области в логике" (М., 1963) концепция предметной области не становилось предметом специального исследования. Исследование кэ Б.В.Барсукова осуществлено в основном в рамках теоротико-кноаествеяноЗ логико-семантической парадигмы. Око основнвавтся на спедиадьио-логических результатах, относящихся к "домодельной" эре в логической семан-таке.
С тех пор логическая семантика претерпела существенные изменения, которые самым серьезным образом сказались на концепции предметной области. Усиливассаяся ориентация логики на естественный язык привела к пересмотру на практике ряда фундаментальных принципов, положенных.в основу данной концепции
_ 4 -первоначально. Более того, построение ряда семантик квантор-ной логики: беэобластной (Р.Раутли), истинностнозначкой (Х.Яебланк) и подстановочной (Р.Баркан-Маркус) обнаружило преимущества интерпретации логического синтаксиса без привлечения концепции предметной области. Эти семантики, в особенности подстановочная, детально исследованы и обоснованы с технической стороны (Дж.Данн и Н.Белнап, С.Крипке, Дк.Кирнс), однако должных методологических вывздоб, соотнесения этих результатов с задачами логико-семанткческоЯ теории, сделано не было.
Означают ли эти результаты, что логическая семантика ыокет резить свои задачи без использования концепции предметной области? Необходимость методологического анализа становится особенно очевидной, если учесть, что наиболее фундаментальные как технические (теоремы о непротиворечивости, полноте и неполноте), так и философские (онтологическая проблематика) достижения логической семантики имеют значимость лшвь в связи с концепцией предметной области.
Цель и задачи исследования. Целью настоящего исследования является выяснение роли концепции предметной области в современной логике.
Для достижения этой цели ставятся следующие задачи:
исследовать, каким образом характеристические особенности стандартной концепции предметной области влияют на возможности логико-семантической теории в решении стоящих перед ней задач;
выявить методологические и теоретико-познавательные предпосылки логико-семантической теории, определившие представления о предметной области в период становления кван-торной логики;
оценить стандартную семантику в контексте теоретико-познавательного и концептуального обоснования логического вывода;
проанализировать соотношения логико-семантических понятий правильного вывода, истинности и предметной обла-
стн, а таїспе логико-сєг'антическсго и теоретігко-познаватсль-ного понятий истинности;
исследовать способ обоснования кванторного вывода, осуществлюе!.Гс.'Я без привлечения концепции предметной облас—5, провести сравнительный анализ подстановочной семзлтпкп и стандартной семантики кваиторноП логики;
выявить продуктязме возможности сеігантккн кванторно* логам, построенной без привлечения коііцєпціг.і предметной области, при реженш! логических проблем;
вклемть позитивну:.? роль концепции предметной области з логической семантике, в связи с иен проанализировать методологические, теоретико-позиавательше и логические основания теории логического объекта.
Методологическую основу исследования составляют фундаментальные принципы диалектического материализма о материальном единстве мира, о диалектике объективного и субъзк-тиекого, положения марксистско-ленинской теории познания о практике как источнике и критерии истинности познания, о языке как охранении действительности и средстве общения. При этом центральную роль играет принцип активности отражения субъектом объективной действительности, препятствующий истолкованию познания как зеркального акта, простого копирования действительности.
Источниками представлений о предметной области, наряду с основополагающими трудами Г.Фреге, Б.Рассела, Э.Гуссерля и А.Мейионга, послужили работы У.Куайна, наиболее отчетливо выразившие идеи стандартной семантики. Автор исходил такзе из результатов анализа онтологических и теоретико-познавательных оснований логико-семантической теории, полученных Б.В.Бирюковым, Д.Дэвидсоном, Е.Е.Ледниковым, Х.Паткэком, М.В.Поповичем, В.А.Смирновым, Е.Д.Смирновой, П.В.Таванцом, Я.Хинтиккой, В.В.Целищевым и др. В работе были использованы метод А.Терского построения логической теории истины, общая концепция подстановочной интерпретации, выдвинутая Р.Баркан-Маркус, и разработанный С.Кркпке способ построе-
нвя подстановочкой семантики кванторной логккн.
Пріагциішально вавяьаі и плодотворным для настоящего исследования является использование проблеаго-ориентнрован-ного подхода, согласно которому развитке теории на каздон этапа д&тершшируется определенной внешней задачей. Решаемой задаче подчинено к формирование определенных научных методов. Поэтому правильный методологический анализ того или иного концептуального аппарата дояяеи соотноситься с кон-кретимми задачами, для решения которых привлекается этот аппарат. В связя с steu иетодологкческнй анализ коіщєпдяи предметной области осуществляется в работе путем выявления задач, с которьзяї связывается логико-сєшштическая теория, и определения роли, которуэ играет данная концепция в рапе-кии этих задач.
Научная новизна -исследования заключается в методологической анализе воицепцшг кргд&етной области в логической сгшитшсо. В результате разработана и обоснована система яогнко-фалософсккх полсгєігай, опредояящая ыгсто этой концепцзш в реяешга задачи обоснования логического вывода в раскрывающая ее методологическое зкачєнко с учетом оркен-тецен современной лоппш на естественный язшс. При этой получка следущге новые результаты, выносные на защиту:
показано, что проблемы в обосновании кванторного вывода в естественно-языковых контекстах ("парадоксы кван-ткфвкецяи" сингулярных отрицательных высказываний существования, контекстов с "пустыми" терминами, модальностями, пропозициональными установками, кавычками и т.п.) порождается характерными для стандартной семантики кванторного языка онтологизацией и экстенсионализацкей предметной области, обуславливаемыми теоретнио-позкзактелькым истолкованием логико-семантического понятия кстинности и теоретико-множественной установкой;
выявлено, что стандартные представления о предметной области сформировались в период становления кванторной-логики исходя из задачи обоснования логического вывода, причем последняя понималась исключительно абсолютистски;
показано, что стандартная логико-семантическая теория
в действительности hs ї'с-зт рассматриваться кап удовгзтгср:--тельное обосноБгагае кв-штор^ого гувода, поскольку з качества теоретако-познаЕатвзыюго обосноЕання сна осиосиоазтсл на гг„..і-знаипи объекткзюго существовекім объектов, ІЗЮЗЄСТВ н откс~з-ігая референций, а в качества поіїцептуального обоснования спа и в содерзвтелькон, и в формализованной варпкгта содзрзпт порочный круг;
развит логяко-фялсссфсхїй подход it обосиовакізз ввактор-ного вывода без привлечена доицвпцжі предазтноЯ областя. Пов?зз-но, что таяой подход, представленная подстановочной секгнтакэЗ, является более посяодоваталыси п болея ебцян по сравнектэ со стандартним (в том скысяэ, что оя дает возможность обосновать кванторний вывод в тех естестЕеннэ-яакзоЕИХ аоитеястах, для которых стандартная семантика нэ является адеазаткоЯ), и что o:s позволяет избегать порочного круга з обоскогшет;
продемонстріфовани прзкчущества предлсгеїшого яогкхо-фїго-ссфсэтго подхода к обоснованна повода при penessra логкчесетП проблеет истеки. С использование аодетановочксЯ секангаяі ягта-торкоЯ логики построена логическая теория исукпа, сшог;.крл основные недостатки теории истины Тарского. Поааэгло, что пострэ-еннпя теория позволяет адекватно эяспяздировать пробяеї^іуо е:*-туацяэ, связанную с парадоксом лзеца. Прп атом, з кргтпэтпге классическому результату Тарского, дгя зкетенсиоиаяыия откос;:-только предложений язмхов становится воэцэзася! Еаразкть ястпк-кость яг/три язіжа адзхватно (в екнежо Конвенций Т) и логически непротиворечиво з ракхах двузначной логики;
-.показано, что концепция прздтгетноП области в логкчестоП семантике определяется задачей обеспечения однозначности пзъпто-zsix. s;up^So;;;:n я епдг.гй ;;с;-ду к:и;і з процзесэ шкода. Ксходч ::;? этого, с5«р".5уяярована к обоснована с пэтодологсчзских ц Tsop?-тико-поэкаБатсльнах позиций концепция логического объекта км; идентифицируемого значения, обосновано сседеікз логзіно-ссмачтя-ческого понятия кстакностн к логкчзсхоЯ праЕіїяькостИг На отоЗ осного, в со ео куге-го ста с предзозэнкка спросер;геж?ем рассогозсяоЯ критики теории объектов Нейионга, дано резензю проблема изеупэ-ствущих объектов В ЛОГИКЄ.
Теоретическая и практическая аначг^ость ксслодованая. Fe~
оультоты проведенного анализа даят методологические основания как для поср-оеиня ыетатеории логической семантики, так и для дальнейшего развития кванторной логики с ориентацией на естест-всша:П язик. РазЕктая в работе альтернатива стандартной логико-ссмантнческой парадигме когет способствовать переоценке тех результатов логики, которые приобретают значимость лишь в рамках стандартной семантики. Так, взвод, что логическая семантика в рсзсияа задачи обоснования вывода может обойтись без концепции предметной области, приводит к вопросу об общесемантической эна-чкиости теорем о полноте, теоремы о неполноте арифметики и т.д. Дашюе в работе опровержение классического результата о невозможности непротиворечиво выразить истинность предложений языка в са!*зы этой языке слувит конкретным призером подобной переоценки, н одновременно снимает недоверие логиков к семантически замкнутий языкам, включая естественный язык. Результаты проведенного ьетодологического и теоретико-познавательного анализа понятия логического объекта позволяют восстановить единство логики и философии языка, социальной психологией, а также служат препятствием для идеалистических быеодов, базирующихся на результатах логкки. Полученные результаты могут быть использобшш б преподавании курса марксистско-ленинской философии (тема "Методы научного познания"), при чтении курса по неклассической логике, спецкурсов по философским проблемам логики и математики.
Положения диссертации были использованы автором при чтении курса диалектического материализма на механико-математическом факультете Новосибирского госуниверситета.
Апробация работы. Основные положения и результаты диссертации докладывались и обсуждались на региональной конференции "Логика и реальность" (Новосибирск, 1976), на координационном совещании по модальным и интенсиональным логикам (Ыосква, 1978), на Ш Советско-финском коллоквиуме по логика (Москва, 1979), на УШ Всесоюзной конференции по логике и методологии науки (Паланга, 1982), на ІУ Советско-финском коллоквиуме по логике (Телави, 1985), на ІУ Всесоюзном совещании по логике, методологии и философии науки (Харьков, 1986), на УШ Международном конгрессе по логике, методологии и философии науки (Москва, 1987), на ІУ Международном симпозиуме по методологии математического модели-
рования (Варна, 1988). Результаты диссертации обсуддалясь на семинарах отдела логики научного познания Института фялосой^пі АН УССР (1980, 1989), сектора логики Института философии All СССР (Москва, 1984), методологической семинаре Института математики СО АН СССР (Новосибирск, 1987), заседаниях и сежна-рах сектора логики и теории познания Института истории, фш>-логни и философии СО АН СССР.
Положения и виводи диссертационного исследования опубликованы в трех монографиях, статьях и тезисах.
Структура диссертации. Работа содержит введение, шесть глав, заключение и список литературы. Порядок изложения материала определяется последовательностью этапов реяения основной проблема диссертации. В первой главе ставится проблема предметной области, в связи с чем рассматриваются известные трудности, связанные с применением закона экзистенциального обобщения, и исследуется, как эти трудности связаны со стандартной концепцией предметной области. Причины выявленной ограниченности этой концепции анализируются во второй главе, в которой прослезиваэтся исторические корни стандартной логико-семантической теорій, рассматриваются методологические, теореткко-познавателышз н логические принципы, положенные а основу концепции предметной области в период становления современной символической логики. Эти принципы подвергаются ревизия в третьей главе, в которой осуществляется критический анализ роли стандартной концепции предметной области в решении задачи обоснования логического еыводв при различных постановках этой задачи. Результаты этого анализа даот основу для постановки вопроса о необходимости использования концепции предметной области в обосновании вывода, в связи с чеа г четвертой главе развиваются идеи подстановочной семантики как метода обоснования логического вывода, не использующего даккуэ концепцию. Выводы четвертой главы конкретизируются на примера логической проблемы истины в пятой главе, где з плане демонстрации преимуществ подстановочной семантики при резении данной проблем строится подстановочная теория истины, снимающая недостатки теории истины Тарского. В шестой главе уточняется методологическое значение концепции предаетной области в логической семантике, в связи с чем развивается концепция логического
