Computer Science > Logic in Computer Science
[Submitted on 8 Feb 2015 (v1), last revised 26 Sep 2018 (this version, v2)]
Title:Rigorous Deductive Argumentation for Socially Relevant Issues
View PDFAbstract: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.
Submission history
From: Robert Dustin Wehr [view email][v1] Sun, 8 Feb 2015 16:57:15 UTC (1,567 KB)
[v2] Wed, 26 Sep 2018 17:47:50 UTC (1,571 KB)
Current browse context:
cs.LO
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.