Author： Schumann Andrew
Publisher： Taylor & Francis Ltd
ISSN： 1464-5149
Source： History and Philosophy of Logic, Vol.32, Iss.1, 2011-02, pp. : 71-83
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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.
Related content
Access to resources
Recommend
Avicenna and [image omitted]usī on Modal Logic
History and Philosophy of Logic, Vol. 30, Iss. 3, 2009-08 ,pp. :
Journal of Philosophical Logic, Vol. 33, Iss. 3, 2004-06 ,pp. :