Rival conceptions of logic

The history of logic as a subject has been characterised by many disputes over what the topic deals with, and the main article 'Logic' has as a result been hesitant to commit to a particular definition of logic. This article surveys various definitions of the subject that have appeared over the centuries through to modern times, and puts them in context as reflecting rival conceptions of the subject.

Rival conceptions of logic

In the periodic of scholastic philosophy, logic was predominantly Aristotelian. Following the decline of scholasticism, logic was thought of as an affair of ideas by early modern philosophers such as Locke and Hume. Immanuel Kant took this one step further. He begins with the assumption of the empiricist philosophers, that all knowledge whatsoever is internal to the mind, and that we have no genuine knowledge of 'things in themselves'. Furthermore, (an idea he seemed to have got from Hume) the material of knowledge is a succession of separate ideas which have no intrinsic connection and thus no real unity. In order that these disparate sensations be brought into some sort of order and coherence, there must be an internal mechanism in the mind which provides the forms by which we think, perceive and reason.

Kant calls these forms Categories (in a somewhat different sense than employed by the Aristotelian logicians), of which he claims there are twelve:

However, this seems to be an arbitrary arrangement, driven by the desire to present a harmonious appearance than from any underlying method or system. For example, the triple nature of each division forced him to add artificial categories such as the infinite judgment.

This conception of logic eventually developed into an extreme form of psychologism espoused in the nineteenth by Benno Erdmann and others. The view of historians of logic is that Kant's influence was negative.

Another view of logic espoused by Hegel and others of his school (such as Lotze, Bradley, Bosanquet and others), was the 'Logic of the Pure Idea'. The central feature of this view is the identification of Logic and Metaphysics. The Universe has its origin in the categories of thought. Thought in its fullest development becomes the Absolute Idea, a divine mind evolving itself in the development of the Universe.

In the modern period, W. V. Quine (1940, pp. 2–3) defined logic in terms of a logical vocabulary, which in turn is identified by an argument that the many particular vocabularies Quine mentions geological vocabulary are used in their particular discourses together with a common, topic-independent kernel of terms.[1] These terms, then, constitute the logical vocabulary, and the logical truths are those truths common to all particular topics.

Hofweber (2004) lists several definitions of logic, and goes on to claim that all definitions of logic are of one of four sorts. These are that logic is the study of: (i) artificial formal structures, (ii) sound inference (e.g., Poinsot), (iii) tautologies (e.g., Watts), or (iv) general features of thought (e.g., Frege). He argues then that these definitions are related to each other, but do not exhaust each other, and that an examination of formal ontology shows that these mismatches between rival definitions are due to tricky issues in ontology.

Informal and colloquial definitions

Arranged in approximate chronological order.

See also

Notes

  1. Cf. Ferreiros, 2001
  2. Zekai Sen Philosophical, Logical and Scientific Perspectives in Engineering page 114

References

This article is issued from Wikipedia - version of the 8/20/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.