会员服务
包含 · 演讲 · 系统 · 论文 ·
2023 年 4 月 17 日
Comment on Mark Textor: Brentano's Positing Theory of Existence
翻译：马克·泰克斯托尔论述勃兰塔诺的存有假设理论的评论
Nils Kürbis
Nils Kürbis

This article is the text of a commentary on a talk delivered by Mark Textor entitled 'Brentano's Positing Theory of Existence' in December 2015. It contains ideas on implementing Textor's Neo-Brentanian theory of existence in a natural deduction proof system for negative free logic.


翻译：本文是对马克·泰克斯托尔在2015年12月发表的“勃兰塔诺的存有假设理论”演讲的评论文本。其中包含了在负自由逻辑的自然演绎证明系统中实现泰克斯托尔新勃兰塔主义存在理论的想法。
0
下载
关闭预览

相关内容

【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
专知会员服务
16+阅读 · 2022年7月6日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
77+阅读 · 2022年3月15日
神经网络序列数据建模，229页ppt，Modeling Sequential Data with Neural Nets
神经网络序列数据建模，229页ppt，Modeling Sequential Data with Neural Nets
专知会员服务
67+阅读 · 2020年7月25日
最近几种小样本元学习简明综述，A Concise Review of Recent Few-shot Meta-learning Methods
最近几种小样本元学习简明综述，A Concise Review of Recent Few-shot Meta-learning Methods
专知会员服务
35+阅读 · 2020年5月25日
【SIGMOD2020】知识图谱补全方法的现实再评价，Realistic Re-evaluation of Knowledge Graph Completion Methods: An Experimental Study
【SIGMOD2020】知识图谱补全方法的现实再评价，Realistic Re-evaluation of Knowledge Graph Completion Methods: An Experimental Study
专知会员服务
33+阅读 · 2020年3月23日
MIT-深度学习Deep Learning State of the Art in 2020，87页ppt
MIT-深度学习Deep Learning State of the Art in 2020，87页ppt
专知会员服务
62+阅读 · 2020年2月17日
【电子书推荐】机器学习、神经网络和统计分类（Machine Learning, Neural Networks, and Statistical Classification）
【电子书推荐】机器学习、神经网络和统计分类（Machine Learning, Neural Networks, and Statistical Classification）
专知会员服务
29+阅读 · 2019年11月19日
【ACL 2019 Tutorials】论据挖掘研究进展（Advances in Argument Mining）
【ACL 2019 Tutorials】论据挖掘研究进展（Advances in Argument Mining）
专知会员服务
16+阅读 · 2019年11月18日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
180+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
7 Papers & Radios | Bengio等用GFlowNets统一生成模型；首个黑箱防御框架
7 Papers & Radios | Bengio等用GFlowNets统一生成模型；首个黑箱防御框架
机器之心
0+阅读 · 2022年9月11日
【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
专知
0+阅读 · 2022年7月6日
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
LibRec 精选：推荐系统的常用数据集
LibRec 精选：推荐系统的常用数据集
LibRec智能推荐
17+阅读 · 2019年2月15日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
LibRec 精选：推荐系统的论文与源码
LibRec 精选：推荐系统的论文与源码
LibRec智能推荐
14+阅读 · 2018年11月29日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
长链非编码RNA n385229吸附miR-497对胰腺癌化疗耐药表型的调控作用
国家自然科学基金
0+阅读 · 2015年12月31日
炎症因子cathelicidin促进非小细胞肺癌增殖的作用及其在肿瘤微环境中表达调控机制
国家自然科学基金
0+阅读 · 2014年12月31日
中国产石竹科无心菜属（Arenaria）的分类学研究
国家自然科学基金
0+阅读 · 2014年12月31日
mTOR信号通路调控IL-17在激素抵抗性哮喘发病中的作用研究
国家自然科学基金
0+阅读 · 2013年12月31日
RI与Angiogenin相互作用调控PI3K/AKT/mTOR信号通路和ANG的核转位在膀胱癌发生发展中的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
动力系统及相关课题学术会议
国家自然科学基金
0+阅读 · 2012年4月30日
《计算机研究与发展》学术期刊
国家自然科学基金
1+阅读 · 2011年12月31日
《软件学报》学术期刊
国家自然科学基金
6+阅读 · 2011年12月31日
Wnt受体LRP5/6抑制肿瘤细胞转移的研究
国家自然科学基金
0+阅读 · 2011年12月31日
一种适用于高维问题的Co-kriging代理模型新方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
Using Data Analytics to Derive Business Intelligence: A Case Study
Arxiv
0+阅读 · 2023年5月30日
Theory of Communication Efficient Quantum Secret Sharing
Arxiv
0+阅读 · 2023年5月30日
Known by the Company it Keeps: Proximity-Based Indexing for Physical Content in Archival Repositories
Arxiv
0+阅读 · 2023年5月30日
A Comprehensive Survey on Multimodal Recommender Systems: Taxonomy, Evaluation, and Future Directions
Arxiv
16+阅读 · 2023年2月9日
Recent Advances of Blockchain and its Applications
Arxiv
13+阅读 · 2022年8月16日
Multi-Modal Knowledge Graph Construction and Application: A Survey
Arxiv
79+阅读 · 2022年2月11日
Recent Advances and Trends in Multimodal Deep Learning: A Review
Arxiv
56+阅读 · 2021年5月24日
A Survey on Knowledge Graphs: Representation, Acquisition and Applications
Arxiv
32+阅读 · 2021年1月17日
Recent advances in deep learning theory
Recent advances in deep learning theory
Arxiv
50+阅读 · 2020年12月20日
Reinforced Negative Sampling over Knowledge Graph for Recommendation
Arxiv
17+阅读 · 2020年3月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
包含
演讲
系统
论文
相关VIP内容
【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
专知会员服务
16+阅读 · 2022年7月6日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
77+阅读 · 2022年3月15日
神经网络序列数据建模，229页ppt，Modeling Sequential Data with Neural Nets
神经网络序列数据建模，229页ppt，Modeling Sequential Data with Neural Nets
专知会员服务
67+阅读 · 2020年7月25日
最近几种小样本元学习简明综述，A Concise Review of Recent Few-shot Meta-learning Methods
最近几种小样本元学习简明综述，A Concise Review of Recent Few-shot Meta-learning Methods
专知会员服务
35+阅读 · 2020年5月25日
【SIGMOD2020】知识图谱补全方法的现实再评价，Realistic Re-evaluation of Knowledge Graph Completion Methods: An Experimental Study
【SIGMOD2020】知识图谱补全方法的现实再评价，Realistic Re-evaluation of Knowledge Graph Completion Methods: An Experimental Study
专知会员服务
33+阅读 · 2020年3月23日
MIT-深度学习Deep Learning State of the Art in 2020，87页ppt
MIT-深度学习Deep Learning State of the Art in 2020，87页ppt
专知会员服务
62+阅读 · 2020年2月17日
【电子书推荐】机器学习、神经网络和统计分类（Machine Learning, Neural Networks, and Statistical Classification）
【电子书推荐】机器学习、神经网络和统计分类（Machine Learning, Neural Networks, and Statistical Classification）
专知会员服务
29+阅读 · 2019年11月19日
【ACL 2019 Tutorials】论据挖掘研究进展（Advances in Argument Mining）
【ACL 2019 Tutorials】论据挖掘研究进展（Advances in Argument Mining）
专知会员服务
16+阅读 · 2019年11月18日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
180+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
热门VIP内容
相关资讯
7 Papers & Radios | Bengio等用GFlowNets统一生成模型；首个黑箱防御框架
7 Papers & Radios | Bengio等用GFlowNets统一生成模型；首个黑箱防御框架
机器之心
0+阅读 · 2022年9月11日
【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
【ACM UMAP 2022 】可复现推荐系统的语义感知内容表示，148页ppt
专知
0+阅读 · 2022年7月6日
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
LibRec 精选：推荐系统的常用数据集
LibRec 精选：推荐系统的常用数据集
LibRec智能推荐
17+阅读 · 2019年2月15日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
LibRec 精选：推荐系统的论文与源码
LibRec 精选：推荐系统的论文与源码
LibRec智能推荐
14+阅读 · 2018年11月29日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
相关论文
Using Data Analytics to Derive Business Intelligence: A Case Study
Arxiv
0+阅读 · 2023年5月30日
Theory of Communication Efficient Quantum Secret Sharing
Arxiv
0+阅读 · 2023年5月30日
Known by the Company it Keeps: Proximity-Based Indexing for Physical Content in Archival Repositories
Arxiv
0+阅读 · 2023年5月30日
A Comprehensive Survey on Multimodal Recommender Systems: Taxonomy, Evaluation, and Future Directions
Arxiv
16+阅读 · 2023年2月9日
Recent Advances of Blockchain and its Applications
Arxiv
13+阅读 · 2022年8月16日
Multi-Modal Knowledge Graph Construction and Application: A Survey
Arxiv
79+阅读 · 2022年2月11日
Recent Advances and Trends in Multimodal Deep Learning: A Review
Arxiv
56+阅读 · 2021年5月24日
A Survey on Knowledge Graphs: Representation, Acquisition and Applications
Arxiv
32+阅读 · 2021年1月17日
Recent advances in deep learning theory
Recent advances in deep learning theory
Arxiv
50+阅读 · 2020年12月20日
Reinforced Negative Sampling over Knowledge Graph for Recommendation
Arxiv
17+阅读 · 2020年3月12日
相关基金
长链非编码RNA n385229吸附miR-497对胰腺癌化疗耐药表型的调控作用
国家自然科学基金
0+阅读 · 2015年12月31日
炎症因子cathelicidin促进非小细胞肺癌增殖的作用及其在肿瘤微环境中表达调控机制
国家自然科学基金
0+阅读 · 2014年12月31日
中国产石竹科无心菜属（Arenaria）的分类学研究
国家自然科学基金
0+阅读 · 2014年12月31日
mTOR信号通路调控IL-17在激素抵抗性哮喘发病中的作用研究
国家自然科学基金
0+阅读 · 2013年12月31日
RI与Angiogenin相互作用调控PI3K/AKT/mTOR信号通路和ANG的核转位在膀胱癌发生发展中的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
动力系统及相关课题学术会议
国家自然科学基金
0+阅读 · 2012年4月30日
《计算机研究与发展》学术期刊
国家自然科学基金
1+阅读 · 2011年12月31日
《软件学报》学术期刊
国家自然科学基金
6+阅读 · 2011年12月31日
Wnt受体LRP5/6抑制肿瘤细胞转移的研究
国家自然科学基金
0+阅读 · 2011年12月31日
一种适用于高维问题的Co-kriging代理模型新方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top