This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

Thought experiments, models, diagrams, computer simulations, and metaphors can all be understood as tools of the imagination. While these devices are usually treated separately in philosophy of science, this paper provides a unified account according to which tools of the imagination are epistemically good insofar as they improve scientific imaginings. Improving scientific imagining is characterized in terms of epistemological consequences: more improvement means better consequences. A distinction is then drawn between tools being good in retrospect, at the time, and in (...) general. In retrospect, tools are evaluated straightforwardly in terms of the quality of their consequences. At the cutting edge, tools are evaluated positively insofar as there is reason to believe that using them will have good consequences. Lastly, tools can be generally good, insofar as their use encourages the development of epistemic virtues, which are good because they have good epistemic consequences. (shrink)

Philosophers have debated at length the epistemological status of scientific thought experiments. I contend that the literature on this topic still lacks a common conceptual framework, a lacuna that produces radical disagreement among the participants in this debate. To remedy this problem, I suggest focusing on the distinction between the internal and the external validity of an experiment, which is also crucial for thought experiments. I then develop an account of both kinds of validity in the context of thought experiments. (...) I show that we can naturally conceptualise internal validity in terms of games of make-believe. Then, I argue that external validity is best defined as accurate representation of a target system. Finally, I turn back to the current debate on thought experiments and show that my diarchic account provides a general framework that can be shared by the competing philosophical views, as well as a fruitful guide for their reconciliation. (shrink)

Typically, the imagination in thought experiments has been taken to consist in mental images; we visualize the state of affairs described. A recent alternative from Fiora Salis and Roman Frigg main...

Different why-questions emerge under different contexts and require different information in order to be addressed. Hence a relevance relation can hardly be invariant across contexts. However, what is indeed common under any possible context is that all explananda require scientific information in order to be explained. So no scientific information is in principle explanatorily irrelevant, it only becomes so under certain contexts. In view of this, scientific thought experiments can offer explanations, should we analyze their representational strategies. Their representations involve (...) empirical as well as hypothetical statements. I call this the “representational mingling” which bears scientific information that can explain events. Buchanan’s thought experiment from constitutional economics is examined to show how mingled representations explain. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between empirical and (...) mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between empirical and (...) mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

Thought experiments (TEs) are important tools in science, used to both undermine and support theories, and communicate and explain complex phenomena. Their interest within philosophy of science has been dominated by a narrow question: How do TEs increase knowledge? My aim is to push beyond this to consider their broader value in scientific practice. I do this through an investigation into the scientific imagination. Part one explores questions regarding TEs as “experiments in the imagination” via a debate concerning the epistemic (...) status of computer simulations in science. I outline how, against Hacking, TEs also have “a life of their own” and I argue against accounts that privilege experiments over simulations (and by extension TEs) in light of their capacity to surprise in a productive way. Part two develops a pluralist account of the nature of the imagination in science. At its core, my view is that when we attend to a number of examples of TEs and consider the context in which they are used, we see that TEs engage a variety of our imaginative capacities. Existing monistic views fail to recognise the richness of the imagination and its potential in science. Part three looks to the “beauty” of TEs which is currently overlooked in the aesthetics of science literature. I put forward a new account that demonstrates the epistemic value of aesthetic features in science by showing how an appropriate fit between form and content enhances the usability of a TE, and its effectiveness as a prompt for our imagination. This also enables a more nuanced take on the proposed similarities between TEs and literary fictions. In the concluding chapter, I outline ways in which the core features of my account can be extended beyond TEs to illuminate the significance of the imagination and aesthetic values in other areas of science. (shrink)