Loading article…
カルロ・ダーラ・ポッツァ（Carlo Dalla Pozza、1942年10月16日ターラント- 2014年7月18日レッチェ）[ 1 ]は、イタリアの科学哲学者、論理学者。
カルロ・ダッラ・ポッツァは、イタリア南部プーリア州のタラントで、ヴェネト州出身のイタリア海軍士官ルイージ・ダッラ・ポッツァと、プーリア州出身のチェチリア・ポントレッリの間に生まれた。タラントのバッタリーニ科学高校在学中、厳格な昔気質の数学教師ジョヴァンニ・デ・トマソから数学の問題への興味と証明の優雅さへの愛着を植え付けられた。カルロはバーリ大学で文学と文献学を学び、アルド・ヴァローネの指導の下、レナート・セッラに関する論文で卒業した。生涯を通じて、カルロはイタリア文学、特に19世紀の詩人ジャコモ・レオパルディ、ジョズエ・カルドゥッチ（セッラの師）、ガブリエーレ・ダンヌンツィオへの愛を示した。イタリア古典の中では、ダンテとトルクァート・タッソを好んだ。
カルロは博士論文の後、ライルの『心の概念』のイタリア語訳者であるフェルッチョ・ロッシ＝ランディのもとで理論言語学を学び、その後ピサ大学で学び、ミラノのカトリック大学で形式手法を学んだ。彼の知的キャリアの転機は、ノルベルト・ボッビオがトリノで開催した会議に参加したことから始まり、法哲学の問題、特にハンス・ケルゼンの著作、義務論理の形式化に関する新しいアイデアを展開し、ルイージ・フェライオーリの『プリンキピア・ジュリス』の法理論の原理の公理化に懸命に取り組んだ。[ 2 ] カルロ・ダッラ・ポッツァは、長年タラント県で高校教師として働きながら、学会に出席したり、さまざまな機会に講演を行ったりするなど、科学的に非常に活発であった。彼がレッチェのサレント大学で常勤職を得たのは1990年頃で、最初は「技術士」、その後「研究者」となった。イタリア国内外の学者たちが彼を准教授に昇進させるよう求める嘆願書に署名したが、ヨーロッパの学術界における定年制のため、提出が遅すぎた。
言語学と記号論的テキスト学の研究に影響を与えた人物の中には、ヤノシュ・ペテーフィがコンスタンツで一緒に研究するよう彼に依頼したが、ダラ・ポッツァはイタリアで研究することを選んだ。彼はイタリアで、論理学・科学哲学協会や分析哲学協会とのつながりを通じて大きな影響力を持っていた。また、ヴェローナ大学（1996年から2002年まで、そして退職後も2013年まで論理学とコンピュータ科学の基礎について継続的に講義を行った）、パドヴァ大学、ボルツァーノ大学での論理学、科学哲学、コンピュータ科学に関する講義（主に90年代）や、ローマ 大学での義務論理学に関する講義を通じても影響力を持っていた。
ペテーフィとケルゼンの影響に加え、彼の主な哲学的先駆者はゴットロープ・フレーゲ、バートランド・ラッセル、ルドルフ・カルナップであり、彼は彼らの著作に絶えず思いを馳せた。1988年には、量子物理学におけるある議論の形式的扱いに関する非常に古典的な貢献を発表した（参考文献を参照）。言語学への関心と論理学の研究を結びつけるのは、古典論理（主張の内容に関する）と直観主義論理（主張行為に関する）の独創的なつながりに基づく語用論（発話行為）の形式理論である。この理論の最初の動きは1995年にErkenntnisで発表された。 [ 3 ]
ダラ・ポッツァは、語用論の形式化に関する自身の理論を提示し、主張の形式的処理のためのフレーゲ＝ライヘンバッハ＝ステニウス・モデルを定義し、その解決における主な問題点は、（フレーゲによって導入された）主張記号が基本的な主張式にしか使用できないことであると指摘する。そして、複雑な主張式を構築できる語用論的結合子のセットを導入する。主張式の「内容」は、古典的な真理条件結合子の古典的な解釈によって与えられる。一方、語用論的結合子は、正当化されているか否かという直観主義的な解釈を持つ。このようにして、形式体系は主張の正当化値を扱い、それを式によって表現される命題の真理値と区別することができる。ダラ・ポッツァの理論は、フレーゲの主張記号が古典的なメタ論理ツールに還元できないことを説明し、言語行為の形式理論の適切な基礎を導入するだけでなく、古典論理と直観主義論理の互換性の問題に対する独創的な解決策も提供している。Erkenntnis論文に続いて、質問と回答の論理、義務論理、部分構造論理に関する他の研究が発表された (下記の参考文献を参照)。ダラ・ポッツァの研究は、哲学とコンピュータ科学の両方のさまざまな文脈で関心を集めている (たとえば、Richard S. Anderson 2009 の研究[ 4 ]と Kurt Ranalter 2008 の研究[ 5 ]を参照)。2008 年にFundamenta Informaticaeの特集号が形式語用論における彼のアイデアに捧げられた。[ 6 ]
ダラ・ポッツァの研究は、法体系の形式化、言語行為の理論としての語用論の形式化、量子物理学の哲学における特異な傾向（クラウディオ・ガローラの研究を参照）、コンピュータ科学と論理学のいくつかの発展（ジャンルイージ・ベリンによる双直観主義の語用論的解釈と共直観主義的線形論理に関する研究を参照）に応用されている。[ 7 ]
彼の作品リストは、カルロ・ダラ・ポッツァのホームページ[ 8 ]とacademia.edu [ 9 ]で見つけることができ、そこから基本的な情報をいくつか引用する。