resumoEste artigo procura discutir um dos episódios-tipo da atividade científica -a saber, a publicação de artigos científicos -do ponto de vista de uma análise da pragmática da investigação em convergência com a perspectiva de Patrick Suppes sobre o que seria uma escolha livre. Em primeiro lugar, é apresentada a ideia de Suppes de introduzir uma medida para a liberdade. Em seguida, oferece-se um esboço da noção de pragmática da investigação científica. Finalmente, introduz-se uma interpretação de uma trajetória de investigação em termos de cadeias de Markov.Palavras-chave • Pragmática da investigação. Cadeias de Markov. Escolha livre. Artigos científicos. Patrick Suppes.Tradicionalmente, a atividade científica é tomada como paradigma da ação racional, atividade na qual o pensamento humano livre de quaisquer restrições pode avaliar o valor das ideias e escolher livremente entre elas com base em argumentos logicamente válidos. A perspectiva defendida neste artigo não vai contra essa noção, nem contra a concepção mais geral segundo a qual o comportamento racional consiste em pesar prós e contras um curso de ação e, com base em tais razões, agir. Assim como Suppes, apenas procuramos compreender esse tipo de comportamento como o resultado de determinados contextos.No caso da atividade científica especificamente, há contextos científicos institucionalizados que devem ser compreendidos para que possamos perceber em que medida é possível falar de escolhas livres e racionais da parte do cientista quando se ocupa de teorias, evidências, testes, aplicações etc., inclusive a divulgação de resultados alcançados. Este último ponto, no caso da publicação de artigos científicos, é o foco da análise que vamos apresentar.Outra concepção tradicional que poderia impedir de adotar tal abordagem para compreender a ciência é aquela segundo a qual a filosofia da ciência não deveria se ocupar da prática científica concreta, mas apenas da legitimidade e racionalidade de scientiae zudia,
Abstract. The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski's consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.