Shopping cart
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
DOI: http://dx.doi.org/10.1080/01445340.2010.506104
Affiliations: 1: Department of Philosophy and Science Methodology, Belarusian State University, Belarus
Publication date: 2011-02-01
- Editorial Board
- Information for Authors
- Subscribe to this Title
- ingentaconnect is not responsible for the content or availability of external websites
- In this: publication
- By this: publisher
- In this Subject: Philosophy
- By this author: Schumann, Andrew
Tools
Receive new issue alert
Latest TOC RSS FeedKey
Print this page