Онто-гносеологические аспекты концепции истины в точном знании
При этом научная новизна работы состоит: => в системном исследовании сущности и границ точного знания, синтезирующем онтологические и гносеологические аспекты точных истин- => в анализе значительно расширенного комплекса различных подходов к точной алетиологии, представленных как в истории философии, так и в современной западной и отечественной эпистемологии, что позволило выявить нерешённые… Читать ещё >
Содержание
- Глава 1. Теоретические источники современной алетиологии точного знания
- II. Истинное и виртуальное в западноевропейской патристике и схоластике. $ 2. Гоббс и Декарт об отношении истины и реальности. $ 3. Локк — противник врожденных истин
- Й. Теория адекватности дедуктивных идей Спинозы. $ 5 Виртуальный мир Беркли. $ 6. Исчисление понятий Лейбница: истины разума и математика
- Si. Юм о дедуктивных истинах. $ 8. Кант о достоверности математики, философии и синтетических априори
Глава 2. Современная эпистемология об истине. $ 1.Философский формализм и истина: от антионтологизма Нагеля до эмпирического формализма Карри. $ 2. Логицисты об истине и природе точного знания. $ 3. Лингвистическая доктрина точных истин Р. Карнапа.
Й. Семантическая теория истины А. Тарского.
В. Теория истины для неформальной логики П. Бенацерраффа и М. Марковича. $ 6. Куайн о виртуальном существовании и формализованных истинах.
51. Субстанциональный фактуализм Хао Вана. $ 8. Диалектико-материалистическая трактовка природы дедуктивных истин в советской философии.
S9. Российская школа виртуалистики.
Глава 3. Истина, существование и виртуальность.
И .О смыслах существования в философии, теологии, логике, математике.
52. Понятие виртуальности и умножение миров.
53. Истина в дедуктивном знании.
S 4. Процесс теоретизации и математизации человеческих знаний.
S 5. Вариант формализации онтологии: мир и его атрибуты.
Глава 4. Точная истина как философская категория в контексте научного знания теория и современная практика). $ 1. Субъективизация истины в логике и математике.
Si. Виртуализация истины в информатике.
S3. Виртуальные истины в естествознании.
Й. Виртуализация экономики.
Онто-гносеологические аспекты концепции истины в точном знании (реферат, курсовая, диплом, контрольная)
Актуальность темы
исследования. Характерной особенностью современной цивилизации, стоящей на пороге нового тысячелетия, является информационная революция, охватившая мир с момента изобретения и внедрения в практику быстродействующих вычислительных машинкомпьютеров и пронизавшая человеческие коммуникации компьютерными информационными сетями.
Сегодня трудно представить инженера, ученого, управленца, финансиста, предпринимателя, торговца, преподавателя, врача, библиотекаря или государственного чиновника без компактного персонального компьютера в сочетании с самыми разнообразными дополняющими электронными устройствами, оснащенного мощными программными средствами, обширными базами данных.
Процесс компьютеризации и информатизации общества выступает главным фактором, создающим новую, невообразимую ранее, инфраструктуру социума, перестраивающую материальные и общественные отношения, социальную психологию и идеологию. По социальным последствиям его можно сравнить с подобными предыдущими революциями, связанными с изобретением письменности и книгопечатания.
Компьютерная индустрия становится ведущей отраслью материального производства, а программное обеспечение оттягивает на себя многочисленную рать специалистов: исследователей, прикладников, конструкторов, технологов, основой же программного обеспечения выступает логика и математика.
Человеческая культура, материальная и духовная, пройдя ряд закономерных этапов, начиная с первобытной, орудийной и вербальной получает свое логическое завершение в таком мощнейшем информационном и коммуникационном орудии как компьютер. Вот почему современный этап развития человеческой цивилизации можно назвать компьютерной культурой, учтя, что это, преобразовавшее ноосферную деятельность людей, орудие давно переросло уровень вычислительного устройства.
В рамках информационной революции происходит компьютеризация сферы науки и образования. В связи с этим усиливается закономерный процесс символизации и математизации научных теорий, формализации их языка, повышается роль абстрактного мышления и его креативной функции в научной и практической деятельности. Тем самым, утверждения науки должны приобретать более высокую степень объективности и достоверности, а научные теории — более доказательный характер.
Последнее возможно только при отсутствии сомнений в объективности, достоверности и доказательности самой логики и математики, лежащих в фундаменте как информатики, так и других формализуемых наук. Открытие логико-математических парадоксов, продолжающиеся дискуссии по поводу статуса существования логических и математических сущностей, методов и приёмов аргументации показало, что в основаниях логики и математики не всё благополучно в данном отношении.
Кроме того, точные языки логики и математики призваны охватывать все более расширяющиеся и умножающиеся конкретно-научные картины мира, его нестандартные модели, следовательно, классических логико-математических теорий уже недостаточно.
В цепи философских проблем точного знания важным звеном является проблема статуса существования формализованных сущностей, а также формализованных истин, потому, что понятие истины в формализованном знании призвано играть роль компонента, связывающего любой научный формализм через его интерпретации с объективной действительностью. Говоря о формализованной истине нельзя не иметь в виду и логической истинности, а вместе с логико-математическими способами описания реальности и, внедрения формального и модельного метода в конкретные научные теории, в науку вошла точность. Точные истины, начав своё уверенное шествие с логики и математики, постепенно преобразуют содержание различных теорий в область точного знания.'.
Что же описывают эти точные истины? Это уже не эмпирические приближённые утверждения о самом мире (объективной реальности), а точные знания о формализованной ментальной модели этого мира, объективированной посредством компьютера в специфическую для конкретной теории виртуальную реальность.
Таким образом, исследование взаимосвязи объективной и виртуальной (объективированной субъективной) реальности в области точного знания посредством категории истины представляет собой актуальную проблему современной эпистемологии.
Объектом диссертационного исследования является научное познание истины.
Предмет исследования формируется через углубление и расширение объёма и содержания философской категории истины на информационной базе точных (в первую очередь, фундаментальных) теорий и их методологии, т. е. предмет исследования — онтологические и гносеологические аспекты точной истины.
Состояние исследования проблемы. Проблемами алетиологии точного знания специально или в числе других, связанных с ними проблем, занимались и занимаются как отечественные (В этом отношении можно отметить работы М. С. Акперова, И. А. Акчурина, Л. Б. Баженова, М. С. Бургина, Д. П. Горского, А. А Зиновьева, А. В. Корниенко, В. И Кураева, Б. Е. Ледникова, А. М. Мостепаненко, И. С. Нарского, А. Н. Нысынбаева, А. В. Нуждина, А. П. Огурцова, В. Е. Осипова, Ю. А. Петрова, М. В. Поповича, Г. И. Рузавина, Е. Д. Смирновой, В. А. Суровцева, А. К. Сухотина, 77. В. Таванца, А. И. Уемова, В. В. Целищева, Э. М. Чудинова, И. Я. Чупахина, В. С. Швырева, В. А. Штоффа, С. А. Яновской и др.), так и зарубежные философы (А. Айер, П. Бенацерраф, X.
1 В современной западной науке появилось даже Общество точной философии, под эгидой которого М. Бунге с 1971 г. издает многотомник Library of Exact Philosophy. Издан учебник Бургина М. С., Кузнецова В. И. «Введение в современную точную методологию науки» М.: Аспект-пресс, 1994. Переведена работа Э. Гуссерля «Философия как строгая наука» М., 1994. В области техники можно говорить о ювелирно точных нано-технологиях.
Ван, JJ. Витгенштейн, К. Геделъ, С. Гемпелъ, Р. Карнап, Г. Карри, С. Клини, В. Куайн, Р. Мартин, Р. Монтегю, Э. Нагель, И. Ниинилуото, X. Патнэм, Б. Рассел, 77. Строссон, А. Тарский, Р. Туомела, Я. Хинтикка и др.). Особенно велик в этом отношении поток англо-американской литературы позитивистского характера. Это и не удивительно: именно при разработке философских проблем формализованных наук позитивизм смог уйти от примитивного эмпиризма в сторону, широко представленную такими известными направлениями, как логицизм, интуиционизм, формализм и аналитическая философия. Относительная неполнота и фрагментарность разработки вышеназванных проблем в отечественной философской литературе требует расширения и углубления исследований в данном направлении.
Специальные вопросы формализованной логики, классической и девиантной, исследуются в работах Д. А. Бочвара, Е. К. Войшвилло, Ю. Л. Ершова, Ю. В. Ивлева, А. С. Карпенко, А. В. Кузнецова, Л. Л. Максимовой, А. А. Маркова, П. С. Новикова, О. Ф. Серебрянникова, Е. А. Сидоренко, Я. А. Слинина, В.А. и А. В. Смирнова, В. К. Финна, Н. А. Шанина и др.
Постановку и собственные решения общегносеологических (в том числе, общеметодологических) проблем можно найти в работах классических философов: Лейбница, Канта, Юма, Спинозы, Декарта, Беркли и др., в трудах современных отечественных философов: Р. Ф. Абдеева, И. С. Алексеева, Б. В. Бирюкова, В. П. Бранского, Ю. М. Горского, П. П. Гайденко, М. П. Завьяловой, Э. В. Ильенкова, В. В. Ильина, А. С. Кармина, Б. М. Кедрова, Н. И. Кондакова, Н. С. Коноплева, В. Н. Карповича, А. М. Коршунова, А. Н. Кочергина, В. М. Кузнецова, С. П. Курдюмова, В. А. Лекторского, А. Ф. Лосева, Е. А. Мамчур, В. В. Мантатова С.Т. Мелюхина, Л. А. Микешиной, В. Н. Молодшего, М. В. Мостепапаненко, Н. А. Носова, В. П. Огородникова, Ю. А. Петрова, Ю. В. Петрова, Г. И. Петровой, В. И. Поруса, О. С. Разумовского, А. И. Ракитова, В. Н. Садовского, Э. А. Самбурова, Ю. В. Сачкова, B.C. Степина, З. А. Сокулер, А. Д. Урсула, А. И. Уёмова, И. В. Черниковой, В. В. Чешева. и др.
Материалом для обобщения и систематизации послужили, в первую очередь, данные логико-математической эпистемологии, а также сведения из смежных областей науки, кроме того, для сравнения, контрастирования и иллюстраций бралась информация из истории философии, археологии, теологии, естествознания, экономики, социологии и других сфер человеческой деятельности.
Цель и основные задачи диссертации. Цель исследования заключается в выработке, развёртывании и обосновании целостной концепции взаимосвязи категорий истины, существования и виртуальности в точном знании.
Для достижения поставленной цели необходимо было решить следующие проблемы:
1. Разработать собственную точку зрения на статус и роль точных истин, виртуальных миров формализованных сущностей, учитывая положительные наработки предшествующих исследователей данной области эпистемологии. Оформить её в виде концепции истины в точном знании.
2. Проанализировать взгляды на истину и виртуальность тех европейских философов-классиков, которые, по мнению автора, оказали существенное влияние на становление и формирование современной алетиологии точного знания.
3. Обобщить и систематизировать мировые достижения современной эпистемологии в отношении решения вопросов обоснования математической и логической истины, статуса существования логических и математических сущностей, специфики логической и математической картин мира, их взаимосвязи с объективной реальностью, ибо, именно, эти науки в истории человеческого познания первыми претерпели формализацию и дедуктивизацию своих истин.
4. Дать обоснованную критику неадекватных, по мнению автора, философских концепций формализованного знания, которые благодаря тому факту, что формализованные логика и математика служат, как методом, так и языком научных исследований, могут повредить всему зданию современной науки.
5. Выявить и систематизировать то новое в содержании категории виртуальность, что внесло компьютерное моделирование во многие области человеческой деятельности, которое предполагает широкую формализацию и математизацию (оцифровку) человеческих знаний.
Методологические предпосылки исследования. В своей работе диссертант опирался на диалектико-материалистический метод исследования, основания которого заложены трудами Г. В. Ф. Гегеля, К. Маркса, Ф. Энгельса, а существенное развитие получил в работах советских философов: М. Н. Алексеева, Б. А. Ахлибинского, Э. В. Ильенкова, Б. М. Кедрова, П. В. Копнина, А. В. Корниенко, A.M. Коршунова, B.C. Молодцова, З. М. Оруджева, М. Б. Митина, Т. И. Ойзермана, B.C. Тюхтина, В. И. Ульянова, И. Т. Фролова, А. П. Шептулина, Й. Эйлеза и др. Фундаментальными трудами, подводящими итог советскому периоду развития российской диалектической философии стали книги серий.
• Марксистско-ленинская диалектика. В 8 кн. М.: Изд-во МГУ, 1983, Кн. 1. Материалистическая диалектика как научная система. Кн. 2 Диалектическая логика, Кн. 3. Диалектика процесса познания;
• Материалистическая диалектика. В 5 тт. Т.2. Субъективная диалектика. М.: Мысль, 1981;
• Материалистическая диалектика как общая теория развития. В 4-х кн. Кн. 2. Диалектика развития научного знания. М.: Наука, 1982.
• История диалектики. М.: Мысль, 1974;78.
• Теория познания. В 4 тт. — М.: Наука, 1992;1994 и др.
Определённое методологическое влияние на исследователя оказали отечественные работы последнего десятилетия, среди них: B.C. Степин.
Теоретическое знание. — М., 1999, Научные и вненаучные формы мышления. -М.:1996, И. П. Меркулов Когнитивная эволюция. — М., 1999, Истина и благо: универсальное и сингулярное. — М., 2002 и др.
Широкое применение в работе нашел системно-структурный подход П. В. Алексеева, А.В. Корниенко2, Н. Н. Моисеева, А. В. Панина, М. А. Розова, В. Н. Садовского, Ю. А. Урманцева, В. Н. Сагатовского, А. И. Уёмова, А. Д. Урсула, Е. В. Ушаковой, Г. А. Югай, Э. Г. Юдина и др. Использовались методологические достижения синергетики (И. Пригожин, Г. Хакен, С. П. Курдюмов, В. И. Аршинов, В. Г. Буданов, В. В. Тарасенко и др.) и виртуалистики (В. С. Бабенко, С. А. Борчиков, О. И. Генисаретского Н. А. Носов, Н. П. Петрова, В. М. Розин, и др.), кибернетики и информатики (Ю.Ф. Абрамов, А. А. Богданов, Л. фон Берталанфи, Н. Винер, А. А. Ляпунов, Дж. фон Нейман, А. И. Ракитов, К. Шеннон, У. Эшби, и др.).
Автор использовал и эпистемические (алетические) достижения классической русской философии в трудах Н. А. Бердяева, Вл. С. Соловьёва, В. В. Розанова, А. Ф. Лосева, А. А. Потебни, П. В. Флоренского, В. Ф. Эрна, П. Д. Юркевича, С. А. Франка, Г. Г. Шпета, П. Я. Чаадаева и др.
Научная новизна исследования. Развитие науки перманентно поставляет теории познания материал, нуждающийся в философском обосновании, в то же время, научное познание, уменьшая объём нашего конкретно-исторического незнания, позволяет систематически расширять горизонты философского осмысления реальности, в первую очередь, через категорию истины.
На современном (компьютерном) этапе развития науки — по-новому формулируется фундаментальная проблема философии: как соотносятся научная истина и объективная реальность, автором выдвигается такая её конкретная экспликация: истина на виртуальном полионтичном универсуме точного знания, его отношение к объективной реальности, как к конечной 2.
Корниенко А. В. Философские основания диалектно-системной концепции развития науки Автореферат дис.. д-ра философских наук Томск 1994 интерпретации.
При этом научная новизна работы состоит: => в системном исследовании сущности и границ точного знания, синтезирующем онтологические и гносеологические аспекты точных истин- => в анализе значительно расширенного комплекса различных подходов к точной алетиологии, представленных как в истории философии, так и в современной западной и отечественной эпистемологии, что позволило выявить нерешённые проблемы, их взаимную корреляцию, сделать новые обобщения и выводы, объединенные в концепцию истины в точном знании, как результате диссертационного исследованияв выявлении и взаимосогласовании методов стриктизации научного знания, а именно, формализации, идеализации, дедуктивизации и математизациив применении методов стриктизации к содержанию базисного раздела самой философии — атрибутивной онтологии, как демонстрации преимуществ предлагаемого эпистемического подхода к фундаментальным утверждениям в определении роли и значения компьютеризации и информационных технологий в процессе превращения утверждений конкретных наук в точное знаниев установлении чёткой связи между элементами и структурой объективной реальности и соответствующими компонентами производных виртуальных мировуниверсумов рассуждения формализованных теорий. В рамках выполненного исследования получены и защищаются следующие результаты, составляющие базисное ядро предлагаемой концепции истины в точном знании:
I. Взаимосвязь и взаимовлияние конкретнонаучных и философских идей осуществляется, по мнению автора, так: эмпирические данные приводят исследователя или идеолога к определённым мировоззренческим принципам, а последние, становясь религиозными догматами или философскими догмами, далее ведут последователей определённой дорогой, которая часто суживает их исследовательский кругозор, ограничивает смелость и оригинальность мышления, не соответствует изменившейся области изучения. Противоречие, в соответствии с законами диалектики, снимается принятием новой мировоззренческой и методологической парадигмы. В точном дедуктивно-построенном знании специфика расширения области исследования и смены формализма протекает по законам, описанным К. Гёделем: утверждение, сформулированное в терминах данного языка и не обеспеченное обоснованием средствами принятой аксиоматики, периодические заставляет пересматривать последнюю в сторону расширения, что является внутренней пружиной прогресса в развитии точной теории. Внешний прагматический интерес помогает поиску и формулировке таких, вызывающих ревизии формализмов, перспективных пограничных утверждений.
II. Психологически, в терминах виртуалистики, виртуальные миры точного знания обладают, по отношению к личности исследователя, всеми характеристиками индивидной психики: порождённостью, актуальностью, автономностью, интерактивностью. Но главное то, что виртуальные миры точных теорий имеют родовой (по Бекону) антропоморфный характер и, благодаря формализации, могут иметь много точных интерпретаций, при этом их адекватность рационально или эмпирически и прагматически обосновывается.
III. Относительно формального метода и объекта точной теории выносятся на защиту следующие тезисы:
3 от strict — ограничивать, уточнять, наводить строгость.
1. Объект формальной теории не имеет остенсивного определения.
Следствие 1. Формальная теория не эмпирична, но невозможна без прагматической интуиции.
2. Формализованные истины дают опосредованное знание о мире (не безинформативны).
Следствие 1. Принципы и Аксиомы не могут быть внешне аналитичны (т.е. внешне общезначимы, их общезначимость постулируется внутри теории тем, что они принимаются с соблюдением ряда условий: непротиворечивости, независимости и т. д.).
Следствие 2. Конвенциональность аксиом имеет вынужденный характер, объективно определяемый интуицией виртуального объекта.
Следствие 3. Развитие точной теории, в конечном счете, определяется реальным миром.
3. Необходимость формализованных истин определяется точным указанием области их приложения: например, математические теоремы необходимо верны только на тех универсумах, на которых справедливы аксиомы, экономический прогноз оправдан, если экономические показатели точно отразили хозяйственную жизнь.
Следствие 1. Нет абсолютной общезначимости, всякий формализм обладает определённой областью, на которой его утверждения общезначимы.
Следствие 2. Адекватность данной аксиоматизированной теории конкретному фрагменту реальности определяется объективно (хотя не эффективно).
4. Объект формализма строится телеологически (т.е. целенаправленно, имея в виду определённый фрагмент мира) интуитивнопрагматическим методом, путём виртуального ментального моделирования. Последующее исследование построенного виртуального объекта ведётся объективно, строгим дедуктивным методом.
5. Виртуальный объект — это носитель всех и только тех свойств, которые выражены в принципах, аксиомах, явных определениях теории. Всякая дополнительная экспликация противоречит понятию формальной науки.
Следствие 1. Всякое интерпретирование (эксплицирование) виртуального объекта разрешено делать только вне данного формализма,.
6. Отличие формальной теории от всех неформальных наук в том, что у неё объект и предмет слиты, потому, что она строит свой объект сама. Это и есть суть формального метода, а также объяснения эпистемической необходимости точных истин и автономии их логики. В точной науке следует говорить не о соответствии предмета — объекту, а приложимости формализма к тем или иным фрагментам мира.
Следствие 1. В точной теории вместо проблемы классического соответствия стоит проблема интерпретации (выполнимости, приложимости).
Следствие 2. Всякая противоречивая внутренне теоретическая система актуально неприложима (немоделируема).
Следствие 3. Всякая непротиворечивая система точных утверждений потенциально приложима. Вопрос к чему? Та виртуальная реальность, которая выступает очередной интерпретацией, строится по прагматическим соображениям, исходя из интересов прикладных наук.
Следствие 4. Первичные утверждения (Аксиомы) — есть неявные определения, однозначно задающие объект формализма.
7. Относительно одного и того же фрагмента действительности возможна целая серия формализмов, куда могут входить и альтернативы.4.
Любой фрагмент реальности может быть предельной интерпретацией альтернативных формализмов (благодаря разным моделирующим.
4 Поверхность Земли можно изучать по законам трехмерного евклидова пространства, если считать её конечной интерпретацией евклидовой сферы, либо по законам римановой геометрии, если считать её конечной интерпретацией — риманову двумерную плоскость. А обе геометрии альтернативны, т. е. имеют несовместимые аксиомы о параллельности интерпретирующим) функциям). Поэтому все неклассические формализмы и исследуются, т.к. в конце концов, им находится приложение в земных условиях.
Следствие 1. Выбор альтернативы ad hoc определяется оптимизацией субъективных характеристик (некоторые из них: разработанность формализма, простота, эффективность, доступность прикладнику, автоматизируемость и т. п.).
8. Интенсионалом теоретической категории является совокупность свойств, выраженных в аксиомах. Экстенсионалом категории данного формализма является совокупность виртуальных объектов всех его интерпретаций одного порядка общности.
9. Интерпретантом виртуального объекта будет тоже виртуальный объект.
Исключение: Конечная интерпретация (см. п. 11).
10. Серия преднамеренных интерпретаций (виртуальных реальностей) может, как угодно близко подходить к любому фрагменту объективной реальности (т.е. с точностью, не меньше любого, наперёд заданного уровня). В этом, и только в этом, ответ на вопрос: почему формальная теория приложима к внешнему миру.
11.Вводится понятие конечной интерпретации. Только конечная интерпретация не является виртуальным объектом, а является пределом сколь угодно близко приближающейся к ней серии виртуальных объектов.
12.Фрагмент реального мира и есть конечная интерпретация. Конечные интерпретации не фигурируют в формализмах, а являются отправным пунктом и конечной целью всякого формализма.
III.Через компьютеризацию любых областей человеческих знаний, происходит символизация (в том числе и числовая) и формализация их утверждений, последнее приводит к полионтологизации их универсума рассмотрения. Логико-математические методы помогают взаимосвязан все уровни системы виртуальных реальностей, а затем перейти к конечной интерпретации конкретной теории. Тем самым эмпирические теории приобретают, кроме бывшей у них эмпирической подтверждаемое&trade-, необходимую формальную точность и обоснованность, что повышает степень их достоверности.
Научно-практическая значимость исследования. Проблема желаемого и необходимого, возможного и действительного, идеального и реального всегда волновала человечество. Особая актуальность этих дихотомий прослеживается в такой форме общественного сознания как наука. Научная деятельность как особая жизнедеятельность человека имеет своей конечной целью «улучшение» мира в интересах человечества, приспособление сферы обитания человека к его потребностям. Вот почему конечный продукт научной деятельности — теория — предназначен обеспечивать совершенствование общечеловеческой практики.
Этот процесс совершенствования как раз и протекает в рамках вышеуказанных категорий. Рассмотрение взаимосвязи этого процесса с развитием мировоззренческой и методологической базы сферы точных знаний (с соответствующим им понятийным аппаратом точных наук) является важной философской проблемой.
Данное исследование решает эту проблему через её обобщение в двух основополагающих категориях, а именно: истина — как единство необходимого, действительного и объективно-реального, и виртуальностькак воплощение желаемого, возможного и субъективно-реального, которые высвечивают социальный, онтологический и гносеологический аспекты этих двух категорий,.
Такой подход обеспечит требующееся для диссертационного исследования этого уровня квалификационное требование — стать теоретическим обобщением и решением крупной научной проблемы, имеющей важное мировоззренческое и социально-культурное значение.
Выводы.
Рассматривая различные смыслы виртуального в современной алетиологии, можно обнаружить, что в конкретных науках эта категория работает в определённом, выделенном здесь как коренной, смысле.
Для логики как возможное, непротиворечивое и конвенционально принятое.
Для математики как интерпретирующее и моделирующее, как мнимое.
Для информатики как имитирующее или воображаемое.
Для физики как гипотетическое, как микроскопическое по объему и мимолётное по времени технически неуловимое.
Для экономики как вторичное симуляционное, суррогатное благо и экономика таких благ.
Для психологии как порожденное воображаемое, часто фантазийное или патологическое.
Для религии как гармонизирующее, идеализируюшее, противоположное телесному.
Для искусства как виртуозное эстетически и этически.
Все эти смыслы обогащают и наполняют содержанием категорию «виртуальность», делая её философской. Она возвращается в научный обиход, позволяя точнее выразить сложную иерархическую связь между нашими знаниями (истинами) и миром, который они предназначены описывать и объяснять.
ЗАКЛЮЧЕНИЕ
.
Проблема точной истины стала особенно актуальной последние 20 лет благодаря процессу компьютеризации науки, образования, всей налтей жизни. Почему этот процесс можно считать философским событием, то есть, явлением достойным внимания философии?
Ранее, общепринято было понимать категорию точности как точность измерения (вычисления) с указанием её степеней, например, как «точность до третьего знака после запятой» — вернее это была степень приближен жлл вычисления, формулы, утверждения к реальному положению дел. В таком смысле понятие точность повсеместно употреблялось в эмпирическозч* знании (Кураев, Лазарев).
В работе исследовано понятие «точность» в синтаксическом1, семантическом2 и прагматическом3 аспектах, которые вместе дают представления о гносеологической, онтологической и аксиологической сторонах содержания понятия точность.
Что же отличает точное знание от остального (обыденного, приближенного и т. д.), почему оно возможно?
На эмпирической, начальной стадии любой науки (в т.ч. логики и математики) научное утверждение говорит о самой объективной реальности, данной исследователю в сенсуальном отражении.
На данной стадии эмпирическая (сенсуальная) картина мира отождествляется с самим миром, что допустимо благодаря отражательному единству Материи и Сознания и в смысле Платона и в смысле Энгельса:
1 Однозначность определений и строгость вывода.
2 Полное соответствие описания и объяснения тому ментальному конструк: ту, который создан в коллективном воображении сообщества исследователей, специалистов, экспертов, прикладников-пользователей.
3 Наличие адекватных приложений на практике, возможность многопользовательских конечных интерпретаций.
ЗоО.
Вещи .идей (Платон).
Тени (копии^^.
Идеи вещей (Энгельс).
По мере развития науки, благодаря обобщению, абстрагированию и символизации происходит расслоение универсума рассмотрения каждой науки: предмет науки всё дальше отделяется от её объекта, приобретая самостоятельное значение, обычно предмет аккумулирует то, что мы знаем об этом объекте, этот набор знаний дает более-менее бледную, гносеологически условную копию объекта. На I стадии единство знаний обеспечивалось единством объекта с предметом, а критерием истины была непосредственная эмпирическая проверка, практика, на II стадии необходимы дополнительные критерии и методы построения нашего знания, ибо предмет становится объектом, а прежний объект несущественным для данной теории (пустым местом по Гильберту). Такими методами становятся формализация (математизация + дедуктивизация) нашего знания. Появляется формализованная теория, которая имеет самостоятельный статус, может на определённые моменты возноситься над практикой, приземляясь к ней только в точках бифуркации, интерпретации, приложений, поиска новых целей и перспектив.
Содержание как бы исчезает, а форма самодовлеет. При этом возникает опасность отрыва теории от практики, игнорирования (даже противопоставления) практики, ибо воображение теоретика довольно креативно (бэконовский образ паука в паутине).
Чем же следует руководствоваться в построении ментального универсума теории? Каков он, как относится к практике, к объективной реальности?
Стихийно, методом проб и ошибок, теоретики нашли те требования, которые следует соблюдать при построении теоретических конструктов, при формулировании утверждений о них, при обосновании их истинности.
Конструкты должны быть формами (пример числа, как абстракции 2-го уровня), а рассуждения о них подчинено строгим, ясным и чётким правилам, все это мы сначала наблюдали в логико-математической эмпирии, первых теоретизированных науках. Теперь же идет буйная формализация всего объема научного знания, включая технические науки. Толчком стала компьютеризация — машинное объективирование ментальных миров с помощью информационных технологий.
Очевидно, расширение и углубление процесса формализации науки с помощью информтехнологий — безгранично.
При этом возникает философская проблема единства и объективности научных знаний. Почему? Потому, что переход в плоскость многообразия виртуальных моделей мира, ментального моделирования объекта делает субъекта исследования более значимым в науке постмодерна, чем в науке модерна. В истине повышается удельный вес природы отражающего по отношению к природе отражаемого. Вернее объективная истина кажется субъективизированной, благодаря условности, абстрактности, опосредованности средств её выражения.
Какие опасности возможны на этом пути? Какие симуляции и модели реальности допустимы, каковы критерии этой допустимости? Ранее наука гордилась единственностью своих истин: единственностью законов аристотелевой логики, единственной таблицей умножения, единственностью аксиом эвклидова пространства, единственностью законов Архимеда и Ньютона в физике, единственностью числа Авогадро в химии, единственностью заповедей в этике.
Переходя в ментальные миры современных научных представлений, чтобы не потерять этого единства научного знания, мы должны соблюдать определённые регулятивы (эпистемические запреты), в первую очередь это? Непротиворечивость зог Интерпретируемость, тогда наше научное творчество не потеряет своей значимости, прагматичности, доверия пользователя науки. Конечно, в науку нельзя допускать ни религиозных (догмат и авторитет), ни эстетических (красота), ни моральных (добро) запретов, ибо природа по другую сторону от мистики, морали и эстетики. Замечу, что в когнитивной психологии и идеологии они, по-прежнему, значимы. Наука должна служить объективности, как бы не противоречила она сиюминутным догматам и авторитетам, социокультурным представлениям о красоте, порядке и пользе, хотя, повторяю, научные теории должны быть и красивы, и упорядочены, и полезны здесь и сейчас, как продукт человеческой деятельности. Ибо мы мерим мир собой, но не подменяем мир собой (как градусник мерит собой мир, но мы интересуемся не градусником-посредником, а температурой среды, отраженной состоянием градусника).
Исследование природы истины в точном знании, представленной, в первую очередь, формализованными теориями позволяет сформулировать ряд выводов.
В современной эпистемологии существуют четыре типа представлений формальной системы (ПФС) (а) считать примитивные термы представляющими физические объекты (например, кнопки клавиатуры ПК), (б) считать примитивные термы представляющими символы ниже лежащего объектного языка, (в) имена примитивных термов могут считаться переменными (не путать с «переменными», как обозначающими определённые категории самих примитивных термов) (г) считать примитивные термы представляющими некоторые концепты.
Теперь становится ясной разница между понятием представления и понятием приемлемости. Всякая формальная система может иметь любое из данных четырёх представлений без всякого изменения значимости своих элементарных суждений. Таким образом, утверждения формальной системы при.
Зоз любом представлении остаются истинными, как раз в этом смысле и говорится, что ПК однозначно определяет свой объект исследования. Чтобы формальная система была наглядной, она должна быть представлена каким-либо образом, но когда мы думаем о ней как о формальной системе, мы абстрагируемся от всех её представлений. Человек может думать абстрактно о самых конкретных вещах без всякого гипостазирования существования мистических абстрактов. С другой стороны, чем больше найдется представлений для данной формальной системы, тем лучше для неё, вот поэтому и можно считать примитивные термы объектами особого вида, онтология которых нам безразлична. Таким образом, формальная система охватывает собой множество виртуальных миров, а точная теория полионтична.
Приемлемость есть вопрос интерпретации формальной системы по отношению к определенному фрагменту реальности, в представлении предикаты определяются самим ПК, и только им, в интерпретации мы связываем их со свойствами, присущими самой реальности, а так как все термы тоже получают интерпретацию, то в силу того, что, с одной стороны, сам ПК жестко определяет «формальные» экстенсионалы предикатов, а, с другой стороны, «реальные» экстенсионалы этих предикатов зависят от свойств самой реальности, то они (формальный экстенсионал и его реальный дублёр) могут не совпадать. Происходит конфликт между формально постулированной истинностью элементарных суждений и их аналогами — «реальными» истинами. Это и есть нарушение приемлемости формальной системы.
Очевидно, что понятие приемлемости включает экстратеоретические элементы, так как зависит от subject matter, но, тем не менее, оно жизненно важно для точной теории, ибо пока «формальная система не стала приемлемой для какой-либо серьёзной цели, ни один исследователь не станет интересоваться ею» .
Подводя итог диссертационному исследованию можно сказать, что поставленные в начале работы задачи выполнены, а именно:
I. Проанализированы взгляды на истину и виртуальность тех европейских философов-классиков, которые оказали существенное влияние на становление и формирование современной алетиологии точного знания.
II. Обобщены и систематизированы мировые достижения современной эпистемологии в отношении решения вопросов обоснования формализованной истины, статуса существования теоретических сущностей, специфики научной картины мира, и её взаимосвязи с объективной реальностью.
Ш. Дана аргументированная критика неадекватных, по мнению автора, философских концепций точного знания, которые благодаря тому факту, что, лежащие в его базисе логика и математика служат, как методом, так и языком научных исследований, могли бы повредить всему зданию современной науки.
IV.Разработана собственная концепция статуса и роли точных истин, специфики виртуальных миров точных теорий, учитывающая положительные наработки предшествующих исследователей данной области эпистемологии.
V.Выявлены и систематизированы новые смыслы в содержании категории виртуальность, внесенные компьютерным моделированием во многие области человеческой деятельности, которое предполагает широкую формализацию и математизацию человеческих знаний.
Теоретические выводы автора могут использоваться в научных исследованиях по эпистемологии, по истории евро-американского позитивизма (логический эмпиризм, логицизм, формализм, интуиционизм и др.), по методологии конкретно-научного знания, по основаниям логики и математики.
Материалы диссертации можно включать в педагогическую практику при изложении курсов философии будущим бакалаврам, специалистам, магистрам и аспирантам. Без них не обойтись в таких спецкурсах, как «История и философия науки», «Философия математики», «Философия кибернетики и информатики», «Логика и методология науки и техники», «Современные концепции естествознания» .
Системные исследования в области алетиологии точного знания только развёртываются, предстоит большая работа по объединению и иерархизированию универсумов рассмотрения конкретных научных теорий, выявлению путей редукций их утверждений, что послужит повышению уровня теоретичности науки в целом.
Представляется перспективным продолжение исследований в области первых наук, завоевавших статус точных: логики и математики, именно в них закладывались теоретические установки на различение истины и истинности, универсума рассмотрения и интерпретации теоретических конструктов и утверждений набором всё более приближающихся к объективной реальности, к практическим делам человека элементов и фактов из виртуальных ментальных миров. Они первые сталкивались с трудностями объективирования и согласования субъективных ментальных представлений исследователей, естественного (а не сверхъестественного) объяснения научной интуиции и внутреннего опыта теоретика.
Не менее интересна задача формализации остального человеческого знания в исторически разумных и практически полезных пределах, стимулом здесь будут потребности компьютерных наук, базирующихся на логико-математическом подходе к искусственному интеллекту, включающем проблемы распознавания речи, логики баз данных, логики экспертных систем, семантики естественных и искусственных языков и т. п.
За пределами объема данной работы остались увлекательные проблемы формализации естествознания и социо-гуманитарного знания4, ждущих своих.
4 Примером удачной стриктизации индивидуальной и социальной психологии может исследователей, которые выполнят завет Лейбница «Не будем спорить (полемизировать, воевать, убивать5), а будем вычислять!» оказаться виртуалистика Н. А. Носова и его последователей, ставшая в настоящее время мощной философской школой.
5 Добавление автора.
Зо?
Список литературы
- Абдеев Р.Ф. Философия информационной цивилизации. М., 1994 — 336 с.
- Абрамов Ю.Ф. Картина мира и информация. Иркутск, 1988.- 192 с.
- Акчурин И.А. Виртуальные миры и человеческое познание.// Концепция виртуальных миров и научное познание. С-Пб.: Изд-во Росс. Христ. Гум. Ин-та, 2000. — 320 с. С. 9 -29.
- Акперов М.С. К вопросу о соотношении объективной, относительной и абсолютной истины в математике. Вестник ИГУ. Сер. Экономики и философии, 1962, № 2, с.54−68.
- Аракелян Г. Б. О доказательстве в математике. Ереван: Изд-во АН Арм. ССР, 1976- 115 с.
- Аристотель. Метафизика. Кн. 13−14. Соч., Т.1.М., 1976.
- Асмус В.Ф. Проблема интуиции в философии и математике. М., 1965. — 312 с.
- Бабенко B.C., Махлина С. Т. Виртуальная реальность в музейном деле. СПб., 1997.-214 с
- Бадкова Т.А. Истинность и корректность в математике. В сб.: взаимосвязь категорий, Свердловск, 1970, с.124−131.
- Ю.Баженов Л. Б. Строение и функции естественнонаучной теории. — М.: Наука, 1978−230 с. 11 .Безродный Л. К. Проблема истины в истории математики. Труды Куб. ун-та, Краснодар, 1977, вып.238, с. 113−128.
- Библия. М.: РБО, 1999.- 1225 с.
- Берже П., Помо И., Видаль К. Порядок в хаосе. М., 1991.
- Бирюков Б.В. Крушение метафизической концепции универсальности предметной области в логике. М., 1963 — 74 с.
- Благо и истина: классические и неклассические регулятивы. М.: ИФ РАН, 1998−263 с.
- Боксанский О.Е. Репрезентирование реальности: когнитивный подход. — М.: Альтекс, 2001, — 139 с.
- Бондаренко О.В. Мысленный эксперимент в познании физической и информационной реальности. Иркутск, 1995, -165 с.
- Борчиков С.А. Метафизика виртуальности. // Труды лаб. Виртуалистики. Вып. 8. М., 2000.- 49 с.
- Бранский В.П. Теоретические основания социальной синергетики. //Вопросы философии, 2000, № 4.с. 53−62
- Бродский И.Н. Отрицательные высказывания. Ленинград: Изд-во ЛГУ, 1973.- 103с.
- Бунге М. Философия физики. М.: Прогресс, 1975.- 347 е.
- Бурбаки Н. Очерки по истории математики. М., 1963. — 291 с.
- Бургин M.C., Кузнецов В. М. Введение в точную методологию науки. (Структуры систем знания) М.: Аспект пресс, 1994 304с.
- Ващёкин Н.П., Абрамов Ю. Ф. Информационная деятельность и мировоззрение. Иркутск, 1990.- 292 с.
- Веиль Г. О философии математики. М. — JT.: Гостехиздат, 1934. — 128 с.
- Волькенштейн М.В. Энтропия и информация. М., 1986, — 184 с.
- Виртуальная реальность как феномен науки, техники и культуры. СП б., 1996.
- Виртуальная реальность: Философские и психологические аспекты. М., 1997.- 187 с.
- Виртуальные реальности в психологии и психопрактике / Труды лаборатории виртуалистики. Вып. 1. М.: Ин-т человека РАН, 1995. — 181 с.
- Виртуальные реальности и современный мир / Труды лаборатории виртуалистики. Вып. 3. М.: Ин-т человека РАН, 1997. — 85 с.
- Виртуальные реальности. Труды лаборатории виртуалистики. Вып. 4. М.: Ин-т человека РАН, 1998. — 212 с.
- Витгенштейн JT. Логико-философский трактат. -М., 1958. 133с.
- Вольтерра В. Математическая теория борьбы за существование. М., 1976.
- Моделирование сложных систем и виртуальная реальность. Вопросы кибернетики. N 181. М., 1995.- 128 с.
- Гайденко П.П. Прорыв к трансцендентному. Новая онтология XX века. М., 1999.
- Гейтинг А. Интуиционизм. М., 1965. — 200с.
- Генисаретский О.И., Носов Н. А. Самообразы и личностные образцы деятельности.//Методологические проблемы проектной деятельности в эргономике. М., 1989, с. 44−59.
- Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947, -304с.
- Гладких Ю.Г. Логика без экзистенциальных предпосылок. РостовД, 1984 -112с.
- Гемпель К. Г. Логика объяснения. М.: Дом ИК, 1998.- 240с.
- Гоббс Т. Левиафан. В кн.: Избранные произведения в 2-х тт., т.2 М., 1964. -675 с.
- Гончаров С.С. Введение в логику и методологию науки. М.: Интерпракс, 1996.-256 с.
- Горский Ю.М. Основы гомеостатики. Часть1 и 2. Иркутск, 1995.
- Григорьева Е. Последнее слово о слове. // Логос, 1999, № 21. С.4−12.
- Грязнов В.Б. Аналитическая философия: проблемы и дискуссии последних лет. //Вопросы философии, 1997, № 9, с.82- 92.
- Губин В.Б. О роли деятельности и формировании моделей реальности. //Вопросы философии, 1997, № 8, с. 166−172.
- Дацюк С. Теория виртуальной реальности, 1997 //http://uis.kiev.ua/russian/vin/
- Девятова С.В. Современное христианство и наука. Учебное пособие длявузов. М.: наука, 1994 288с. 50. Декарт Р. О методе. — В кн.: Избранное, М., 1950. — 712 с. 51. Джевонс С. Основы науки. Трактат о логике и научном методе., Спб., 1881.
- Евстигнеева Л.П., Евстигнеев В. Н. Экономическая глобализация и постмодерн. 11Общественные науки и современность, 2000, № 1, с. 7−14.
- Ершов А.П. Информатика: предмет и понятие. \ Становление информатики. М., 1986
- Ершов Ю.Л. Теория нумераций. Введение. М.: Наука, 1977.
- Жуков Н.И. Философские основания математики. Минск: Изд-во Университетское, 1990.-110 с. 56.3енкин А. А. Новый подход к анализу проблемы парадоксов .//Вопросыфилософии, 2000, № 10, с. 79−90. 57. Зиновьев А. А. Логическая физика. М.: Наука, 1972. 191 с.
- Иноземцев В.Л. Расколотая цивилизация: системный кризис индустриальной эпохи Л Вопросы философии, 1999, № 5, с. 3−18.
- Исаак Сирин. Творения иже во святых отца нашего Аввы Исаака Сирианина, подвижника и отшельника, бывшаго епископом христолюбиваго града Ниневии. Слова подвижнические. М., 1993.
- Кайберг Г. Вероятность и индуктивная логика. М.: Прогресс, 1978, 373с.
- Кант И. Исследование о степени ясности основоположений естественной теологии и морали. //Кант И. Соч. Т.2. М. ГСЭИ, 1940, с. 275- 302
- Кант И. Критика чистого разума. Соч., т. З, М., 1964.- 700 с.
- Кармин А.С. Познание бесконечного. М.: Мысль, 1981.- 228с.
- Карнап Р. Значение и необходимость. М., 1959 — 382с.
- Карпенко Н.В. Логика, детерминизм и феномен прошлого. //Вопросы философии, 1995, № 5, с. 72−81.
- Карпович В.Н. Термины в структуре теорий. Логический анализ. Новосибирск: Наука. Сиб. отд-е, 1978. 128с.
- Карпович В.Н., Бондаренко Т. М. Диалектика содержания и формы в процессе математизации науки. Новосибирск: Наука, 1990, 174с.
- Карри X. Основания математической логики. М., 1969. 587с.
- Кастельс М. Информационная эпоха: экономика, общество, культура. М., 2000
- Кац М., Улам С. Математика и логика. Ретроспектива и перспектива М., 1971.-251с.
- Квижинадзе Р.Е. Понятие истины и альтернативы в теории познания. Тбилиси: Мецниереба, 1977. 139с.
- Кедровский О.И., Узбек К. М. Система принципов построения дедуктивных теорий. Киев: ВищаШк. 1990, 132 с.
- Кемеров В.Е. О философской моде в России. //Вопросы философии, 2000, № 11.
- Клаин М. Математика. Утрата определённости. М.: Мир, 1984, 434 с.
- Клини С., Весли Р. Основания интуиционистской математики. М., 1978 -272с.
- Клини С.К. Математическая логика. — М., 1975 478с.
- Книгин В.И. Философские проблемы сознания. Томск: ТГУ, 1999. 336с.
- Ковалевская Е.В. Виртуальная реальность: философски-методологический анализ: Автореферат дисс.. канд. философ, н. М., 1998. — 22 е.-
- Козин А.В. Научность: эталоны, идеалы, критерии. М.: МГУ, 1985.
- Козлова М.Ф. Философия и язык. М.: Мысль, 1972. — 254с.
- Кондаков Н.И. Логический словарь-справочник. — М.: Наука, 1976. 720с.
- Корнеев В.В. Параллельное программирование в MPI. Новосибирск: Наука, 2002,-215 с.
- Корниенко А.В. Парадоксы синергии: новые перспективы и границы аналитической философии //II Копнинские чтения: сб. работ. — Томск, 1997.
- Корсунцев И. Г Субъект и виртуальная реальность. М., 1998. — 156 с. Прикладная философия: субъект и технологии. — М.- Рос. Филос. Общ-во, -2001,-355 с.
- Коршунов A.M., Мантатов В. В. Теория отражения и эвристическая роль знаков. М.: Изд-во МГУ, 1974 -214с.
- Кочергин А.Н., Цайер З. В. Информациогенез и вопросы его оптимизации. Новосибирск, 1977. 231 с.
- Крокер А., Вайнштайн М. А. Политическая экономия виртуальнойреальности: пан-капитализм // Труды лаборатории виртуалистики. Вып.З. Виртуальные реальности и современный мир. М., 1997.
- Куайн В. О. Онтологическая относительность.//Совраменншг философия науки. М.: Логос, 1996. С. 40−60.
- Кузанский Н. О видении бога. ПСоч. В 2-х тт. Том 2. М.: Мысль, 1980. С.35−94.
- Кузнецов И.А., Мусхелишвили Н. Л., Шрейдер Ю. А. Информационное взаимодействие как объект научного исследования. //Вопросы философии, 1999, № 1.
- Кузьмичёва А. А Виртуальный мир Джорджа Беркли. // Вестник Иркутского государственного технического университета, № 1, 2003. — С. 138 —141.
- Кузьмичёва А. А Философия компьютерной культуры. Учебное пособие. Иркутск: Изд-во Иркутского Государственного Технического Университета.-2001.- 69с.
- Кузьмичёва А.А. Актуальные проблемы компьютеризации науки. //Информационные ресурсы России, № 2, 2003. — С. 15−18.
- Кузьмичёва А.А. Информационные технологии и точное знание.// Математические и информационные технологии в энергетике, экономике, экологии. Иркутск: Изд-во ИСЭ СО РАН, 2003. С. 181−186.
- Кузьмичёва А.А. Об уровнях формализации и виртуализации. //Вестник Иркутского государственного технического университета, № 2, 2003. — С.106.109
- Кузьмичёва А.А. О понятии истины в дедуктивных науках и их приложениях// Современный детерминизм и социальное предвидение./Сб. трудов СО АН СССР/Новосибирск, 1974, — С. 51−56.
- Кузьмичёва А.А. Истина и виртуальность в точном знании. Иркутск: ИГУ, -2001.-224с.
- Кун Т. Структура научных революций. М.: Прогресс, 1977 — 300с.
- Купцов В.И. Детерминизм и вероятность М.: Политиздат, 1976. — 256 с.
- ЮО.Кураев В. И., Лазарев Ф. К. Точность, истина и рост знаний. М.: Наука, 1988−237 с.
- Курдюмов С.П., Капица С. П., Малинецкий Г. Г. Синергетика и прогнозы будущего. М., 2001 288 с.
- Курсанов Г. А. Ленинская теория истины и кризис буржуазных воззрений. -М., 1977.-350с.
- Лобанов С.Д. Бытие и реальность. М.: Наука, 1999. — 156 с.
- Левин Г. Д. Идеализация. IIВопросы философии, 1999, № 4.
- Лейбниц Г. Новые опыты о человеческом разуме. Избр. Введение. — М., 1936.-457 с.
- Лекторский В.А. Витгенштейн и некоторые традиции отечественной мысли. ПВопросы философии, 1998, № 5, с.23- 32.
- Ленин В.И. Материализм и эмпириокритицизм. \Полн. собр. соч. Т. 18. 525 с.
- Ленинская теория отражения и современная наука. В 2 тт. Т. 1. Отражение, познание, логика., София, 1978.- 526 с.
- Логический подход к искусственному интеллекту: От модальной логики к логике баз данных.(т.2) М.: Мир, 1998- 494 с.
- Ю.Локк Д. Опыт о человеческом разуме. Избр., т.1, 1960. — 622 с. 111 .Лукасевич Я. Аристотелевская логика с точки зрения современной формальной логики. М., 1959. — 311с.
- Майоров Г. Г. Формирование средневековой философии. М.: Мысль, 1989 -431 с.
- Мамчур Е.А., Огурцов А. П. Отечественная философия науки. Предварительные итоги. М.: Росслеи, 1997. 359с.
- Манин Ю.И. Доказуемое и недоказуемое. М.: Сов. радио, 1979 — 167с.
- Мантатов В.В. Философское содержание теоремы Геделя о неполноте и понятие истины в формализованных языках. В сб.: Методологические проблемы наук. -М., 1969.
- Маркс К. Математические рукописи. М., 1 968. — 639 с.
- Марков М.А. О природе материи. М.: Наука, 1976 216 с.
- Мелик Гайзакян И. Информационные процессы и реальность. М.: Наука, 1997, — 192 с.
- Менделеев И. Метод математики, логика и гносеология математическогознания. Спб., 1913.
- Микешина JI.A., Опенков М. Ю. Новые образы познания и реальности. М., 1997
- Мильдон В.И. Миллениум русский и западный: образы эсхатологии. //Вопросы философии, № 7, 2000, с.3−12.
- Мулуд Н. Анализ и смысл. М.: Прогресс, 1979 — 347 с.
- Нарский И.С. Современный позитивизм. — М., 1960 323 с.
- Николе Г., Пригожин И. Познание сложного. М., 1990 342 с.
- Новиков П.С. Элементы математической логики. — М.: Наука, 1973 — 399с.
- Новосёлов М.М. Логика абстракций: методологический анализ. Ч. 1. М.: ИФ РАН, 2000, — 191 с.
- Носов Н.А. Виртуальная реальность // Вопросы философии, 1999, N 10, с. 152−164
- Носов Н.А. Виртуальная психология. / Труды лаборатории виртуалистики. Вып. 6.-М.: Аграф, 2000. 432 с
- Ньютон И. Математические начала натуральной философии. М.-Л.: Изд-ао АН СССР, 1936.-312 с.
- Нысынбаев А.Н., Шляхин Г. А. Развитие познания и математика. Алма-Ата: Казахстан, 1971 -205с.
- Огурцов А.Н. Проблема универсалий в философии XX века./ Истина и благо: универсальное и сингулярное. М.: ИФ РАН, 2002, с.260 339.
- Осипов В.Е. Принципы неопределённости, соответствия идополнительности в структуре стиля научного мышления. Иркутск: Изд-во Иркутского университета, 1990. Часть 1 — 176 с. Часть 2 — 178 с.
- Пап А. Семантика и необходимая истина. Исследование оснований аналитической философии. -М.: Идея Пресс, 2002. 420 с.
- Паршин А.Н. Размышления над теоремой Гёделя. //Вопросы философии, 2000, № 6.
- Патнэм X. Философия Сознания: Избранные философские произведения. -М.: Дом интеллектуал. Кн., 1999. 240 с.
- Петров Ю.А. Математическая логика и материалистическая диалектика. -М.: Изд-во Моск. ун-та, 1974 191с.
- НО.Петрова Н. П. Виртуальная реальность для начинающего пользователя. М., 1997.
- Петрова Н.П. Виртуальная реальность как новый метод арт-терапии или расставание с собой// Web-сайт «Virtual Russia» (http:// www. Visualtech. ru).
- Пископпель А.А. Научные концепции: структура, генезис. М.: Путь, 1999.
- Планк М. Позитивизм и реальный внешний мир. //Вопросы философии, 1998, № 3, с. 120- 132.
- Пойя Д. Математика и правдоподобные рассуждения. М.: Наука, 1975 -464с.
- Пилкингтон С. М. Иудаизм. М.: Гранд, 1998 400 с.
- Полани М. Личностное знание. М.: Прогресс, 1985, 343с.
- Порус В.Н. Парадоксальная рациональность. М., 1999.
- Потёмкин А. Виртуальная экономика и сюрреалистическое бытие. М.: Инфра -М., 2000.
- Практика и познание. М.: Наука, 1973 — 360с.
- Пуанкаре А. О науке. М.: Наука, 1983. — 560 с. 151 .Пригожин И. Время, хаос и квант. К решению парадокса времени. М.: Прогресс, 2000. 239с.
- Пригожин И., Стенгерс И. Порядок из хаоса. Новый диалог человека с природой. М., 1981.
- Разумовский О.С. Закономерности оптимизации в науке и практике. Новосибирск: Наука, 1990.- 176 с.
- Ракитов А.И. Философия компьютерной революции. М.:Политиздат, 1991 -287с.
- Рассел Б. Исследование значения и истины. М.: Идея-пресс, Дом интеллект. Книги, 1999.- 400 с.
- Ребер Б., Раша Ф. Виртуальное: апокалипсис или повторное посещение платоновской пещеры.// Концепция виртуальных миров и научное познание. С-Пб.: Изд-во Росс. Христ. Гум. Ин-та, 2000. С. 213−228.
- Розин В.М. Существование и реальность: смысл и эволюция понятий в европейской культуре // Вопросы методологии. 1994. N3−4
- Розов М.А. Знания как объект исследования. Воспоминание о работе новосибирского семинара.(1963−1980) //Вопросы философии, 1998, № 1, с. 89 -99.
- Рокмор Т. Математика, фундаментализм и герменевтика. //Вопросы философии, 1997, № 2, с.82- 92.
- Рсторгуев С.П. Информационная война. М.: Радио и связь, 1998 416.
- Рузавин Г. И. О природе математического знания. М.: Мысль, 1968 — 302с.
- Сачков Ю. В. Вероятностная революция в науке. М.: Научн. мир, 1999.- 144 с.
- Светлов В.А. Индуктивные системы. Иркутск: ИГУ, 1987. 171 с.
- Светлова С.Б., Абрамов Ю. Ф., Коноплёв Н. С. Информационный обмен как объект общественной жизнедеятельности. Иркутск, 1991.
- Секст Эмпирик. Соч. в 2-х тт. М.: Мысль, 1976.
- Скибицкий М.М. Мировоззрение, естествознание, теология. М.: Политиздат, 1986 223.
- Слинин А.Я. Современная модальная логика. /Развитие теории алетических модальностей (1920−1960)/. Л.: Изд-во Ленингр. ун-та, 1976 — 184с.
- Смирнов В.А., Таванец П. В. О взаимоотношении символической логики и философии. В кн.: Философия в современном мире. — М., 1974.
- Смирнова Е.Д. Семантика возможных миров и обоснование логического знания. .//Концепция виртуальных миров и научное познание. — С-Пб.: Изд-во Росс. Христ. Гум. Ин-та, 2000. С.75−90.
- Событие и смысл (Синергетический анализ языка). М.: ИФ РАН, 1999 278 С.
- Сокулер З.А. Проблема обоснования знания. М.: Мысль, 1984. — 53 с.
- Сорос Дж. Алхимия финансов. М., 1994.
- Социальная информатика: основания, методы, перспективы. М.: Едиториал УРСС, 2003, — 216 с.
- Спасов Д. Куайн и философия логики. Вопросы философии, 1973, № 7.
- Спиноза Б. Избранные произведения. М., 1957.
- Стёпин B.C. Теоретическое знание. М.: Прогресс-Традиция, 2000. — 472 с.
- Сузо Г. Книжица истины. //Вопросы философии, 2000, № 7.
- Суровцев В.А. Автономия логики: источники, генезис и система философии раннего Витгенштейна. -Томск: Изд-во Томского госунивер-та, 2001.-306 с
- Сухотин А.К. Философия и математическое познание. Томск, 1977 — 160с.
- Сытых О.Л. Вероятностное знание. Барнаул, 2000 250 с.
- Тарский А. Истина и доказательство. — Вопросы философии, 1972, № 8.
- Технологии виртуальной реальности. Состояние и тенденции развития. М., 1996
- Тондл Л. Проблемы семантики. М.: Прогресс, 1975, -384 с.
- Тростников В.Н. Конструктивные процессы в математике. М.: Наука, 1975 -255с.
- Тулмин Ст. Человеческое понимание. М.: Прогресс, 1984, 327 с.
- Уайтхед А. Н. Избранные работы по философии. М.: Прогресс, 1990.- 717 с.
- Уёмов А.И. Истина, простота, сложность. -Научн. доклады высш. школы. Философские науки, 1974, № 4, с.33−44.
- Урманцев Ю.А. Тектология и общая теория систем. ИВопросы философии, 1995, № 8, с. 14−23
- Урсул А.Д. Социальная информатика: две концепции развития. М., 1993.
- Успенский В.А. Витгенштейн и основания математики. //Вопросы философии, 1998, № 5, с. 85- 93
- Федосов Е.А. Виртуальная реальность: компьютер и человек // Труды лаборатории виртуалистики. Виртуальные реальности. М., 1998. Вып.4
- Флек Л Возникновение и развитие научного факта: введение в теорию стиля мышления и мыслительной деятельности коллектива. С нем. М.: Идея-пресс, 1999.-220 с.
- Флоренский П. Столп и утверждение истины. В 2-х тт. М.: Правда, 1990.Т.1.
- Кн. 2 Разъяснения XIУ XIX.
- Фома Аквинский. Онтология и теория познания: фрагменты сочинений/ РАН. Ин-т философии. М., 2001, — 207 с. 195.фон Вригт Г. Х. Логико-философские исследования. Избранные труды. М.: Прогресс, 1986,-595 с.
- Френкель А., Бар-Хиллел И. Основания теории множеств. М., 1966 — 555с.
- Фролов И.Т. Комплексные, междисциплинарные исследования виртуальной реальности // Труды лаборатории виртуалистики. Виртуальные реальности. М., 1998. Вып.4
- Хаак С. Очередные похороны эпистемологии. IIВопросы философии, 1995, № 7, с. 106- 115.
- Хакен Г. Синергетика. Иерархия неустойчивостей в самоорганизующихся системах и устройствах. М., 1985.
- Харрел У., Данилофф К. Виртуальные миры. М.: ЭКОМ, 1997.
- Хейне П. Экономический образ мышления. М.: Дело, 1999.- 701с.
- Хинтикка Я. Проблема истины в современной философии. //Вопросы философии, 1996, № 9, с. 46- 53.
- Холтон Дж. Тематический анализ науки. М.: Прогресс, 1981, 383 с.
- Хоружий С.С. Род или недород? Заметки к онтологии виртуальности. // Вопросы философии, 1997, № 6, с.53- 62.
- Целищев В.В. Логическая истина и эмпиризм. Новосибирск: Наука. Сиб. отд-е., 1974 — 114с. Философские проблемы семантики возможных миров. Новосибирск: Наука, 1977 -190 с.
- Чешев В.В. Проблема реальности в классической и современной физике.
- Томск, 1984.-257 с. 207. Чанышев А. Н. Трактат о небыти^.//Вопросы философии, 1990, № 10, с. 158 186.
- Чёрч А. Введение в математическую логику. М.: Иностр. лит-ра, 1960 — 484с.
- Чудинов Э.М. Природа научной истины. М.: Политиздат, 1977 — 312с. 210. Швырев B.C. Теоретическое и эмпирическое в научном познании. — М.:
- Наука, 1978−382с. 211. Шенфильд Дж. Математическая логика. М., 1975 — 527с.
- Шляхин Г. П. Математика и объективная реальность. Ростов-на-Дону, 1977- 139с.
- Штофф В.А., Микешина Л. А. Проблема истины. Научн. доклады высш. школы. Философские науки, 1976, № 2, с. 130−140.
- Щедровицкий Г. программирование научных исследований. М.: Путь, 1999 -287с.
- Энгельс Ф. Анти-Дюринг Энгельс Ф. Соч. 2-е изд. т.20, с.5−338. 216. Энгельс Ф. Диалектика природы. — Маркс К., Энгельс Ф. Соч. 2-е изд. т.20, с.339−626.
- Юлина H.C. Проблемы метафизики в американской философии XX века. Критический очерк эмпирико-позитивистских течений. -М.: Наука, 1978 -296с.
- Юлина Н.С. Теология и философия в религиозной мысли США XX века. М.: Наука, 1986 161 с.
- Юм Д. Исследование о человеческом разуме. Соч., т.2, 1985.
- Юрин П.В., Кузьмичёва А. А. Реальное и виртуальное в компьютере // Философия и методология современности. Иркутск, 2000 С. 66−69
- Яновская С.А. Методологические проблемы науки. М., 1972 — 280с.
- Airaksinen Т. On the Foundation of Reseller’s coherence theory of truth. -Logique et Analyse, 1979, a.22, pi47−157.
- Ajquiewicz K. Pragmatic Logic, Amsterdam Warsawa, 1974.
- Alston W.P. Has foundationalism been refuted? «Philosophical studies «, v.29, n.5, pp. 287−306.
- Analitic philosophy and Phenomenology. The Hague: Nijhaff, 1976 — 277p.
- Apostol H.G. Aristotel’s Philosophy of Mathematics, Chicago, 1952.
- Armour L. The Concept of Truth. L., 1969.
- Aston W.P. Ontological Commitment. «Philosophy of Mathematics». Ed. H. Putnam & P. Benacerraff. N. — Y., 1964.
- Austin I.L. Truth. «Proceedings of the Aristotelian society», suppl. Vol. 24, 1950.
- Ayer A.J. Language, truth, logic. L., 1958.231 .Barker F. Philosophy of mathematics. N.J., 1964 — 11 lp.
- Barker F. Realism as a Philosophy of Mathematics. In: «Foundation of Mathematics» N. Y., 1969.
- Baum R.I. Philosophy and Mathematics from Plato To present. San Francisco, 1973.
- Beth E.V. Mathematical epistemology and psychology. Dordreht, 1966 — 326p.
- Benacerraf P. Mathematical truth. J. of philosophy, vol.70 (1973), p.661−679.
- Benacerraf P. What numbers could not be. «Philosophical R Review,» v.74, N1, pp. 47−73.
- Bernays P. Platonism in mathematics. In.: Philosophy of mathematics, N.J., 1964 — 536p., p.274−286.
- Berry G. Logic with platonism. Synthesis, vol.19, p.215−249.
- Beth E.V. Mathematical Thought. An Introduction to philosophy of Mathematics. Dordrecht, 1965.
- Bolle G. An Investigation of the Lows of Thought on which are founded the mathematical theorems of Logic and Probabilities. L., 1958.
- Brainer Ch. Y. The origins of the number concept. -N.-Y.ect.: Braeger, 1 979 228 p.
- Britton K. Are necessary true by convention? «Proceedings of the Aristotelian society,» suppl. v. 21 (1941).
- Broad C.D. Are there synthetic a priory truth? «Proceedings of the Aristotelian Society», suppl. v.21 (1947).
- Brumbaugh R.S. Plato’s Mathematical Imagination. The Mathematical passages in the Dialogues and their Interpretation. Bloomington, 1954.
- Bunge M. Method, Model and Matter. (Topics in Scientific Philosophy). Dordrecht, 1973.
- Bunge M. The Myth of Simplicity. N. Y., 1963.
- Carnap R. Logical empiricist: materials and perspectives/ ed. by J. Hintikka -Dordrecht-Boston, 1975 -400p.
- Carnap R. Quine and logical truth. In.: The philosophy of Rudolf Carnap/ ed. by A. Schilph., L., 1963, p.314−392.
- Carnap R. The logical foundation of mathematics. In.: Philosophy of mathematics, N. J., 1964, p.31−41.
- Carnap R. The Logical Syntax of Language. N, — Y., 1959.251 .Carnap R. Truth and Confirmation. In: «Reading in Philosophical Analysis». Ed. Feigl H. and Sellars W. N. — Y., 1949.
- Castaneda H. Arithmetic and reality. In.: Philosophy of mathematics, N.J., 1964, p.404−420.
- Castonguay C. Naturalism in Mathematics. «Journal of Philosophical Logic», v. 1 (1972), N3−4, p. 53−63.
- Castonguey C. Meaning and existence of mathematics. Wien, 1972 — 160p.
- Cavel S. Must we mean, what we say. Cambridge, 1976.
- Chinara C.S. Truth, Meaning, and Paradox. «Nous», v.10 (1976), N3, pp.305 -311.
- Chomsky N. Essays on form and interpretation. N.Y. — Amsterdam, 1977 -216p.
- Church A. Proposition and Sentence. «The Problems of Universals a symposium», Notre Dame, 1956, pp. 3−11.
- Cohen M. Truth-tables and truth. Analysis, v.35 (1975).
- Cohen R.S. Dialectical materialism and Carnap’s logical empirism. In: «The Philosophy of R. Carnap». Ed. A. Shilph. N.- Y., 1964, pp. 99−158.
- Cohen S.M. Analyticity and real essence. «New scholasticism», v. 47 (1973), N1, pp. 68−75.
- Cornman J.W. Foundational versus non foundational Theories of Empirical Justification. «American philosophical quarterly», v. 14 (1977), N4, pp. 287−297.
- Cosmology and Theology. Edinburgh: T. & T. Clark LTD N.Y.: The Seabury Press, 1983
- Creation and evolution'. Oxford U.P., 1985.
- Cummins R. Truth and Logical Form. «Jour. Of Philosophical Logic», v.4 (1975), N1, pp. 29−45.
- Curry H. Outlines of a formalist philosophy of mathematics. Amsterdam, L, 1970 — 75p.
- Curry H. Remarks on the definition and nature of truth in mathematics. In.: Philosophy of mathematics, N.J., 1964, p.31−41.
- Damnett M.A. Truth and otherenigmas. Cambridge: Harv. univ. press, 1978 -470p.
- Danto A.S. Analytical Philosophy of Knowledge. Cambridge, 1968.
- Davidson D. The method of truth in mathematics. In.: Contemporary perspectives in the philosophy of language. — Minneapolis, 1979, p.294−304.
- Davidson D. True to the facts. «Jour, of Philosophy», v.65 (1969).
- Davidson D. Truth and Meaning. In: «Philosophical Logic «. Ed. Davis. Dordrecht, 1969, pp.304 323.
- Derden J.K.jr. Carnap’s definition of «Analytical truth for scientific theories». -Philosophy of sci., vol.43 (1976), № 4, p.506−522.
- McDermott Michael Quine’s Holism and Functionalist Holism. IIMind, Volume 110, Issue 440: October 2001pp. 977−1026.
- Dreher I. The Third Dogma Of Empirism. «Personalisf v.54 (1973), N3, pp. 222−226.
- Ducasse C.J. Truth, Knowledge and Causation. L., 1969.
- Essay on the Foundation of Mathematics. Ed. J. Bar Hillel. Jerusalem, 1961.
- Eving A.S. Meaninglessness. «Mind», 1973, pp. 343 — 364.
- Feigl H. and Sellars W. (ed.) Reading in the Philosophical Analysis. New York, 1949.
- Feyerabend P. Problems of Emporium. In:» Beyond the Edge of Certainly». N. — Y, 1965.
- Feys R, Fitch J.B. Dictionary of symbols of mathematical logic. L. etc, 1969 -184p.
- Field H. Quine and the Correspondence Theory, «Philosophical Review», v.83 (1974), N2, pp.200- 228.
- Field H. Tarski’s theory of truth. J. of philosophy, vol.69 (1972), N13, p.347−375.
- Fine K. Vagueness, truth and logic. Synthesis, vol.30, N 14, p.265−300.
- Fisk M. Idealism, Truth, and Practice. «Monist», v.59 (1976), N 3, pp. 373 -391.
- Fitch G. W. Analyticity and necessity in Leibniz J. of the history of philosophy, vol.17 (1979), p.29−42.
- Fitch G.W. Are there necessary a posteriory truth? Philos. studies, vol.30 (1976), p.243−247.
- Fitch J. W. Analyticity and necessity in Leibniz. J. of the history of philosophy. V. 17 (1979), N 1, pp. 29−42.
- Ford J. Paradigms and Fairy Tales (An Introduction to the Science of Meaning. L. -Boston, 1975.) (vv.l and 2).
- Formal Philosophe/ Selected papes of Richard Montague. New Haven, 1974
- Foundations of Mathematics. Berlin, 1969.
- Fraassen, van B.C. Singular Terms, Truth, value gaps and Free Logic. «The Jour, of Philosophy», v. 63 (1966), № 17, pp. 481 495.
- Frege G. The Foundations of Arithmetics, N. Y., 1950.
- From Frege to Godel. Ed. Y. Heyenoort. Cambridge, 1967.
- Gasking D. Mathematics and world. In.: Philosophy of mathematics, N.J., 1964, p.390−403.
- Gellner E. Words and things: an examination of and attack on linguistic philosophy. L.: Routledge and P. Kegan, 1979 — 292p.291 .Glass L., Mackey M.C. From clocks to chaos: The rhythms of life. Princeton (N.J.), 1988
- Godel K. On Formally undecidable Propositions of PM and related Systems. In: «From Frege to Gedel». Ed. V. Heijenoort, 1967.
- Godel K. Russell’s Mathematical Logic. In:» Philosophy of B. Russell «. Ed. A. Schilph. Chicago, 1944.
- Gofflieb D. The truth about arithmetic. Americ. philos. quart, vol.15 (1978), p.81−90.301 .Goodman N. A world of individuals. «Philosophy of mathematics», N. — Y. 1964, pp. 127−210.
- Goodstein R.L. Development of mathematical logic. -L, 1971 150p.
- Goodstein R.L. Empirism in Mathematical Logic. L., 1971.
- Gracia I.I. The Ontological Status of Value. «Modern schoolman», 1976, v.53, № 4, pp. 393 — 397.
- Grandy R. A definition of Truth for Theories with International Definitive Descriptive Operators. «The Journal of philosophical Logic», N1, 1972.
- Grattan Guinness I. The Russell archives: some new Light on Russell’s Logicism. — «Annals of Science», v.31 (1974), pp.387 — 406.
- Grewith A. The Distinction between analytic and synthetic Truth. «The Journal of Philosophy», v.50 (1953), pp. 397 425.
- Grover D., Camp I., Belnap N. A prosentential Theory of Truth. «Philosophical studies», v.27, 1975.
- Haac S. Is it true what they say about Tarski? Philosophy, vol.51 (1976), p.323−336.
- O.Hale В On some arguments for the necessity of necessity UMind, Volume 108, Issue 429: January 1999, pp. 23−52 311 .Hammet F. Virtual reality. N.-Y. 1993.
- Hans Reihenbach, logical empiricist. Parts 4−5. «Syntheses», v.35 (1977), № 1, pp. 3−126, № 2, pp. 129−254.
- Hart W. On argument for formalism. J. of philosophy, vol.71 (1974), p.29−46.
- Hatcher W.S. Foundation as a Branch of Mathematics. In: «Exact philosophy (Problems, Tools, Goals)», Montreal, 1973, pp.83- 92.
- Hay W., Weinberg J. Concerning Allegebly Necessary Nonanalitic Propositions. -«Philosophical studies». (Febr. 1951).
- Heath Т. Mathematics in Aristotle. Oxford, 1949.
- Helsen S.K., Roth J.P. Virtual reality: theory, practice, and promise. Wesport-L.:Meckler, 1991.
- Hempel C.G. On the nature of mathematical truth. In.: Philosophy of mathematics, N.J., 1964, p.363−381.
- Herzberger H.G. Dimension of Truth, «Journal of Philosophical Logic», v.2 (1973), pp. 535 -556.
- Hintikka J. Are logical truth analytical? Philos. review, vol.74 (1965), p. 178 203.
- Hintikka J. Are logical truth tautologies? In.: Description, analytizitat and existense, Salzburg-Munich, 1966.
- Hintikka J. Are mathematical truth synthetic a priory? J. of philosophy, vol.65 (1968), p.640−665.
- Hintikka Ja. Information, Deduction, and the a priori. «Nous», v. 33 (1970), pp. 131 — 152.
- Hintikka Ja, An Analysis of Analyticity. Ibid.
- Hiz H. The Intuitions of Grammatical Categories. «Theoria», v. 33 (1967), pp. 1−27.
- Hofweber Thomas Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures James Robert Brown.// British Journal for the Philosophy of Science, Volume 52 (June 2001) pp. 413−416.
- Hurrel P.M. Interrogatives, Testability, and Truth value. «Philosophy of Science», v.31 (1964).
- In memory of R. Carnap. Ed. R. S. Buck, R.S. Cohen. (Boston studies. v.8), Dordrecht, 1971.
- Intuitionism and Proof theory. L., 1970.330.1oachim H. The Nature of Truth. L., 1906.331 .Jarrett C.E. Leibniz on truth and contingency. In.: New Essay of rationalism and empirism, Gueeph, 1978, p.83−100.
- JarrettC.E. Leibniz on truth and contingency. In: New essays on rationalism and empirism. Juelph, 1978, pp. 83 — 100.
- Jellner E. Words and things: An examination of and a hack on linguistic philosophy. L: Routsedge & P. Kegan, 1979 292 p.
- Jones O.R. Truth and Predication. «Analysis», v.32 (1872), N3.
- Jotteieb D. The truth about arithmetic. Amer. Philos. Quart. V.15 (1978), N 2, pp. 81−90.
- Jublen M. Ontology and mathematical truth. 1974 (pre-print, privately circulated).337Juhos B. von The truth of empirical statement. «Analysis», v.4 (1973), pp. 65 -70.
- Kalderon M. The transparency of truth. 11 Mind, Volume 106, Issue 423: July 1997pp. 475−497
- Katz G., Nagel R. Meaning Postulates and Semantics Theory. «Foundations of Language», v. 11 (1974), N3, pp. 314−340.
- Kearns J. Two Wiews of Variables. «Notre Dame Journal of Formal Logic», v. 10 (1969).
- Kearns J.T. Denoting & Referring: some steps toward a new Paradigm. -«Philosophy & Phenomenological Research», v.57 (1976), N1, pp.79 100.
- Kearns J.T. Sentences and Propositions. In: The Logical Enterprise. New -Haven-L., 1975, pp.61 — 84.
- Keuth H. Verisimilitude or the Approach to the Whole Truth. «Philosophy of Science», v.43 (1976), N3. pp. 311 — 336.
- Kneale W. Are necessary truth true by convention. — Proc. of the Arist Soc., suppl. Vol.21 (1947).
- Kneale W. Proposition & Truth. In Natural Language. «Mind», v.81 (1972), № 322, pp. 225 -243.
- Kneale W. The Truth of Logic. «Proceed. Of the Arist. Soc». V. 46 (1945 — 46).
- Knox I. Truth, Correspondence & Ordinary Language. «Personalist», v.52 (1971), N3.
- Korner S. The philosophy of mathematics. L., 1960.
- Kreitzmann N. Medieval Logicians on the Meaning of the «propositions». «J. of Philosophy», v.67 (1970), N2, pp. 767 — 787.
- Kuczynski I. The meaning sense of the word the meaning sense of the being. -Dialectics and humanism., vol.7 (1980), p. 167−181.351 .Kung G. Ontology and logistic analyses of language. Wien, 1972 — 205p.
- Kuyh W. Complementarily in mathematics: A first introduction to the foundations of mathematics and its history. Dordrecht — Boston: Reidel- 1977 -186 p.
- Kuyk W. Complementarity in mathematics: A first introduction to the foundation of mathematics and it’s history. Dordrecht et.: Redial, 1977 — 186p.
- Lactose I. A renaissance of empirism in the resent philosophy of science. — Brit. j. of the philosophy of sci., vol.27 (1976), p.201−223.
- Lamb J.W. A Sceptical Paradox Concerning Epistemic Justification. «Philos. studies», v.29 (1976), N5, pp. 319 330.
- Langford H. A Proof that Synthetic a priori Exist. «J. of Philosophy», 1919.
- Leary N. Chaos and cyber culture.- Berkley: Roning Publishing, 1994
- Leblanc H. Truth value semantics. — Amsterdam: North — Holland, 1976 — 319 P
- Leclerc I. Platonism, Aristotelianism & Modern Science. «Intern. Philos. Quart»., v. 16 (1976), N2, pp. 135 — 150.
- Leibniz und Europa: VI Internationaler Leibniz kngress: Vortraege — Hannover, 1994.
- Leonard H.S. Interrogatives, Imperatives, Truth, Falsity, and Lies. «Philosophy of Science», v.26(1959).
- Lewis D.K. Convention. Cambridge: Harvard Univ. press, 1969 — 21 Op.
- Lewy C. Truth & Significance. «Analysis», v.8, N 2.
- Logic and Language: studies dedicated to prof. R. Carnap on occasion of his seventeenth birthday. Dordrecht, 1962.
- Logical Positivism. Ed. A. Ayer. N. Y., 1959.
- Lukasiewicz Y. Selected works. Amsterdam etc., 1970 — 405p.
- Lycan W.G. Evidence one does not possess. «Australian J. of Philosophy», v. 55 (1977), n.2, pp. 114−126.
- Machina K.I. Truth, belies and vagueness. J. of philosophy, vol.5 (1976), p.47−78.
- Mackie I.L. Truth: probability and paradox. L., 1973.
- Mackinnon D.M. Idealism and Realism: an Old Controversy Renewed. -«Proceed. Of Aristotelian Soc.», v.77 (1977), pp. 1 14.371 .Maddy Penelope Naturalism in mathematics. Oxford University Press, 1999
- Margolis I. Scepticism, foundationalism and pragmatics. Americ. philos. quart, vol.14 (1977), p. l 19−127.
- Markovic U. The problem of truth. In.: Boston studies in the philosophy of sci., vol.5 (1969), p.341−369.
- Martin C.M. The notion analytic truth. Philadelphia, 1959 — 124p.
- Martin C.M. Truth and denotation. L.: Routledge and P. Kegan, 1958 — 304p.
- Martin I.A. Are there Truth functional Connectives? «Metaphilosophy», v.4 (1973), N3, pp. 187−204.
- Martin J. A many valued Semantics for Category Mistakes. — «Syntheses», v.31 (1975), N1, pp. 63 -83.
- Martin R.L., Woodruff P.W. On Representating «Truth in — L» in L. — In: «Boston studies in Philosophy if Sci», v.43. (1976), Dordrecht — Boston, pp. 113 117.
- Martin R.M. Some Reminders concerning Truth, Satisfaction and Reference. -«Monist», v.59 (1976), N3, pp. 341 352.
- Mates P. Synonimity. In: «Semantic & the Philosophy of Language», Ed. L. Linski. Urbana, 1952.
- Mathematics: its spirit and evaluation. Boston, 1973 — 321p.
- Maturana H., Varela F.J. Autopoiesis and cognition. Dordrecht, etc., 1980
- Mehlberg H. The present situation into philosophy of mathematical logic. In.: Logic and language, Dordrecht, 1962, p.69−103.
- Meyhill H. Science, the Truth and Tomas Kuhn.- «Mind», v.84, (1975), N231, pp. 67 74.
- Millar A. Truth and Understanding. «Mind «, v.86 (1977), N343, pp. 405 — 416.
- Misac Ch. Truth, Politics, Moraliti. y: Pragmatism & Deliberation. Oxford, 2001.
- Morrison I.C. Meaning and truth in Wittgenstein’s tractates. Mouton, 1968 -148p.
- Moody E. Truth and Consequence in Medieval Logic. Amsterdam, 1953.
- Moose J.M. Kernel’s Works on the Philosophy of Mathematics. I. Realism. In: «Logic Colloquium -69», Amsterdam -L., 1 1971, pp. 411 -438.
- Angel E. Logic without Ontology. In «Philosophy of Mathematics», N. -Y., 1964.391 .Natsan N.N.L. What vitiates an Infinite Regress of Justification. «Analysis», v. 37 (1977), № 3, pp. 116−126.
- Nerlich G. Pragmatically Necessary Statements Statements. «Nous', v.7 (1973), pp. 249 — 269.
- Neurocomputers and attention. Vol. 1: Neurobiology, synchronisation and chaos. Manchester, New York, 1993
- Niiniluoto Ilkka From Instrumental ism to Constructive Realism: On Some relations between Confirmation, Empirical Progress, and Truth Approximation. Theo A. F. Kuipers. Mind, Volume 110, Issue 439: July 2001pp. 774−777.
- O’Connor I.S. The correspondence theory of truth. L., 1975 — 145p.
- Pap A. Semantics and necessary truth. New-Haven: Hall. Univ. press, 1958 -460p.
- Peacocke С Metaphysical necessity: understanding, truth and epistemology.// Mind, Volume 106, Issue 423: July 1997, pp. 521 534.
- Peacocke С .How are a priory truth possible? // Europe j. of Phil.- Oxf.- Cambr.(Mass.). 1993. Vol.1, № 2, p. 1−26.
- Philosophy of mathematics / ed. by P. Benacerraff and H. Putnam, N.J., 1964 -536p.
- Physics, Philosophy and Theology. Vatican, 1988.
- Platinga A. The Nature of Necessary. Oxford, 1974.
- Polkinghorne J. One World. The Interaction of Science and Theology. Bristol. 1987 114 P
- Pollok I.L. On Logicism. In: «Essays on B. Russell «, Urbana, 1971, pp. 388 -395.
- Popper K. Why are the Calculuses of Logic and Mathematics applicable to Reality? «Artist. Soc. Suppl. Vol. 20, 1946.
- Popper K.R. Philosophical Commitments On Tarski Theory of Truth. In: «Objective Knowledge». OUP, 1972.
- Potts T.C. Philosophy as Pure Linguistics. «Rew. De l’Univ. de Bruxelles», N1−2(1976), pp. 135 — 176.
- Problems in the philosophy of mathematics / ed. by I. Lacatos, Amsterdam, 1967 241p.
- Pry or James Highlights of Recent Epistemology. British Journal for the Philosophy of Science, Vol. 52 (Issue 1: March 2001). pp. 95−124.
- Przeleski M. Some philosophical consequences of semantic definition of truth. -Dialectic and humanism, vol.1 (1974), p. 117−128.
- Przygodska A. Matematycze a Leibnizjanskie pojmowanie identycznosci. -Studia filozoficzne, N2 (171), 1980, p. 117−128.
- Putnam Н. Is Logic empirical? In:» Boston stud. In the Phil, of Sci.», v.5, 1969. pp. 216−241.
- Putnam H. Mathematics without Foundations. «J. of Philosophy», v. 64 (1967), № 1, pp. 5−22.
- Putnam H. Philosophy of logic. -N.J.: Harper paw. 78p.
- Putnam H. What is Realism. «Proceed. Of Arist. Soc»., v. 76, pp. 177 — 194.
- Putnam H. What Numbers could not be. «Philosophical Rev»., v.74 (1965), pp. 47−73.
- Putnam H. Analitic and Synthetic. «Minnesota studies in the philosophy of Science», Minneapolis, 1962.
- Putnam H. The Refutation of Conventionalism. «Nous», v. 8 (1974), pp. 25 — 40.
- Quine W.V.O Ontological Relativity and other Essays. N. Y., 1969.
- Quine W.V.O Philosophy of Logic. Englewood, 1970.
- Quine W.V.O Roots of Reference. Illinois, 1974.421 .Quine W.V.O Set theory and its Logic. Cambridge, 1969.
- Quine W.V.O. Word and Object. Cambridge, 1964.
- Quine W.V.O. Carnap and logical truth. In.: The ways of paradox and other essays, N.-Y., 1968, p.100−125.
- Quine W.V.O. Necessary truth. In.: Ibid., p.48−56.
- Quine W.V.O. Oh what there is. In: «The Philosophy of Mathematics», N. — Y., 1963.
- Quine W.V.O. Philosophy of logic. -N.J.(Englewood): Prentice hall, 1970−106p.
- Quine W.V.O. Selected Logical Papers. N. Y., 1968.
- Quine W.V.O. The Ways of Paradox and other Essays. N.- Y., 1968.
- Quine W.V.O. Truth by convention. In.: Philosophy of mathematics, N.J., 1964, p.322−345.
- Quine W.V.O. Two dogmas of Empirism. In.: From logical point of view, Cambridge, 1961, p.20−40.
- Rakic S. Matematica i analiticka filosofija. -«Gledista», Beograd, g.16, № 29, s. 1185−1194.43 2. Ramsey F. The Foundation of Mathematics and other Essays. N.-Y., 1960.
- Ray R. Are truth values object? Philos. Studies, v35 (1979) n. 2, pp. 199−211.
- Reed E. Knowers talking about the known.//Synthese, 1992. № 1, p. 9−23.
- Religion, Science and the Search for Wisdom. Washington, 1987.
- Read S. Truthmakers and the disjunction thesis. «Mind», Volume 109, Issue 433: January 2000. pp. 67−80
- Rescher N. The coherence theory of truth. Oxford: Clarendon press, 1973 -374p.
- Rescher N. Topics in Philosophical Logic, Dordrecht, 1968.
- Rheinhold H. TheVirtual Community: Homesteading on the Electronic Frontier, 1993.
- Robinson A. Concerning Progress in the Philosophy of Mathematics. «Studies in Logic», v.80, (1975), pp. 41−54.
- Rogers H. Mathematical logic and formalised theories. L. etc., 1971 — 335p.
- Rosenkrantz R.D. Truthlikeness: Comment on D.M. Miller «The Accuracy of Predication». «Syntheses». 30 (1975), № 132 pp.193 — 197.
- Rossen I.B. Logic for Mathematicians. N. Y., 1953.
- Russell B. An Essay on the Foundation of a Geometry. N. Y., 1956.
- Russell B. An inquiry into meaning and truth. L., G. Allen, 1962 — 32p.
- Russell B. Introduction to mathematical philosophy. L., p. 191−192 .
- Russell B. Principles of mathematics. — Cambridge, 1903 53p.
- Saunders S. The Quantum Mechanics of Minds and Worlds. Jeffrey A. Barrett. -«Mind», Volume 110, Issue 440: October 2001 pp. 1039−1043.
- Schroeder R. Cyberculture, Cybord post-modernism and the sociology of virtual reality technologies: Surfing the soul in the information age.// Futures. Guilford, 1994. — Vol.26,№ 5, p.519−528.
- Science and religion. Opposing Viewpoints. Minnesota: Greenhaven Press, 1989.
- Scott S. Understandinge Truth. Cambridge, 2001.
- Searle J.R. Russell’s Objections to Frege’s Theory of Sense and Reference. -«Analysis», v.18 (1958).
- Sellars W. Science and Metaphysics: Variation on Kantian Themes. L., 1968.
- Simmons H. Discussion. Circumstances and the truth of words: a reply to Travis Л MindVolume 106, Issue 421: January 1997pp. 107−116
- Singh J. Mathematical Ideals: their Nature and Use. 1972.
- Skolem T. Selected Work in Logic. Oslo, 1970.
- Smith K.J. The nature of modern mathematics. Montrey (Calif), 1973.
- Spade P.V. General Semantic Closure. «J, of Philos. Logic», v.6 (1977), pp. 209 -221.
- Stachel J. A note on the Concept of Scientific Practice. «Boston studies in the Philosophy of Sci». v. 15 (1974), pp.917 — 932.
- Steiner M. Mathematical knowledge. -N.J. etc., 1975 164p.
- Steiner M. The Applicability of Mathematics as a Philosophical Problem. Oxford U.P., 2001.
- Stevenson L. Frege’s Two Definitions of Quantification. «Philos. Quarterly», v.23 (1973), pp. 207−223.
- Stirton WR. Anti-realism, truth-conditions and verificationism. «Mind», Vol. 106 (October 1997), pp. 697−716
- Stock G. Empirical Realism and Contingent Truths. — «Proceed. Of The Aristot. soc», v.77 (1977), pp. 23−42.
- Stocker M. Rightness and Goodness: is there Difference? «Amer. Philos. Quart.», v. 10 (1973), N2
- Strawson P.F. Individuals. L., 1959.
- Strawson P.F. Necessary Propositions and Entailment statement. — «Mind», v.57 (1948).
- Strawson P.F. Scrution and Wright on anti Realism «Proceed. Of the Aristot. Soc. «, v.77 (1977), pp. 15−21.
- Strawson P.F. Truth. «Analysis», v.9 (1949), pp. 83 97.
- Stroll A. Truth-bears, proposition and problem of universal. Dialectica, vol.30 (1976), s. 17−34.
- Symposium: realism and truth.. «Mind», Volume 107, Issue 425: January 1998 pp. 157−181
- Tarsky A. Logic semantics, metamathematics. Oxford, 1956 — 47lp.
- Tarsky A. The semantic conception of truth. In.: Semantic and philosophy language, Urbana, 1952, p.13−49.
- Tarsky A. On Undesidable Statements in Enlarged of Logic, and the concept of Truth. «J. of Symbol. Logic», v.4 (1939).
- Tarski A. The Concept of Truth in Formalised Languages. «Logic, Semantic, Metamathematics», Oxford. 1956, pp. 152 278.
- Tarski A. The semantic concept truth and foundation of semantic. In.: Reading in philosophical analysis, N.J., 1949.
- Teichmann R How to get ahead in the disinterested pursuit of truth. — Mind, vol. 109, (Supplement 2000), pp. 47−49
- Tharp L.H.Which Logic is the Right Logic.- «Syntheses», v.31 (1975), № 1, pp. 121.
- The Foundation of Statements & Decisions. (Proceed. Of International Colloquium on Methodology of Science held in Warsaw, 1961), 1965, Warsaw.
- The method of truth in metaphysics. In: Contemporary perspectives in the philosophy of language. Minneapolis- 1979, p.294−304.
- The philosophy of R. Carnap. L., 1963 — 935p.
- The Philosophy of Mathematics. Ed. Hintikka Ja. Oxford, 1969.
- Travis C. Meaning’s role in truth. -Mind, Vol. 105 (Issue 419: July 1996) pp. 451 466
- Thomason R.H. Necessity, Quotation and Truth: an Indexical Theory .-In: «Boston studies. «v.43,(1976), pp.119−138.
- Thomason R.H. Philosophy and Formal Semantics. In: Truth, Syntax, Modality. Amsterdam-L., 1973. pp.294−307
- Tiles I Experiment as interventin.//Brit. J. for the philos. of Sci. 1993, № 3, .p.463−475.
- Torretti R. Philosophy of geometry from Reiman to Poincare. — Dordrecht etc.: Reidel, 1978−459p.
- Truth and Meaning./ Essays in Semantics/, ed. by G. Evans, McDowell, Oxford, 1976. -420 p.
- Truth and other enigmas. Cambridge: Harvard Univ. press, 1978 — 470 p.
- Truth, Syntax, and Modality. Ed. H. Leblanc. 1873. /"Studies in Logic and .», v.68/.491 .Truth. «Encyclopaedia Britanica», v.22,pp.522.
- Truth and meaning: essays in semantics. Oxford, 1976 — 420p.
- Tucher I. An Outline of New Programme for the Foundation of Mathematics. -«Philosophia Mathematical v.6(1969), N. l-2, pp.28−37.
- Ullian J.S. Is any set theory true? «Philosophy of Science» v.36(1969), pp.271 279.
- Unger P. Truth. «Semantics and Philosophy», N. Y., 1974, pp.257−291.
- Urguhart A. A Semantics Theory of Analytic Implication. «J. of Philos. Logic», v.2(1973), N.2, pp.212−219.
- Vattimo G. Beyond interpredication. Cambridge. 1997.
- Vroom H.M. Religions and the Truth. Philosophical Reflections and Respectives. Michigan- Amsterdam, 1989. 388 P.
- Waismann F. Analytic- Synthetic. «Analysis"(Dec. 1949, Dec. 1950, Jane 1951).
- Wang H. From mathematics to philosophy. L., 1974 — 430p.
- Wang H. Truth Definition and Consistency Proofs. -«Transactions of American Mathematical Soc.», v.73, pp.243−275.
- Wang Hao A Survey Of Mathematical Logic, Peking, 1994.
- Warnock G.J., Truth: or Bristol Revisited. -» Proceed. Of The Aristotelian Soc.», suppl. v.47(1973).
- Wedberg A. Plato’s Philosophy of Mathematics. Stockholm, 1955.
- Weingartner P. Can one say a definition that they are true or false? Ratio, vol.7 (1965), p.62−89.
- Weiss B. Anti-realism, truth-value links and tensed truth predicates Vol. 105 (1996) pp. 577−602 .
- Weyl H. Philosophy of Mathematics and Natural Science. N-Y., 1949.
- Whilehead A.N., Russell B. Principia mathematica. Cambridge, vol.1 (1910), vol.2 (1912) -664p., 772p.
- White A.R. Coherence Theory Of Truth. In: «The Encyclopaedia Of Philosophy.» N-Y., 1967.
- White A.R. Truth. -N.J., 1970.
- White M.G. The Analytic and The Synthetics an Untenable Dualism. -In: «Semantic and the Philosophy of Language.» Urbana, 1952.
- Wilder R.L. Evaluation of mathematical concepts: An elementary study. L., 1974−216p.
- Wilder R.L. Introduction to foundations of mathematics. N.J., 1967 — 300p.
- Will F.L. Truth and correspondence Philos. forum., vol.9 (1977), pp.60−77.
- Williams C.J.F. What does 'x is truth' say about x? «Analysis», v.29 (1969), N.4.
- Williams C.J.T. What is truth? Cambridge, 1976 — 100р.
- Wilson L. Presuppositions and non-truth conditional semantics. L. etc: Acad, press, 1975 — 161p.
- Wittgenstein L. Remarks on the foundations of mathematics. The Harvesterpress, 1976 444р.
- Wittgenstein’s lectures on the foundations of mathematics. The Harvester press, 1976−300p.