The Seeming Interdependence Between the Concepts of Valid Inference and Proof |
| |
Authors: | Prawitz Dag |
| |
Affiliation: | 1.Department of Philosophy, Stockholm University, 106 91, Stockholm, Sweden ;2.Engelbrektsgatan 4, 114 32, Stockholm, Sweden ; |
| |
Abstract: | Topoi - We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a... |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|