ТЕОРИЯ В ЛОГИКЕ


ТЕОРИЯ В ЛОГИКЕ
    ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных связей различают несколько типов теорий.
    К первому типу относятся содержательные теории. В их составе дедукция используется лишь для связи отдельных положений. При этом исходные утверждения в рассуждениях представляют собой некоторые допущения, называемые посылками. Посылки не обязаны быть (и не всегда бывают) истинными, а потому любое предложение, которое дедуцируется с их использованием, считается условно истинным: заключение истинно при условии, чтопосылки являются истинными. Примером содержательной теории является школьная арифметика.
    Другой тип — это т. н. формализованные теории. К их числу относятся теории, содержание которых взаимосвязано и дедуктивно выводится из некоторых первоначально принятых исходных утверждений, называемых аксиомами. Т. к. аксиомы рассматриваются как истинные высказывания о некоторой предметной области, все другие положения, дедуцируемые из них, тоже считаются истинными относительно этой области. Примерами таких теорий являются: небесная механика Ньютона, специальная и общая теории относительности Эйнштейна, квантовая механика, геометрия Евклида и многие другие.
    Формализованные теории — это уже хорошо организованные теории. Однако их недостатком является то обстоятельство, что в них специально не выделяются средства дедукции, а потому многие дедуктивные шаги осуществляются на интуитивном уровне, что приводит, во-первых, к пропуску значительного числа шагов в рассуждениях, а во-вторых, к недостаточно четкой фиксации всех аксиом, необходимых для получения других положений. Именно такая ситуация имела место, напр., с геометрией, построенной Евклидом. С этой точки зрения более совершенны формальные теории, в которых оформляются (структурируются) не только само знание, но и средства его получения. К таким теориям относятся очень многое математические теории — множеств теория, формальная арифметика и другие. Среди формальных особо можно выделить те теории, содержание которых фиксируется на специально созданном символическом языке, а все допустимые преобразования (в т. ч. и рассуждения) строятся как преобразования одних последовательностей символов в другие их последовательности. Такого рода теории называются исчислениями.
    Только относительно формальных теорий можно решать мегатеоретические проблемы: устанавливать их непротиворечи
    вость, полноту, выявлять вопрос о разрешимости, обосновывать наличие различных отношений между ними и т. д. Поэтому в науке формулируется формальное понятие теории, с которым удобно теоретически и практически работать. При этом предварительно фиксируется язык, на котором формулируется теория, и определяется понятие выводимости. В качестве языка L теории Т берется обычно та или иная разновидность языка логики предикатов, содержащего словарь логических и нелогических терминов. В словарь логических терминов входят знаки логических констант, словарь нелогических терминов состоит из списка индивидных, предикатных и функциональных констант (если таковые имеются). Понятие выводимости в этом случае определяется средствами исчисления предикатов. Итак, пусть Т будет некоторым множеством предложений, сформулированных на языке L, пусть А будет предложением языка L, тогда: теория (Т) з VA(ThA<”AeT), Df т. е. множество предложений Т считается теорией при условии, что каждое предложение входит в него тогда и только тогда, когда оно выводимо из данной совокупности. Более кратко это выражается следующей словесной формулой: “теория — это множество предложений, замкнутое относительно отношения выводимости”. Данное формальное понятие, хотя и является весьма абстрактным и общим, позволяет успешно решать целый комплекс проблем, возникающих при метатеоретическом исследовании теорий.
    Если во множестве предложений Т существует рекурсивное подмножество ?, т. е. ? может быть задано некоторой порождающей процедурой (алгоритмом), таким что
    УА(Дг-А<”АеТ), то говорят, что теория Т аксиоматизируема. В качестве аксиом в этом случае выступают предложения, входящие в множество ?. Если множество ? конечно, то говорят, что теория Т конечно аксиоматизируема.
    Если список нелогических терминов не содержит конкретных имен, предметных функторов и предикаторов естественного языка, то мы имеем дело с чистой логической теорией, напр. стандартным исчислением предикатов 1-го порядка. Если же список нелогических терминов содержит какие-либо из указанных выражений естественного языка, то мы имеем дело с прикладной логической теорией. Если, кроме того, в составе теории присутствуют аксиомы, задающие смыслы этих выражений, то речь идет о нелогических теориях.
    Среди теорий различают теории двух типов — дедуктивные и эмпирические. К дедуктивным относятся логические и математические теории. Эмпирические теории — это теории разнообразных эмпирических наук: физики, химии, биологии, геологии, истории, социологии, психологии и т. д. Логические и математические теории выполняют в научном познании инструментальную роль, т. е. входят в состав других теорий в качестве средств, позволяющих осуществлять индуктивные и дедуктивные процедуры вывода. Логические теории входят в состав любой другой теории — будет ли она дедуктивной или эмпирической, а потому каждая из последних может рассматриваться как прикладная логика. Математические теории входят в состав математизированных эмпирических теорий, а потому любая математизированная эмпирическая теория может трактоваться как прикладная математика.
    С каждой непротиворечивой теорией Т соотносится объект (возможная реализация) вида: , где U — множество объектов, а Р, Л, •••, Pw •••' •FI' ^ъ —> F^,... — их свойства, отношения и функциональные зависимости, заданные на U. Для логических и математических теорий U — это множество абстрактных и идеальных объектов типа чисел или геометрических фигур; для эмпирических теорий U — это множество реальных предметов. На этот объект осуществляется интерпретация теории. Если каждое предложение из Т при интерпретации принимает значение “истина”, то возможная реализация называется моделью Т.
    Любая теория выполняет различные познавательные функции — систематизации, объяснения, предсказания и постсказания. Под систематизацией в общем случае имеют в виду установление некоторых логических зависимостей (взаимосвязей) между фактами, т. е. введение некоторой структуры в множество фактов, описываемых в теории. Мир в этом случае предстает перед нами не как некоторая беспорядочная груда фактов, а как некоторое структурированное многообразие. Различают два способа систематизации: дедуктивную и индуктивную. Пусть Т будет чистой эмпирической теорией, сформулированной в языке L, пусть далее h и е будут нетавтологичными фактуалъными предложениями теории, тогда: Т осуществляет дедуктивную систематизацию =of 3h, е такие, что: 1) неверно, что е ТЕОРИЯ В ЛОГИКЕ h, 2)Tu{e}hA.
    В случае, когда Т — конечно аксиоматизированная теория, условие 2 можно заменить условием 2'; Т & е h и. При тех же условиях понятие индуктивной систематизации определяется следующим образом: Т осуществляет индуктивную систематизацию ^Эй, е такие, что: 1) неверно, что е |ТЕОРИЯ В ЛОГИКЕ h, 2) неверно, что Т u {е} - h, 3)Tu{e}[-h, где “ТЕОРИЯ В ЛОГИКЕ” — знак отношения индуктивного следования, которое обычно трактуется либо в смысле понятия позитивной релевантности, либо высокой вероятности. Чрезвычайно важными функциями теоретического знания являются функции объяснения, предсказания и постсказания. Общая схема рассуждений во всех этих случаях одна и та же, а именно: теория объясняет некоторый факт природы (предсказывает его или постсказывает), если и только если соответствующее фактуальное предложение может быть подведено под законы науки, т. е. может быть дедуцировано из утверждений теории. Иначе говоря, Т объясняет (предсказывает, постсказывает) h SDI-T !— h, где Т — прикладная эмпирическая теория. Различие между указанными тремя функциями состоит лишь в том, что при объяснении h — это эмпирически данный нам факт, в случае предсказания h — факт, который еще только следует установить, а в постсказании h — это факт, который имел место в прошлом.
    В. А. Бочаров

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


Просмотров: 2833
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • ВЫБОР ТЕОРИИ
  • выбор теории
  • значения теории
  • КОНФЛИКТА ТЕОРИИ
  • МОДЕРНИЗАЦИИ ТЕОРИИ
  • НЕПОЛНОТА ТЕОРИИ
  • обмена теории
  • ОПРАВДАНИЕ ТЕОРИИ
  • оправдание теории
  • ОРГАНИЗМИЧЕСКИЕ ТЕОРИИ
  • ОРГАНИЗМИЧЕСКИЕ ТЕОРИИ
  • ПОДРАЖАНИЯ ТЕОРИИ
  • Пороговые Теории
  • пороговые теории
  • Теории игр
  • ТЕОРИИ КОНФЛИКТА
  • ТЕОРИИ МАССЫ
  • ТЕОРИИ МОДЕРНИЗАЦИИ
  • теории область
  • Теории Обмена
  • ТЕОРИИ ОРГАНИЗМИЧЕСКИЕ
  • ТЕОРИИ ПОДРАЖАНИЯ
  • ТЕОРИИ СТРАТИФИКАЦИИ
  • ТЕОРИИ ТЕХНОКРАТИИ
  • ТЕОРИИ ЦВЕТОВОГО ЗРЕНИЯ
  • ТЕХНОКРАТИЗМА ТЕОРИИ
  • ЦИКЛИЧНОСТИ ТЕОРИИ
  • эволюционные теории
  • ЭЛИТЫ ТЕОРИИ
  • ЭЛИТЫ ТЕОРИИ



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь