Qal wa-[image omitted]omer and Theory of Massive-Parallel Proofs
Abstract:In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-[image omitted]omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.
Document Type: Research Article
Affiliations: Department of Philosophy and Science Methodology, Belarusian State University, Belarus
Publication date: February 1, 2011