Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

195205

On an attempt to formalize guessing

Itziar García-HonradoEnric Trillas

pp. 237-255

Abstract

Guessing from a piece of information is what humans do in their reasoning processes, that is why reasoning and obtaining conjectures can be considered almost equivalent. These reasoning processes are nothing else than posing new questions which possible answers are non contradictory with the available information. This is the idea that allows to introduce different mathematical models by means of different conjecture operators, built up depending on how the concept of non-contradiction is understood. A relevant contribution of this chapter is that there can be conjecture operators not coming from Tarski's operators of consequences, in this way untying the concept of conjecture from a previously given deductive system. The concept of a conjecture proves to include those of logical consequences, hypotheses and speculations.

Publication details

Published in:

Seising Rudolf, Sanz González Veronica (2012) Soft computing in humanities and social sciences. Dordrecht, Springer.

Pages: 237-255

DOI: 10.1007/978-3-642-24672-2_12

Full citation:

García-Honrado Itziar, Trillas Enric (2012) „On an attempt to formalize guessing“, In: R. Seising & V. Sanz González (eds.), Soft computing in humanities and social sciences, Dordrecht, Springer, 237–255.