УДК Е. Н. Лисанюк РАЗВИТИЕ ПРЕДСТАВЛЕНИЙ О НОРМАХ В ДЕОНТИЧЕСКОЙ ЛОГИКЕ

Размер: px
Начинать показ со страницы:

Download "УДК Е. Н. Лисанюк РАЗВИТИЕ ПРЕДСТАВЛЕНИЙ О НОРМАХ В ДЕОНТИЧЕСКОЙ ЛОГИКЕ"

Транскрипт

1 УДК Е. Н. Лисанюк Санкт-Петербургский государственный университет Менделеевская линия, 5, Санкт-Петербург, , Россия РАЗВИТИЕ ПРЕДСТАВЛЕНИЙ О НОРМАХ В ДЕОНТИЧЕСКОЙ ЛОГИКЕ В статье дается характеристика линии Лейбница, или алетико-деонтической аналогии и линии Бентама, прагматической или мультимодальной, в понимании норм; показано, что первая традиция изначально выступала частным случаем второй. Делается вывод о том, что успехи линии Лейбница в XX в. были продиктованы преимущественно двумя факторами: простотой синтаксического оформления такого подхода, основанного на проработанности алетической модальной логики и ее философских оснований, а также на личном авторитете фон Вригта, одного из видных представителей логики XX в., предложившего в 50-х гг. первые деонтические исчисления с позиций линии Лейбница. Ключевые слова: норма, деонтическая логика, логика норм, алетические модальности, фон Вригт, Лейбниц, Бентам, семантика, прагматика. Линия (традиция) Бентама и линия (традиция) Лейбница названия, используемые в деонтической логике, для обозначения понимания норм, предложенные «отцом» деонтической логики Г. фон Вригтом [1986. С ]. Под линией Лейбница Вригт понимал концепцию создания деонтических исчислений по аналогии с алетическими модальными системами. Согласно этой концепции деонтические модальные операторы «обязательно» и «разрешено» считаются аналогичными модальным алетическим операторам «необходимо» и «возможно», и эта аналогия распространяется как на синтаксис, так и на семантику. Синтаксически данная аналогия означает, что постулаты и правила вывода алетических исчислений получают соответствующие деонтические аналоги и таким образом можно создать ряд деонтических исчислений, аналогичных алетическим [Кислов, С ]. Именно так были построены K-, B-, S4-, S5 подобные деонтические исчисления, соответственно OK, OB, OS4, OS5 и некоторые другие [Aquist, P ]. В алетических системах если некоторое положение дел необходимо А, это следует понимать в том смысле, что, вопервых, выражение А истинно и положение дел А действительно имеет место, и, вовторых, имеются основания считать, что возникновение положения дел А является закономерным. Тем самым выражение А указывает на некий закон или устойчивую связь, и поэтому раз наступление А необходимо, то невозможно, чтобы произошло обратное ему А. Таким образом, отношение между необходимым статусом некоторого положения дел и фактом наличия такого положения характеризуется формальнологическим свойством рефлексивности, и если имеет место А, то имеется также и А. Иначе дело обстоит с нормами, которые, в отличие от алетических модальностей, не выражают устойчивых закономерностей, но указывают на некоторое идеальное положение дел, которое в случае позволяющей нормы считается допустимым, или признается желательным в случае обязывающей нормы, или, наоборот, недопустимым, если норма запрещающая. С содержательной точки зрения наличие аналогии между алетическими и деонтическими модальностями состоит в том, что отношение между ситуацией возникновения нормы и ее выполнением или невыполнением считается рефлексивным. Это означает, что если некоторая норма OА введена в действие, то имеет место А, т. е. она выполняется. Если бы все ISSN Х. Вестник НГУ. Серия: Философия Том 8, выпуск 1 Е. Н. Лисанюк, 2010

2 148 История философии нормы некоторого кодекса выполнялись бы, такая ситуация сама представляла бы, повидимому, весьма желательное положение дел, однако на практике часто случается иначе, поэтому естественным образом мы считаем (воображаемую) ситуацию исполнения всех норм кодекса идеальной. Сигналами о проблематичности алетикодеонтической аналогии послужили так называемые парадоксы абсолютных деонтических систем, обнаруженные еще на первом этапе развития логики норм. Масштабные трудности в применении данной аналогии возникли на втором этапе развития логики норм при построении семантик для полученных по аналогии с алетическими деонтических формализмов. Под линией Бентама в логике норм понимают представление об особом характере нормативных высказываний, не сводимом к другим модальностям, и, следовательно, об отсутствии полной аналогии между алетическими и деонтическими модальностями. Современный этап развития логики норм характеризуется тем, что так называемые стандартные системы деонтической логики, где данная аналогия принимается, иногда с некоторыми ограничениями, используют для создания деонтических фрагментов формальных систем, в которых помимо деонтических модальностей, как правило, задействованы следующие логические средства. 1. Другие модальные операторы, например, временные, для описания действий норм и их выполнения или невыполнения во времени; или алетические, чтобы указывать на взаимосвязи между нормативными кодексами; а также эпистемические модальности для выражения изменения когнитивных состояний субъектов норм; аксиологические модальности для отражения различного статуса нормативных установлений. 2. Агентные структуры для выражения отношений между различными действиями разных субъектов (людей, групп людей и пр). 3. Прагматические структуры для того, чтобы моделировать связи и зависимости между речевыми действиями субъектов по поводу создания, возникновения (исчезновения) норм, командами, приказами и пр. 4. Ограничения, накладываемые на отношение логического следования, в результате которых получаются специальные логики с выразительными возможностями, позволяющими увязывать выводимость одних высказываний из других с контекстной информацией (немонотонные логики) или с изменением ситуации (динамические системы). Рассмотрим, как менялись понимание норм и соответствующее представление о выразительных возможностях формализмов на протяжении развития деонтической логики. * * * В развитии деонтической логики можно выделить три этапа: 1) предыстория (от античности до 1951 г.), от формулирования основных понятий и принципов до первого деонтического исчисления; 2) от деонтических исчислений к деонтическим системам ( е гг.); 3) развитие мультимодальных и немонотонных логик норм и практический поворот в деонтической логике (1990-е гг. по настоящее время). История деонтической логики как история создания формального аппарата для логического анализа прескриптивных высказываний и смешанных нормативных контекстов начинается в 1951 г., когда в небольшой статье, опубликованной в журнале «Майнд» Г. фон Вригт предложил первые деонтические исчисления. 1 этап. Предыстория логики норм уходит своими корнями в наследие Аристотеля, в трудах которого содержатся идеи исследования особых нормативных модальностей. В частности, Стагирит выделял особый практический силлогизм, суть которого состоит в том, что при принятии решения рассудок взвешивает различные последствия, руководствуясь выгодой, опытом и обстоятельствами [Аристотель, Т. 4] (1142a b20). Практический силлогизм имеет следующую форму: Действие в большей степени отвечает цели агента Х, нежели альтернативы, доступные Х. Х желает достичь своей цели. Следовательно, Х следует реализовать. К правильному заключению в практическом силлогизме, считает Аристотель, мож-

3 Лисанюк Е. Н. Развитие представлений о нормах в деонтической логике 149 но прийти, даже используя ложные посылки. Например, можно неправильно оценить последствия, но принять верное решение, однако случайным образом [Аристотель, Т. 4] (1141b20). Следовательно, заключает Стагирит, практический силлогизм это дело рассудка, а не разума, потому что рассудок рассматривает нечто конкретное и изменчивое, а разум оперирует первыми и истинными положениями наук. Заключение практического силлогизма напоминает нормативное высказывание, однако трактовать его как норму вряд ли допустимо [Jason, P. 492]. С другой стороны, алетические модальности Стагирит изучает в Органоне и не указывает на какие-либо аналогии между практическим силлогизмом и алетическими модальностями 1. Тем самым получается, что аристотелевская идея практического силлогизма не связана с алетико-деонтической аналогией. Английский средневековый логик XIV в. Роберт Холкот при помощи ряда примеров показывает, что аналогия между алетическими и деонтическими модальностями имеет место, только если не рассматриваются условные обязательства. Роджер Росет, его младший современник, пришел к выводу о том, что существование условных обязательств с неизбежностью приводит к отказу от простого, без ограничения, перенесения принципов алетической модальной логики в область деонтических модальностей [Кнууттила, С ; Knuuttila, P. 205]. Выводы Р. Холкота и Р. Росета в дальнейшем были забыты, и Г. Лейбниц, незнакомый, по-видимому, с ними, в работе 1672 г. «Элементы естественного права» пишет о том, что все правила и принципы, используемые в модальной логике, могут быть перенесены на модальности права. Он ввел базовые деонтические операторы «обязательно», «запрещено», «позволено» и «безразлично» и предложил некоторые правила их взаимоопределимости по аналогии с основными алетическими модальностями. Таким образом, оказалось возможным дать деонтическим операторам формальное выражение. Идеи создания особой логики воли, или логики повеления содержатся в сочинениях И. Бентама, который первым высказал идею разграничения прескриптивного и дескриптивного понимания высказываний. Пре- 1 В. Е. Орлов придерживается иной точки зрения [Орлов, С ]. скриптивный смысл высказывания, по мысли И. Бентама, выражал утилитарное требование, как, например, это сформулировано во второй посылке практического силлогизма [Бентам, С. 35]. С современных позиций можно сказать, что И. Бентам был сторонником деонтико-прагматических концепций. Попытки создания особой логики императивов можно найти в работах австрийских логиков А. Хеффлера, Э. Малли, немецкого логика К. Менгера. Менгер, критикуя Малли, сформулировал идею создания логических систем с деонтическими константами, впоследствии реализованную А. Андерсоном. В отличие от подхода Лейбница, предложившего разрабатывать новую область модальной логики как ответвление алетической, И. Бентам и позднее независимо от него Э. Малли считали, что новая «логика должного», или «логика повеления» принципиально другая логика, аксиомы и правила которой лишь отчасти повторяют принятые в алетической логике. Фон Вригт [1986] подчеркивает, что такая позиция австрийских логиков, тяготевших к позитивизму, объясняется тем, что они считали выражения, содержащие императивы, бессмысленными и атеоретическими, и вследствие этого, не имеющими истинностных значений. Уточним, что и Хеффлер, и Менгер, и Малли в той или иной степени тяготели не столько к позитивизму, но к логической феноменологии, или логической прагматике. Это означает, что в стремлении создать формализмы для прескриптивных высказываний, в частности, Хеффлер и Малли исходили из понимания таких высказываний как описаний субъективных и объективных состояний или намерений 2 [Черноскутов, С. 138]. При этом Малли указывал, что в «логике должного» должное надо понимать как некоторое интенциональное пожелание (запрет) субъекта, а не абсолютное требование [Mally, S ]. Руководствуясь таким подходом, Э. Малли сформулировал правила дистрибутивности для выражений с деонтическими операторами, при этом собственно выражения с деонтическими операторами он понимал скорее как выражения намерений, нежели как модальности. 2 Lokhorst G.-J. Mally s Deontic Logic // Стэнфордская философская энциклопедия

if ($this->show_pages_images && $page_num < DocShare_Docs::PAGES_IMAGES_LIMIT) { if (! $this->doc['images_node_id']) { continue; } // $snip = Library::get_smart_snippet($text, DocShare_Docs::CHARS_LIMIT_PAGE_IMAGE_TITLE); $snips = Library::get_text_chunks($text, 4); ?>

4 150 История философии Работы Малли и критические замечания в их адрес со стороны К. Менгера 3 в х гг. XX в. вызвали оживленную дискуссию об отношениях выводимости для высказываний с деонтическими операторами, а также о логическом значении таких высказываний. Фон Вригт, полагая, что ни одна из проблем, обнаруженных в ходе дискуссий х гг. [Лисанюк, С ], не является фатальной для развития деонтической логики, предложил первые абсолютные системы деонтической логики минимальную, стандартную и классическую, полученные как расширения классической пропозициональной логики при помощи добавления соответствующих аксиом и правил. В этих системах он попытался выразить отношение выводимости для прескриптивно понятых высказываний по аналогии с алетическими системами и сформулировал ряд синтаксических особенностей деонтических систем. Впоследствии, однако, фон Вригт, ознакомившись с трудами Малли, признался, что в работах по деонтической логике его «как и Э. Малли, не беспокоила проблема истины, когда я в 1951 году построил свою первую систему деонтической логики. Возможно, это является неожиданным, если принять во внимание то, что я неизменно полагал и полагаю, что (подлинные) нормы 4 не имеют истинностного значения. Вначале я не соединял эту точку зрения с моей логической работой. Но скоро я понял, что проглядел проблему. Первой реакцией на это была мысль, что логика имеет более широкие пределы, чем истина». «Деонтической логике, писал я в предисловии своей книги Логические исследования (1957), часть ее философского значения придает тот факт, что нормы и оценки, хотя и исключаются из области истины, являются все же субъектами логического закона» [Вригт, С. 291]. Вслед за этим признанием фон Вригт изменил свою позицию в сторону линии Бентама, окончательно так и не порвав, однако, с линией Лейбница. В работе [Вригт, Lokhorst G.-J. Mally s Deontic Logic // Стэнфордская философская энциклопедия 4 Подлинные нормы прескриптивные высказывания, в отличие от высказываний с нормативными операторами, но понимаемых в дескриптивном смысле, или неподлинных норм. Иногда неподлинные нормы, в отличие от подлинных, называют квазидеонтическими, фактуальными или нормами-высказываниями. С. 348 и далее] он приступил к разработке логики действия, в которой содержанием нормы уже было не описание состояния, но действие. От лейбницевой аналогии фон Вригт сохранил лишь некоторые синтаксические постулаты, которые уже не играли основополагающей роли в понимании собственно нормативных высказываний. 2 этап. Другой способ построения деонтических систем был предложен американским логиком А. Андерсоном в 1956 г. [Aquist, P ; Лисанюк, С ]. Андерсон считал, что изучение нормативных понятий весьма перспективно, если рассматривать их, с одной стороны, в контексте релевантной логики, а с другой в контексте нормативных систем и кодексов, например, правовых или моральных. Наличие внелогических констант в антецеденте и консеквенте импликации выполняет основополагающую функцию в системах релевантного следования. В нормативных кодексах важную роль играют санкции и наказания, которые можно синтаксически выразить при помощи специальных констант. Опираясь на эти соображения, Андерсон ввел определения основных деонтических понятий долженствования, разрешения и запрещения при помощи константы, обозначающей угрозу или санкцию, наподобие того, как это делается в реальных нормативных кодексах. В результате Андерсон, а в 1957 г. и С. Кангер, добавляя такого рода определения к уже известным системам алетических модальностей, получили новые системы деонтических логик, которые состояли из взятых за основу модальных систем с деонтическими фрагментами. В деонтические фрагменты входили основные определения и некоторые аксиомы с константой S. Особенностью подхода Андерсона было то, что он использовал негативную константусанкцию; С. Кангер предложил позитивную санкцию Q, понимаемую как отрицание S. Пропозициональную константу Q можно также интерпретировать как «надлежащее поведение», или некий нормативный кодекс (конъюнкцию моральных установлений или юридических норм). Таким образом, были получены бимодальные деонтические системы, содержащие алетические и деонтические модальные операторы. В 1963 г. английский логик Т. Смайли доказал, что некоторые из сильнонормальных деонтических систем вригтовского типа равнообъемны деонтическим

5 Лисанюк Е. Н. Развитие представлений о нормах в деонтической логике 151 фрагментам андерсоновских смешанных алетических-деонтических систем. Работы Андерсона, Кангера, Смайли и некоторых других логиков того времени явились формальным выражением линии Бентама, несмотря на то, что в системах Андерсона Кангера были использованы алетические модальные операторы. В первой отечественной фундаментальной работе в этой области «Логика норм» (1973 г.), российский логик А. А. Ивин построил ряд абсолютных и относительных пропозициональных деонтических систем вригтовского типа, описал некоторые системы андерсоновского типа, предложил собственную мультимодальную деонтическую логику, а также рассмотрел историю зарождения и развития деонтической логики. Создавая свои мультимодальные системы, Ивин оперирует не описаниями состояний, но действиями, и деонтические операторы понимает как частный случай абсолютизированных оценок [Ивин, 1973; 1970]. Развитие деонтической логики в СССР и России дает основания утверждать [Лисанюк, 2008], что в отечественных исследованиях изначально превалировала линия Бентама, хотя труды фон Вригта, основного проводника линии Лейбница, были весьма известны, многие были переведены на русский язык и пользовались уважением. В конце 60-х начале 70-х гг. XX в. в деонтической логике произошел «семантический поворот», что стало еще одним стимулом к развитию формализмов в духе линии Бентама. Бурное развитие логической семантики в х гг., ознаменовавшееся появлением трех типов семантических построений: теоретико-игровых семантик, или семантик типа Хинтикки, семантик возможных миров, или Крипке-семантик, а также построенных позднее первых двух интенсиональных семантик типа Монтегю, позволило сформулировать базовый принцип для построения деонтических семантик принцип деонтической альтернативы, который иногда называют принципом предпочтения. Суть его состоит в том, что условные обязательства могут выполняться и не выполняться в разных возможных мирах, однако тот мир, в котором выполняется большее количество норм некоторого кодекса, и соответственно, имеется меньше его нарушений, считается лучшим. Тем самым линия Лейбница окончательно ушла в прошлое, потому что деонтические семантики стали строить вне деонтико-алетических аналогий. В результате получилось, что данная аналогия имеет место только в некоторых случаях (а именно, в нормальных и сильнонормальных системах, причем в тех из них, что сильнее OS4 и OS4+ [Лисанюк, С. 315, 320], а в слабонормальных системах она вообще не имеет места [Костюк, С. 92]). Тем самым, следуя основным тенденциям развития неклассической логики, деонтическая логика перешла от исчислений, от чисто синтаксических формализмов, к системам полноценным логикам с определением семантической функции означивания применительно к каждой из них, и этот новый рубеж ознаменовался фактически полным размежеванием с линией Лейбница. 3 этап. На третьем, современном, этапе деонтическая логика фокусируется на решении практически-прикладных задач. Попытки выразить специфику отдельных нормативных кодексов и ряд специальных нормативных понятий и отношений (ответственность агента за выполнение и невыполнение, доступ (мандат) к выполнению действия и пр.) привели к переходу от стандартных вригтовских систем, где для некоторых случаев сохранена алектикодеонтическая аналогия, и систем андерсоновского типа к относительным (диадическим) бимодальным и мультимодальным системам. При этом основные монадические и диадические логики, разработанные на первом и втором этапах, стали называть стандартными деонтическими логиками. Эти системы, как и классические системы Андерсона Кангера, теперь используются как деонтические базисы для построения разнообразных логик: алетико-деонтических, темпорально-деонтических и прагма-деонтических. Кроме этого, развиваются мультиагентные деонтические логики и деонтические логики действий, а также деонтические логики с некоторыми ограничениями монотонности и деонтические логики игр. Таким образом, на протяжении всех трех этапов развития деонтической логики, выделенных выше, начиная с Аристотеля и вплоть до настоящего времени, линия Бентама не только не утрачивала своих позиций, но и, за исключением х гг. XX в., превалировала как наиболее предпочтительный и философски проработанный подход к пониманию норм и нормативных высказываний. Кратковременное упрочение позиций линии Лейбница в середине прошлого века

6 152 История философии объясняется двумя факторами. Во-первых, сравнительной простотой формального выражения норм с синтаксической точки зрения в силу того, что ко времени создания фон Вригтом первых деонтических систем алетические логики уже были широко известны. К тому же философские аспекты алетических модальностей к этому времени были изучены более основательно, по сравнению с деонтическими, исследования в области которых фактически только начались в XX в. Во-вторых, немаловажное значение имеет то обстоятельство, что именно фон Вригт, один из наиболее авторитетных логиков прошлого века, предложив первые системы деонтической логики, выступил последователем линии Лейбница. Список литературы Аристотель. Никомахова этика // Аристотель. Соч.: В 4 т. М., Мысль, Т с. Бентам И. Избр. соч. СПб., Т c. Вригт Г. Х. фон. Нормы, истина и логика // Вригт Г. Х. фон. Логико-философские исследования. М., c. Зиновьев А. А. О логике нормативных предложений // Вопр. философии С Ивин А. А. Логика норм. М.: Изд-во Моск. гос. ун-та, с. Ивин А. А. Основания логики оценок. М.: Изд-во Моск. гос. ун-та, c. Кислов А. Г. Традиция Бентама и логика действий // Философский век: Альманах / Под ред. Т. В. Артемьевой, М. И. Микешина, СПб., Вып с. Кнууттила С. Деонтическая логика в четырнадцатом столетии // Модальные и интенсиональные логики и их применение к проблемам методологии науки / Под ред. В. А. Смирнова. М.: Наука, С Костюк В. Н. Элементы модальной логики. Киев, С Лисанюк Е. Н. Деонтическая логика // Основы логики и аргументации: Учеб. / Под ред. И. Б. Микиртумова, А. И. Мигунова, Б. И. Федорова. М.: Проспект, с. Лисанюк Е. Н. Логика норм в России ( ) // Материалы IX Общероссийской конференции «Современная логика: проблемы теории, истории и применения в науке» июня 2008 г. СПб., С Орлов Е. В. Аналитика Аристотеля // ΣΧΟΛΗ Философское антиковедение и классическая традиция. Новосибирск, Т. 2, вып с. Черноскутов Ю. Ю. Логическая теория предмета и неологицизм // Наука. Философия. Общество: Материалы V Рос. филос. конгр. / Под ред. В. С. Степина и др. Новосибирск: Параллель, Т. 1. С Aqvist L. Deontic Logic // The Handbook of Philosophical Logic / Eds. D. Gabbay, F. Guenthner. Dordrecht, Vol. 8. Р Hintikka J. Some Main Problems of Deontic Logic // Deontic Logic: Introductory and Systematic Readings / Ed. by R. Hilpinen. D. Reidel publ. Co, Р Jason G. The Nature of the Argumentum ad Baculum // Philosophia. Dec Vol. 17. No. 4. P Knuuttila S. Modalities in Medieval Philosophy. L., p. Mally E. Grundgesetze des Sollens. Elemente der Logik des Willens. Graz, S. Материал поступил в редколлегию E. N. Lisanyuk THE DEVELOPMENT OF NORM UNDERSTANDING IN DEONTIC LOGIC On the basis of the historical survey provided in the paper, I argue that the so called Leibniz and Bentham traditions exemplify two main approaches to understanding of norms from the viewpoint of logic. I show that the Leibniz tradition which insists that deontic modalities should be formalized with the help of the analogy between alethic and deontic modalities, is in fact a particular case of the Bentham tradition. The success that the Leibniz tradition had been enjoying in the ies rests upon two main reasons. First, the alethic deontic analogy provides a convenient syntactical tool for creating deontic calculi. Second, it was von Wright, one of the most eminent logicians of the XX c. who has suggested the first deontic formalisms which have been compiled in the mainstream of Leibniz tradition. Keywords: norm, deontic logic, logic of norms, alethic modalities, von Wright, Leibniz, Bentham, semantics of norms, pragmatics.

РБАТОВ ЛОГИКА УЧЕБНОЕ ПОСОБИЕ

РБАТОВ ЛОГИКА УЧЕБНОЕ ПОСОБИЕ РБАТОВ ЛОГИКА УЧЕБНОЕ ПОСОБИЕ Курбатов В. И. ЛОГИКА Систематичеекии курс РОСТОВ-НА-ДОНУ $>ЕНИКС 2001 ББК 28 6 К 93 Рецензенты: доктор филос. н., проф. Ивлев Ю. В., доктор филос. н., проф. Бочаров В. А.

Подробнее

ПРЕДМЕТ ЛОГИКИ И ЛОГИЧЕСКАЯ ТЕОРИЯ ПРЕДМЕТА*

ПРЕДМЕТ ЛОГИКИ И ЛОГИЧЕСКАЯ ТЕОРИЯ ПРЕДМЕТА* УДК 160.1 Вестник СПбГУ. Сер. 6. 2012. Вып. 1 Е. Н. Лисанюк ПРЕДМЕТ ЛОГИКИ И ЛОГИЧЕСКАЯ ТЕОРИЯ ПРЕДМЕТА* Предмет логики как науки, или предмет логического знания, и логическая теория предмета разные понятия

Подробнее

{ формальные языки - формальные исчисления - теоремы формального исчисления - выводимость в формальном исчислении - свойства выводимости из посылок -

{ формальные языки - формальные исчисления - теоремы формального исчисления - выводимость в формальном исчислении - свойства выводимости из посылок - { формальные языки - формальные исчисления - теоремы формального исчисления - выводимость в формальном исчислении - свойства выводимости из посылок - формальный язык исчисления высказываний - пропозициональные

Подробнее

Качества людей и социальных институтов некая единая динамическая система, стороны которой обуславливают друг друга.

Качества людей и социальных институтов некая единая динамическая система, стороны которой обуславливают друг друга. Качества людей и социальных институтов некая единая динамическая система, стороны которой обуславливают друг друга. СПИСОК ЛИТЕРАТУРЫ 1. Чаадаев П.Я. Философические письма. - РИМИС, 2011. 272 с. 2. Глинчикова

Подробнее

ЛОЯЛЬНЫЙ АГЕНТ И ОТМЕНЯЕМОСТЬ В ДЕОНТИЧЕСКОЙ ЛОГИКЕ*, 1

ЛОЯЛЬНЫЙ АГЕНТ И ОТМЕНЯЕМОСТЬ В ДЕОНТИЧЕСКОЙ ЛОГИКЕ*, 1 32 УРАЛЬСКАЯ АНАЛИТИЧЕСКАЯ КОНФЕРЕНЦИЯ (uanalyticon) УДК 164.3 + 510.643 + 34.023 Е. Н. Лисанюк ЛОЯЛЬНЫЙ АГЕНТ И ОТМЕНЯЕМОСТЬ В ДЕОНТИЧЕСКОЙ ЛОГИКЕ*, 1 На основе разграничения между детерминистскими и

Подробнее

А. В. Глинчикова ИСТОКИ ДЕОНТИЧЕСКОЙ ЛОГИКИ В ФИЛОСОФИИ ЛЕЙБНИЦА

А. В. Глинчикова ИСТОКИ ДЕОНТИЧЕСКОЙ ЛОГИКИ В ФИЛОСОФИИ ЛЕЙБНИЦА А. В. Глинчикова ИСТОКИ ДЕОНТИЧЕСКОЙ ЛОГИКИ В ФИЛОСОФИИ ЛЕЙБНИЦА Аннотация: В данной статье описывается роль в становлении деонтической логики Готфрида Вильгельма Лейбница, который перенес законы и правила

Подробнее

Логические операции трехзначной логики

Логические операции трехзначной логики ВА Бубнов Московский городской педагогический университет Электронный научный журнал «Вестник Омского государственного педагогического университета» Выпуск 6 wwwomskedu Логические операции трехзначной

Подробнее

Аннотация рабочей программы учебной дисциплины «Логика» Цели освоения учебной дисциплины Планируемые результаты освоения учебной дисциплины знать:

Аннотация рабочей программы учебной дисциплины «Логика» Цели освоения учебной дисциплины Планируемые результаты освоения учебной дисциплины знать: Аннотация рабочей программы учебной дисциплины «Логика» 1. Цели освоения учебной дисциплины Целью обучения является получение выпускником образования, позволяющего приобрести необходимые общекультурные

Подробнее

Требования к уровню освоения дисциплины

Требования к уровню освоения дисциплины АННОТАЦИЯ дисциплины Б1.В.ДВ.1 «Вопросы гносеологии в неклассической логике» Объем трудоемкости: общая трудоемкость дисциплины составляет 4 зачетных единицы (144 часа). 36 часов аудиторной и 108 часов

Подробнее

БАЗОВЫЕ ФИЛОСОФСКИЕ КАТЕГОРИИ СИСТЕМНОГО АНАЛИЗА

БАЗОВЫЕ ФИЛОСОФСКИЕ КАТЕГОРИИ СИСТЕМНОГО АНАЛИЗА 1-2006 г. 09.00.00 философские науки УДК 008:122/129 БАЗОВЫЕ ФИЛОСОФСКИЕ КАТЕГОРИИ СИСТЕМНОГО АНАЛИЗА В.П. Теплов Новосибирский филиал Российского государственного торгово-экономического университета (г.

Подробнее

ИСТИННОСТНОЕ ЗНАЧЕНИЕ ВЫСКАЗЫВАНИЙ О БУДУЩИХ ЕДИНИЧНЫХ СОБЫТИЯХ У АРИСТОТЕЛЯ

ИСТИННОСТНОЕ ЗНАЧЕНИЕ ВЫСКАЗЫВАНИЙ О БУДУЩИХ ЕДИНИЧНЫХ СОБЫТИЯХ У АРИСТОТЕЛЯ ИСТИННОСТНОЕ ЗНАЧЕНИЕ ВЫСКАЗЫВАНИЙ О БУДУЩИХ ЕДИНИЧНЫХ СОБЫТИЯХ У АРИСТОТЕЛЯ Е. И. СПЕШИЛОВА Томский государственный университет e.speshilova@yandex.ru ELIZAVETA SPESHILOVA Tomsk State University, Russia

Подробнее

ПРЕДСТАВЛЕНИЕ ЗНАНИЙ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ

ПРЕДСТАВЛЕНИЕ ЗНАНИЙ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ ТЕМА ПРЕДСТАВЛЕНИЕ ЗНАНИЙ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ ОСНОВНЫЕ РАЗДЕЛЫ ТЕМЫ 1. Формализация знаний в интеллектуальных системах. 2. Количественная спецификация ЕЯ систем. 3. Логико-статистические методы

Подробнее

Глинчикова Анна Владимировна. «Деонтика» Эрнста Малли и становление логики норм. в середине ХХ века «Логика» Диссертация

Глинчикова Анна Владимировна. «Деонтика» Эрнста Малли и становление логики норм. в середине ХХ века «Логика» Диссертация Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики На правах рукописи Глинчикова Анна Владимировна «Деонтика» Эрнста Малли и становление логики

Подробнее

П.П. Баранов, В.И. Курбатов. мш ЛОГИКА. для юристов (АШ 'Р«Н>4. Цр\ #%* (~ р*+*-с?" % *. #-+

П.П. Баранов, В.И. Курбатов. мш ЛОГИКА. для юристов (АШ 'Р«Н>4. Цр\ #%* (~ р*+*-с? % *. #-+ П.П. Баранов, В.И. Курбатов мш ЛОГИКА для юристов (АШ 'Р«Н>4 Цр\ #%* Г: (~ р*+*-с?" % *. #-+ МИНИСТЕРСТВО ВНУТРЕННИХ ДЕЛ РОССИЙСКОЙ ФЕДЕРАЦИИ РОСТОВСКИЙ ЮРИДИЧЕСКИЙ ИНСТИТУТ П.П. Баранов, В.И. Курбатов

Подробнее

ФОРМАЛЬНО-ЛОГИЧЕСКИЙ АНАЛИЗ «ПАРАДОКСА ЛЖЕЦА» А.Н.Ахвледиани. Израиль, г. Кармиэль. Апрель 30, Аннотация

ФОРМАЛЬНО-ЛОГИЧЕСКИЙ АНАЛИЗ «ПАРАДОКСА ЛЖЕЦА» А.Н.Ахвледиани. Израиль, г. Кармиэль. Апрель 30, Аннотация ФОРМАЛЬНО-ЛОГИЧЕСКИЙ АНАЛИЗ Область знания философия (логика) «ПАРАДОКСА ЛЖЕЦА» А.Н.Ахвледиани Израиль, г. Кармиэль Апрель 3, 2 Аннотация В настоящей работе рассматриваются некоторые формально-логические

Подробнее

ЛОГИКА. Разработчик: Демина Л.А., д-р филос. наук, проф. Рецензент: Мареев С.Н., д-р филос. наук, проф.

ЛОГИКА. Разработчик: Демина Л.А., д-р филос. наук, проф. Рецензент: Мареев С.Н., д-р филос. наук, проф. ЛОГИКА Разработчик: Демина Л.А., д-р филос. наук, проф. Рецензент: Мареев С.Н., д-р филос. наук, проф. I. Организационно-методический раздел 1. Цель дисциплины Целью изучения дисциплины «Логика» является

Подробнее

ФОРМАЛЬНО-ЛОГИЧЕСКИЙ АНАЛИЗ «ПАРАДОКСА БРАДОБРЕЯ» А.Н.Ахвледиани. Израиль, г. Кармиэль. Май 1, Аннотация

ФОРМАЛЬНО-ЛОГИЧЕСКИЙ АНАЛИЗ «ПАРАДОКСА БРАДОБРЕЯ» А.Н.Ахвледиани. Израиль, г. Кармиэль. Май 1, Аннотация ФОРМАЛЬНО-ЛОГИЧЕСКИЙ АНАЛИЗ Область знания философия (логика) «ПАРАДОКСА БРАДОБРЕЯ» А.Н.Ахвледиани Израиль, г. Кармиэль Май, 2 Аннотация В настоящей работе предлагается формально-логический анализ известного

Подробнее

Ивлев Ю.В. Эмпирическое и теоретическое знание в логике

Ивлев Ю.В. Эмпирическое и теоретическое знание в логике Ивлев Ю.В. Эмпирическое и теоретическое знание в логике В науках, в том числе в логике, выделяют два уровня познания эмпирический и теоретический. На первом уровне производится сбор фактов (накопление

Подробнее

ПОНИМАНИЕ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ СТОИКАМИ И ПЕРИПАТЕТИКАМИ: СРАВНИТЕЛЬНЫЙ АНАЛИЗ *

ПОНИМАНИЕ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ СТОИКАМИ И ПЕРИПАТЕТИКАМИ: СРАВНИТЕЛЬНЫЙ АНАЛИЗ * Т Р У Д Ы М О Л О Д Ы Х У Ч Е Н Ы Х М. В. Алексеев ПОНИМАНИЕ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ СТОИКАМИ И ПЕРИПАТЕТИКАМИ: СРАВНИТЕЛЬНЫЙ АНАЛИЗ * Аннотация: В статье представлена дискуссия о природе логического следования,

Подробнее

Е.Г. Драгалина-Черная. Неформальные заметки о логической форме

Е.Г. Драгалина-Черная. Неформальные заметки о логической форме Е.Г. Драгалина-Черная Неформальные заметки о логической форме Санкт-Петербург 2015 УДК 16 ББК 87.4 Д 72 Монография подготовлена в результате проведения исследования ( проекта 14-01-0020) в рамках Программы

Подробнее

А. Д. Гетманова ЛОГИКА УЧЕБНИК

А. Д. Гетманова ЛОГИКА УЧЕБНИК А. Д. Гетманова ЛОГИКА УЧЕБНИК УДК 16(075.8) ББК 87.4я73 Г44 Гетманова А.Д. Г44 Логика : учебник / А.Д. Гетманова. М. : КНОРУС, 2012. 240 с. (Для бакалавров). ISBN 978-5-406-01586-5 Раскрываются основные

Подробнее

ПОНЯТИЕ КОСВЕННЫХ РЕЧЕВЫХ АКТОВ

ПОНЯТИЕ КОСВЕННЫХ РЕЧЕВЫХ АКТОВ УДК 482-52:43-52 С. В. Кузнецова (Мичуринский государственный аграрный университет) ПОНЯТИЕ КОСВЕННЫХ РЕЧЕВЫХ АКТОВ В данной статье рассматриваются основные идеи теории речевых актов, определения косвенности

Подробнее

РАСШИРЕНИЕ ОБЛАСТИ ОПРЕДЕЛЕНИЯ ОПЕРАТОРА ИСТИННОСТИ НА ОГРАНИЧЕННУЮ ОБЛАСТЬ СИМВОЛЬНЫХ ВЫРАЖЕНИЙ *

РАСШИРЕНИЕ ОБЛАСТИ ОПРЕДЕЛЕНИЯ ОПЕРАТОРА ИСТИННОСТИ НА ОГРАНИЧЕННУЮ ОБЛАСТЬ СИМВОЛЬНЫХ ВЫРАЖЕНИЙ * С.А.Павлов РАСШИРЕНИЕ ОБЛАСТИ ОПРЕДЕЛЕНИЯ ОПЕРАТОРА ИСТИННОСТИ НА ОГРАНИЧЕННУЮ ОБЛАСТЬ СИМВОЛЬНЫХ ВЫРАЖЕНИЙ * Abstract. Generalization of logic on the domain of symbolic expressions is realized. Quantifiers

Подробнее

Традиционная силлогистика с отрицательными терминами

Традиционная силлогистика с отрицательными терминами Традиционная силлогистика с отрицательными терминами А. А. Ильин abstract. We set out the following axiom schemes for traditional syllogistic with negative terms: (MaP & SaM) SaP, SiP P is, SaS, SaP SiP,

Подробнее

МЕТОДИЧЕСКИЕ УКАЗАНИЯ ДЛЯ СТУДЕНТОВ ПО ДИСЦИПЛИНЕ ЛОГИКА

МЕТОДИЧЕСКИЕ УКАЗАНИЯ ДЛЯ СТУДЕНТОВ ПО ДИСЦИПЛИНЕ ЛОГИКА МИНИСТЕРСТВО ЗДРАВООХРАНЕНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ государственное бюджетное образовательное учреждение высшего профессионального образования «СЕВЕРНЫЙ ГОСУДАРСТВЕННЫЙ МЕДИЦИНСКИЙ УНИВЕРСИТЕТ» Министерства

Подробнее

РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ. Б1.Б.9 Практическая логика и теория алгоритмов. Направление подготовки Информационная безопасность

РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ. Б1.Б.9 Практическая логика и теория алгоритмов. Направление подготовки Информационная безопасность МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Московский государственный лингвистический

Подробнее

СУДЕЙСКОЕ УСМОТРЕНИЕ КАК ИСТОЧНИК ПРАВА В ИДЕАЛЬНОМ СМЫСЛЕ В ПРАВОВОЙ СИСТЕМЕ США

СУДЕЙСКОЕ УСМОТРЕНИЕ КАК ИСТОЧНИК ПРАВА В ИДЕАЛЬНОМ СМЫСЛЕ В ПРАВОВОЙ СИСТЕМЕ США СУДЕЙСКОЕ УСМОТРЕНИЕ КАК ИСТОЧНИК ПРАВА В ИДЕАЛЬНОМ СМЫСЛЕ В ПРАВОВОЙ СИСТЕМЕ США 195 А.В. Орлов Под источником права в идеальном смысле традиционно понимаются различные правовые учения и доктрины, правосознание,

Подробнее

ЛЕКЦИЯ 5 ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

ЛЕКЦИЯ 5 ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ЛЕКЦИЯ 5 ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ 1 Аксиомы и правила вывода Если рассматривать другую семантику, то в ней будет другим понятие «тавтология» Основная идея исчисления высказываний состоит в том, что оговаривается

Подробнее

Введение в математическую логику. Лекция 14

Введение в математическую логику. Лекция 14 Введение в математическую логику Лекция 14 1 Язык: Модальные логики В индуктивное определение формулы логики высказываний добавляется еще одна возможность: если A формула, то A тоже формула (читается «необходимо

Подробнее

КОГНИТИВНЫЕ ХАРАКТЕРИСТИКИ АГЕНТОВ АРГУМЕНТАЦИИ

КОГНИТИВНЫЕ ХАРАКТЕРИСТИКИ АГЕНТОВ АРГУМЕНТАЦИИ УДК 16 (075.8) Вестник СПбГУ. Сер. 6. 2013. Вып. 1 Е. Н. Лисанюк КОГНИТИВНЫЕ ХАРАКТЕРИСТИКИ АГЕНТОВ АРГУМЕНТАЦИИ Ключевым аспектом аргументации является убеждение, понимаемое современными исследователями

Подробнее

Понятие «реализм» в современной философии математики имеет несколько значений. Оно используется часто в методологическом смысле для

Понятие «реализм» в современной философии математики имеет несколько значений. Оно используется часто в методологическом смысле для Реализм (платонизм) Понятие «реализм» в современной философии математики имеет несколько значений. Оно используется часто в методологическом смысле для 143 обозначения всей математики, которая оперирует

Подробнее

Системы натурального вывода для некоторых логик с истинностными провалами и логик с пресыщенными оценками 1

Системы натурального вывода для некоторых логик с истинностными провалами и логик с пресыщенными оценками 1 Системы натурального вывода для некоторых логик с истинностными провалами и логик с пресыщенными оценками 1 В. О. Шангин abstract. In the paper we present Fitch-style natural deduction systems of some

Подробнее

1993. Т. 1. Вып Эрроу К.Дж. Коллективный выбор и индивидуальные ценности. М.: Изд-во ГУ ВШЭ, 2004.

1993. Т. 1. Вып Эрроу К.Дж. Коллективный выбор и индивидуальные ценности. М.: Изд-во ГУ ВШЭ, 2004. 7.4. Теория общественного выбора Предметом общественного выбора является: принятие решений внутри коллективных хозяйствующих субъектов фирм и домохозяйств; выработка механизма установления равновесных

Подробнее

О ВРЕМЕННОЙ КВАЛИФИКАЦИИ НОРМАТИВНЫХ ВЫСКАЗЫВАНИЙ

О ВРЕМЕННОЙ КВАЛИФИКАЦИИ НОРМАТИВНЫХ ВЫСКАЗЫВАНИЙ Э.Ф.Караваев О ВРЕМЕННОЙ КВАЛИФИКАЦИИ НОРМАТИВНЫХ ВЫСКАЗЫВАНИЙ Abstracts. The purpose of this paper is to show the possibility and the usefulness of temporal qualification of normative propositions. Such

Подробнее

Каждое второе слово. Вместо введения

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

Подробнее

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование»

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ Московский государственный технический университет имени Н.Э. Баумана Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» À.Í. Êàíàòíèêîâ

Подробнее

Информативные тождества и проблема взаимозаменимости имен собственных*

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

Подробнее

ЛОГИКА. ТЕОРИЯ АРГУМЕНТАЦИИ

ЛОГИКА. ТЕОРИЯ АРГУМЕНТАЦИИ Министерство образования и науки Российской Федерации Федеральное Государственное Бюджетное образовательное учреждение высшего профессионального образования «Российский экономический университет имени

Подробнее

ИНТЕРВАЛЬНАЯ ДИНАМИЧЕСКАЯ ЛОГИКА. А.Е. Вергер, В.С. Выхованец Институт проблем управления РАН, Москва, Россия

ИНТЕРВАЛЬНАЯ ДИНАМИЧЕСКАЯ ЛОГИКА. А.Е. Вергер, В.С. Выхованец Институт проблем управления РАН, Москва, Россия ИНТЕРВАЛЬНАЯ ДИНАМИЧЕСКАЯ ЛОГИКА А.Е. Вергер, В.С. Выхованец Институт проблем управления РАН, Москва, Россия Рассмотрена новая динамическая логика, названная интервальной и предназначенная для представления

Подробнее

М. ХАЙДЕГГЕР ФЕНОМЕНОЛОГИЧЕСКИЕ ИНТЕРПРЕТАЦИИ АРИСТОТЕЛЯ (ЭКСПОЗИЦИЯ ГЕРМЕНЕВТИЧЕСКОЙ СИТУАЦИИ) *

М. ХАЙДЕГГЕР ФЕНОМЕНОЛОГИЧЕСКИЕ ИНТЕРПРЕТАЦИИ АРИСТОТЕЛЯ (ЭКСПОЗИЦИЯ ГЕРМЕНЕВТИЧЕСКОЙ СИТУАЦИИ) * М. ХАЙДЕГГЕР ФЕНОМЕНОЛОГИЧЕСКИЕ ИНТЕРПРЕТАЦИИ АРИСТОТЕЛЯ (ЭКСПОЗИЦИЯ ГЕРМЕНЕВТИЧЕСКОЙ СИТУАЦИИ) * СПБ.: ИЦ ГУМАНИТАРНАЯ АКАДЕМИЯ, 2012 В есной этого года в свет вышел перевод ранней и малоизвестной в отечественной

Подробнее

которого так же, как и потребление товаров, приносит индивидууму полезность. 1

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

Подробнее

Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекции 3

Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекции 3 Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекции 3 Л.Д. Беклемишев 1.9 Нормальные формы 1.9.1 Дизъюнктивные и конъюнктивные нормальные формы Определение 1.55. Литералами

Подробнее

ЛОГИКА И АРГУМЕНТАЦИЯ

ЛОГИКА И АРГУМЕНТАЦИЯ ЛОГИКА И АРГУМЕНТАЦИЯ АРГУМЕНТОЛОГИЯ В КОНТЕКСТЕ ПРАКТИЧЕСКОГО ПОВОРОТА ЛОГИКИ* А. И. МИР/НОВ К сожалению, в настоящее зремя еще не сложилась общепринятая терминология в той традиции логических исследований,

Подробнее

ТЕОРЕМЫ О ЛОГИЧЕСКОЙ ТРАНСЦЕНДЕНЦИИ

ТЕОРЕМЫ О ЛОГИЧЕСКОЙ ТРАНСЦЕНДЕНЦИИ ТЕОРЕМЫ О ЛОГИЧЕСКОЙ ТРАНСЦЕНДЕНЦИИ В КЛАССИЧЕСКОЙ ФОРМАЛЬНОЙ ЛОГИКЕ НУЛЕВОГО ПОРЯДКА Ахвледиани Александр Нодарович Энциклопедический Фонд Russika Научно-техническое общество «INCOL» Gorgasali st. 111A,3/54,

Подробнее

ТЕОРИЯ КОРРЕСПОНДЕНТНОЙ ИСТИНЫ В ОСНОВЕ СУДЕБНЫХ ЛИНГВИСТИЧЕСКИХ ИССЛЕДОВАНИЙ

ТЕОРИЯ КОРРЕСПОНДЕНТНОЙ ИСТИНЫ В ОСНОВЕ СУДЕБНЫХ ЛИНГВИСТИЧЕСКИХ ИССЛЕДОВАНИЙ такой «неясности» философ оказал влияние на многие направления - сенсуализм, мистицизм, позитивизм. Литература: 1. Витгенштейн, Л. Логико-философский трактат [Текст] / Л. Витгенштейн. М.: Канон, 2008.

Подробнее

А.Д. ГЕТМАНОВА. логика для юристов. Со сборником задач

А.Д. ГЕТМАНОВА. логика для юристов. Со сборником задач А.Д. ГЕТМАНОВА логика для юристов Со сборником задач Допущено учебно-методическим объединением по специальностям педагогического образования в качестве учебного пособия для студентов высших учебных заведений,

Подробнее

Утверждаю: Руководитель ОП Орлова И.Б./ «1» октября 2014 г. Оценочные средства

Утверждаю: Руководитель ОП Орлова И.Б./ «1» октября 2014 г. Оценочные средства ФЕДЕРАЛЬНОЕ АГЕНТСТВО НАУЧНЫХ ОРГАНИЗАЦИЙ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СОЦИАЛЬНО-ПОЛИТИЧЕСКИХ ИССЛЕДОВАНИЙ РОССИЙСКОЙ АКАДЕМИИ НАУК (ИСПИ РАН) Утверждаю: Руководитель

Подробнее

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ. Факультет Права

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ. Факультет Права МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ НОУ ВПО Институт «Московская высшая школа социальных и экономических наук» Факультет Права УТВЕРЖДАЮ Декан факультета Права Дождев Д.В. «09» июня 2011г.

Подробнее

Тема 2.5 Проблема истинности и рациональности в социальногуманитарных науках. Вера, сомнение, знание в социальногуманитарных

Тема 2.5 Проблема истинности и рациональности в социальногуманитарных науках. Вера, сомнение, знание в социальногуманитарных Тема 2.5 Проблема истинности и рациональности в социальногуманитарных науках. Вера, сомнение, знание в социальногуманитарных науках. Несмотря на то, что социально-гуманитарное познание это ценностно-смысловое

Подробнее

Основы логики и логические основы компьютера. Логика это наука о формах и способах мышления.

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

Подробнее

Основные понятия формальной логики

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

Подробнее

РАЗВИТИЕ СЕМАНТИЧЕСКИХ КОНЦЕПЦИЙ В ТРАДИЦИИ АНАЛИТИЧЕСКОЙ ФИЛОСОФИИ

РАЗВИТИЕ СЕМАНТИЧЕСКИХ КОНЦЕПЦИЙ В ТРАДИЦИИ АНАЛИТИЧЕСКОЙ ФИЛОСОФИИ РАЗВИТИЕ СЕМАНТИЧЕСКИХ КОНЦЕПЦИЙ В ТРАДИЦИИ АНАЛИТИЧЕСКОЙ ФИЛОСОФИИ В данной статье рассматривается развитие семантической проблематики в традиции аналитической философии, в частности проблемы именования

Подробнее

ОГСЭ 01 Основы философии. Составитель: к.и.н., преподаватель ГБПОУ МГОК Белевцова Виктория Олеговна

ОГСЭ 01 Основы философии. Составитель: к.и.н., преподаватель ГБПОУ МГОК Белевцова Виктория Олеговна ОГСЭ 01 Основы философии Составитель: к.и.н., преподаватель ГБПОУ МГОК Белевцова Виктория Олеговна ЛЕКЦИЯ 5 Основные понятия философии нового времени Тема 2.2. Основные понятия философии нового времени

Подробнее

ПРОГРАММА - МИНИМУМ кандидатского экзамена по специальности «Логика» по философским наукам

ПРОГРАММА - МИНИМУМ кандидатского экзамена по специальности «Логика» по философским наукам Утверждена Приказом Министерства образования Российской Федерации 697 от 17.02.2004 ПРОГРАММА - МИНИМУМ кандидатского экзамена по специальности 09.00.07 - «Логика» по философским наукам Введение Кандидатский

Подробнее

ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ

ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ Урок «Формальная логика» Урок «Алгебра логики» Федорова Л.Я., учитель ГБОУ СОШ 307 Цель урока: Поиск и обработка информации по темам: «Формальная логика» и «Алгебра логики»

Подробнее

НОМИНАЛИЗМ И РЕАЛИЗМ В СОВРЕМЕННОЙ ФИЛОСОФИИ МАТЕМАТИКИ

НОМИНАЛИЗМ И РЕАЛИЗМ В СОВРЕМЕННОЙ ФИЛОСОФИИ МАТЕМАТИКИ Глава 7 НОМИНАЛИЗМ И РЕАЛИЗМ В СОВРЕМЕННОЙ ФИЛОСОФИИ МАТЕМАТИКИ В философских дискуссиях относительно обоснования математики выявились два диаметрально противоположных взгляда на сущность математических

Подробнее

УСЛОВИЯ ПРИМЕНИМОСТИ КЛАССИЧЕСКОЙ ЛОГИКИ В РАМКАХ ЯЗЫКОВ НЕКЛАССИЧЕСКИХ ЛОГИК 1

УСЛОВИЯ ПРИМЕНИМОСТИ КЛАССИЧЕСКОЙ ЛОГИКИ В РАМКАХ ЯЗЫКОВ НЕКЛАССИЧЕСКИХ ЛОГИК 1 С.А.Павлов УСЛОВИЯ ПРИМЕНИМОСТИ КЛАССИЧЕСКОЙ ЛОГИКИ В РАМКАХ ЯЗЫКОВ НЕКЛАССИЧЕСКИХ ЛОГИК 1 Abstract. Classical logic can not be applied in some philosophical reasonings, especially in those which contain

Подробнее

Задания С8. Тема: Познание и знание.

Задания С8. Тема: Познание и знание. Задания С8. Примеры по составлению развернутых планов Тема: Познание и знание. С8. Подготовьте развернутый ответ по теме «Уровни познания». 1. Две стороны познания. 2. Основные формы чувственного познания:

Подробнее

КУРС «ОСНОВЫ НАУЧНЫХ ИССЛЕДОВАНИЙ» (Бабич Е.Н.) Наука и основные формы организации научных знаний Знание нужно человеку для ориентации в окружающем

КУРС «ОСНОВЫ НАУЧНЫХ ИССЛЕДОВАНИЙ» (Бабич Е.Н.) Наука и основные формы организации научных знаний Знание нужно человеку для ориентации в окружающем КУРС «ОСНОВЫ НАУЧНЫХ ИССЛЕДОВАНИЙ» (Бабич Е.Н.) Наука и основные формы организации научных знаний Знание нужно человеку для ориентации в окружающем мире, для объяснения и предвидения событий, для планирования

Подробнее

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование»

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ Московский государственный технический университет имени Н.Э. Баумана Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» À.Í. Êàíàòíèêîâ

Подробнее

коммерческими организациями (микроуровень).

коммерческими организациями (микроуровень). коммерческими организациями (микроуровень). Литература: 1. Бориснёв, С.В. Социология коммуникации: Учеб. пособие для вузов. М.: ЮНИТИ-ДАНА, 2003. 270 с. 2. Тихонов, А.В. От социологии менеджмента к социологии

Подробнее

Ахвледиани Александр Нодарович

Ахвледиани Александр Нодарович ЛОГИЧЕСКИ СИНГУЛЯРНОЕ РЕШЕНИЕ «ВТОРОЙ ПРОБЛЕМЫ ГИЛЬБЕРТА» И ЛОГИЧЕСКАЯ ФОРМУЛА «МОДИФИЦИРОВАННОГО МЕТОДА МАТЕМАТИЧЕСКОЙ ИНДУКЦИИ» В СИСТЕМЕ INCOL&TAMLA Ахвледиани Александр Нодарович Энциклопедический

Подробнее

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

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

Подробнее

ЛЕКЦИЯ 11 ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ЛЕКЦИЯ 11 ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ЛЕКЦИЯ 11 ИСЧИСЛЕНИЕ ПРЕДИКАТОВ 1. Аксиомы исчисления предикатов Можно сказать, что исчисление предикатов это то же, что исчисление высказываний, только в формулах с кванторами. Конечной целью изучения

Подробнее

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование»

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ Московский государственный технический университет имени Н.Э. Баумана Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» À.Í. Êàíàòíèêîâ ÄÈÑÊÐÅÒÍÀß ÌÀÒÅÌÀÒÈÊÀ

Подробнее

Метод резолюции в Исчислении высказываний

Метод резолюции в Исчислении высказываний Метод резолюции в Исчислении высказываний В.Я. Беляев Лекция 1. Метод Правило резолюции в логике высказываний представляет собой умозаключение со следующей структурой A B, A C B C Здесь A, B и C - произвольные

Подробнее

Мышление Представители первой считают Согласно второй группе

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

Подробнее

{ высказывания - истинностные значения - сложные высказывания - пропозициональные связки - таблицы истинности - пример сложного высказывания -

{ высказывания - истинностные значения - сложные высказывания - пропозициональные связки - таблицы истинности - пример сложного высказывания - { высказывания - истинностные значения - сложные высказывания - пропозициональные связки - таблицы истинности - пример сложного высказывания - пропозициональные формулы пропозициональные переменные и оценки

Подробнее

ПРОБЛЕМЫ ПРЕПОДАВАНИЯ ДИСЦИПЛИНЫ «ФИЛОСОФИЯ» НА АНГЛИЙСКОМ ЯЗЫКЕ ИНОСТРАННЫМ СТУДЕНТАМ

ПРОБЛЕМЫ ПРЕПОДАВАНИЯ ДИСЦИПЛИНЫ «ФИЛОСОФИЯ» НА АНГЛИЙСКОМ ЯЗЫКЕ ИНОСТРАННЫМ СТУДЕНТАМ ПРОБЛЕМЫ ПРЕПОДАВАНИЯ ДИСЦИПЛИНЫ «ФИЛОСОФИЯ» НА АНГЛИЙСКОМ ЯЗЫКЕ ИНОСТРАННЫМ СТУДЕНТАМ ОКСАНА ВАШКО Аннотация: В статье автор освещает сложности преподавания курса философии на английском языке. Выявлена

Подробнее

Б.1.В.2 Методы познания Фонд оценочных средств для проведения промежуточной аттестации обучающихся по дисциплине (модулю):

Б.1.В.2 Методы познания Фонд оценочных средств для проведения промежуточной аттестации обучающихся по дисциплине (модулю): Б.1.В.2 Методы познания Фонд оценочных средств для проведения промежуточной аттестации обучающихся по дисциплине (модулю): Общие сведения 1. Кафедра Философии, политологии и права 51.03.06 Библиотечно-информационная

Подробнее

Теория логических модальностей без «возможных миров»

Теория логических модальностей без «возможных миров» УДК 163 DOI 10.18698/2306-8477-2016-07-373 Теория логических модальностей без «возможных миров» Н.Л. Архиереев МГТУ им. Н.Э. Баумана, Москва, 105005, Россия Рассмотрены основные проблемы «традиционных»

Подробнее

Высказывания. Алгебра высказываний. Законы алгебры логики.

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

Подробнее

Белорусский государственный университет

Белорусский государственный университет Белорусский государственный университет УТВЕРЖДАЮ Проректор по учебной работе А.В.Данильченко (подпись) (дата утверждения) Регистрационный УД- /уч. Логика и коммуникация Учебная программа учреждения высшего

Подробнее

А. А. Иваненко. Философия как наукоучение: генезис научного метода в трудах И. Г. Фихте. СПб.: Владимир Даль, с.

А. А. Иваненко. Философия как наукоучение: генезис научного метода в трудах И. Г. Фихте. СПб.: Владимир Даль, с. А. А. Иваненко. Философия как наукоучение: генезис научного метода в трудах И. Г. Фихте. СПб.: Владимир Даль, 2012. 383 с. В вышедшей в 2012 г. в издательстве «Владимир Даль» монографии А. А. Иваненко

Подробнее

Powered by TCPDF (www.tcpdf.org)

Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) ПЛАН Введение... 2 Глава 1. Поиск онтологического базиса для семантики возможных миров... 10 1.1. Подход крипке как способ объектного формирования семантики возможных миров...

Подробнее

ИНСТИТУТ ЗАКОНОВЕДЕНИЯ И УПРАВЛЕНИЯ ВПА КАФЕДРА ФИЛОСОФИИ И КУЛЬТУРОЛОГИИ

ИНСТИТУТ ЗАКОНОВЕДЕНИЯ И УПРАВЛЕНИЯ ВПА КАФЕДРА ФИЛОСОФИИ И КУЛЬТУРОЛОГИИ ИНСТИТУТ ЗАКОНОВЕДЕНИЯ И УПРАВЛЕНИЯ ВПА КАФЕДРА ФИЛОСОФИИ И КУЛЬТУРОЛОГИИ МЕТОДИЧЕСКИЕ И ИНЫЕ МАТЕРИАЛЫ ПО ДИСЦИПЛИНЕ «ЛОГИКА» Направление подготовки: Управление персоналом (квалификация (степень): «бакалавр»)

Подробнее

2009 Философия. Социология. Политология 4(8)

2009 Философия. Социология. Политология 4(8) ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2009 Философия. Социология. Политология 4(8) ЯВЛЯЕТСЯ ЛИ СУЩЕСТВОВАНИЕ ПРЕДИКАТОМ? 1 Мне не совсем ясно значение данного вопроса. М-р Нил говорит, что существование

Подробнее

Теоретические основы аудита: предмет и метод

Теоретические основы аудита: предмет и метод 297 Теоретические основы аудита: предмет и метод 2009 М.А. Азарская кандидат экономических наук, доцент Марийский государственный технический университет Рассматривается место аудита в системе экономических

Подробнее

ПОЛИТИЧЕСКОЕ ВЛИЯНИЕ КАК СПОСОБ ОСУЩЕСТВЛЕНИЯ НАЗНАЧЕНИЯ ПОЛИТИКИ

ПОЛИТИЧЕСКОЕ ВЛИЯНИЕ КАК СПОСОБ ОСУЩЕСТВЛЕНИЯ НАЗНАЧЕНИЯ ПОЛИТИКИ ПОЛИТИЧЕСКОЕ ВЛИЯНИЕ КАК СПОСОБ ОСУЩЕСТВЛЕНИЯ НАЗНАЧЕНИЯ ПОЛИТИКИ УДК 332.21 А.А. Борисенков Предпосылкой данного исследования служит раскрытие политической структуры. Вследствие этого в политической сфере

Подробнее

Е.Н. Шульга ТЕОРИЯ АРГУМЕНТАЦИИ КАК «ПРАКТИЧЕСКАЯ ФИЛОСОФИЯ»

Е.Н. Шульга ТЕОРИЯ АРГУМЕНТАЦИИ КАК «ПРАКТИЧЕСКАЯ ФИЛОСОФИЯ» ТЕОРИЯ АРГУМЕНТАЦИИ КАК «ПРАКТИЧЕСКАЯ ФИЛОСОФИЯ» Показывается, что центральная проблематика аргументации базируется на определенной философской области знания, которую можно было определить как «практическая

Подробнее

КОНСТИТУЦИОННАЯ ОТВЕТСТВЕННОСТЬ САМОСТОЯТЕЛЬНЫЙ ВИД ЮРИДИЧЕСКОЙ ОТВЕТСТВЕННОСТИ

КОНСТИТУЦИОННАЯ ОТВЕТСТВЕННОСТЬ САМОСТОЯТЕЛЬНЫЙ ВИД ЮРИДИЧЕСКОЙ ОТВЕТСТВЕННОСТИ КОНСТИТУЦИОННАЯ ОТВЕТСТВЕННОСТЬ САМОСТОЯТЕЛЬНЫЙ ВИД ЮРИДИЧЕСКОЙ ОТВЕТСТВЕННОСТИ СИДОРЕНКО О.В. Соискатель ученой степени, преподаватель кафедры конституционного и международного права Академии управления

Подробнее

Критический разум. ( 290 лет со дня рождения И. Канта) «Не мыслям надобно учить, а мыслить» И. Кант

Критический разум. ( 290 лет со дня рождения И. Канта) «Не мыслям надобно учить, а мыслить» И. Кант Критический разум ( 290 лет со дня рождения И. Канта) «Не мыслям надобно учить, а мыслить» И. Кант Иммануил Кант (1724-1804) «В обширном уме кенигсбергского философа представлены в известном смысле все

Подробнее

О.Е. Столярова. Онтологическое значение истории науки

О.Е. Столярова. Онтологическое значение истории науки О.Е. Столярова Онтологическое значение истории науки Помимо философии, унаследовавшей кантианскую критическую перспективу и исследующей априорные условия научного познания, философии, которая, как Нарцисс,

Подробнее

ОСНОВЫ ЛОГИКИ Логика Logos Логика понятие; суждение; умозаключение. Понятие понятием память компьютера Понятие содержание объём Содержание понятия

ОСНОВЫ ЛОГИКИ Логика Logos Логика понятие; суждение; умозаключение. Понятие понятием память компьютера Понятие содержание объём Содержание понятия ОСНОВЫ ЛОГИКИ Современная логика базируется на учениях древнегреческих мыслителей. Основы формальной логики заложены Аристотелем. Термин «Логика» происходит от греческого слова «Logos», означающего мысль,

Подробнее

В. Н. Костюк, Э Т И К А К А Н Т А И С О В Р Е М Е Н Н А Я Л О Г И К А

В. Н. Костюк, Э Т И К А К А Н Т А И С О В Р Е М Е Н Н А Я Л О Г И К А В. Н. Костюк, Э Т И К А К А Н Т А И С О В Р Е М Е Н Н А Я Л О Г И К А Общ еизвестна связь этической теории К анта с его теорией познания. Поэтому мы рассмотрим здесь менее изученную, но важную связь между

Подробнее

УДК ББК Ю937.4 СТРУКТУРНЫЕ ОСОБЕННОСТИ ЛИЧНОСТНОЙ ЗРЕЛОСТИ ВЗРОСЛОГО ЧЕЛОВЕКА

УДК ББК Ю937.4 СТРУКТУРНЫЕ ОСОБЕННОСТИ ЛИЧНОСТНОЙ ЗРЕЛОСТИ ВЗРОСЛОГО ЧЕЛОВЕКА УДК 159.923 ББК Ю937.4 СТРУКТУРНЫЕ ОСОБЕННОСТИ ЛИЧНОСТНОЙ ЗРЕЛОСТИ ВЗРОСЛОГО ЧЕЛОВЕКА И.А. Шляпникова По результатам проведенного теоретического и эмпирического исследования выявлены структурные особенности

Подробнее

Использование теоретико игровой семантики в эпистемической логике

Использование теоретико игровой семантики в эпистемической логике 104 vita cogitans 6 логические штудии Использование теоретико игровой семантики в эпистемической логике В. Г. Денисова Эпистемическая логика позволяет придать логическую форму рассуждениям о ходе познавательного

Подробнее

МАТЕМАТИЧЕСКАЯ ЛОГИКА ДЛЯ НЕМАТЕМАТИКОВ

МАТЕМАТИЧЕСКАЯ ЛОГИКА ДЛЯ НЕМАТЕМАТИКОВ МАТЕМАТИЧЕСКАЯ ЛОГИКА ДЛЯ НЕМАТЕМАТИКОВ Международная конференция "Проблемы преподавания логики и дисциплин логического цикла" Киев, 15-16 мая 2008 Логика как учебная дисциплина Нематематическая логика

Подробнее

А. А. Шум ЛОГИКА ВЫСКАЗЫВАНИЙ И БУЛЕВЫ АЛГЕБРЫ

А. А. Шум ЛОГИКА ВЫСКАЗЫВАНИЙ И БУЛЕВЫ АЛГЕБРЫ & А. А. Шум ЛОГИКА ВЫСКАЗЫВАНИЙ И БУЛЕВЫ АЛГЕБРЫ 2 Министерство образования Российской Федерации Тверской государственный технический университет А. А. Шум ЛОГИКА ВЫСКАЗЫВАНИЙ И БУЛЕВЫ АЛГЕБРЫ Учебное

Подробнее

Новосибирский государственный университет, Новосибирск, Россия

Новосибирский государственный университет, Новосибирск, Россия i Лекции по Математической логике, часть 2 Профессор, член-корреспондент РАН С.С.Гончаров Новосибирский государственный университет, Новосибирск, Россия gonchar@math.nsc.ru L 1 Модели и алгебраические

Подробнее

НАУЧНО-ТЕОРЕТИЧЕСКАЯ КОНФЕРЕНЦИЯ «ФИЛОСОФИЯ И НАУКА»

НАУЧНО-ТЕОРЕТИЧЕСКАЯ КОНФЕРЕНЦИЯ «ФИЛОСОФИЯ И НАУКА» Т. П. ПОКРОВСКАЯ НАУЧНО-ТЕОРЕТИЧЕСКАЯ КОНФЕРЕНЦИЯ «ФИЛОСОФИЯ И НАУКА» 18 ноября 2003 года в Институте философии РАН по инициативе Московского отделения философского общества РФ состоялась конференция на

Подробнее

А.А. Горелов. философия. Конспект лекций. Учебное пособие

А.А. Горелов. философия. Конспект лекций. Учебное пособие А.А. Горелов философия Конспект лекций Учебное пособие КНОРУС МОСКВА 2013 УДК 1/14(075.8) ББК 87.3я73 Г68 Рецензенты: В.Н. Жуков, проф. кафедры философии Государственного университета управления, д-р филос.

Подробнее

ФИЛОСОФСКИЕ НАУКИ ВОПРОСЫ ЭПИСТЕМИЧЕСКОЙ ИНТЕРПРЕТАЦИИ МОДАЛЬНЫХ ЛОГИК

ФИЛОСОФСКИЕ НАУКИ ВОПРОСЫ ЭПИСТЕМИЧЕСКОЙ ИНТЕРПРЕТАЦИИ МОДАЛЬНЫХ ЛОГИК ФИЛОСОФСКИЕ НАУКИ 907 УДК 164.3 ВОПРОСЫ ЭПИСТЕМИЧЕСКОЙ ИНТЕРПРЕТАЦИИ МОДАЛЬНЫХ ЛОГИК Арапова Г.В. Аккредитованное образовательное частное учреждение высшего профессионального образования «Московский финансово-юридический

Подробнее

Бабкина Наталья Анатольевна

Бабкина Наталья Анатольевна Бабкина Наталья Анатольевна Основы алгебры-логики. Цели- задачи: Знать: Основные понятия и законы алгебры логики. Уметь: Составлять выражения по сложным высказываниям, составлять таблицы истинности, упрощать

Подробнее

МОБИЛЬНЫЕ СИСТЕМЫ ОЦЕНКИ КАЧЕСТВА С УЧЕТОМ НЕЧЕТКИХ ЗНАНИЙ

МОБИЛЬНЫЕ СИСТЕМЫ ОЦЕНКИ КАЧЕСТВА С УЧЕТОМ НЕЧЕТКИХ ЗНАНИЙ МОБИЛЬНЫЕ СИСТЕМЫ ОЦЕНКИ КАЧЕСТВА С УЧЕТОМ НЕЧЕТКИХ ЗНАНИЙ Серов В.В., Захаров А.В. Московский государственный университет технологий и управления им. К.Г. Разумовского Аннотация: Разработаны методы формализации

Подробнее

МАТЕМАТИЧЕСКАЯ ЛОГИКА

МАТЕМАТИЧЕСКАЯ ЛОГИКА МАТЕМАТИЧЕСКАЯ ЛОГИКА ТИПОВЫЕ РАСЧЁТЫ ИЗДАТЕЛЬСТВО ТГТУ МАТЕМАТИЧЕСКАЯ ЛОГИКА ТИПОВЫЕ РАСЧЁТЫ Методические указания и контрольные задания для студентов инженерно-технических специальностей вузов УДК 51

Подробнее

тие множества всех множеств (безотносительно к ступени) является теперь незаконным. Является также незаконным и понятие множества всех нормальных

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

Подробнее

Попова В. С. Спор о логике в университетской философии Санкт-Петербурга начала XX века. Калининград : Изд-во РГУ им. И. Канта, с.

Попова В. С. Спор о логике в университетской философии Санкт-Петербурга начала XX века. Калининград : Изд-во РГУ им. И. Канта, с. éåáéêõ à êöñöçáàà Попова В. С. Спор о логике в университетской философии Санкт-Петербурга начала XX века. Калининград : Изд-во РГУ им. И. Канта, 2010. 161 с. 1 Пожалуй, что началом историко-логических

Подробнее

Два формализма классической механики. С.Н.Колесников

Два формализма классической механики. С.Н.Колесников Два формализма классической механики. С.Н.Колесников В докладе рассматривается два подхода к базовым понятиям классической механики, дающие два совершенно различных результата в историческом развитии.

Подробнее

ОЦЕНКА ТЕХНИЧЕСКОЙ ВОЗМОЖНОСТИ ПРЕДОТВРАТИТЬ НАЕЗД НА ПЕШЕХОДА ПРИ ПРОВЕДЕНИИ АВТОТЕХНИЧЕСКОЙ ЭКСПЕРТИЗЫ. В. В. Яцышен

ОЦЕНКА ТЕХНИЧЕСКОЙ ВОЗМОЖНОСТИ ПРЕДОТВРАТИТЬ НАЕЗД НА ПЕШЕХОДА ПРИ ПРОВЕДЕНИИ АВТОТЕХНИЧЕСКОЙ ЭКСПЕРТИЗЫ. В. В. Яцышен ПРИКЛАДНАЯ МЕХАНИКА УДК 531.8 + 656.11 ОЦЕНКА ТЕХНИЧЕСКОЙ ВОЗМОЖНОСТИ ПРЕДОТВРАТИТЬ НАЕЗД НА ПЕШЕХОДА ПРИ ПРОВЕДЕНИИ АВТОТЕХНИЧЕСКОЙ ЭКСПЕРТИЗЫ В. В. Яцышен Используя кинематические закономерности движения

Подробнее