Qal wa- omer and Theory of Massive-Parallel Proofs
History and Philosophy of Logic 32 (1):71-83 (2011)
| Abstract | In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa- 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesBart D.’hooghe & Jaroslaw Pykacz (2004). Quantum Mechanics and Computation. Foundations of Science 9 (4).
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Andrew Wells (1993). Parallel Architectures and Mental Computation. British Journal for the Philosophy of Science 44 (3):531-542.
Edouard Machery (2007). Massive Modularity and Brain Evolution. Philosophy of Science 74 (5):825-838.
L. Hammen (1986). On Some Aspects of Parallel Evolution in Chelicerata. Acta Biotheoretica 35 (1-2).
Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.
Andrew Boucher (1997). Parallel Machines. Minds and Machines 7 (4):543-551.
David J. Stump (2007). The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs. History and Philosophy of Logic 28 (1):19-30.
Wai-Hung Wong (1999). Interpretive Charity, Massive Disagreement, and Imagination. Canadian Journal of Philosophy 29 (1):49-74.
Peter Carruthers (2006). Simple Heuristics Meet Massive Modularity. In Peter Carruthers, Stephen Laurence & Stephen P. Stich (eds.), The Innate Mind: Culture and Cognition. Oxford University Press.
Ryo Takemura (2013). Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. Studia Logica 101 (1):157-191.
Wai-hung Wong (1999). Interpretive Charity, Massive Disagreement, and Imagination. Canadian Journal of Philosophy 29 (1):49-74.
Patrizio Contu (2006). The Justification of the Logical Laws Revisited. Synthese 148 (3):573 - 588.
Maria Bonet, Toniann Pitassi & Ran Raz (1997). Lower Bounds for Cutting Planes Proofs with Small Coefficients. Journal of Symbolic Logic 62 (3):708-728.
Angeles Eraña (2012). Dual Process Theories Versus Massive Modularity Hypotheses. Philosophical Psychology 25 (6):855-872.
Analytics
Monthly downloads |
Added to index2011-02-09Total downloads12 ( #93,408 of 549,124 )Recent downloads (6 months)1 ( #63,361 of 549,124 )How can I increase my downloads? |
My notes
Discussion
