Constructivism and Cognitive Theory of Propositions: An Algorithmic Dimension
Keywords:
intuitionism, constructivism, propositions, cognitive theory, algorithmic, procedureAbstract
Intuitionism maintains that numerical series correspond to our intuitions of continuous temporal evolution, with the operations and properties of these sets explained as constructions. Subsequently, the constructivism of the Erlangen School would also consider that logical inferences conceived procedurally involve propositions that account for language as a historical-cultural elaboration. In such a case, the propositional domain would possess a subjective character that goes beyond the conception of these constructions as mere procedural descriptions, thereby demanding a more consistent substrate as its foundation. This need can be met by appealing to Scott Soames’s cognitive theory of propositions as a plausible candidate, since he conceives of propositions as concrete predicative acts. In turn, Soames’s theory does not provide an exhaustive description of the cognitive acts of predication that explain the representational content of propositions. Accordingly, this work focuses on developing a complementary relationship between the two theories that is amenable to algorithmic coding, whereby the computational dimension operates as an articulatory hinge between the two conceptions, ultimately allowing us to formulate a constructivist definition of propositions from a cognitive point of view.
References
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.
Downloads
Published
Issue
Section
License
Copyright (c) 2026 Eidos
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Authors who publish with this journal agree to the following terms:1. The Author retains copyright in the Work, where the term "Work" shall include all digital objects that may result in subsequent electronic publication or distribution.
2. Upon acceptance of the Work, the author shall grant to the Publisher the right of first publication of the Work.
The Author shall grant to the Publisher a nonexclusive perpetual right and license to publish, archive, and make accessible the Work in whole or in part in all forms of media now or hereafter known under a Creative Commons 3.0 License Attribution-NonCommercial 3.0 Unported CC BY-NC 3.0, or its equivalent, which, for the avoidance of doubt, allows others to copy, distribute, and transmit the Work under the following conditions: (a) Attribution: Other users must attribute the Work in the manner specified by the author as indicated on the journal Web site;(b) Noncommercial: Other users (including Publisher) may not use this Work for commercial purposes;
4. The Author is able to enter into separate, additional contractual arrangements for the nonexclusive distribution of the journal's published version of the Work (e.g., post it to an institutional repository or publish it in a book), as long as there is provided in the document an acknowledgement of its initial publication in this journal.
5. Authors are permitted, and Eidos promotes, to post online the preprint manuscript of the Work in institutional repositories or on their Websites prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (see The Effect of Open Access). Any such posting made before acceptance and publication of the Work is expected be updated upon publication to include a reference to the Eidos's assigned URL to the Article and its final published version in Eidos.
