Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus.
By way of a close reading of Boole and Frege's solutions to the same logical problem, we highlight an underappreciated aspect of Boole's work—and of its difference with Frege's better-known approach—which we believe sheds light on the concepts of 'calculus' and 'mechanization' and on their history....
| Publicado en: | Synthese Vol. 199; no. 5/6; pp. 11913 - 11944 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Dec2021
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |