On two conceptions of formality in 19th century symbolic logic
This paper deals with two conceptions of formality underlying 19th Century symbolic logic. In both conceptions the idea of symbolic system played an important role. The discussion is guided by a distinction devised by Gottlob Frege between two sorts of formal theories. In the paper both conceptions...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2010 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/192524 |
| Acceso en línea: | http://hdl.handle.net/11336/192524 |
| Access Level: | acceso abierto |
| Palabra clave: | FORMALITY FREGE ERNST_SCHRÖDER https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
| Sumario: | This paper deals with two conceptions of formality underlying 19th Century symbolic logic. In both conceptions the idea of symbolic system played an important role. The discussion is guided by a distinction devised by Gottlob Frege between two sorts of formal theories. In the paper both conceptions are connected to the attempts of constructing universal scientific languages at that time. As a conclusion it will be shown that each of the two conceptions of formality places logic in different levels and determines different conceptions of universality. |
|---|