El Constructivismo y teoría cognitiva de las proposiciones: una dimensión algorítmica
Palabras clave:
intuicionismo, constructivismo, proposiciones, teoría cognitiva, procedimiento algorítmicoResumen
El intuicionismo sostiene que las series numéricas corresponden a nuestras intuiciones del devenir temporal, y explica las operaciones y propiedades de dichos conjuntos como construcciones. Posteriormente, el constructivismo de la Escuela de Erlangen consideraría que las inferencias lógicas concebidas procedimentalmente involucran proposiciones que dan cuenta del lenguaje como una elaboración cultural. Así, el ámbito proposicional poseería un carácter subjetivo que trasciende dichas construcciones entendidas como meras descripciones procedimentales y demandaría un sustrato más consistente como fundamento. Es posible responder a esta carencia apelando a la teoría cognitiva de las proposiciones de Scott Soames como un candidato plausible, puesto que concibe las proposiciones como actos predicativos concretos. A su vez, la teoría de Soames no admite una descripción exhaustiva de los actos cognitivos de predicación que explican el contenido representacional de las proposiciones. Este trabajo se centra en desarrollar una relación complementaria entre ambas teorías susceptible de ser codificada algorítmicamente, en tanto que la dimensión computacional operaría como un gozne articulatorio entre ambas concepciones y permitiría, en último término, formular una definición constructivista de las proposiciones desde el punto de vista cognitivo.
Referencias
Alvarado, J. T. (2022). La teoría cognitiva de las proposiciones y metafísica de propiedades. |Discusiones Filosóficas (41), 31-58. doi: 10.17151/difil.2022.23.41.3
Aristóteles. (1994). Metafísica. (T. Calvo, Trad.). Madrid: Gredos.
Bermúdez, J. L. (2020). Cognitive Science: An Introduction to the Science of Mind. New York: Cambridge University Press.
Boolos, G. y Burgess, J. y Jeffrey, R. (2007). Computability and Logic (5ta. ed.). New York: Cambridge University press.
Brouwer, L. E. J. (1013). Intuitionism and Formalism. Bulletin of the American Mathematical Society (20), 81-96. Recuperado de https://doi.org/10.1090/s0002-9904-1913-02440-6.
Cantor, G. (1955). Contributions to the Founding of the Theory of the Transfinite Numbers. (P. Jourdain, Trad.). New York: Dover.
Carnie, A. (2021a). Syntax: A Generative Introduction (4ta. ed.). Oxford: Wiley-Blackwell.
Churchland, P. (2013). Matter and Consciousness (3ra. ed.). Cambridge: MIT Press.
Dummett, M. (1993). The Seas of Language. New York: Oxford University Press.
Dummett, M. (2000). Elements of Intuitionism. Oxford: Clarendon Press.
Frege, G. (1972). Conceptografía. (H. Padilla, Trad.). México: UNAM.
Heyting, A. (1976). Introducción al Intuicionismo. (V. Sanchez de Savala, Trad.). Madrid: Tecnos.
Johnsonbaugh, R. (1988). Matemáticas Discretas. (R. Guidici y M. R. Brito, Trads.). Cuauhtémoc: Grupo Ed. Iberoamérica.
Kleene, S. (1952). Introduction to Metamathematics. Amsterdam: North-Holland Publishing.
Kripke, S. (1963). Semantical Considerations on Modal Logic. Acta Philosophica, Fennica. 16, pp. 83-94. Recuperado de https://es.scribd.com/doc/50430321/Semantical-Considerations-on-Modal-Logic
Kripke, S. (1965). Semantical Analysis of Intuitionistic Logic I. Studies in Logic and the Foundations of Mathematics. 40, pp. 92-130. Recuperado de https://philpapers.org/rec/KRISAO-2
Lopez, G., Jeder, I. y Vega A. (2009). Análisis y diseño de algoritmos: Implementaciones en C y Pascal. Buenos Aires: Alfaomega.
Lorenzen, P. (1987). Constructive Philosophy. (K. Pavlovic, Trad.). Amherst: The University of Massachusets Press.
Mares, E. (2024). Logic and Information. Cambridge: Cambridge University Press. Recuperado de http://dx.doi.org/10.1017/9781009466745
Minky, M. (1967). Computation: Finite and Infinite Machines. Massachusetts: Prentice Hall.
Mints, G. (2002). A Short Introduction to Intuitionistic Logic. New York: Kluwer.
Mosterín, J. (1995). Computabilidad. En Carlos E. Alchourrón (Ed.), Lógica (pp. 271-288). Madrid: Trotta.
Ojeda, A. E. (2013). A Computational Introduction to Linguistics: Describing Language in Plain PROLOG. Stanford: CSLI Publications.
Rahman, S. y Clerbout, N. (2013). On Dialogues, Predication and Elementary Sentences. Revista de Humanidades de Valparaíso. 2, pp. 7-46. doi: 1022370/rhv2013iss2.
Read, S. (1995). Thinking About Logic: An Introduction to the Philosophy of Logic. Oxford: Oxford University Press.
Redmond, J. y Fontaine, M. (2011). How to Play Dialogs: An Introduction to Dialogical Logic. London: King’s College London.
Righetti, G. (2023). Combining Concepts: Integrating Logical and Cognitive Theories of Concepts. Tesis doctoral, Universidad Libre de Bozen-Bolzano, Italy.
Roark, B. y Sproat, R. (2007). Computational Approaches to Morphology and Syntax. Oxford: Oxford University Press.
Soames, S. (2010). What is Meaning? Princeton: Princeton University Press.
Soames, S. (2014a). Why the Traditional Conceptions of Propositions Can’t Be Correct? New En. King, Soames y Speaks (Eds.). Thinking about Propositions (pp. 25-44). Oxford: Oxford University Press.
Soames, S. (2014b). Cognitive Propositions. En King, Soames y Speaks (Eds.). New Thinking about Propositions (pp. 91-124). Oxford: Oxford University Press.
Soames, S. (2015). Rethinking Language, Mind and Meaning. Princeton: Princeton University Press.
Soames, S. (2019). Propositions as Cognitive Acts. Synthese, 196(4), pp. 1369-1383. Recuperado de http://www.jstor.org/stable/45096405
Torretti, R. (1998). El Paraíso de Cantor, la tradición conjuntista en la filosofía matemática. Santiago: Ed. Universitaria & Andrés Bello.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2026 Eidos
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial 4.0.
Los autores que publican en Eidos acuerdan los siguientes términos:
1. El Autor retiene el copyright del "Artículo", por el cual se entiende todos los objetos digitales que pueden resultar de la subsiguiente publicación o distribución electrónica.
2. En conformidad con los términos de este acuerdo, el autor garantizará a Eidos como Editor el derecho de la primera publicación del artículo.
3. El Autor le concederá al Editor un derecho perpetuo y no-exclusivo, así como una licencia de la misma clase, de publicar, archivar y hacer accesible el Artículo parcial o totalmente en todos los medios conocidos o por conocerse, derecho y licencia que se conocen como Creative Commons License Deed. Atribución-NoComercial 3.0 Unported CC BY-NC 3.0 o su equivalente que para efectos de eliminar toda duda, le permite a otros copiar, distribuir, y transmitir el Artículo bajo las siguientes condiciones: (a) Atribución: Se deben reconocer los créditos de la obra de la manera especificada por el Autor a Eidos, pero no de una manera que sugiera que tiene su apoyo o que apoyan el uso que hace de su obra. (b) No Comercial: No se puede utilizar el Artículo para fines comerciales.
4. El Autor puede realizar otros acuerdos contractuales no comerciales para la distribución no exclusiva de la versión publicada del Artículo (v. gr. ponerlo en un repositorio institucional o publicarlo en un libro) con la condición de que haga el debido reconocimiento de su publicación original en Eidos.
5. A los Autores se les permite y Eidos promueve publicar en línea (online) la versión pre-impresa del Artículo en repositorios institucionales o en sus páginas web, antes y durante la publicación, por cuanto que puede producir intercambios académicos productivos, así como una mayor citación del Artículo publicado (ver The Effect of Open Access). Dicha publicación durante el proceso de producción y en la publicación del Artículo se espera que se actualice al momento de salir la versión final, incluyendo una referencia a la URL de Eidos.
