TL;DR
This paper explores extending fundamental concepts like distance and size beyond traditional definitions, proposes a pragmatic approach to contradictions based on source reliability, and examines links between formal semantics and brain processes, including analysis of the liar paradox.
Contribution
It introduces novel methods for generalizing concepts and handling contradictions, and connects formal semantics with cognitive processes, offering new perspectives in logic and philosophy.
Findings
Generalized concepts to non-standard situations
Proposed a reliability-based contradiction handling method
Linked formal semantics to brain processes
Abstract
The main subjects of this text are: (1) Generalization of concepts and operations, like distance and size, to situations where they are not definable in the usual way. (2) A pragmatic theory of handling contradictions using reliability of the information sources. (3) Relation of formal semantics to brain processes. (4) Remarks on Yablo's coding of the liar paradox in infinite acyclic graphs.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms · Advanced Algebra and Logic