权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

論理定項の概念についてのモデル論理的および構成主義的研究

逻辑常数概念的模型逻辑和建构主义研究

基本信息

批准号：
05710008
负责人：
金子洋之
金额：
$ 0.58万
依托单位：
Senshu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1993
资助国家：
日本
起止时间：
1993 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05710008/
关键词：
理論定項構成主義一般化された量化子意味理論

项目摘要

本研究において論理定項の概念を再検討する契機となったのは、論理定項をめぐる議論には二つの潮流があり、それらの間のある種の埀離に気付いたことである。これは、論文「論文定項についての研究ノート」において明らかにしたように、論理定項に対するモデル論的アプローチと意味理論的アプローチの間の埀離でもある。同じ自然言語を対称としているにもかかわらず、論理定項という理論的な概念を規定するにあたって、それぞれの立場によって相違が生じている。この事実は、逆に見るならば、二つのアプローチの観点ないし背景の違いを照射してくれるのではないか、言い換えれば、論理定項の問題を基軸にして、言語の問題へのアプローチの基底にある相違を明らかにできるのではないか、というのがここでの出発点となる見込みであった。この線に沿って、暫定的なものではあるが、次のようないくつかの見通しと問題点を明らかにすることができた。1.論理的定項の機能を考える上で、構成的な観点を持ち込むことによって、モデル論的なアプローチと意味理論的なアプローチとが完全に埀離したものではなく、その間にある種の連続性を考えることができる。つまり、構成的な観点で、論理定項を規定しようとしたとき、そこでは一種のモデル論的な考察を展開できるにもかかわらず、同時に意味理論的な問題(例えは、アプリオリティの問題)が一定の意味を持ちうる。2.一般化された量化子理論においてもいくつかの立場を区別することができ、それらの立場に応じて、論理定項に関する様々なタイプの考え方を定式化できる。特に、構成的な観点から一般化された量化子理論を展開することが可能と考えられる。コミュニケーションを構成するものとしての規約という概念の分析が理論定項の概念分析にどう関連するかという問題は、意味の問題を規約的観点から考える立場の試金石となると思われる。

In this study, the concept of logical fixed term is discussed again. This paper is entitled "Research on the Definition of Terms and Conditions". It is intended to provide a theoretical basis for the definition of terms and conditions. The same natural language is used to describe the concept of logic and theory, and the position of logic is used to describe the relationship between logic and theory. The problem of logic definition is the basic axis, the problem of speech is the basic axis, and the problem of speech is the basic contradiction. This line is along the line, the tentative line is on the line, the second line is on the line, the third line is on the line, the fourth line is on the line 1. The function of the definite term of logic is to be examined in detail, and the point of formation is to be examined in detail, and the theory of meaning is to be examined in detail. The problem of meaning theory (e.g., the problem of meaning theory) and the meaning of meaning theory 2. Generalization of quantization sub-theory is based on the position difference, logic determination, and formulation of the test. Special, structural, and general quantization sub-theories are developed. The analysis of the concept of theoretical definition, the touchstone of the problem of meaning, the point of view of the convention, and the analysis of the concept of meaning.