АкушерствоАнатомияАнестезиологияВакцинопрофилактикаВалеологияВетеринарияГигиенаЗаболеванияИммунологияКардиологияНеврологияНефрологияОнкологияОториноларингологияОфтальмологияПаразитологияПедиатрияПервая помощьПсихиатрияПульмонологияРеанимацияРевматологияСтоматологияТерапияТоксикологияТравматологияУрологияФармакологияФармацевтикаФизиотерапияФтизиатрияХирургияЭндокринологияЭпидемиология
|
Приложение. Логика
Вывод, который люди применяют и который на практике считают до- казательным даже в математике, основан на применении схем, являю- щихся семантически мотивированными аналогами правил вывода. Вот, например, некоторые из схем вывода, применяемых в исчислении выс- казываний.
Дано
| Выводится
| А, В
| А&В
| А или В, не-А
| В
| А-^В,А
| В
| А-^В, не~В
| не-А
| А&В
| А
| А
| А или В
| не-А
| А->В
| не-не-Л
| А
| Еще один существенный момент состоит в том, что, допуская различ- ные кванторы и отношения элементов, мы можем получить совершенно различные логики. Если мы включаем кванторы необходимости, возмож- ности и т.д., то получаем так называемые модальные логики. Если вводим квантор намерения, то получаются интенциональные логики. Например, мы знаем, что Гамлет хотел убить человека, стоящего за шторой. Челове- ком, стоящим за шторой, был Полоний. Однако из этого не следует, что возможна подстановка (см. пункт 2 из правил вывода рассмотренного выше исчисления высказываний). Гамлет не хотел убивать Полония. Гамлет счи- тал, что за шторой скрывается король и хотел убить короля.
Классическая логика приложима к сфере постоянных, неизменных ис- тин типа «Два плюс два равно четыре» или «Лебеди — это птицы». Однако далеко не все истины остаются неизменными. Например, высказывание «Институт психологии Российской Академии наук расположен по адресу Москва, Ярославская улица, дом 13» истинно на момент написания этого учебника. Однако оно не было истинным в начале 1970-х годов, а если Ин- ститут поменяет адрес, оно может оказаться ложным и в будущим. Также и высказывание «Не существует общепринятой психологической теории, описывающей решение логических задач людьми», хотя и является спра- ведливым в 2001 году, в один прекрасный день, будем надеяться, станет ложным. Для описания такого рода истин может быть применен аппарат логик, называемых временными.
Наконец, существует вариант так называемых немонотонных логик, которые могут использоваться для описания ситуаций, где действуют пра- вила с исключениями. Именно таких ситуаций подавляющее большинство
Дата добавления: 2015-09-27 | Просмотры: 422 | Нарушение авторских прав
|