Qal wa-[image omitted]omer and Theory of Massive-Parallel Proofs
Author: Schumann, Andrew
Source: History and Philosophy of Logic, Volume 32, Number 1, February 2011 , pp. 71-83(13)
Publisher: Taylor and Francis Ltd
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
Publication date: 2011-02-01