新言語哲学並びに内包論理の意味論を基盤にした新存在論の構築
基于新语言哲学和内涵逻辑语义的新本体论构建
基本信息
- 批准号:58510001
- 负责人:
- 金额:$ 0.9万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for General Scientific Research (C)
- 财政年份:1983
- 资助国家:日本
- 起止时间:1983 至 1985
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
野本 和幸其他文献
「命題」・「構成」・「判断」の論理哲学-フレーゲ/ウィトゲンシュタインの「概念記法」をどう見るか
“命题”、“构造”、“判断”的逻辑哲学——如何看待弗雷格/维特根斯坦的“概念符号”
- DOI:
- 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
野本 和幸;中川 大;斉藤 浩文;岡本 賢吾 - 通讯作者:
岡本 賢吾
命題を集合と同一視すること-包括原理からカリー=ハワード対応へ
将命题等同于集合——从包含原理到柯里-霍华德对应
- DOI:
- 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
野本 和幸;中川 大;斉藤 浩文;岡本 賢吾;岡本 賢吾 - 通讯作者:
岡本 賢吾
野本 和幸的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('野本 和幸', 18)}}的其他基金
様相論理のモデル論と哲学的諸問題
模态逻辑的模型论与哲学问题
- 批准号:
X00095----261002 - 财政年份:1977
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for General Scientific Research (D)
様相論理学と存在論
模态逻辑和本体论
- 批准号:
X00095----161002 - 财政年份:1976
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for General Scientific Research (D)
G.Fregeの言語哲学の評判的吟味
弗雷格语言哲学声誉考察
- 批准号:
X00095----061013 - 财政年份:1975
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for General Scientific Research (D)
様相論理学の意味論と存在論
模态逻辑的语义和本体论
- 批准号:
X00095----961002 - 财政年份:1974
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for General Scientific Research (D)
数学的論理学と意味論・存在論
数理逻辑和语义/本体论
- 批准号:
X00095----761002 - 财政年份:1972
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for General Scientific Research (D)
数学的論理学と存在論
数理逻辑和本体论
- 批准号:
X46210------1002 - 财政年份:1971
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
記号論理学及び分析哲学研究
符号逻辑与分析哲学研究
- 批准号:
X45210------1001 - 财政年份:1970
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
記号論理学および分析哲学研究
符号逻辑与分析哲学研究
- 批准号:
X44210------1001 - 财政年份:1969
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
記号論理学分析哲学研究
符号逻辑分析哲学研究
- 批准号:
X43210------1001 - 财政年份:1968
- 资助金额:
$ 0.9万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
基于数字艺术与文旅大数据的新质非遗设计研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
产教融合视域下高职教师数智素养评价模型构建
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
物联网技术在智能教室监测监控中的应用研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于网络药理学和分子对接的毛黄堇抗炎镇痛机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
构建“地面+地下+低空”三维交通体系的探究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
工业传送带智能检测可视化服务平台的设计研究与应用实践
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于强化学习与深度学习结合的分类算法动态优化研究与示范应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
工业机器人健康评估及预测性故障诊断方法研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于深度学习的凸轮轴裂纹检测方法研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
轻质预应力装配式楼板研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号:
2901954 - 财政年份:2028
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号:
2896097 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号:
2780268 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号:
2908918 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
- 批准号:
2908693 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号:
2908917 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号:
2879438 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号:
2890513 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
- 批准号:
2879865 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号:
2876993 - 财政年份:2027
- 资助金额:
$ 0.9万 - 项目类别:
Studentship














{{item.name}}会员




