Дональд Калиш | |
---|---|
Родился | (1919-12-04) 4 декабря 1919 года. Чикаго, Иллинойс |
Умер | 8 июня, 2000 (2000-06-08) (80 лет). Лос-Анджелес, Калифорния |
Национальность | Американец |
Образование | Калифорнийский университет, Беркли (1940–1948) |
Учреждения | Калифорнийский университет в Лос-Анджелесе (1949–1990) |
Дональд Калиш (4 декабря 1919 г. - 8 июня 2000 г.) был американцем логик, просветитель и антивоенный активист .
Родился в Чикаго, штат Иллинойс, Калиш получил степени бакалавра и магистра в психологии и его докторскую степень. в философии в Калифорнийском университете в Беркли. После преподавания в Swarthmore College и в UC Berkeley, он поступил на факультет Калифорнийского университета в Лос-Анджелесе в 1949 году.
Kalish был, пожалуй, наиболее известен своим откровенным противодействием войне во Вьетнаме, а позднее - своим противодействием военному участию США в Никарагуа и Гренаде. Как председатель философского факультета Калифорнийского университета в Лос-Анджелесе, Калиш нанял марксистского политического активиста Анджела Дэвис, что в то время вызвало серьезные споры.. В 2001 году факультет философии университета инициировал присуждение Премии Дональда Калиша за интеллектуальные достижения наиболее перспективному студенту факультета.
Калиш был основателем Обеспокоенного факультета Калифорнийского университета в Лос-Анджелесе. Он был членом университетского комитета по Вьетнаму и заместителем председателя Совета действий за мир в Лос-Анджелесе. Он известен своей руководящей ролью в Совете действий за мир в протесте 1967 года против политики президента Линдона Джонсона во Вьетнаме в отеле Century Plaza в Лос-Анджелесе, в котором приняли участие 10 000 человек. Он также был организатором марша 1967 года по Пентагону в знак протеста против войны во Вьетнаме, и его деятельность была широко освещена в книге Нормана Мейлера Армии ночи (1968).
В 1967 году Калиш подписал письмо, в котором заявлял о своем намерении отказаться платить налоги в знак протеста против войны США против Вьетнама и призвал других людей также занять эту позицию.
Калиш был экспертом по логике, теории множеств и истории обоих предметов. С помощью Ричарда Монтегю он разработал новаторский и элегантный метод создания формальных логических доказательств с помощью естественной дедукции.
Калиш был первоклассным и преданным учителем, который учил с точностью, состраданием и энтузиазмом. Он был пресловутым «учителем учителя», обладая редкой способностью делать даже самые сложные и загадочные концепции легко понятными для своих учеников. Большинство его учеников любили его уроки. На его занятиях по логике и теории множеств студенты не видели ничего из его политических взглядов. Он регулярно давал своим ученикам номер своего домашнего телефона с указанием, что если они когда-либо захотят обсудить задание, звонить ему в любое время, днем или ночью.
Когда доказательство выполняется методом Калиша и Монтегю, строки имеют структуру с отступом «доказательства в доказательствах». Первая строка внешнего доказательства всегда начинается со слова «Показать», за которым следует утверждение, которое нужно доказать. Дополнительные «Показать» строки могут появиться в любом месте доказательства, тем самым начав вспомогательные доказательства. Сразу после строки «Показать» последующие строки имеют отступ на один уровень. Когда доказательство на любом уровне завершено, строки в этом отступе обводятся рамкой, что делает их впоследствии недоступными, и слово «Показать» отменяется, после чего утверждение после отмененного «Показать» становится активной строкой, доступной по адресу следующий уровень. Доказательство завершено, когда все строки, кроме первой, заключены в одно или несколько полей, а слово «Показать» в первой строке отменено. Этот метод чрезвычайно элегантен и очень помогает в понимании и обучении логике.
Система доказательств подробно изложена в книге «Логика: методы формального мышления» Ричарда Монтегю и Дональда Калиша, которая была опубликована в 1964 году. Монтегю умер в 1971 году. Калиш опубликовал второе издание. книги в 1980 году с Гэри Мар. С конца 1960-х годов эти книги использовались в качестве учебников во многих университетах, включая UCLA.