对社会相关问题进行严格的演绎论证
Rigorous Deductive Argumentation for Socially Relevant Issues
摘要：
对社会来说最重要的问题只能用模糊的术语来描述，依赖于主观的立场，并且缺少高度相关的数据。这篇论文旨在恢复和进一步发展这样一种观点，即在不消除复杂性、主观性和不确定性的情况下，给出关于这些问题的非平凡的、严格的演绎论证，虽然非常困难，但原则上并不成问题，不需要发明新的逻辑--经典的一阶逻辑就可以做到--而且是更倾向于演绎的人应该追求的东西。解释的形式证明的框架，提出了形式化和批评严格的演绎论点模糊，主观和不确定的问题，其充分性在很大程度上是由一些主要的例子支持。本论文也记录了一个网络系统的进展，用于协作创作和批评这些论点，这是本项目的最终目标。
英文摘要：
The most important problems for society are describable only in vague terms, dependent on subjective positions, and missing highly relevant data. This thesis is intended to revive and further develop the view that giving non-trivial, rigorous deductive arguments concerning such problems -without eliminating the complications of vagueness, subjectivity, and uncertainty- is, though very difficult, not problematic in principle, does not require the invention of new logics -classical first-order logic will do- and is something that more mathematically-inclined people should be pursuing. The framework of interpreted formal proofs is presented for formalizing and criticizing rigorous deductive arguments about vague, subjective, and uncertain issues, and its adequacy is supported largely by a number of major examples. This thesis also documents progress towards a web system for collaboratively authoring and criticizing such arguments, which is the ultimate goal of this project.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
