Войти
Карло Далла Поцца (16 октября 1942 г., Таранто - 18 июля 2014 г., Лечче ) был итальянским философом науки и логиком.
Карло Далла Поцца родился в Таранто, в южном регионе Апулии, из Луиджи. Далла Поцца, офицер ВМС Италии из региона Венето, и Сесилия Понтрелли из Апулии. Во время учебы в Liceo Scientifico Battaglini в Таранто, Джованни Де Томмазо, жесткий старый учитель математики, дал ему вкус к математическим задачам и изяществу доказательств. Карло изучал литературу и филологию в Университете Бари, где он защитил диссертацию на тему Ренато Серра под руководством Альдо Валлоне. На протяжении всей своей жизни Карло проявлял свою любовь к итальянской литературе, в частности к поэтам 19 века Джакомо Леопарди, Джозуэ Кардуччи (учитель Серры) и Габриэле д'Аннунцио. Среди итальянских классиков отдавал предпочтение Данте и Торквато Тассо.
После своей диссертации Карло изучал теоретическую лингвистику у итальянского переводчика книг Райла Концепция разума, Ферруччо Росси-Ланди, а затем в Пизанском университете, прежде чем изучает формальные методы в Католическом университете Милана. Поворотом в его интеллектуальной карьере стало участие во встречах, проводимых в Турине Норберто Боббио, где он развивал новые идеи по проблемам философии права, особенно по работе Ганса Кельзена, и на формализации деонтические логики, трудолюбивый на аксиоматизациях принципов теории права для Луиджи Ferraioli-х Principia Юрис. Карло Далла Поцца много лет работал учителем средней школы в провинции Таранто, в то же время он был очень активен в научном отношении, посещая конференции и читая лекции по различным поводам. Только примерно в 1990 году он получил постоянную должность в Университете Саленто, Лечче, сначала как «tecnico laureato», а затем как «ricercatore». Петиция, подписанная итальянскими и иностранными учеными с просьбой о повышении его до доцента, пришла слишком поздно из-за политики обязательного выхода на пенсию в европейских академических кругах.
Среди тех, кто оказал влияние на его исследования в области лингвистики и семиотической текстологии, Янош Петефи попросил его поработать с ним в Констанце, но Далла Поцца предпочла работать в Италии, где он оказал большое влияние благодаря связям с Обществом логики и философии науки и Обществом аналитической философии, а также своими лекциями по логике, философии науки и информатике (в основном в девяностые годы) в университете Вероны (где он постоянно читал лекции по логике и основам компьютерных наук с 1996 по 2002 год, а также после выхода на пенсию до 2013 года), Падуя, Больцано и его лекции по деонтической логике в Римском университете.
Помимо влияния Петёфи и Кельсена, его основных философских предков можно найти в Готтлобе Фреге, Бертран Рассел и Рудольф Карнап, чьи работы он посвятил непрерывной мысли. В 1988 году он публикует очень классическую работу по формальному рассмотрению некоторых аргументов в квантовой физике (см. Ссылки). Связь между его интересом к лингвистике и логикой дается формальной теорией прагматики (речевые акты ), основанной на оригинальной связи между классической логикой (касающейся содержания утверждение) и интуиционистская логика (касающаяся акта утверждения). Первый ход теории был опубликован на Erkenntnis в 1995 году.
Представляя свою теорию формализации прагматики, Далла Поцца определяет модель Фреге-Райхенбаха-Стениуса для формальной обработки утверждений, показывая, что основная проблема с их решение состоит в том, что знак утверждения (введенный Фреге) может использоваться только с элементарными формулами утверждения. Затем он вводит набор прагматических связок, которые позволяют строить сложные формулы утверждения. «Содержание» утверждающих формул дается через классическую интерпретацию классических условных связок истины; прагматические связки, с другой стороны, имеют интуиционистскую интерпретацию как оправданную или необоснованную. Таким образом, формальная система может обрабатывать значение обоснования утверждения, отличая его от значения истинности предложения, выраженного формулой. Помимо объяснения несводимости знака утверждения Фреге к классическим металогическим инструментам и введения надлежащего основания формальной теории речевых актов, теория Далла Поцца также дает оригинальное решение проблемы совместимости между классической и интуиционистской логикой. За статьей Эркеннтниса последовали другие работы по логике вопросов и ответов, по деонтической логике и по субструктурной логике (см. Ссылки ниже). Работа Даллы Поцца вызвала интерес в различных контекстах, как в философии, так и в информатике (см., Например, работу Ричарда С. Андерсона 2009 г. и работу Курта Ранальтера 2008 г. В 2008 г. его идеям был посвящен выпуск Fundamenta Informaticae в формальной прагматике.
Работа Далла Поцца нашла применение в формализации правовых систем, в формализации прагматики как теории речевых актов, в особой тенденции в философии квантовой физики (см. работы Клаудио Гаролы) и о некоторых разработках в области информатики и логики (см. работы Джанлуиджи Беллина о прагматической интерпретации биинтуиционизма и коинтуиционистской линейной логике).
Списки его работ можно найти на домашней странице Карло Далла Поцца и на сайте academia.edu, откуда мы взяли некоторую основную информацию:
