×
吉拉·谢尔

逻辑的基本问题。 （英语） Zbl 1405.03016号

牛市。符号。日志。 19，第2期，145-198（2013）.
摘要：构建逻辑的系统哲学基础是一个众所周知的难题。在第一部分中，我认为问题在很大程度上在于方法论，与“提供基础”这一共同的哲学概念有关。我提供了一种通用方法的替代方法，该方法将强大的基础要求（确凿的理由）与使用非传统的整体工具相结合，以实现这一结果。在第二部分中，我概述了使用新方法论的逻辑基础。该大纲基于对逻辑为什么需要一个真正的证明的调查，即，一个涉及世界而不仅仅是心灵的证明，以及世界逻辑的什么特征或方面是根据的。调查表明，逻辑是基于现实的形式方面，大纲提出了对这一方面的描述，它约束和启用逻辑（产生逻辑真理和结果）的方式，逻辑在我们整个知识体系中的作用，逻辑与数学的关系，逻辑的规范性，逻辑的特征，逻辑中的错误和修正。

引用于4文件

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面
PDF格式BibTeX公司 XML格式引用
\textit{G.Sher}，公牛。符号。日志。19，第2号，145--198（2013；Zbl 1405.03016）
全文： 内政部 欧几里得 链接

参考文献：

[1] 逻辑哲学（1970）
[2] 内政部：10.1215/00294527-2010-002·Zbl 1197.03035号 ·doi:10.1215/00294527-2010-002
[3] 从逻辑角度看第20页–（1951）
[4] 语言和逻辑中的量词（2006）
[5] 内政部：10.1305/ndjfl/1039096304·Zbl 0972.03005号 ·doi:10.1305/ndjfl/1039096304
[6] 逻辑结果的概念（1990）·Zbl 0743.0302号
[7] 数学思想及其对象（2008）·Zbl 1158.00006号
[8] 内政部：10.1080/01445340.2011.555505·Zbl 1272.03017号 ·doi:10.1080/01445340.2011.555505
[9] 哲学论文第91页–（1932）
[10] 可构造性和数学存在性（1990年）·Zbl 1115.03301号
[11] 逻辑性和不变性14第29页–（2008）
[12] 经验主义与社会学第158页–（1921）
[13] 经验知识的结构（1985）
[14] 数学基础44第12页–（1957）
[15] DOI:10.2307/19968621·Zbl 0015.14603号 ·doi:10.2307/1968621
[16] 《哲学逻辑杂志》25页567页–（1996年）
[17] 第二哲学：自然主义方法（2007）
[18] 模型理论逻辑（1985）
[19] 《哲学评论》111第25页–（2002）·doi:10.1215/00318108-111-1-25
[20] DOI:10.1007/978-94-010-2191-3_12·Zbl 0289.02001 ·doi:10.1007/978-94-010-2191-3_12
[21] 理论32第186页–（1966）
[22] 逻辑哲学（1921）·Zbl 1059.03501号
[23] 真实与真实：谱系学论文（2002）
[24] 知识论（1990）
[25] 知识（1974）
[26] Barwise:抽象模型理论和广义量词10 pp 37–（2004）
[27] 连贯主义认知正当化理论（2007）
[28] 欧洲理论计算机科学协会公报62 pp 115–（1997）
[29] DOI:10.1016/S0003-4843（70）80005-5·兹比尔0206.27302 ·doi:10.1016/S0003-4843（70）80005-5
[30] 内政部：10.2307/2027134·doi:10.2307/2027134
[31] 《纯粹理性批判》（1781）
[32] 内政部：10.1080/01445348608837096·Zbl 0622.03004号 ·数字对象标识代码：10.1080/01445348608837096
[33] 内政部：10.2307/2026440·doi:10.2307/2026440
[34] 逻辑、语义、元数学（1983）
[35] 《没有数字的数学：走向模态结构解释》（1989）·Zbl 0688.03001号
[36] 科学语义学的建立第401页-（1936）
[37] 内政部：10.2307/298998·doi:10.2307/298998
[38] 形式化语言中的真理概念第152页–（1933）
[39] 理性与逻辑（2006）
[40] 道德多元主义：当前的争论
[41] 证据和调查（1993年）
[42] 《理论》第18页，第189页–（2003）
[43] 《哲学评论》110第241页–（2001）·doi:10.1215/00318108-110-2-241
[44] 真理修正论（1993）·Zbl 0858.03010号
[45] 逻辑常数问题8 pp 137–（2002）
[46] 逻辑的边界：一个广义的观点（1991）·Zbl 1238.03001号
[47] 理论与证据（1980）
[48] 数学哲学：结构与本体（1997）
[49] 遗作：Gottlob Frege（1979）
[50] 没有基础主义的基础：二阶逻辑案例（1991）·Zbl 0732.03002号
[51] 逻辑调查第1页–（1918）
[52] 数学原理（1938）
[53] 算术基本定律：系统的解释（1893）
[54] 数学作为模式科学（1997）·Zbl 0905.03004号
[55] 从弗雷格到哥德尔：数理逻辑的原始资料书，1879年至1931年，第1页（1879年）
[56] DOI:10.1023/B:SYNT.00004903.11236.91·Zbl 1046.03004号 ·doi:10.1023/B:SYNT.00004903.11236.91
[57] 现实主义、数学和情态（1989）·邮编1098.00500
[58] 正义理论（1971）
[59] DOI:10.1023/A:1005223128130·Zbl 1001.03012号 ·doi:10.1023/A:1005223128130
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。