Алан Росс Андерсон - Alan Ross Anderson
Алан Росс Андерсон | |
|---|---|
| Родившийся | 11 апреля 1925 г. |
| Умер | 1973 |
| Альма-матер | Йельский университет |
| Научная карьера | |
| Тезис | Финитарная система логики (1955) |
| Докторант | Фредерик Брентон Fitch |
| Докторанты | Нуэль Белнап , Аласдер Уркхарт |
Алан Росс Андерсон (1925-1973) был американский логик и профессор из философии в Йельском университете и Университете Питтсбурга .
Андерсон, часто сотрудничавший с Нуэлем Белнапом , сыграл важную роль в развитии логики релевантности и деонтической логики .
Андерсон умер от рака в 1973 году.
Логика релевантности
Андерсон считал, что вывод действительного вывода должен иметь какое-то отношение (то есть иметь отношение к) посылкам . Формально он уловил это « условие релевантности » с помощью принципа, что
- A влечет за собой B, только если A и B совместно используют хотя бы одну нелогическую константу .
Как видно просто , как эта идея, внедрение ее в формальной системе требует радикального отхода от семантики в классической логике . Андерсон и Белнап (при участии Дж. Майкла Данна , Кита Файна , Аласдера Уркхарта , Роберта К. Мейера , Анила Гупты и других) очень подробно исследовали формальные последствия условия релевантности в своих влиятельных книгах по Entailment (см. Ссылки ниже) , которые являются наиболее цитируемыми работами в области логики релевантности .
Андерсон и Белнап быстро заметили, что концепция релевантности занимала центральное место в логике со времен Аристотеля , но ею неоправданно пренебрегали с тех пор, как Готлоб Фреге и Джордж Буль заложили основы того, что впоследствии стало известно, по иронии судьбы, как «классическая» логика. . (Пример того, как классическая логика не удовлетворяет условию релевантности, см. В статье о принципе взрыва .)
Деонтическая логика
Андерсон отстаивал точку зрения, согласно которой предложения формы «Должно быть (так), что А » следует интерпретировать логически как:
- Not- A влечет за собой v ,
где V означает что - то вроде в норме было нарушено . Для этой цели он разработал системы деонтической релевантной логики, содержащие специальную константу v (обозначение меняется). Такие системы иногда характеризовались как «редукции» деонтической логики к алетической модальной логике . Однако это в лучшем случае вводит в заблуждение, поскольку алетические модальные логики обычно не содержат ничего подобного специальной константе v Андерсона .
Философия логики
Андерсон был известен как платоник ( реалист или монист ) в отношении логики; он верил в «Единую Истинную Логику» и верил, что это логика релевантности .
Библиография
- Андерсон, А. Р. 1967. Некоторые неприятные проблемы в формальной логике этики. Ноус I (4): 345-60.
- Андерсон, А. Р. и Белнап, Н. Д. 1975. Вовлечение: логика релевантности и необходимости. Vol. 1. Принстон: Издательство Принстонского университета .
- Андерсон, А. Р., Белнап, Н. Д. и Данн, Дж. М. 1992. Вовлечение: логика релевантности и необходимости. Vol. 2. Принстон: Издательство Принстонского университета. ISBN 0-691-07339-2
Рекомендации
дальнейшее чтение
- Марес, ED 1992. Деонтическая логика Андерсона. Теория 58: 3-20.