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