Resumo em Inglês:

Abstract Counterfactuals have become an important area of interdisciplinary interest, especially in logic, philosophy of language, epistemology, metaphysics, psychology, decision theory, and even artificial intelligence. In this study, we propose a new form of analysis for counterfactuals: analysis by algorithmic complexity. Inspired by Lewis-Stalnaker's Possible Worlds Semantics, the proposed method allows for a new interpretation of the debate between David Lewis and Robert Stalnaker regarding the Limit and Singularity assumptions. Besides other results, we offer a new way to answer the problems raised by Goodman and Quine regarding vagueness, context-dependence, and the non- monotonicity of counterfactuals. Engaging in a dialogue with literature, this study will seek to bring new insights and tools to this debate. We hope our method of analysis can make counterfactuals more understandable in an intuitively plausible way, and a philosophically justifiable manner, aligned with the way we usually think about counterfactual propositions and our imaginative reasoning.

Resumo em Inglês:

Abstract Even though it is obvious that mathematics involves social activities, this rather trivial fact is rarely considered as important for its subject matter, mostly due to its undesired ontological consequences. An attempted solution for this tension was developed by Julian Cole’s institutional account of mathematics, named Practice- Dependent Realism. In the present paper, Cole’s account is evaluated, and its lights and shadows assessed concerning the ontological problem that he seeks to solve. I argue that his institutional account, although failing in delivering a sufficient ontological account of mathematics, still opens an important linguistic route for explaining its practice.

Resumo em Inglês:

Abstract In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems. However, besides the articles published by Turquette in the 1970s and 1980s, very little progress has been made toward a comprehensive understanding of the formal aspects of Peirce's triadic logic (as he called it). This paper aims to propose a new approach to Peirce's matrices for three-valued propositional logic. We suggested that his logical matrices give rise to three different systems, one of them - which we called P3 - is an original and non-explosive logic. Besides that, we will show that the P3 system can easily be transformed into paraconsistent and paracomplete calculi, adding to it, respectively, unary operators of consistency and intuitionistic negation. We conclude with a discussion about philosophical motivations.