Материальное следование

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