証明論的手法による論理定項の特徴づけ

点击翻译按钮获取中文摘要

本研究の基本的な目的は証明論的な方法によって、論理定項の概念について特徴付けを与えるというものである。これまでの研究は幾つかの手法に基づいている。それらは１）証明論的意味論、２）クライゼルの「構成の理論」と呼ばれる理論と「非形式的厳密さ」という方法論、３）竹内外史の証明論的観点からの集合概念の解明についての研究など、である。今年度における本研究の成果としては、これらのうち特に証明論的意味論と竹内外史の証明論的観点からの集合概念の解明という２つの方向性において幾らかの進捗をみた。まず証明論的意味論にもとづく研究では、ダメットによって導入された「stability」という概念についてこれまでアルベルト・ナイボ、マティア・ペトローロらと共同研究を行ってきた。この「stability」という概念は証明体系における推論規則のもつ望ましい性質とは何かという論点を巡って議論されてきたものである。今年度の我々の研究では、この概念について幾つかの新しい発見があっただけではなく、証明体系全体の構成にとってこの概念がどのような役割を果たしうるかということについても新たな洞察を得ることができた。一連の共同研究についての成果は今年度中に論文として出版予定である。また竹内外史の証明論的研究と（とりわけ２階述語論理における）集合概念の解明について、２回ほど発表を行った。それらの発表の内容は一部既刊の論文の内容と重複するものの、竹内外史の初期の証明論的論文におけるいわゆる「竹内予想」に関する部分的成果がいかなる意味で集合概念の解明になっているか、従って２階量化子の「意味」の解明に部分的に寄与するかについて考察するものである。