逻辑
 |
 |
逻辑（logic）
逻辑
逻辑
从
词源
[编辑]逻辑（
概 论
[编辑]逻辑
逻辑
传统
分 类
[编辑]经典逻辑
[编辑]经典逻辑: 经典逻辑
非 经典逻辑
[编辑]形式 逻辑
[编辑]符号 逻辑
[编辑]数理 逻辑
[编辑]非 形式 逻辑
[编辑]哲学 逻辑
[编辑]概念
[编辑]逻辑学 基本 公理
[编辑]形式 逻辑学
[编辑]经典逻辑
同 一律 （the law of identity）事物 跟其自身 相等 同 ，“自己 ”不能 “不 是 自己 ”。- 无
矛盾 律 （the law of non-contradiction） 事物 不能 同 时“是 ”跟“不 是 ”。是 就是，不 是 就不是 。排中律 （the law of excluded middle）事物 只 能 有 “是 ”或 “不 是 ”两种状 态，不 存在 其他中 间状态。充足 理由 律 （the law of sufficient reason）任 何 事物 都 有 其存在 的 充足 理由 。
非 形式 逻辑学
[编辑]函 中 律 （the law of included middle）事物 不 仅有“是 ”或 “不 是 ”两种状 态，还存在 “非 是 ”及“非 不 是 ”的 P状 态（possibly true),其值属 于区间[0,1]。
辩证逻辑
在 辩证逻辑中 ，允 许矛盾 的 存在 ，并接纳对立统一规律。在 辩证逻辑中 认为，社会 和 思想 领域中 的 任 何 事物 以及事物 之 间都包含 着 矛盾 性 ，事物 矛盾 双方 又 统一又斗争推动事物的运动、变化和 发展。对立统一规律认为，矛盾 双方 的 同 一性与斗争性；矛盾 的 普遍 性 与 特殊 性 ;事物 发展过程中 的 矛盾 以及矛盾 双方 发展的 不 平衡 性 。辩证法 是 解 决矛盾 的 方法 论。
逻辑系 统的性 质
[编辑]有效 性 （validity）依 系 统的推理 规则，若 所有 前提 皆 为真 则结论必为真（保 真 ）。所有 命 题之 前提 皆 语义蕴涵（semantic consequence）结论。自 洽 性 （consistency）系 统中任 一定理都不与其他定理相矛盾 。不 存在 命 题P，P和 非 P皆 可 在 系 统中证明。可 靠 性 （soundness）系 统中所有 定理 （有效 且可证明的 命 题）皆 为真。可 靠 性 与 完 备性互为逆 命 题。完 备性（completeness）系 统中不 存在 无法证明或 证否的 有效 命 题。系 统中真 命 题皆可 证明（真 命 题皆为定理 ）且假命 题皆可 证否。表 达性 (computer science)（Expressivity）系 统中可 以表达哪些概念 。
对于逻辑的 不同 理解
[编辑]逻辑产生于对论证
演 绎和归纳
[编辑]发展历史
[编辑]许多
现代逻辑
逻辑学 学科 体系
[编辑]注 释
[编辑]参考 文献
[编辑]引用
[编辑]- ^ logic, britannica.com. [2021-06-27]. （
原始 内容 存 档于2022-07-10）. - ^ Richard Henry Popkin; Avrum Stroll. Philosophy Made Simple. Random House Digital, Inc. 1 July 1993: 238 [5 March 2012]. ISBN 978-0-385-42533-9. （
原始 内容 存 档于2015-04-08）. - ^ Gensler, Harry J. Chapter 1: Introduction. Introduction to logic 3rd. New York: Routledge. 2017: 1 [2002]. ISBN 9781138910591. OCLC 957680480. doi:10.4324/9781315693361.
- ^ Hurley, Patrick J. A Concise Introduction to Logic, 10th Edition. The United States of America: Thomson Wadsworth. 2008: 1. ISBN 978-0-495-50383-5.
- ^ 5.0 5.1 Hofweber, T. Logic and Ontology. Zalta, Edward N (编). Stanford Encyclopedia of Philosophy. 2004 [2006-01-20]. （
原始 内容 存 档于2021-01-13）. - ^ Cox, J. Robert; Willard, Charles Arthur (编). Advances in Argumentation Theory and Research. Southern Illinois University Press. 1983. ISBN 978-0809310500.
- ^ Liddell, Henry George, and Robert Scott. "Comp. Greek-English lexicon (LSJ)." (1996).
- ^ "逻辑
最初 译本为固陋 所 及见者 ，有明 季之 《名 理 探 》，乃李之 藻 所 译，今日 税 务司译有《辩学启蒙》，皆 不 是 本学 之 深 之 相 副 。必求甚近，姑 以名学 译之" - ^ "
吾 中国 将来 之 学界 ，必与日本 学界 有 密 切 之 关系。故 今 勿宁多 采 之 。免 使 与 方 来 之 译本生 参差 也" - ^
建国 方略 之 一 ·孙文学 说·第 三 章 以作文 为证 -主要 著述 - 孙中山 故 居 纪念馆_伟人孙中山 . sunyat-sen.org. [2022-07-27]. （原始 内容 存 档于2022-07-26）.然 则逻辑究为何物 ？当 译以何 名 而后妥？作者 于此，盖欲有 所 商 榷也。凡稍涉 猎乎逻辑者 ，莫不知 此为诸学诸事之 规则，为思想 行 为之门径也。人 类由之 而不知 其道者 众矣，而中国 则至今 尚 未 有 其名。吾 以为当 译之为“理 则”者 也。夫 斯学 至 今 尚 未 大 为发明 ，故 专治此学者 ，所持 之 说，亦 莫衷一 是 。而此外 学者 之 对于理 则之学 ，则大都 如陶渊明之 读书，不 求 甚解而已。惟 人 类之禀赋，其方寸 自 具有 理 则之感 觉，故 能文 之 士 ，研 精 构思，而作成 不朽 之 文章 ，则无不 暗合 于理则者；而叩其造诣之道 ，则彼亦 不 自 知 其何由也 。 - ^
中国 社会 科学 报：“logic”之 中 译名考 ：意 译到音 译的回 归-媒体 南 开-南 开大学 . news.nankai.edu.cn. [27 July 2022]. - ^ J. Bruno Leclercq et Laurence Bouquiaux, Logique formelle et argumentation, Édition 3, De Boeck Université, 2017 ISBN 978-2-8073-1446-7, ISBN 978-2807314467
- ^ J. Robert Cox and Charles Arthur Willard, eds. Advances in Argumentation Theory and Research, Southern Illinois University Press, 1983 ISBN 978-0-8093-1050-0, ISBN 978-0809310500
- ^ 14.0 14.1 Smith, Robin. Aristotle’s Logic. 2000-03-18 [2021-05-09]. （
原始 内容 存 档于2021-05-09）. - ^ 亚里
士多 德 著 ;余 纪元等 翻 译.工具 论（上下 ）,中国 人民 大学 出版 社 ， ISBN：9787300051185,出版 时间： 2003. - ^ 16.0 16.1 Alfred North Whitehead and Bertrand Russell, Principia Mathematical to *56, Cambridge University Press, 1967, ISBN 978-0-521-62606-4
- ^ J. Dirk W. Hoffmann, Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik, Auflage: 3, Springer Spektrum, 2018 ISBN 978-3-6625-6616-9, ISBN 978-3662566169
- ^ J. Martin Davis, The Universal Computer. The Road from Leibniz to Turing, A K Peters and CRC Press, 2011 ISBN 978-1-4665-0520-9, ISBN 978-1466505209
- ^ Shapiro, Stewart; Kouri Kissel, Teresa. Classical Logic. 2000-09-16 [2021-05-09]. （
原始 内容 存 档于2021-05-10）. - ^ Priest, Graham; Tanaka, Koji; Weber, Zach. Paraconsistent Logic. Zalta, Edward N. (编). The Stanford Encyclopedia of Philosophy Summer 2018. Metaphysics Research Lab, Stanford University. 2018 [2021-05-09]. （
原始 内容 存 档于2021-05-06）. - ^
桂 起 权， 陈立直 ，朱 福 喜 ， 《次 协调逻辑与人工 智能 作 》，武 汉大学 出版 社 ，ISBN9787307031685， 2002. - ^ Mares, Edwin, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.). [2021-06-27]. （
原始 内容 存 档于2021-08-15）. - ^ Priest, Graham, Francesco Berto, and Zach Weber, "Dialetheism", The Stanford Encyclopedia of Philosophy (Fall 2018 Edition), Edward N. Zalta (ed.). [2021-06-27]. （
原始 内容 存 档于2020-07-25）. - ^ Formal logic, Encyclopædia Britannica. [2021-06-27]. （
原始 内容 存 档于2021-04-22）. - ^ Aristotle, The Basic Works, Richard Mckeon, editor, Modern Library, 2001, ISBN 978-0-375-75799-0, see especially, Posterior Analytics.
- ^ J. Antonio Joaquín Roldán Marco, Lógica: 1º Bachillerato, publicado de forma independiente, 2018 ISBN 978-1-9806-4558-0, ISBN 978-1980645580
- ^ 27.0 27.1 For a more modern treatment, see A. G. Hamilton, Logic for Mathematicians, Cambridge, 1980, ISBN 978-0-521-29291-7
- ^ Informal Logic. informallogic.ca. [2021-05-09]. （
原始 内容 存 档于2021-05-11）. - ^ Plato, The Portable Plato, edited by Scott Buchanan, Penguin, 1976, ISBN 978-0-14-015040-7
- ^ John P. Burgess. Philosophical logic. Princeton University Press. 2009: vii–viii [2021-07-01]. ISBN 978-0-691-13789-6. （
原始 内容 存 档于2020-08-06）. - ^ John P. Burgess, Philosophical Logic, Princeton University Press: 2009.
- ^ Lou Goble (ed.), The Blackwell Guide to Philosophical Logic （页面
存 档备份，存 于互联网档案 馆）, Oxford: Blackwell: 2009 (ISBN 0-631-20693-0). - ^ Gabbay, Dov M.; Guenthner, Franz (编), Handbook of Philosophical Logic, [2021-07-01], （
原始 内容 存 档于2016-09-03） - ^ Mendelson, Elliott. Quantification Theory: Completeness Theorems. Introduction to Mathematical Logic. Van Nostrand. 1964. ISBN 0412808307.
- ^ J. Jörg Hardy und Christoph Schamberger, Logik der Philosophie: Einführung in die Logik und Argumentationstheorie, UTB GmbH, 2017 ISBN 978-3-8252-4897-0, ISBN 978-3825248970
来 源
[编辑]- G. Birkhoff and J. von Neumann, 1936. 'The Logic of Quantum Mechanics'. Annals of Mathematics, 37:823-843.
- D. Finkelstein, 1969. 'Matter, Space and Logic'. In R. S. Cohen and M. W. Wartofsky, (eds.), Proceedings of the Boston Colloquium for the Philosophy of Science, Boston Studies in the Philosophy of Science, vol 13. ISBN 978-90-277-0377-4.
- D. M. Gabbay and F. Guenthner (eds.) 2001-2005. Handbook of philosophical logic (2nd ed.). 13 volumes. Dordrecht, Kluwer.
- D. Hilbert and W. Ackermann, 1928. Grundzüge der theoretischen Logik (Principles of Theoretical Logic). Springer-Verlag, ISBN 978-0-8218-2024-7.
- W. Hodges, 2001. Logic. An introduction to elementary logic. Penguin Books.
- T. Hofweber, 2004. Logic and Ontology （页面
存 档备份，存 于互联网档案 馆）. In the Stanford Encyclopedia of Philosophy. - R. I. G. Hughes (editor), 1993. A Philosophical Companion to First-Order Logic. Hackett.
- W. Kneale and M. Kneale, 1962/1988. The Development of Logic. Oxford University Press, ISBN 978-0-19-824773-9.
- G. Priest, 2004. Dialetheism （页面
存 档备份，存 于互联网档案 馆）. In the Stanford Encyclopedia of Philosophy. - H. Putnam, 1969. Is Logic Empirical?. Boston Studies in the Philosophy of Science, vol V.
- B. Smith, 1989. 'Logic and the Sachverhalt', The Monist, 72(1):52-69.
- D. Vernant, 2018. 'Questions de Logique et de Philosophie'. Mimesis, ISBN 978-8-8697-6102-7
外部 链接
[编辑]
- 倪梁
康 ：〈现象学 与 逻辑学 〉 （页面存 档备份，存 于互联网档案 馆）（2004年 ） - 倪梁
康 ：〈《逻辑研究 》中 的 观念对象和 观念直 观〉 （页面存 档备份，存 于互联网档案 馆）（2009年 ） - History of Logic in Relationship to Ontology （页面
存 档备份，存 于互联网档案 馆） Annotated bibliography on the history of logic
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||