K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

Resumen El objetivo de este trabajo es determinar la relevancia de la teoría informacional del conocimiento para el problema de la suerte epistémica. Argumento que el clásico enfoque de Dretske es equivalente a la condición de seguridad de Pritchard. Sin embargo, considero que esta manera de eludir la suerte epistémica exige lidiar con el llamado "problema de la generalidad". Argumento que una respuesta a este problema requiere una noción de seguridad diferente y propongo un enfoque informacional equivalente a esta versión (...) del requisito. Concluyo que este enfoque es preferible a la condición de seguridad propuesta porque desvela relaciones conceptuales entre los elementos que constituyen el conocimiento.The aim of this paper is to determine the relevance of an informational theory of knowledge to address recently discussed epistemic problems. I argue that Dretske's classical approach is equivalent to the safety condition proposed by Pritchard to avoid epistemic luck. However, I claim that Pritchard's condition has to be modified to avoid the so-called "generality problem" for reliabilism. I propose an alternative version of the requirement to deal with these problems and provide an equivalent informational condition. I conclude that this informational version is preferable since it reveals conceptual relationships between the constituents of knowledge. (shrink)

Philosophers and cognitive scientists alike have recently been interested in whether cognition extends beyond the boundaries of skin and skull and into the environment. However, the extended cognition hypothesis has suffered many objections over the past few decades. In this paper, I explore the option of control extending beyond the human boundary. My aim is to convince the reader of three things: (i) that control can be implemented in artifacts, (ii) that humans and artifacts can form extended control systems, and (...) (iii) that perhaps extended control ought to be preferred over extended cognition. Using the objections to extended cognition as constraints on my own extended theorizing and the example of autofocus systems in cameras, I decompose and localize the components of an autofocus system that realize the central properties of control from a plausible theory of control in the literature. I then provide criteria according to which control can be extended in a system. Finally, I consider how this theory of extended control ought to be preferred to theories of extended cognition. (shrink)

Floridi’s Theory of Strongly Semantic Information posits the Veridicality Thesis. One motivation is that it can serve as a foundation for information-based epistemology being an alternative to the tripartite theory of knowledge. However, the Veridicality thesis is false, if ‘information’ is to play an explanatory role in human cognition. Another motivation is avoiding the so-called Bar-Hillel/Carnap paradox. But this paradox only seems paradoxical, if ‘information’ and ‘informativeness’ are synonymous, logic is a theory of inference, or validity suffices for rational inference; (...) a, b, and c are false. (shrink)

The idea that the brain is an information processing system raises some challenging questions about whether information exists independently of brains. Answering these questions is relevant for clarifying the theoretical foundations of the sciences of mind and brain, but also for appropriately interpreting and evaluating the evidence about how brains—and other biological systems—work. This article claims that (1) informational descriptions in the sciences of mind and brain can be genuinely explanatory, despite assuming a mind-dependent notion of information; and (2) that (...) either Popperian objectivity or response-dependence in normal receivers is sufficient for grounding the explanatory role that information often plays in these sciences. Hierarchical predictive processing, which has become a central theoretical framework for neurocognitive research, is used as a case study for supporting these two claims. (shrink)

The topic of this paper may be introduced by fast zooming in and out of the philosophy of information. In recent years, philosophical interest in the nature of information has been increasing steadily. This has led to a focus on semantic information, and then on the logic of being informed, which has attracted analyses concentrating both on the statal sense in which S holds the information that p (this is what I mean by logic of being informed in the rest (...) of this article) and on the actional sense in which S becomes informed that p. One of the consequences of the logic debate has been a renewed epistemological interest in the principle of information closure (henceforth PIC), which finally has motivated a revival of a skeptical objection against its tenability first made popular by Dretske. This is the topic of the paper, in which I seek to defend PIC against the skeptical objection. If I am successful, this means – and we are now zooming out – that the plausibility of PIC is not undermined by the skeptical objection, and therefore that a major epistemological argument against the formalization of the logic of being informed based on the axiom of distribution in modal logic is removed. But since the axiom of distribution discriminates between normal and non-normal modal logics, this means that a potentially good reason to look for a formalization of the logic of being informed among the non-normal modal logics, which reject the axiom, is also removed. And this in turn means that a formalization of the logic of being informed in terms of the normal modal logic B (also known as KTB) is still very plausible, at least insofar as this specific obstacle is concerned. In short, I shall argue that the skeptical objection against PIC fails, so it is not a good reason to abandon the normal modal logic B as a good formalization of the logic of being informed. (shrink)