Карло Далла Поцца

Карло Далла Поцца (16 октября 1942 года в Таранто — 18 июля 2014 года в Лечче ) итальянский философ науки и логик.

Биография

Карло Далла Поцца родился в Таранто, в южном регионе Апулия, в семье Луиджи Далла Поцца, офицера итальянского военно-морского флота из региона Венето, и Чечилии Понтрелли из Апулии. Во время учебы в средней школе в Liceo Scientifico Battaglini в Таранто Джованни Де Томмазо, суровый учитель математики старого образца, привил ему вкус к математическим задачам и элегантности доказательств. Карло изучал литературу и филологию в Университете Бари, который окончил, защитив диссертацию о Ренато Серре под руководством Альдо Валлоне. На протяжении всей своей жизни Карло проявлял любовь к итальянской литературе, в частности к поэтам XIX века Джакомо Леопарди, Джозуэ Кардуччи (учителю Серры) и Габриэле д'Аннунцио. Среди итальянской классики он предпочитал Данте и Торквато Тассо.

После диссертации Карло изучал теоретическую лингвистику у итальянского переводчика «Концепции разума» Райла Ферруччо Росси-Ланди , а затем в Пизанском университете, а затем изучал формальные методы в Католическом университете в Милане. Поворот в его интеллектуальной карьере произошел благодаря участию во встречах, проводимых в Турине Норберто Боббио , разработке новых идей по проблемам философии права, особенно по работам Ганса Кельсена , и по формализации деонтической логики , упорной работе над аксиоматизация принципов теории права для Луиджи Феррайоли «Начал права» . Карло Далла Поцца много лет работал учителем средней школы в провинции Таранто, при этом он вел очень активную научную деятельность, неоднократно посещал конференции и читал лекции. Только около 1990 г.он получил постоянную должность в Университете Саленто, Лечче, сначала как «технический лауреат», а затем как «рицеркаторе». Петиция, подписанная итальянскими и зарубежными учеными, с просьбой повысить его до доцента.Профессор пришел слишком поздно ввиду политики обязательного выхода на пенсию в европейских академических кругах.

Среди факторов, оказавших влияние на его исследования в области лингвистики и семиотической текстологии , Янош Петефи попросил его поработать с ним в Констанце, но Далла Поцца предпочла работать в Италии, где он имел большое влияние благодаря связям с Обществом логики и философии науки и Обществом Аналитической философии , а также благодаря его лекциям по логике, философии науки и информатике (в основном в девяностые годы) в Университете Вероны (где он непрерывно читал лекции по логике и основам информатики с 1996 по 2002 год, а также после выхода на пенсию до 2013), Падуя , Больцано и его лекции по деонтической логике в Римском университете .

Помимо влияния Петефи и Кельзена, его главными философскими предками можно найти у Готтлоба Фреге , Бертрана Рассела и Рудольфа Карнапа , чьим работам он постоянно размышлял. В 1988 году он публикует очень классический труд, посвященный формальной трактовке некоторых аргументов в квантовой физике (см. ссылки). Связь между его интересом к лингвистике и его работами в области логики дает формальная теория прагматики ( речевых актов ), основанная на оригинальной связи между классической логикой (относительно содержания утверждения) и интуиционистской логикой (относительно акта утверждения). ). Первый ход теории был опубликован на Erkenntnis в 1995 году.

Представляя свою теорию формализации прагматики, Далла Поцца определяет модель Фреге-Райхенбаха-Стениуса для формальной обработки утверждений, показывая, что основная проблема с их решением состоит в том, что знак утверждения (введенный Фреге) может использоваться только с элементарными утверждениями. формулы. Затем он вводит набор прагматических связок, которые позволяют строить сложные утвердительные формулы. «Содержание» ассертивных формул дается через классическую интерпретацию классических связок, условных по истинности ; прагматические связки, напротив, имеют интуиционистскую интерпретацию как оправданные или необоснованные . Таким образом, формальная система может трактовать ценность обоснования утверждения, отличая его от истинностного значения предложения, выраженного формулой. Помимо объяснения несводимости знака утверждения Фреге к классическим металогическим инструментам и предоставления правильного основания формальной теории речевых актов, теория Далла Поцца дает также оригинальное решение проблемы совместимости классической и интуиционистской логики. За статьей Эркеннтниса последовали другие работы по логике вопросов и ответов, деонтической логике и субструктурной логике (см. ссылки ниже). Работа Далла Поцца вызвала интерес в различных контекстах, как в философии, так и в информатике (см., например, работу Ричарда С. Андерсона 2009, и работы Курта Ранальтера 2008 г. ). выпуск журнала Fundamenta Informaticae . В 2008 году его идеям в формальной прагматике был посвящен

Наследие

Работы Далла Поцца нашли применение при формализации правовых систем, формализации прагматики как теории речевых актов, своеобразном направлении в философии квантовой физики (см. работы Клаудио Гаролы) и некоторых разработках в области информатика и логика (см. работы Джанлуиджи Беллина о прагматической интерпретации биинтуиционизма и коинтуиционистской линейной логике).

Работает

Списки его работ можно найти на домашней странице Карло Далла Поцца. и на academia.edu, откуда мы берем некоторую основную информацию:

• О логических основах подхода Яуха-Пирона к квантовой физике (совместно с Дж. Каттанео, К. Гаролой, Г. Нистико), в International Journal of Theoretical Physics , Vol. 27, № 11, 1988 г. [2]
• Прагматическая интерпретация интуиционистской пропозициональной логики, в Усберти Г. (ред.), Фундаментальные проблемы теории значения , Лео С. Ольшки, Флоренция, 1991 [3]
• Прагматическое обоснование логики вопросов, неопубликованное рукописное (черновик, май 1991 г.) [4]
• Разговор ни о чем. Необозначающие единичные термины и иллокутивные акты, в «Идеи», VIII год, № 23, 1993 г. [5]
• Прагматическая интерпретация интуиционистской пропозициональной логики (совместно с К. Гаролой), в Erkenntnis , 43, 1995 (стр. 81–109) [6]
• Прагматическая логика «выразительной» концепции норм, Мартино А. (редактор), Logica delle Norme , SEU, Пиза, 1997 [7]
• Прагматическая интерпретация субструктурной логики (совместно с Г. Беллином) в книге У. Зига, Р. Соммера и К. Талкотта (ред.), Размышления об основах математики. Очерки в честь Соломона Фефермана - Конспекты лекций ASL по логике , Натик, Массачусетс, 2003 г. [8]
• Проблема Геттье: наблюдения об обосновании, доказательстве и вероятности (совместно с Д. Шиффи), доклад на конференции SIFA «Аналитическая философия и европейская культура» , Генуя, 2004 г. [9]
• Прагматическая логика выразительной концепции норм и ценностей и проблема Фреге-Гича, Editoria Scientifica Elettronica , 2008 [10]
• Как отличить науку от ненауки: проверяемость, фальсифицируемость и байесовская подтверждаемость (совместно с А. Негро), Кароччи, 2017, ISBN   978-8-843-08078-6 , [11]