Online research in philosophy

Reasoning is a goal-oriented activity. The logical steps are at best the median part of a full reasoning: before them, a language has to be defined, and a model of the goal in this language has to be developed; after them, their result has to be checked in the real world with respect to the goal. Both the prior and the subsequent steps can be conducted rationally; none of them has a logical counterpart. Furthermore, Logic aims at prescribing what a correct reasoning is. But correct with respect to what? If the answer is: with respect to truth, the next question is whether the truth in everyday life, physics, economy, is the same as the truth that logicians have in mind. Resorting to Logic is justified only if an idealization in terms of true propositions in the logical sense is compatible with the goal. If such an idealization is legitimate, so is the use of classical Logic. If not, there is no authority forbidding to skew Logic in order to better reflect the nature of the reasoning required for the task.

Informal logic is the attempt to develop a logic to assess, analyse and improve ordinary language (or "everyday") reasoning. It intersects with attempts to understand such reasoning from the point of view of philosophy, formal logic, cognitive psychology, and a range of other disciplines. Most of the work in informal logic focuses on the reasoning and argument (in the premise-conclusion sense) one finds in personal exchange, advertising, political debate, legal argument, and the social commentary that characterizes newspapers, television, the World Wide Web and other forms of mass media.

Symbolic logic is sited at intersection of philosophy, mathematics, linguistics and computer science. It deals with the structure of reasoning, and the formal features of information. Work in symbolic logic has almost exclusively treated the deductive validity of arguments: those arguments for which it is impossible for the premises to be true and the conclusion false. However, techniques from twentieth-century logic have found a place in the study of inductive or probabilistic reasoning, in which premises need not render their conclusions certain.

The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical development of logic, although logic is evidently one of the basic disciplines of philosophy. One needs only to recall some of the standard 19th century definitions of logic as, e.g., the art and science of reasoning (Whateley) or as giving the normative rules of correct reasoning (Herbart). In the paper the relationship between the philosophical and the mathematical development of logic will be discussed. Answers to the following questions will be provided: 1. What were the reasons for the philosophers' lack of interest in formal logic? 2. What were the reasons for the mathematicians' interest in logic? 3. What did "logic reform" mean in the 19th century? Were the systems of mathematical logic initially regarded as contributions to a reform of logic? 4. Was mathematical logic regarded as art, as science or as both?

Pt. I. Writings on the theory of logic: I. Pure logic or the logic of quality apart from quantity. II. The substitution of similars. III. On the mechanical performance of logical inference. IV. On a general system of numerically definite reasoning.--Pt. II. John Stuart Mill's philosophy tested: I. On geometrical reasoning. II. On resemblance. III. The experimental methods. IV. Utilitarianism. V. On the method of difference.

, David Bloor suggests that logical reasoning is radically relativistic in the sense that there are incompatible ways of reasoning logically, and no culturally transcendent rules of correct logical inference exist which could allow for adjudication of these different ways of reasoning. Bloor cites an example of reasoning used by the Azande as an illustration of such logical relativism. A close analysis of this reasoning reveals that the Azande's logic is in fact impeccably Aristotelian. I argue that the conclusions Bloor can legitimately draw from his case study are not controversial and do nothing to make plausible the thesis of logical relativism.

In the paper we examine the use of non-classical truth values for dealing with computation errors in program specification and validation. In that context, 3-valued McCarthy logic is suitable for handling lazy sequential computation, while 3-valued Kleene logic can be used for reasoning about parallel computation. If we want to be able to deal with both strategies without distinguishing between them, we combine Kleene and McCarthy logics into a logic based on a non-deterministic, 3-valued matrix, incorporating both options as a non-deterministic choice. If the two strategies are to be distinguished, Kleene and McCarthy logics are combined into a logic based on a 4-valued deterministic matrix featuring two kinds of computation errors which correspond to the two computation strategies described above. For the resulting logics, we provide sound and complete calculi of ordinary, two-valued sequents.

What is the relationship between logic and reasoning? How do logical norms guide inferential performance? This paper agrees with Gilbert Harman and most of the psychologists that logic is not directly relevant to reasoning. It argues, however, that the mental model theory of logical reasoning allows us to harmonise the basic principles of deductive reasoning and inferential perfomances, and that there is a strong connexion between our inferential norms and actual reasoning, along the lines of Peacocke’s conception of inferential role.

Gilbert Harman, in Logic and Reasoning (Synthese 60 (1984), 107–127) describes an unsuccessful attempt ... to develop a theory which would give logic a special role in reasoning. Here reasoning is psychological, a procedure for revising one''s beliefs. In the present paper, I construe reasoning sociologically, as a process of linguistic interaction; and show how both reasoning in the psychologistic sense and logic are related to that process.

Leibniz's overall view of the relationship between reasoning and computation is discussed on the basis of two broad claims that one finds in his writings, concerning respectively the nature of human reasoning and the possibility of replacing human thinking by a mechanical procedure. A joint examination of these claims enables one to appreciate the wide scope of Leibniz's interests for mechanical procedures, concerning a variety of philosophical themes further developed both in later logical investigations and in methodological contributions to cognitive psychology.