Qal wa-[image omitted]omer and Theory of Massive-Parallel Proofs

$51.63 plus tax (Refund Policy)

Buy Article:

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

DOI: http://dx.doi.org/10.1080/01445340.2010.506104

Affiliations: Department of Philosophy and Science Methodology, Belarusian State University, Belarus

Publication date: February 1, 2011

More about this publication?
Related content

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more