Квазиматричная логика норм

  • автор:
  • специальность ВАК РФ: 09.00.07
  • научная степень: Кандидатская
  • год, место защиты: 1998, Москва
  • количество страниц: 131 с.
  • автореферат: нет
  • стоимость: 240,00 руб.
  • нашли дешевле: сделаем скидку
  • формат: PDF + TXT (текстовый слой)
pdftxt

действует скидка от количества
2 диссертации по 223 руб.
3, 4 диссертации по 216 руб.
5, 6 диссертаций по 204 руб.
7 и более диссертаций по 192 руб.
Титульный лист Квазиматричная логика норм
Оглавление Квазиматричная логика норм
Содержание Квазиматричная логика норм
Вы всегда можете написать нам и мы предоставим оригиналы страниц диссертации для ознакомления

СОДЕРЖАНИЕ:
Содержание
Введение
Глава I. Квазифункциональный метод в модальной логике и релевантизация логических систем
1. Проблема определения модальных операторов в терминах «истина»
и «ложь»
2. Основные понятия и сущность квазифункционального метода
3. Становление проблематики логики норм
4. Некоторые проблемы и возможные приложения логики норм
5. Использование квазифункционального подхода к построению
логики норм
6. Релевантизация систем логики норм
Глава II. Построение пятизначной квазифункциональной логики норм и ее представление в нестандартных семантиках
1. Квазиматричный подход к построению пятизначной системы логики норм
2. Построение исчислений пятизначной квазифункциональной логики, заданной посредством нестандартных семантик
2.1 Семантика возможных миров для пятизначной квазифункциональной логики с релевантным следованием
2.2 Трехзначная и пятизначная логики норм на базе релевантной системы Е
2.3 Семантика истинностных провалов и пресыщенных оценок для
пятизначной квазифункциональной логики
Заключение
Библиография

ВВЕДЕНИЕ
Логический анализ деятельности человека, связанной с нормами, всегда привлекал внимание специалистов в соответствующих областях исследований — философии, теории права, этики и др. После того, как методы символической логики были успешно применены к исследованию оснований математики, естественным образом возник вопрос о возможности внедрения современных логических средств исследования в гуманитарные науки, в частности, в правовую сферу. Возникшее в 20-е гг. уходящего века и получившее дальнейшее развитие начиная с 50-х гг. и по настоящее время направление модальной логики - логика норм - ставит своей задачей проведение логикофилософского анализа нормативных действий. Такой анализ находится, образно говоря, на водоразделе двух областей знания - логики и теории права и поэтому является обоюдополезным для обеих этих областей. Специалисты-правоведы получают возможность более четко и рельефно осознать логическое содержание тех или иных правовых норм и законов, а это, в конечном счете, способствует избежанию возможных юридических ошибок, двусмысленностей, неточностей и т.п. в процессах правотворчества и правоприменения. Что же касается логики, то, как известно, внедрение логических средств исследования в какую-либо научную область не только не наносит ущерба логике как самостоятельной науке, но, напротив, способствует дальнейшему ее развитию. Так, потребность в логическом анализе все более сложных правовых контекстов требует от языка логики разработки и введения новых, все более выразительных средств описания. Кроме того, уточняется и углубляется одно из центральных понятий логики - понятие логического вывода. Работа на стыке логики и теории права, безусловно, способствует обогащению и развитию обеих этих наук.
В настоящее время в логической литературе предложено достаточно много разнообразных систем логики норм. При этом ни одна из этих систем не лишена определенных серьезных недостатков, о которых будет сказано ниже. Однако такое положение дел отражает лишь тот факт, что исследования в логике норм

находятся еще на сравнительно ранней ступени, и основные результаты в этой области еще впереди. С развитием какой сферы сознания - правовой или логической или той и другой вместе - будет связан дальнейший прогресс в логике норм - покажет время.
Первые попытки формализации модальных систем были предприняты в 10-х гг. уходящего столетия американским логиком К.Льгоисом., чуть позднее появились работы А.Тарского, Я.Лукасевича и др. Основным побудительным мотивом создания такого рода систем была проблема избежания «парадоксов материальной импликации» и введения в логические исчисления такой связки, которая соответствовала бы условию «строгого», необходимого следования одного высказывания из другого.
Первые модальные системы строились на основе интуитивного представления о характере действия модальных операторов. Такой подход имел, однако, некоторые недостатки , связанные с субъективностью «очевидности» принятия тех или иных положений. К тому же, выводы в таких системах иногда противоречили интуиции. К этому же периоду относятся попытки определения модальных операторов таблично-истинностным способом. Я.Лукасевич после неудачных попыток такого рода сделал вывод о невозможности задания операторов «необходимо» и «возможно» в терминах «ИСТИНА» и «ЛОЖЬ».
Позднее усилия логиков сконцентрировались вокруг создания различного рода абстрактных структур, «алгебр», для которых приемлемо решение ряда «технических» проблем — разрешимости, полноты и др. При всей плодотворности такого «формального» подхода, очевиден его недостаток -остается неясным, какая связь существует между упомянутыми абстрактными структурами и логическими системами, описывающими отношения между высказываниями.

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

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

Рекомендуемые диссертации данного раздела

Васюков, Владимир Леонидович
1998