This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers speak by themselves, and instead we have preferred to present to the Brazilian readers, specialty to our students, some aspects of Newton da Costa’s conception of science and of the scientific activity, grounded on the concept (...) of quasi-truth, which he contributed to develop in a rigorous way. Da Costa is known as one of the founding fathers of paraconsistent logic, but his contributions go also to the foundations of physics, theoretical computation, model theory, algebraic logic, lattice theory, applications of non-classical logics to law and technology, etc. But perhaps his main contribution was to provide a basis for the birth of a school of logic in our country, serving as teacher and inspiring new researchers for generations. It is a pleasure to have had so enthusiastic acceptation from the editors of Principia to organize these volumes. I would like to thank the contributors and the editors of Principia, specially Prof. Cezar Mortari for his help in organizing the issue. (shrink)

Este artículo examina algunos de los problemas que presenta el tratamiento lógico de las obligaciones prima facie en la obra de Carlos Alchourrón. Por una parte, señalaremos que su sistema para los condicionales derrotables DFT no formaliza adecuadamente la noción intuitiva de condición contribuyente que Alchourrón utiliza para elucidar la de condicional derrotable. Por otra parte, argumentaremos que la noción de deber prima facie de David Ross no queda adecuadamente formalizada en el sistema AD de lógica deóntica que Alchourrón construye (...) como una extensión de DFT. This paper deals with some problems concerning the logical treatment of prima facie obligations in the work of Carlos Alchourrón. On the one hand, we will argue that his DFT system for defeasible conditionals does not adequately formalize the intuitive notion of contributory condition used by Alchourrón to elucidate the notion of defeasible conditional. On the other hand, we will argue that David Ross' notion of prima facie duty is not adequately formalized in Alchourrón' s deontic system AD, an extension of his DFT logic. (shrink)

Recent claims, mainly from computer scientists, concerning a largely automated and model-free data-intensive science have been countered by critical reactions from a number of philosophers of science. The debate suffers from a lack of detail in two respects, regarding the actual methods used in data-intensive science and the specific ways in which these methods presuppose theoretical assumptions. I examine two widely-used algorithms, classificatory trees and non-parametric regression, and argue that these are theory-laden in an external sense, regarding the framing of (...) research questions, but not in an internal sense concerning the causal structure of the examined phenomenon. With respect to the novelty of data-intensive science, I draw an analogy to exploratory as opposed to theory-directed experimentation. (shrink)

We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

It is argued that in deterministic contexts evidence for causal relations states whether a boundary condition makes a difference or not to a phenomenon. In order to substantiate the analysis, I show that this difference/indifference making is the basic type of evidence required for eliminative induction in the tradition of Francis Bacon and John Stuart Mill. To this purpose, an account of eliminative induction is proposed with two distinguishing features: it includes a method to establish the causal irrelevance of boundary (...) conditions by means of indifference making, which is called strict method of agreement, and it introduces the notion of a background against which causal statements are evaluated. Causal statements thus become three-place-relations postulating the relevance or irrelevance of a circumstance C to the examined phenomenon P with respect to a background B of further conditions. To underline the importance of evidence in terms of difference/indifference making, I sketch two areas, in which eliminative induction is extensively used in natural and engineering sciences. One concerns exploratory experiments, the other engineering design methods. Given that a method is discussed that has been used for centuries, I make no claims to novelty in this paper, but hope that the combined discussion of several topics that are still somewhat underrepresented in the philosophy of science literature is of some merit. (shrink)

Peter Lipton argues that inference to the best explanation involves the selection of a hypothesis on the basis of its loveliness. I argue that in optimal cases of IBE we may be able to eliminate all but one of the hypotheses. In such cases we have a form of eliminative induction takes place, which I call ‘Holmesian inference’. I argue that Lipton’s example in which Ignaz Semmelweis identified a cause of puerperal fever better illustrates Holmesian inference than Liptonian IBE. I (...) consider in detail the conditions under which Holmesian inference is possible and conclude by considering the epistemological relations between Holmesian inference and Liptonian IBE.Keywords: Inference to the best explanation; Peter Lipton; Abduction; Holmesian inference; Eliminative induction. (shrink)

A difference-making account of causality is proposed that is based on a counterfactual definition, but differs from traditional counterfactual approaches to causation in a number of crucial respects: it introduces a notion of causal irrelevance; it evaluates the truth-value of counterfactual statements in terms of difference-making; it renders causal statements background-dependent. On the basis of the fundamental notions 'causal relevance' and 'causal irrelevance', further causal concepts are defined including causal factors, alternative causes, and importantly inus-conditions. Problems and advantages of the (...) proposed account are discussed. Finally, it is shown how the account can shed new light on three classic problems in epistemology, the problem of induction, the logic of analogy, and the framing of eliminative induction. (shrink)

The subject of the paper is a contemporary interpretation of J.S. Mill’s elimination method using selected concepts of Zdzisław Pawlak’s decision logic. The aim of the interpretation is to reformulate the original rules of Mill’s induction so that they correspond more precisely to his concept of cause as a complex sufficient condition. In the first part of the paper, we turn to Mill’s writings and justify the thesis that in his understanding the cause is an aggregation of circumstances, and not (...) a single circumstance; next, we point out that Mill’s original canons do not allow causes-aggregations to be singled out from empirical data. In the second part of this paper, we present such aspects of Z. Pawlak’s decision logic that serve as the basis for the formalisation of the method of eliminative induction. We describe exhaustively the schema of induction that involves a gradual - divided into three stages - simplification of a set of implications corresponding to the observed dependencies [system of potential causes, effect]. The simplification is deductive because it maintains consistency within the set of implications. We show that such schema is ideal for isolating complex causes, ultimately described using complex conditional formulas of decision logic. (shrink)