Repository | Series | Buch | Kapitel
On an attempt to formalize guessing
pp. 237-255
Abstrakt
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.
Seiten: 237-255
DOI: 10.1007/978-3-642-24672-2_12
Referenz:
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.