Архитектурный словарь | Бизнес словарь | Биографический словарь | Даля словарь | Джинсы | Логический словарь | Медицинский словарь
Морской словарь | Ожегова Словарь | Религиозный словарь | Сексологический словарь | Словарь имён | Словарь мер | Словарь нумизмата
Словарь по психологии | Словарь символов | Строительный словарь | Финансовый словарь | Этнографический словарь |


Логический словарь

В начало  Логика, реферат
А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

Последние запрашиваемые слова

Отношение Симметричное.
 - бинарное (двухместное) отношение R, определенное на некотором множестве и характе­ризующееся тем, что для любых элементов х и у этого множества из того, что х находится к у в отношении R(xRy), следует, что и у находится в том же отношении к х(у Rx). Примером О. с. может быть равенство (=), отношение типа равенства, подобия, одно­временности, некоторые отношения родства и др. Так, отношение братства - симметрично (если речь идет о любых лицах мужского пола), поскольку является истинным предложение: «Если х явля­ется братом у, то и у является братом х» (напр., если Иван - брат Петра, то и Петр — брат Ивана). подробнее >>

Конструктивная Логика.
 - одно из направлений современ­ной логики, изучающее рассуждения о конструктивных объек­тах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последова­тельности таких знаков, получаемые посредством некоторого кон­структивного процесса, протекающего по четким дискретным пра­вилам. Примером конструктивного объекта могут служить легко отождествляемые и различаемые буквы к.-л. алфавита; конструк­тивный процесс — построение из них слов по однозначно опреде­ленным правилам. В конструктивном процессе используется аб­стракция потенциальной осуществимости, позволяющая отвлекаться от реальных конструктивных возможностей человека, связанных с ограниченностью его деятельности в пространстве и времени. Можно, напр., рассуждать о сколь угодно длинных, но ко­нечных формулах, которые реально никогда не смогут быть запи­саны. Вместе с тем в таком процессе не используется абстрак­ция актуальной бесконечности, когда невозможность   полного обозрения к.-л. бесконечного образования не учитывает­ся. Бесконечное множество, напр. множество всех натуральных чи­сел, нельзя рассматривать как единый, завершенный объект. Суще­ствование конструктивного объекта считается доказанным лишь в том случае, если указан способ потенциально осуществимого его построения (конструирования). Ограничение рассуждений конструктивными объектами и про­цессами ведет к отказу от закона исключенного третьего в приме­нении к бесконечным множествам. Отвергаются также закон сня­тия двойного отрицания (см.: Закон двойного отрицания), закон Клавия, некоторые варианты косвенного доказательства и др. Термином «К. л.» иногда обозначается интуиционистская логи­ка. Чаще под К. л. понимается логическая теория, совпадающая по классу доказуемых формул с интуиционистской логикой, но не обращающаяся к представлению об «изначальной интуиции» и использующая при задании смысла логических операций понятие алгоритма и некоторые особые положения о конструктивных про­цессах (А. А. Марков, Н. А. Шанин и др.). подробнее >>

Деонтическая Модальность.
(от греч. deon - долг, пра­вильность),  или: Нормативная модальность, модаль- ность долженствования, - характеристика практическо­го действия с точки зрения определенной системы норм. Норма­тивный статус действия обычно выражается понятиями «обяза­тельно», «разрешено», «запрещено», «(нормативно) безразлично», используемыми в нормативном высказывании. Напр.: «Обязатель­но надо заботиться о близких», «Разрешено ездить в автобусе», «Безразлично, как человек называет свою собаку» и т. п.; здесь обязанность является характеристикой определенного круга дей­ствий с точки зрения принципов морали; разрешение относится к действию, не противоречащему системе правовых норм; норма­тивное безразличие утверждается относительно достаточно нео­пределенной системы норм, скажем, совокупности требований обычая, традиции и т. п. Вместо слов «обязательно», «разрешено», «запрещено» могут использоваться слова «должен», «может», «не должен», «необхо­димо» и т. п. При употреблении понятий «обязательно», «разрешено» и т. п. всегда имеется в виду какая-то нормативная система, налагающая обязанность, предоставляющая разрешение и т. д. Поскольку су­ществуют различные системы норм и нередко они не согласуются друг с другом, действие, обязательное в рамках одной системы, может быть безразличным или даже запрещенным в рамках дру­гой. Напр., обязательное с точки зрения морали может быть без­различным с точки зрения права; запрещенное в одной правовой системе может разрешаться другой такой системой. Д. м. понятия, являющиеся необходимыми структурными ком­понентами нормативных высказываний, изучаются этикой, тео­рией права и другими дисциплинами, занимающимися нормами. Логическое исследование норм и нормативных понятий осуще­ствляется деонтической логикой, называемой также логикой норм. В ней деонтические понятия рассматриваются как модаль­ные характеристики высказываний, говорящих либо о действиях, либо о состояниях, возникающих в результате того или иного дей­ствия. С помощью этих понятий все действия, рассматриваемые с точки зрения какой-то системы норм, разбиваются на три класса: обязательные, нормативно безразличные и запрещенные. К раз­решенным относятся действия, являющиеся обязательными или безразличными. По своим логическим свойствам Д. м. аналогичны модальнос­тям других групп: логическим («необходимо», «случайно», «не­возможно»), эпистемическим («убежден», «сомневается», «отвергает»), аксиологическим («хорошо», «(оценочно) безразлично», «плохо») и др. Напр., действие и воздержание от него не могут быть обязательными аналогично тому, как нельзя быть убежденным и в истинности, и в ложности какого-то утверждения, нельзя считать хорошим и наличие, и отсутствие чего-то и т. п. Понятия «обязательно», «разрешено» и «запрещено» считают­ся взаимно определимыми: >> обязательно то, от чего не разрешено воздерживаться; обя­зательно все, что запрещено не делать; >> разрешено то, от выполнения чего не обязательно воздер­живаться; разрешено все, что не запрещено; >> запрещено то, от чего обязательно воздерживаться; запре­щено все, что не является разрешенным. По поводу принципа «разрешено все, что не запрещено» нуж­но отметить, что он принимается не во всех системах деонтиче­ской логики. О системах, включающих данный принцип, гово­рится, что они определяют либеральный нормативный режим; системы, не предполагающие, что из отсутствия запрещения ло­гически вытекает разрешение, характеризуют деспотический нормативный режим. Безразлично действие, не являющееся ни обязательным, ни запрещенным, или, что то же, действие, которое разрешено вы­полнять и разрешено не выполнять. Эти определения означают, что любую систему норм можно сформулировать не только в виде перечня «обязанностей», но и в форме множества «запрещений» или множества «разрешений» (включающего, конечно, и «неразрешения»). Понятие обязанности (или деонтической необходимости) мож­но пояснить путем противопоставления ее другим видам необхо­димости. В зависимости от основания утверждения о необходимо­сти можно выделить три ее вида: логическую, физическую (называемую также онтологической или каузаль­ной) и деонтическую (нормативную) необходимость. Логи­чески необходимо все, что вытекает из законов логики. Физиче­ски необходимо то, что следует из законов природы. Деонтически необходимо то, что вытекает из законов или норм, действующих в обществе, т. е. то, отрицание чего противоречит таким законам или нормам. Что касается взаимных связей трех видов необходимости, то предполагается, что действие, вменяемое в обязанность, долж­но быть логически и физически возможным, поскольку невозмож­но сделать то, что противоречит законам логики или природы. Вместе с тем аналогия между логической и физической необ­ходимостью, с одной стороны, и деонтической необходимостью, с другой, не является полной. Необходимое в силу законов логи­ки или законов природы реально существует. Но из обязательное- ти чего-то не следует, что оно имеет место. Принципы морали, законы государства, правила обычая или ритуала и т. п., как изве­стно, нарушаются. В логике предложено определение обязательности - а значит, и других деонтических понятий — через понятие наказания (санкции): действие обязательно, когда воздержание от него вле­чет за собой наказание. Однако при таком определении само понятие наказания должно быть нормативным, иначе окажет­ся, что нормативное высказывание сводится к высказыванию опи­сательному. Нормы являются частным случаем оценок (см.: Оценочное выс­казывание). Это дает основание определить «обязательно» через «хорошо»: действие обязательно, когда оно представляет собой позитивную ценность, и хорошо, что воздержание от него ведет к наказанию. К примеру: «Обязательно быть честным, когда правди­вость оценивается позитивно, и хорошо, что нечестность влечет осуждение». Д.м. является, таким образом, частным случаем акси-ологической (оценочной) модальности. подробнее >>

Закон Двойного Отрицания.
 - закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: от­рицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселен­ная не является бесконечной, то она бесконечна». 3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отри­цания к.-л. высказывания следует противоречие, то имеет место двой­ное отрицание исходного высказывания, т. е. оно само. С применением символики логической (р - некоторое высказы­вание; à - условная связь, «если, то»; ~ - отрицание, «неверно, что») закон записывается так: ~ ~ p à p, если неверно, что неверно р, то верно р. Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут- верждение влечет свое двойное отрицание. Напр.: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически: pà ~ ~p, если р, то неверно, что не-р. Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: «Планеты не непод­вижны в том и только том случае, если они движутся». Символи­чески (= — эквивалентность, «если и только если»): ~ ~Р = Р, неверно, что не-р, если и только если верно р. подробнее >>

Разделительно-Категорическое Умозаключение.
 -умозаключение, в котором одна из посылок — разделительное суж­дение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или p2 (первая посылка); S есть Р1 (вторая посылка); S не есть p2 (заключение). Такую форму имеет, напр., следующее умозаключение: «Жидкие кол­лоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая коллоид­ная система не является золем». В таком умозаключении для обеспе­чения его правильности в разделительной посылке союз «или» («либо») должен употребляться в строго разделительном смысле (см.: Дизъюнкция). Простейшая форма модуса (2) имеет вид: S есть Р1 или p2, S не есть р1; следовательно, S есть Р2. Пример: Организмы бывают одноклеточными или многоклеточными. Данный организм не является одноклеточным. Данный организм является многоклеточным. В таком умозаключении для обеспечения его правильности в пер­вой посылке должны быть перечислены все члены дизъюнкции (аль­тернативы). подробнее >>


Архитектурный словарь | Бизнес словарь | Биографический словарь | Даля словарь | Джинсы | Логический словарь | Медицинский словарь
Морской словарь | Ожегова Словарь | Религиозный словарь | Сексологический словарь | Словарь имён | Словарь мер | Словарь нумизмата
Словарь по психологии | Словарь символов | Строительный словарь | Финансовый словарь | Этнографический словарь |


Словари - Логический словарь

0.0056099891662598