caa a22 4500 397497997 CHVBK 20180308164526.0 cr unu---uuuuu 161202e199501 xx s 000 0 eng 10.1093/philmat/3.1.31 doi (NATIONALLICENCE)oxford-10.1093/philmat/3.1.31 SHAPIRO STEWART The Ohio State University University Drive, Newark, Ohio 43055-1797, U. S. A. Reasoning, Logic and Computation [Elektronische Daten] [STEWART SHAPIRO] The idea that logic and reasoning are somehow related goes back to antiquity. It clearly underlies much of the work in logic, as witnemed by the development of computability, and formal and mechanical deductive systems, for example. On the other hand, a platitude is that logic is the study of correct rea soning; and reasoning is cognitive if anything Is. Thus, the relationship between logic, computation, and correct reasoning makes an interesting and historically central case study for mechanism. The purpose of this article is to begin the articulation of this relationship, pointing out its sources and its limitations. © Oxford University Press Articles nationallicence Philosophia Mathematica Oxford University Press 3/1(1995-01), 31-51 0031-8019 3:1<31 1995 3 philmat https://doi.org/10.1093/philmat/3.1.31 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1093/philmat/3.1.31 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- SHAPIRO STEWART The Ohio State University University Drive, Newark, Ohio 43055-1797, U. S. A NATIONALLICENCE 773 0- Philosophia Mathematica Oxford University Press 3/1(1995-01), 31-51 0031-8019 3:1<31 1995 3 philmat Metadata rights reserved CC BY-NC-4.0 http://creativecommons.org/licenses/by-nc/4.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-oxford