Введение
Алан Росс Андерсон (1925–1973) – американский логик и профессор философии Йельского университета и Университета Питтсбурга. Часто сотрудничая с Нюэлем Бельнапом, Андерсон внес значительный вклад в развитие релевантной логики и деонтической логики. Андерсон скончался от рака в 1973 году.
Alan Ross Anderson (1925–1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh. A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance logic and deontic logic. Anderson died of cancer in 1973.
Логика релевантности
Андерсон полагал, что заключение корректного вывода должно иметь отношение к (то есть быть релевантным) посылкам. Формально он выразил это "условие релевантности" принципом, согласно которому A влечет B только в том случае, если A и B имеют хотя бы одну нелогическую константу. Несмотря на кажущуюся простоту этой идеи, её реализация в формальной системе требует радикального отхода от семантики классической логики. Андерсон и Белнап (при участии Дж. Майкла Данна, Кита Файна, Аласдейра Уркхарта, Роберта К. Майера, Анила Гупты и других) детально исследовали формальные следствия условия релевантности в своих влиятельных книгах "Энтейлмент" (см. ссылки ниже), которые являются наиболее цитируемыми работами в области логики релевантности. Андерсон и Белнап быстро отметили, что концепция релевантности была центральной для логики со времен Аристотеля, но после того, как Готтлоб Фреге и Джордж Буль заложили основы того, что впоследствии стало известно, несколько иронично, как "классическая" логика, она была неоправданно заброшена. (Пример неспособности классической логики удовлетворить условию релевантности см. в статье о принципе взрыва.)
A entails B only if A and B share at least one non logical constant. As simple as this idea appears, implementing it in a formal system requires a radical departure from the semantics of classical logic. Anderson and Belnap (with contributions from J. Michael Dunn, Kit Fine, Alasdair Urquhart, Robert K. Meyer, Anil Gupta, and others) explored the formal consequences of the relevance condition in great detail in their influential Entailment books (see references below), which are the most frequently cited works in the field of relevance logic. Anderson and Belnap were quick to observe that the concept of relevance had been central to logic since Aristotle, but had been unduly neglected since Gottlob Frege and George Boole laid the foundations for what would come to be known, somewhat ironically, as "classical" logic. (For an example of classical logic's failure to satisfy the relevance condition, see the article on the principle of explosion.)
Философия логики
Андерсон был известен своими платоническими (или реалистическими, или монистическими) взглядами на логику; он верил в существование "Единственной Истинной Логики" и считал, что это логика релевантности.