Aspects Of Modern Logic

Aspects of Modern Logic

It is common to consider an area of science as a system of real or sup posed truths which not only continuously extends itself, but also needs periodical revision and therefore tests the inventive capacity of each generation of scholars anew. It sounds highly implausible that a science at one time would be completed, that at that point within its scope there would be no problems left to solve. Indeed, the solution of a scientific problem inevitably raises new questions, so that our eagerness for knowledge will never find lasting satisfaction. Nevertheless there is one science which seems to form an exception to this rule, formal logic, the theory of rigorous argumentation. It seems to have reached the ideal endpoint of every scientific aspiration already very shortly after its inception; using the work of some predecessors, Aristotle, or so it is at least assumed by many, has brought this branch of science once and for all to a conclusion. Of course this doesn't sound that implausible. We apparently know what rigorous argumentation is; otherwise various sciences, in particular pure mathematics, would be completely impossible. And if we know what rigorous argumentation is, then it cannot be difficult to trace once and for all the rules which govern it. The unique subject of formal logic would therefore entail that this science, in variance with the rule which holds for all other sciences, has been able to reach completion at a certain point in history.

Modern Logic — A Survey

Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom prehension of this discipline seems nowadays unavoidable. This splitting into several subdomains is the natural consequence of the fact that Logic has intended to adopt in our century the status of a science. This always implies that the general optics, under which a certain set of problems used to be con sidered, breaks into a lot of specialized sectors of inquiry, each of them being characterized by the introduction of specific viewpoints and of technical tools of its own. The first impression, that often accompanies the creation of one of such specialized branches in a diSCipline, is that one has succeeded in isolating the 'scientific core' of it, by restricting the somehow vague and redundant generality of its original 'philosophical' configuration. But, after a while, it appears that some of the discarded aspects are indeed important and a new specialized domain of investigation is created to explore them. By follOwing this procedure, one finally finds himself confronted with such a variety of independent fields of research, that one wonders whether the fact of labelling them under a common denomination be nothing but the contingent effect of a pure historical tradition.

Aspects of Modern Logic