Дональд Калиш: Логик, педагог и антивоенный активист

Введение

Американский активист (1919–2000)

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

Биография

Родился в Чикаго, штат Иллинойс, Калиш получил степени бакалавра и магистра психологии и докторскую степень по философии в Калифорнийском университете в Беркли. После преподавания в Суортморском колледже и Калифорнийском университете в Беркли, в 1949 году он присоединился к преподавательскому составу Калифорнийского университета в Лос-Анджелесе. Калиш был, пожалуй, наиболее известен своей открытой оппозицией войне во Вьетнаме, а позже – противодействием военному вмешательству США в Никарагуа и Гренаде. Будучи председателем философского факультета UCLA, Калиш нанял марксистского политического активиста Анжелу Дэвис, что в то время вызвало значительные споры. В 2001 году философский факультет университета учредил премию имени Дональда Калиша за интеллектуальные достижения, присуждаемую самому перспективному студенту факультета. Калиш был одним из основателей Объединенного факультета UCLA (Concerned Faculty of UCLA). Он был членом университетского комитета по вопросам Вьетнама и вице-председателем Совета за мир в Лос-Анджелесе (Peace Action Council, Los Angeles). Он известен своей руководящей ролью в Совете за мир во время протеста 1967 года против политики президента Линдона Джонсона во Вьетнаме в отеле Century Plaza в Лос-Анджелесе, собравшем 10 000 человек. Он также был организатором марша на Пентагон в 1967 году в знак протеста против войны во Вьетнаме, и его деятельность была широко освещена в книге Нормана Мейлера «Армии ночи» (1968). В 1967 году Калиш подписал письмо с заявлением о намерении отказаться от уплаты налогов в знак протеста против войны США во Вьетнаме, призывая других последовать этому примеру. Калиш был экспертом в области логики, теории множеств и истории этих дисциплин. Вместе с Ричардом Монтегю он разработал инновационный и элегантный метод формальных логических доказательств методом естественного вывода. Калиш был выдающимся и преданным преподавателем, который учил точно, с сочувствием и энтузиазмом. Он был настоящим «учителем учителей», обладая редкой способностью объяснять даже самые сложные и эзотерические концепции своим студентам доступным языком. Большинство его студентов любили его занятия. На занятиях по логике и теории множеств его политические взгляды не проявлялись. Он регулярно давал студентам свой домашний номер телефона, инструктируя их звонить ему в любое время дня и ночи, если им потребуется обсудить задание.

Born in Chicago, Illinois, Kalish earned his bachelor's and master's degrees in psychology and his doctorate in philosophy at the University of California, Berkeley. After teaching at Swarthmore College and at UC Berkeley, he joined the faculty of the University of California, Los Angeles in 1949. Kalish was perhaps best known for his outspoken opposition to the war in Vietnam and later, his opposition to U. S. military involvement in Nicaragua and Grenada. As chairman of the philosophy department of UCLA, Kalish hired Marxist political activist Angela Davis, an act that drew considerable controversy at the time. In 2001, the university's Philosophy Department initiated the Donald Kalish Prize for intellectual excellence, given to the most promising undergraduate student in the department. Kalish was a founder of the Concerned Faculty of UCLA. He served as a member of the University Committee on Vietnam, and as vice chairman of Peace Action Council, Los Angeles. He is known for his leadership role with the Peace Action Council in a 1967 protest against President Lyndon Johnson's Vietnam policies at the Century Plaza Hotel in Los Angeles, which brought out 10,000 people. He was also an organizer of the 1967 March on the Pentagon to protest the Vietnam War and his activities were prominently chronicled in Norman Mailer's The Armies of the Night (1968). In 1967, Kalish signed a letter declaring his intention to refuse to pay taxes in protest against the U. S. war against Vietnam, and urging other people to also take this stand. Kalish was an expert on logic, set theory and the history of both subjects. With Richard Montague, he developed an innovative and elegant method of doing formal logical proofs by natural deduction. Kalish was a first rate and devoted teacher, who taught with precision, compassion and enthusiasm. He was the proverbial "teacher's teacher," having the rare ability of being able to make even the most complex and arcane concepts readily comprehensible to his students. Most of his students loved his classes. In his logic and set theory classes, students did not see anything of his political opinions. He regularly gave his students his home phone number with the instruction that if they ever wanted to discuss an assignment, to call him anytime, day or night.

Метод логического доказательства

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