Дональд Калиш

Дональд Калиш
Рожденный	( 1919-12-04 )4 декабря 1919 г. Чикаго, Иллинойс , США
Умер	8 июня 2000 г. (2000-06-08)(80 лет) Лос-Анджелес, Калифорния
Образование	Калифорнийский университет в Беркли (1940–1948)
Учреждения	Калифорнийский университет в Лос-Анджелесе (1949–1990)
Основные интересы	Логика , семантика

Дональд Калиш (4 декабря 1919 — 8 июня 2000) — американский логик , педагог и антивоенный активист .

Родился в Чикаго, штат Иллинойс , Калиш получил степени бакалавра и магистра по психологии и докторскую степень по философии в Калифорнийском университете в Беркли . После преподавания в колледже Суортмор и Калифорнийском университете в Беркли , он присоединился к преподавательскому составу Калифорнийского университета в Лос-Анджелесе в 1949 году. ^{[1] [2]}

Калиш, пожалуй, был наиболее известен своим открытым противодействием войне во Вьетнаме , а позднее — противодействием военному вмешательству США в дела Никарагуа и Гренады . Будучи председателем философского факультета Калифорнийского университета в Лос-Анджелесе , Калиш нанял марксистскую политическую активистку Анджелу Дэвис , что вызвало в то время серьезные споры. В 2001 году философский факультет университета учредил премию Дональда Калиша за интеллектуальное превосходство, которая присуждается самому перспективному студенту бакалавриата на факультете.

Калиш был основателем Concerned Faculty Калифорнийского университета в Лос-Анджелесе. Он был членом университетского комитета по Вьетнаму и заместителем председателя Peace Action Council, Лос-Анджелес. Он известен своей руководящей ролью в Peace Action Council в протесте 1967 года против политики президента Линдона Джонсона во Вьетнаме в отеле Century Plaza в Лос-Анджелесе, на который вышли 10 000 человек. Он также был организатором Марша на Пентагон 1967 года в знак протеста против войны во Вьетнаме, и его деятельность была ярко отражена в книге Нормана Мейлера «Армии ночи» (1968).

В 1967 году Калиш подписал письмо, в котором заявил о своем намерении отказаться платить налоги в знак протеста против войны США против Вьетнама и призвал других людей также занять эту позицию. ^[3]

Калиш был экспертом по логике, теории множеств и истории обоих предметов. С Ричардом Монтегю он разработал инновационный и элегантный метод выполнения формальных логических доказательств с помощью естественной дедукции.

Калиш был первоклассным и преданным учителем, который преподавал с точностью, состраданием и энтузиазмом. Он был пресловутым «учителем учителей», обладая редкой способностью делать даже самые сложные и загадочные концепции легко понятными для своих учеников. Большинство его учеников любили его занятия. На его занятиях по логике и теории множеств ученики не видели ничего из его политических взглядов. Он регулярно давал своим ученикам свой домашний номер телефона с указанием, что если они когда-либо захотят обсудить задание, звонить ему в любое время дня и ночи. ^{[ необходима цитата ]}

Когда доказательство выполняется методом Калиша и Монтегю, строки имеют отступную структуру «доказательств внутри доказательств». Первая строка самого внешнего доказательства всегда начинается со слова «Показать», за которым следует утверждение, которое нужно доказать. Дополнительные строки «Показать» могут появляться в любом месте доказательства, тем самым начиная поддоказательства. Сразу после строки «Показать» последующие строки отступают на один уровень. Когда доказательство на любом уровне завершено, вокруг строк в этом отступе рисуется рамка, что делает их недоступными в дальнейшем, а слово «Показать» отменяется, после чего утверждение после отмененного «Показать» становится активной строкой, доступной на следующем уровне. Доказательство завершено, когда все строки, кроме первой строки, заключены в одну или несколько рамок, а слово «Показать» на первой строке отменяется. Метод чрезвычайно элегантен и в значительной степени способствует пониманию и преподаванию логики.

Система доказательств подробно изложена в книге «Логика: методы формального рассуждения» Ричарда Монтегю и Дональда Калиша, опубликованной в 1964 году. Монтегю умер в 1971 году. Калиш опубликовал второе издание книги в 1980 году совместно с Гэри Маром . С конца 1960-х годов эти книги использовались в качестве учебника во многих университетах, включая Калифорнийский университет в Лос-Анджелесе.

• Логика: Методы формального рассуждения Дональда Калиша и Ричарда Монтегю , 1964
• Логика: Методы формального рассуждения Дональда Калиша, Ричарда Монтегю и Гэри Мара , 1980