Карло Далла Поцца - Carlo Dalla Pozza
Карло Далла Поцца (16 октября 1942 года в Таранто - 18 июля 2014 года в Лечче ) был итальянским философом науки и логиком.
биография
Карло Далла Поцца родился в Таранто, в южном регионе Апулия, в семье Луиджи Далла Поцца, офицера ВМС Италии из региона Венето, и Сесилии Понтрелли из Апулии. Во время учебы в Liceo Scientifico Battaglini в Таранто, Джованни Де Томмазо, жесткий старый учитель математики, дал ему вкус к математическим задачам и элегантности доказательств. Карло изучал литературу и филологию в Университете Бари, где он защитил диссертацию о Ренато Серра под руководством Альдо Валлоне. На протяжении всей своей жизни Карло проявлял любовь к итальянской литературе, в частности к поэтам 19 века Джакомо Леопарди, Джозуэ Кардуччи (учитель Серры) и Габриэле д'Аннунцио. Среди итальянских классиков отдавал предпочтение Данте и Торквато Тассо.
После его диссертации Карло изучал теоретическую лингвистику с итальянским переводчиком Райлом Понятия духа , Ферруччо Росся-Ланди , а позже в университете Пизы, перед изучением формальных методов в Католическом университете в Милане. Поворотом в его интеллектуальной карьере стал его участие во встречах, проводимых в Турине Норберто Боббио , развитие новых идей по проблемам философии права, особенно работы Ганса Кельзена , и формализация деонтической логики , усиленная работа над аксиоматизация принципов теории права для Principia Juris Луиджи Феррайоли . Карло Далла Поцца много лет проработал учителем средней школы в провинции Таранто, в то же время он был очень активен в научном отношении, посещая конференции и читая лекции по различным поводам. Только примерно в 1990 году он получил постоянную должность в Университете Саленто, Лечче, сначала как «tecnico laureato», а затем как «ricercatore». Петиция, подписанная итальянскими и иностранными учеными с просьбой о повышении его до доцента, пришла слишком поздно из-за политики обязательного выхода на пенсию в европейских академических кругах.
Среди тех, кто оказал влияние на его исследования в области лингвистики и семиотической текстологии , Янош Петёфи попросил его поработать с ним в Констанце, но Далла Поцца предпочел работать в Италии, где он был очень влиятельным благодаря связям с Обществом логики и философии науки и Обществом аналитической философии , а также через свои лекции по логике, философии науки и информатики (в основном в девяностые годы) в Университете Вероны (где он постоянно читал лекции по логике и основам компьютерных наук с 1996 по 2002 год, а также после выхода на пенсию до 2013), Падуя , Больцано и его лекции по деонтической логике в Римском университете .
Помимо влияний Петёфи и Кельсена, его главными философскими предками являются Готтлоб Фреге , Бертран Рассел и Рудольф Карнап , над работами которых он постоянно размышлял. В 1988 году он публикует очень классическую работу по формальному рассмотрению некоторых аргументов в квантовой физике (см. Ссылки). Связь между его интересом к лингвистике и его работой в логике дается формальной теорией прагматики ( речевые акты ), основанной на оригинальной связи между классической логикой (в отношении содержания утверждения) и интуиционистской логикой (в отношении акта утверждения). ). Первый ход теории был опубликован на Erkenntnis в 1995 году.
Представляя свою теорию формализации прагматики, Далла Поцца определяет модель Фреге-Райхенбаха-Стениуса для формальной обработки утверждений, показывая, что основная проблема с их решением состоит в том, что знак утверждения (введенный Фреге) может использоваться только с элементарными утверждениями. формулы. Затем он вводит набор прагматических связок, которые позволяют строить сложные формулы утверждения. «Содержание» утверждающих формул дается через классическую интерпретацию классических условных связок истины ; прагматические связки, с другой стороны, имеют интуиционистскую интерпретацию как оправданную или необоснованную . Таким образом, формальная система может обрабатывать значение обоснования утверждения, отличая его от значения истинности предложения, выраженного формулой. Помимо объяснения несводимости знака утверждения Фреге к классическим металогическим инструментам и введения надлежащего основания формальной теории речевых актов, теория Далла Поцца дает также оригинальное решение проблемы совместимости между классической и интуиционистской логикой. За статьей Эркеннтниса последовали другие работы по логике вопросов и ответов, по деонтической логике и по субструктурной логике (см. Ссылки ниже). Работа Даллы Поцца вызвала интерес в различных контекстах, как в философии, так и в информатике (см., Например, работу Ричарда С. Андерсона 2009 г. и работу Курта Ранальтера 2008 г. В 2008 г. его идеям был посвящен выпуск Fundamenta Informaticae. в формальной прагматике.
Наследие
Работа Далла Поцца нашла применение в формализации правовых систем, в формализации прагматики как теории речевых актов, в специфическом направлении философии квантовой физики (см. Работы Клаудио Гарола) и в некоторых разработках в информатика и логика (см. работы Джанлуиджи Беллина о прагматической интерпретации биинтуиционизма и коинтуиционистской линейной логике).
Работает
Списки его работ можно найти на домашней странице Карло Далла Поцца и на сайте academia.edu, откуда мы взяли некоторую основную информацию:
- О логических основах подхода Эмили-Пирон к квантовой физике (совместно с Дж. Каттанео, К. Гаролой, Дж. Нистико), в International Journal of Theoretical Physics , Vol. 27, № 11, 1988 [2]
- Un'interpretazione pragmatica della logica Proposizionale intuizionistica, в Usberti G. (ed.), Problemi fondazionali nella teoria delignato , Leo S. Olschki, Firenze, 1991 [3]
- Una fondazione pragmatica della logica delle domande, неопубликованная рукопись (проект, май 1991 г.) [4]
- Parlare di niente. Termini singolari non denotanti e atti illocutori, in 'Idee', anno VIII, n ° 23, 1993 [5]
- Прагматическая интерпретация интуиционистской логики высказываний (совместно с К. Гаролой), в Erkenntnis , 43, 1995 (стр. 81–109) [6]
- Una logica pragmatica per la Concezione «espressiva» delle norme, Мартино А. (ред.), Logica delle Norme , SEU, Пиза, 1997 [7]
- Прагматическая интерпретация субструктурной логики (совместно с Дж. Беллином), У. Зиг, Р. Зоммер и К. Талкотт (ред.), Размышления об основах математики. Очерки в честь Соломона Фефермана - ASL Lectures Notes in Logic , Natick Massachusetts, 2003 [8]
- Il проблема Gettier: osservazioni su giustificazione, prova e probabilità (с Д. Чиффи), доклад на конференции SIFA «Аналитическая философия и европейская культура» , Генуя, 2004 [9]
- Прагматическая логика выразительной концепции норм и ценностей и проблема Фреге-Гича, Editoria Scientifica Elettronica , 2008 [10]
- Come distinguere scienza e non-scienza: verificabilità, falsificabilità e confermabilità bayesiana (с А. Негро), Кароччи, 2017, ISBN 978-8-843-08078-6 , [11]