PhilArchive
open access
Formal theory of thinking
The definition of thinking in general form is given. The constructive logic of thinking is formulated. An algorithm capable of arbitrarily complex thinking is built.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Theories of Mind as Domain-Specific Languages of Thought#1014188
- An Investigation of the Laws of Thought On which are founded the mathematical theories of logic and probabilities#38039
- Concepts and Correct Thinking#89581
- Mathematical Logic as Based on the Theory of Types#79881
- What is Logical or Rational Thinking, and how does it relate to Reasoning, Heuristics, Biases and the Rationality Debate?#760378
Record · ID 97680
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive