Abstract
Computer Science studies the possibility of mechanizing reasoning, an activity of the human brain often confused with thinking, but more or less distinguished from guessing. This paper is devoted to considering, at not too much length, the links between thinking, guessing and reasoning.
To professor Manuel Hermenegildo. Dear Manuel, Pax et Bonum!.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Birkhoff, G.: Lattice Theory. American Mathematical Society, Colloquium Publications (1967)
Bodiou, G.: Théorie dialectique des probabilités, englobant leurs calculs classique et quantique. Gauthier-Villars (1964)
Trillas, E., Castiñeira, E., Cubillo, S.: Averaging premises. Mathware Soft Comput. 8(2), 83–91 (2001)
Trillas, E., Termini, S., Tabacchi, M.E.: Reasoning and Language at Work. A Critical Essay. Springer, Cham (2022)
Trillas, E.: Glimpsing at guessing. Fuzzy Sets Syst. 281, 32–43 (2015)
Trillas, E.: On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic. SFSC, vol. 354. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-56053-3
Trillas, E.: El desafío de la creatividad. Universidade de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico (2018)
Trillas, E.: Narrar, conjeturar y computar. Editorial Universidad de Granada, El pensamiento (2020)
Trillas, E., Cubillo, S., Castiñeira, E.: On conjectures in orthocomplemented lattices. Artif. Intell. 117(2), 255–275 (2000)
Trillas, E., de Soto, A.R.: On the search of speculations. New Math. Nat. Comput. 18(1), 9–18 (2022)
Trillas, E., Eciolaza, L.: Fuzzy Logic. SFSC, vol. 320. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-14203-6
Trillas, E., García-Honrado, I.: A reflection on the dialectic synthesis. New Math. Nat. Comput. 15(1), 31–46 (2019)
Acknowledgements
The author thanks the referees whose corrections did improve this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Trillas, E. (2023). A Discourse on Guessing and Reasoning. In: Lopez-Garcia, P., Gallagher, J.P., Giacobazzi, R. (eds) Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Lecture Notes in Computer Science, vol 13160. Springer, Cham. https://doi.org/10.1007/978-3-031-31476-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-031-31476-6_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-31475-9
Online ISBN: 978-3-031-31476-6
eBook Packages: Computer ScienceComputer Science (R0)