Логический анализ пример. Логический анализ

Бертран Рассел (1872-1970) - всемирно известный английский ученый, философ, общественный деятель. В шестнадцать лет он прочитал "Автобиографию" своего крестного отца Дж.С. Милля, произведшую на него большое впечатление. Перу Милля принадлежал и первый теоретический труд по философии, прочитанный Расселом в восемнадцать лет. Эта работа ("Система логики") оказала заметное влияние на будущие философские позиции Рассела Канке, Виктор Андреевич. Основные философские направления и концепции науки [Текст]: учеб. пособие для вузов, рек. М-вом образования Рос. Федерации / В.А. Канке. - М.: Логос, 2010. - 327 c..

В творчестве Рассела выделяются три периода. Первый, отданный освоению математики и философии, длился - вместе с учебой - около десяти лет (1890-1900). Следующий, наиболее плодотворный период (1900-1910), был посвящен логическому исследованию основ математики. В это время Рассел написал книгу "Принципы математики" (1903), статью "Об обозначении" (1905) и в соавторстве с А.Н. Уайтхедом - фундаментальный труд "Principia Mathematica" ("Начала математики"). Последняя работа, завершенная к 1910 году, принесла авторам мировую известность. Сорокалетний Рассел вступает в третий период, основным содержанием которого стала разработка широкого круга философских тем и публикация популярных работ, которые сам Рассел ценил гораздо больше, чем изыскания для узкого круга специалистов.

Прожив почти сто лет, Рассел создал множество трудов, охватывающих теорию познания и историю философии, проблемы религии и морали, педагогику и политику. Он весьма полно осветил и критически проанализировал собственное творчество и эволюцию взглядов в "Автобиографии", статье "Мое интеллектуальное развитие" и книге "Мое философское развитие". Общефилософские рассуждения автора порою были эклектичны, он часто подпадал под разные влияния и вырабатывал несколько отличающиеся одна от другой концепции. Наиболее серьезные и устойчивые его философские интересы были связаны с математикой и символической логикой. В эти области знания он внес фундаментальный вклад, определивший развитие аналитической философии.

Неизменно устойчивым оставалось также пристальное внимание Рассела к изучению природы познания. Это не означало, что философская проблематика сужалась для него до теории познания: вопрос "что собой представляет мир, в котором мы живем", рассматривался как более важный. Но ответить на этот вопрос можно было, только поняв, могут ли человеческие существа что-либо знать, и если могут, то что и как. Следуя традиции Юма и Канта, Рассел различает два принципиально разных подхода к познанию: натуралистический, опирающийся на здравый смысл, и значительно более глубокий - философский, основанный на критическом отношении к результатам познания. Характерная черта первого - наивный реализм, уверенность, что вещи таковы, какими они воспринимаются. В ходе же философского исследования осознается, что на месте как будто бы очевидного, простого на самом деле существуют сложные структуры, возникает сомнение в достоверности "простых" ситуаций, прежде казавшихся несомненными. В результате на смену твердой уверенности приходит методическая осторожность. Зрелое научное познание (а таковым для Рассела и большинства философов науки вообще, как правило, выступали физика и математика) признает существование значительной дистанции между знанием и его объектом, учитывает сложность способов воссоздания объектов в ходе научного исследования.

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

Наиболее крупные из философских работ Рассела по теории познания "Анализ сознания" (1921) и подытоживший многолетние размышления труд "Человеческое познание, его сфера и границы" (1948). В своих общефилософских рассуждениях о познании Рассел в целом повторяет много известного из работ Д. Юма, И. Канта, Дж.С. Милля, Э. Маха и других. Что было ново, так это увлекшая его и успешно решенная задача: дать эмпиризму прошлого, как правило опиравшемуся на психологию, эффективный логический аппарат. В идеях и методах успешно развивавшейся в это время математической (или символической) логики он обнаружил мощное подкрепление традиции эмпиризма, номинализма и атомизма в теории познания.

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

Существенную роль здесь сыграло исследование Расселом и А. Уайтхедом оснований математики, которое после 10 лет напряженного труда увенчалась трехтомным сочинением "Principia Mathematica" ("Начала математики"). Авторы стремились осуществить сформулированную Г. Фреге программу логицизма (доказать, что чистая математика есть ветвь логики). Поставленная задача была успешно решена. Для многих проблем обоснования математики, которые прежде исследовались достаточно умозрительно, были найдены строгие решения с помощью логико-математических методов. Труд "Начала математики" был воспринят современниками как математический, логический и философский триумф. Математические проблемы тесно переплелись в нем с проблемами логико-философскими, решение которых выпало на долю Рассела.

Приняв программу логицизма, он проникся убеждением, что ни одно понятие, ни одна аксиома не должны приниматься на веру. Предполагалось, что логика и математика в принципе однородны, что как простейшие законы логики, так и сложные теоремы математики выводимы из небольшого набора элементарных идей, что математика - это по сути та же логика, только более зрелая, развитая. Эта мысль уже была высказана к тому времени Фреге. Особая роль в его программе логицизма возлагалась на решение сложных логических проблем, прежде всего устранения парадоксов. Но его философские взгляды (платонизм) помешали ему реализовать свои идеи логического анализа языка и развития аналитической философии. Это удалось сделать Расселу и во многом благодаря принципиально иной философской платформе, соответствовавшей самой технологии и процедурам логического анализа.

Важнейшие логические открытия Рассела - теория описаний и теория логических типов. Главный предмет теории описаний - обозначающие выражения, обеспечивающие информативность сообщений и связь языка с реальностью. Внимание Рассела привлекли характерные трудности их употребления, порождаемые нашей склонностью за каждым грамматически правильным обозначающим выражением усматривать соответствующий ему объект. Например, мы говорим: "Я встретил человека", хотя человека вообще встретить невозможно. Давно известны трудности, таящиеся в обобщающих выражениях: они мыслятся как обозначения неких абстрактных сущностей (универсалий), что ведет к "реализму" платоновского типа.

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

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

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

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

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

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

"Наше исследование, - писал Рассел, - нужно начинать с проверки слов, а затем синтаксиса". Но в то же время считается, что прояснение языка оказывается средством более четкой информации об объектах, поскольку оно проясняет смысл, предметное содержание высказываний.

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

Как отмечал Рассел, его логическая доктрина привела его в свою очередь к определенному виду философии, как бы обосновывающему процесс анализа. Свою философию Рассел прямо базирует на своей логике: "Моя логика атомистична. Отсюда атомистична и моя метафизика. Поэтому я предпочитаю называть мою философию "логический атомизм". Выдвинув тезис, что логика есть сущность философии, Рассел приходит к следующему выводу: "Я считаю, что логика фундаментальна для философии, и школы следует характеризовать скорее по их логике, чем по их метафизике". Итак, в противоположность прежнему представлению о философской нейтральности формальной логики Рассел защищает положение об ее активной и даже основополагающей роли, разработав идею логического метода построения и обоснования философии История и философия науки [Текст]: уч-е пос-е для аспирантов / [Б.Т. Алексеев [и др.]; под ред.А.С. Мамзина. - СПб. [и др.]: Питер, 2008. - 304 с. .

уточнение логич. формы (строения, структуры) рассуждений, осуществляемое средствами формальной логики. Л. а. касается как рассуждений (логич. выводов, доказательств, умозаключений и т.п.) и их составных частей (понятий, терминов, предложений), так и отд. областей знания. Наиболее развитой формой Л. а. содержательных областей знания и важных науч. понятий является построение формальных систем, интерпретируемых на этих областях или с помощью данных понятий, т.н. формализованных языков. Л. а. – один из важнейших познават. приемов совр. науки, значение к-рого особенно возросло благодаря развитию математич. логики, кибернетики, лингвистики математической и семиотики, созданию информационно-логич. машин (см. Логические машины) и т.д. (см. Формализация, Форма логическая). В бурж. философии необоснованная универсализация гносеологич. возможностей Л. а. неоднократно приводила (особенно начиная с 1-го десятилетия 20 в.) к оформлению субъективистских филос. течений, наиболее известным из к-рых является логического анализа философия. Критикуя эти течения, диалектич. материализм раскрывает подлинную познават. роль Л. а. в совр. науке. Лит.: Черч?., Введение в матем. логику, [т. ] 1, пер. с англ., М., 1960 (введение); Субботин А. Л., Смысл и ценность формализации в логике, в сб.: Филос. вопросы соврем. Формальной логики, М., 1962.

Отличное определение

Неполное определение ↓

ЛОГИЧЕСКИЙ АНАЛИЗ

применение средств математической логики для обсуждения и решения философских и методологических проблем. Выражение проблемы в формальном языке придает ей точность и определенную ясность, что иногда способно облегчить поиск ее решения. При этом часто оказывается, что формальное выражение проблемы не вполне адекватно ее содержательному пониманию. Тогда мы пытаемся улучшить это выражение и сделать его более адекватным. Одновременно происходит и более глубокое содержательное уяснение анализируемой проблемы. Напр., когда А. Тарский строит точное формальное определение понятия истины, он применяет понятие истины к предложениям. Это дает повод поставить вопрос о том, чему мы приписываем понятие истины - предложениям или суждениям. Обсуждение этого вопроса позволяет более глубоко понять природу суждения и предложения.

Основы метода Л. а. были заложены в трудах немецкого математика и логика Г. Фреге и англ. логика и философа Б. Рассела. Однако широкое распространение он получил в трудах представителей логического позитивизма, которые провозгласили, что основной задачей философии является Л. а. языка науки. Несмотря на значительные успехи в решении отдельных проблем, достигнутые Р. Карнапом, К. Гемпелем, К. Рейхенбахом и др., представители логического позитивизма в общем не смогли использовать все эвристические возможности метода Л. а., т. к. в силу своих гносеологических установок ограничивали базис этого метода средствами экстенсиональной логики. В настоящее время метод Л. а. часто используется на различных этапах философско-методологического исследования: для более четкой постановки проблем, для выявления скрытых допущений той или иной точки зрения, для уточнения и сопоставления конкурирующих концепций, для их более строгого и систематического изложения и т. п. Следует лишь помнить об ограниченности этого метода и опасностях, связанных с его применением. Точность выражений, к которым приводит метод Л. а., часто сопровождается обеднением содержания. Простота и ясность формального выражения некоторой проблемы иногда может порождать иллюзию решения там, где еще требуются дальнейшие исследования и дискуссии. Трудности формального представления и заботы о его адекватности могут увести нас от обсуждений собственно философской или методологической проблемы и заставить заниматься техническими вопросами, лишенными философского смысла. Между прочим, так и случилось со многими методологическими проблемами логического позитивизма. Если же помнить об этом и рассматривать формальное выражение философско-методологической проблемы не как конечный результат, а как вспомогательное средство более глубокого философского анализа, как некоторый промежуточный этап в ходе философского исследования, то такие формальные выражения иногда могут оказаться полезными (см.: Логика научного познания). ЛОГИЧЕСКИЙ ЗАКОН, или: Закон логики, - выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего, закон де Моргана, закон косвенного доказательства и т. п.) или логики предикатов.

Л. з. принято называть также (логической) тавтологией. В общем случае логическая тавтология - выражение, остающееся истинным, независимо от того, о каких объектах идет речь, или "всегда" истинное выражение. Напр., в выражение "Неверно, что р и не-р", представляющее непротиворечия закон, вместо переменной р должны подставляться высказывания. Все результаты таких подстановок ("Неверно, что 11 - простое число и вместе с тем не является простым" и т. п.) являются истинными высказываниями. В выражение "Если для всех х верно, что х есть Р, то не существует х, не являющийся Р", представляющее закон логики предикатов, вместо переменной х должно подставляться имя объекта из любой (непустой) предметной области, а вместо переменной Р - некоторое свойство.

Все результаты таких подстановок представляют собой истинные высказывания ("Если для всех людей верно, что они смертны, то не существует бессмертного человека", "Если каждый металл пластичен, то нет непластичных металлов" и т. п.).

Понятие Л. з. непосредственно связано с понятием логического следования: заключение логически следует из принятых посылок, если оно связано с ними логическим законом. Напр., из посылок "Если р, то q" и "Если q, то r" логически следует заключение "Если р, то r", поскольку выражение "Если (если р, то q, и если q, то r), то (если р, то r)" представляет собой транзитивности закон (скажем, из посылок "Если человек отец, то он родитель" и "Если человек родитель, то он отец или мать" по этому закону логически вытекает следствие "Если человек отец, то он отец или мать").

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

В современной логике построены логические системы, не содержащие закона непротиворечия (паранепротиворечивая логика),закона исключенного третьего, закона косвенного доказательства (интуиционистская логика) и т. д.

Отличное определение

Неполное определение ↓

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

Право

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

Логический метод применяется уже на этапе главных определений: юридическая норма - суждение, отвечающее всем требованиям суждения вообще, а применение права к ситуации или конкретному человеку - силлогизм, то есть дедуктивное умозаключение, где правовая норма - главная посылка, данный к рассмотрению случай - посылка меньшая, а решением по этому делу является вывод. С самых древних времён находятся в арсенале юриспруденции аналогии, приёмы доказательства и логические операции. Использовать логический метод исследования при изучении и объяснении права просто необходимо. Только таким способом можно избежать противоречий в законодательном выстраивании эффективной системы права, где позитивное (существующее) право согласовано со всеми требованиями естественного, а также получить возможность грамотно применять юридические нормы.

Общие логические методы: анализ

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

Начинается логический метод исследования (познания) с анализа, то есть с расписания, разбора, расчленения изучаемого объекта. Этот приём заключён в мысленном или практическом разборе состава элементов - признаков, свойств, структурных частей, после чего каждый элемент подлежит отдельному исследованию как часть целого. Анализ имеет разнообразные виды, зависящие от специфики объекта, который подвергается исследованию. Современная наука берёт на вооружение системный анализ - подход к изучаемому объекту как к организованной системе, где элементы неразрывно и органично взаимосвязаны и друг на друга влияют.

Методы логического анализа включают в себя методологический подход к плодам познавательной деятельности, то есть исследование знаний людей, все его формы и виды, причём знание выражается в естественных и искусственных средствах языка, основываясь на законах логики. Например, изучая общество как целостную систему, системный анализ расчленяет на аспекты политический, экономический, моральный, правовой и тому подобные, где каждый аспект общественного бытия и сознания исследуется отдельно. Логический метод познания путём анализа выявляет структурные элементы - виды, типы, уровни знания, оформленные определённым текстом. Далее устанавливается их соотношение, ложность или истинность высказываний, уточняется понятийный аппарат, который реализует знания, устанавливается обоснованность, непротиворечивость и доказанность этого знания.

Синтез

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

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

Абстракция

Общенаучные логические методы можно дополнить абстрагированием (абстракцией), что является процессом мысленного отвлечения от определённых общих или отдельных свойств, отношений, признаков изучаемого предмета, поскольку в данный момент частности не представляют интереса. Аристотель - родоначальник этого понятия -трактовал абстракцию как процесс отделения всего случайного и второстепенного от общего и главного. Теперь этот термин употребляют значительно шире. Это как в обыденном, так и в научном познании, являющийся и алгоритмом, и приказом к процедуре отвлечения по правилам абстрагирования, это сооружение абстрактных объектов в научном познании. Сущность данного метода не так проста, как кажется. Прежде всего необходимо, опять-таки, подробное исследование реального предмета, явления или процесса, вычленение в нём разнообразных качеств, признаков, свойств, после чего отметается всё второстепенное.

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

Идеализация

Этот вид абстрагирования помогает создавать идеальные объекты. Понятие идеализированного объекта отличается от других понятий тем, что наряду с реальными признаками предмета здесь отражаются и те, которые далеки от реальных свойств, а в чистом виде в исследуемых предметах не присутствуют вообще. Методом идеализации в современных науках создаются теоретические объекты, помогающие выстроить рассуждения и сделать выводы, относящиеся к реально существующим предметам. Термин этот употребляется в двух значениях - как процесс и как результат, что тоже очень похоже на метод анализа. Первое значение идеализации понимается как мысленно создаваемый идеализированный объект при формировании идеализированных допущений, то есть условий, при которых может быть описан и объяснён реально существующий объект.

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

Обобщение, индукция и дедукция

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

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

Аналогия, экстраполяция

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

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

Моделирование, гипотеза

Моделирование в современной науке применяется очень активно для поиска путей получения новейших научных результатов. Сущность этого метода в построении той или иной модели, исследующей социальные или природные объекты. Под моделью принято понимать многое, это могут быть: аналог, метод, тип, система, теория, картина мира, интерпретация, алгоритм и многое ещё. Если невозможно исследование непосредственно объекта, то модель выступает вместо него имитацией оригинала. Например, следственный эксперимент.

А гипотеза (предположение) как метод употребляется в значении проблематичного знания или идеи, позволяющей объединить совокупность знаний в их систему. Правовая деятельность использует гипотезу во всех её значениях: выстраивается предположение относительно фактических данных определённого предмета, явления или процесса, относительно причин возникновения проблем и прогнозирования будущего. Одни и те же данные могут стать материалом для нескольких гипотез, так называемых версий. Используется данный метод и для криминалистического расследования.

Формально-логический метод

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

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

Исторический метод

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

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

Логика как наука. Определение логики

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

Логика – наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли – определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых (правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т.п.

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

Традиционная логика сформировалась на основе логического учения Аристотеля. Затем она дополнилась методами индуктивной логики. Именно эта логика в течение долгого времени преподавалась в школах и университетах под именем формальной логики.

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

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

Логические исследования языка

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

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

Логический анализ рассуждений в естественном языке

Исчисление предикатов дает возможность проводить логический анализ несравненно большего количества рассуждений, выраженных на естественном языке, чем исчисление высказываний. С помощью нового исчисления становится возможным представить символические количественные характеристики суждений. Именно для этого вводятся кванторы общности и существования, выражающие универсальные (общие) суждения и частные суждения. Но самое главное преимущество исчисления предикатов перед исчислением высказываний состоит в том, что оно дает возможность символически представить внутреннюю логическую структуру суждения. Такая структура выражается либо с помощью субъектно-предикатного отношения предмета (субъекта) и его свойства или признака (предиката), либо n-местного отношения между различными предметами.

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

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

Для исчисления предикатов, прежде всего, устанавливается универсум рассуждения или предметная область объектов, о которых идет речь. Заранее устанавливать, из каких именно объектов состоит универсум рассуждения, не требуется. Достаточно допустить, что такой универсум существует. Далее следует выбрать предикаты (или пропозициональные функции), с помощью которых формулируются логические отношения между переменными. Каждый из выбранных предикатов становится высказыванием, когда все его переменные принимают какое-либо значение из универсума рассуждений, т.е. когда переменные становятся объектами (элементами) универсума рассуждений. Полученное высказывание будет либо истинным, либо ложным, но не тем и другим одновременно. Затем выбирается соответствующая символика для окончательного перевода естественного рассуждения на язык исчисления предикатов. При этом приходится делать определенные упрощения, так как логика ставит своей целью исследование связи мыслей в рассуждении, выводов из одних суждений к другим.

Анализ языка и развитие логической теории

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

Для логики важны общие логические закономерности мышления, реализуемые в тех или иных языковых конструкциях. Логические компоненты - важный фактор образования высказываний и организации текста.

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

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

Однако стандартный семантический подход обоснования вывода в контекстах, выходящих за рамки классических математических теорий, сталкивается с существенными трудностями. В качестве традиционных примеров рассуждений, для которых средств стандартной семантики недостаточно, можно привести контексты, содержащие пропозициональные установки («знает, что…», «полагает, что…») и логические модальности («необходимо», «возможно»).

Отсюда делается вывод о том, что необходима ревизия семантического способа обоснования логического вывода с целью расширения сферы его применения.

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

Основным инструментом во всех вариантах теоретико-модельной семантики является рекурсивное определение истинности.

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

Одна из важных проблем логического анализа естественных языков - проблема единой логической структуры предложений. Ее актуальность обусловлена прежде всего тем обстоятельством, что, с одной стороны, аппарат классической логики предикатов интерпретируется обычно на объективированных высказываниях типа «Снег бел», «Земля вращается вокруг Солнца» и т.п. С другой стороны, встречается большое количество релятивизованных к говорящему предложений, логическая структура которых до конца не ясна и, как представляется на первый взгляд, не согласуется со стандартными представлениями о логической структуре. Таковы, например, предложения: «Снег бел!», «Идет дождь?», «Увы, Земля вращается вокруг Солнца», «Я обещаю прийти» и т.п. Иначе говоря, существует проблема согласования релятивизованных и объективированных предложений в рамках некоторых единых представлений об общей логической структуре предложений естественных языков.

Логика и прагматика языка

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

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

Для выявления связи между двумя «блоками» теории значения предлагается рассматривать знание условий истинности как некоторую эмпирическую способность опознавания. Поскольку такой способ принятия решений об истинностном значении одновременно является и практической способностью, он и образует необходимое связующее звено между знанием и использованием языка.

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

Заключение и выводы

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

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

Список литературы

Петров В.В. От философии языка к философии сознания. В сб. Философия. Логика. Язык. М.: «Прогресс», 1987. С. 3-17.

Петров В.В. Язык и логическая теория. В сб. Новое в зарубежной лингвистике. Вып. XVIII «Логический анализ естественного языка». М.: «Прогресс», 1986. С.5-23.

Философский энциклопедический словарь. Статья «Язык». М.: «Советская энциклопедия», 1983. С. 816.

Рузавин Г.И. Логика и аргументация. М.: «Культура и спорт. Издательское объединение ЮНИТИ», 1997.

Cтраница 1

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

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

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

Пр-именение метода логического анализа при составлении алгоритма управления связано, вообще говоря, с довольно сложными рассуждениями. Данный метод требует от составителя определенных навыков. Однако навыки приобретаются по мере решения практических задач, а сам метод логического анализа во многих случаях является единственным, с помощью которого удается сформулировать алгоритм управления и записать его в аналитической форме.  

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

При отсутствии спектров сравнения необходимо расшифровать картину фрагментации методом логического анализа.  

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

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

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

Рассел полагал, что метод логического анализа может способствовать разрешению философских проблем (собственно, сами эти проблемы имеют логическую природу), и объявил, что логика составляет сущность философии.  

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

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