Словарь по логике

Куайн

Уиллард ван Орман Куайн, Willard van Orman Quine (25.06.1908 - 25.12.2000)
 

Американский логик, математик и философ. Работы в области теории множеств и логической семантики. Развил идеи иерархической теории множеств (теории типов Рассела), построив теорию множеств New Foundations (принято обозначать NF).
Работы: A system of logistic (1934), New foundations for mathematical logic (1937), Mathematical logic (1940), Elementary logic (1941), Methods of logic (1957), Word and objekt (1959) и др.

© Автор статьи.