A logic is said to be paraconsistent if it does not allow everything to follow from contradictory premises. There are several approaches to paraconsistency. This paper is concerned with several philosophical positions on paraconsistency. In particular, it concerns three ‘schools’ of paraconsistency: Australian, Belgian and Brazilian. The Belgian and Brazilian schools have raised some objections to the dialetheism of the Australian school. I argue that the Australian school of paraconsistency need not be closed down on the basis of the Belgian (...) and Brazilian schools’ objections. In the appendix of the paper, I also argue that the Brazilian school’s view of logic is not coherent. (shrink)

This article compares the features of a logic of discovery for the "friends of discovery" and for Karl Popper. It argues that the account given by Popper is the same as that of the "friends of discovery." The comparison will unsystematically exhibit that Popper proposes such a logic and will submit that the epistemological significance of a logic of discovery is to be sought in a configuration of ideas and transactions deemed regulated by or mirroring rationality rather than in creative (...) processes as such. (shrink)

The theory of the economics of research played a central role in the analysis of scientific method of Charles Sanders Peirce. The present paper describes Peirce's project as he saw it and then puts its machinery to work in an analysis of current issues in the philosophy of science. The aim is to show that, even apart from their historical interest, Peirce's ideas on this subject have a substantial systematic interest.

he formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic concepts, such as preference criteria for explanations, and the extension to first order logic has not been settled.Investigating the nature of abduction outside the context of resolution based logic programming still deserves attention, in order to characterize abductive explanations without tailoring them to any fixed method of computation. In fact, resolution is surely not the best tool for facing meta-logical (...) and proof-theoretical questions.In this work the analysis of the concepts involved in abductive reasoning is based on analytical proof systems, i.e. tableaux and Gentzen-type systems. A proof theoretical abduction method for first order classical logic is defined, based on the sequent calculus and a dual one, based on semantic tableaux. The methods are sound and complete and work for full first order logic, without requiring any preliminary reduction of formulae into normal forms. In the propositional case, two different characterizations are given for abductive explanations, each of them being the declarative counterpart of a different algorithm for the generation of explanations. The first one corresponds the generation of the whole set of minimal and consistent explanations, where minimality is checked by comparison with the other elements of the set. The second characterization corresponds to a algorithm for generating a single minimal explanation that is consistent with the theory.The first order versions of the abductive systems make use of unification and dynamic herbrandization/skolemization of formulae. The construction of the abduced formula is pursued by means of de-skolemization. The first order methods are very loose in discarding explanations that are not minimal In fact, the question of minimality in first order abduction is a main issue. As usually defined, minimality is undecidable, for two different reasons: determining whether an explanation is better than another one is in general undecidable; the set of explanations may be infinite. Moreover, because of , a minimal element may not exist. Such problems suggest that the minimality requirement should be relaxed, possibly defining it w.r.t. a stronger relation than logical consequence. (shrink)

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new (...) generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR.

Essential to Peirce's distinction among three kinds of reasoning, deduction, induction and abduction, is the claim that each is correlated to a unique species of validity irreducible to that of the others. In particular, abductive validity cannot be analyzed in either deductive or inductive terms, a consequence of considerable importance for the logical and epistemological scrutiny of scientific methods. But when the full structure of abductive argumentation — as viewed by the mature Peirce — is clarified, every inferential step in (...) the process can be seen to dissolve into familiar forms of deductive and inductive reasoning. Specifically, the final stage is a special type of practical inference which, if correct, is deductively valid, while the creative phase, surprisingly, is not inferential at all. In neither is abduction a type of inference to the best explanation. The result is a major reassessment of the relevance of Peirce's views to contemporary methodological studies. (shrink)

In this paper I argue that the debate over the purported distinction between deductive and inductive arguments can be bypassed because making the distinction is unnecessary for successfully evaluating arguments. I provide a foundation for doing logic that makes no appeal to the distinction and still performs all the relevant tasks required of an analysis of arguments. I also reply to objections to the view that we can dispense with the distinction. Finally, I conclude that the distinction between inductive and (...) deductive arguments is not one of the most important and fundamental ideas in logic, but rather is unnecessary. (shrink)

The purpose of this paper is to communicate some developments in what we call the new logic. In a nutshell the new logic is a model of the behaviour of a logical agent. By these lights, logical theory has two principal tasks. The first is an account of what a logical agent is. The second is a description of how this behaviour is to be modelled. Before getting on with these tasks we offer a disclaimer and a warning. The disclaimer (...) is that although the new logic is significantly different from it, we have no inclination to see the new logic as a rival of mathematical logic. We do not advocate the displacement of, e.g. model theory, but rather its supplementation or adaptation. The warning is that, whereas mathematical logic must eschew psychologism, the new logic cannot do without it. The fuller story of the new logic must eschew psychologism, the new logic cannot do without it. The fuller story of the new logic is part of our book, The Reach of Abduction, scheduled to appear in 2001 or early 2002. (shrink)

The first systematic study of the aesthetic evaluations that scientists pass on their theories.