The logic and the metaphysic of puzzles : surprise, wonder and information

O presente trabalho tem por objetivo avaliar o papel do estudo sistemático da surpresa, do espanto, da admiração e dos enigmas para a teoria do conhecimento e, em termos mais gerais, para a filosofia. Tal estudo envolve ainda conceitos filosóficos importantes tais como os de informação, jogo, problema, raciocínio, conhecimento e ignorância. A análise lógico-filosófica que enfocam a teoria da informação serão baseadas, em princípio, nos trabalhos de Yehoshua Bar-Hillel, Rudolf Carnap e Jaakko Hintika (CARNAP; BARHILLEL, 1952), (CARNAP; BAR-HILLEL, 1953) e (HINTIKKA, 1970) sobre a semântica da informação e no texto de Walter A. Carnielli, Marcelo E. Coniglio e João Marcos (CARNIELLI et al., 2007) sobre lógicas da inconsistência formal. Neste âmbito, tem-se como meta identificar o espectro lógico subjacente a um cenário informativo arbitrário. A partir disso, propomos uma teoria semântica da informação tendo em conta constituintes não-clássicos. Investigamos a ideia de que algumas partes da teoria dos enigmas e da noção formal de surpresa são instâncias da teoria dos jogos sobre cenários não-clássicos, a relevância de tal estudo para a filosofia e, em particular, para a teoria do conhecimento.This work is directed towards a systematic study of surprise, wonder, admiration and puzzles within the context of epistemology and philosophy. This study also involves important philosophical concepts such as information, game, problem, reasoning, knowledge and ignorance. The logical and philosophical analysis about information theory will be firstly based on the work of Jaakko Hintika, Yehoshua Bar-Hillel and Rudolf Carnap (CARNAP; BAR-HILLEL, 1952), (CARNAP; BAR-HILLEL, 1953) and (HINTIKKA, 1970) on the semantics of information, and on the text of Walter A. Carnielli, Marcelo E. Coniglio and João Marcos (CARNIELLI et al., 2007) on the logics of formal inconsistency. In this context, the goal is to identify the logical spectrum underlying an informative scenario. After this step, we propose a semantic information theory with non-classical constituents. We will investigate the idea that parts of the puzzle theory and the formal concept of surprise are instances of the game theory on non-classical scenarios and the relevance of such study for philosophy, in particular to epistemology