Conceptions of logic

Last updated

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.

Contents

Rival conceptions of logic

In the period 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 (1632-1704) and Hume (1711-1716). 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:

This conception of logic eventually developed into an extreme form of psychologism espoused in the nineteenth by Benno Erdmann and others.

Another view of logic espoused by Hegel and others of his school (such as 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, Gottlob Frege said "Just as 'beautiful' points the way for aesthetics and 'good' for ethics, so do words like 'true' for logic", and went on characterise the distinctive task of logic "to discern the laws of truth". [1] Later, W. V. O. 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. [2] 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. ↑ From 'Der Gedanke', Beitraege zur Philosophie des deutschen Idealismus I, 1918, pp.58--77, translated as 'Thought' in Beaney (1997).
  2. ↑ Cf. Ferreiros, 2001
  3. ↑ Zekai Sen Philosophical, Logical and Scientific Perspectives in Engineering page 114

Related Research Articles

<span class="mw-page-title-main">Willard Van Orman Quine</span> American philosopher and logician (1908–2000)

Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He served as the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978.

In mathematical logic, Russell's paradox is a set-theoretic paradox published by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. The paradox had already been discovered independently in 1899 by the German mathematician Ernst Zermelo. However, Zermelo did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other academics at the University of Göttingen. At the end of the 1890s, Georg Cantor – considered the founder of modern set theory – had already realized that his theory would lead to a contradiction, as he told Hilbert and Richard Dedekind by letter.

The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's lives.

<span class="mw-page-title-main">Gottlob Frege</span> German philosopher, logician, and mathematician (1848–1925)

Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.

The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.

A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth or falsity. Propositions are also often characterized as being the kind of thing that declarative sentences denote. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves linguistic expressions. For instance, the English sentence "Snow is white" denotes the same proposition as the German sentence "Schnee ist weiß" even though the two sentences are not the same. Similarly, propositions can also be characterized as the objects of belief and other propositional attitudes. For instance if one believes that the sky is blue, what one believes is the proposition that the sky is blue. A proposition can also be thought of as a kind of idea: Collins Dictionary has a definition for proposition as "a statement or an idea that people can consider or discuss whether it is true."

Analytic philosophy is a broad movement or tradition within philosophy focused on analysis, which has been dominant within Western philosophy since the latter half of the 20th century. Analytic philosophy is characterized by clarity of prose and rigor in arguments, making use of formal logic and mathematics, and, to a lesser degree, the natural sciences. Analytic philosophy is often contrasted with continental philosophy, coined as a catch-all term for other methods, prominent in continental Europe, most notably existentialism, phenomenology, and Hegelianism. The tradition has been critiqued for excessive formalism, ahistoricism, and aloofness towards alternative disciplines and outsiders.

In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano.

<span class="mw-page-title-main">Linguistic turn</span> Early-20th-century development in Western philosophy

The linguistic turn was a major development in Western philosophy during the early 20th century, the most important characteristic of which is the focusing of philosophy primarily on the relations between language, language users, and the world.

<span class="mw-page-title-main">Nathan Salmon</span> American philosopher

Nathan U. Salmon is an American philosopher in the analytic tradition, specializing in metaphysics, philosophy of language, and philosophy of logic.

The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.

<i>The Foundations of Arithmetic</i> Book by Gottlob Frege

The Foundations of Arithmetic is a book by Gottlob Frege, published in 1884, which investigates the philosophical foundations of arithmetic. Frege refutes other theories of number and develops his own theory of numbers. The Grundlagen also helped to motivate Frege's later works in logicism. The book was not well received and was not read widely when it was published. It did, however, draw the attentions of Bertrand Russell and Ludwig Wittgenstein, who were both heavily influenced by Frege's philosophy. An English translation was published by J. L. Austin, with a second edition in 1960.

Western philosophy refers to the philosophical thought and work of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the pre-Socratics. The word philosophy itself originated from the Ancient Greek philosophía (φιλοσοφία), literally, "the love of wisdom" Ancient Greek: φιλεῖν phileîn, "to love" and σοφία sophía, "wisdom").

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterisation, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.

This is an index of Wikipedia articles in philosophy of language

Nijaz Ibrulj is a Bosnian philosopher and a professor at the University of Sarajevo's Department of Philosophy and Sociology. He lectures on logic, analytic philosophy, methodology of social sciences, theory of knowledge, and cognitive science. His interests also extend to the field of social ontology. Ibrulj was awarded a Fulbright Visiting Scholarship during the 2000-2001 academic years to visit the University of California, Berkeley. His application was sponsored by John Searle and Donald Davidson.

Formative epistemology is a collection of philosophic views concerned with the theory of knowledge that emphasize the role of natural scientific methods. According to formative epistemology, knowledge is gained through the imputation of thoughts from one human being to another in the societal setting. Humans are born without intrinsic knowledge and through their evolutionary and developmental processes gain knowledge from other human beings. Thus, according to formative epistemology, all knowledge is completely subjective and truth does not exist.

The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics.

<span class="mw-page-title-main">Predication (philosophy)</span>

Predication in philosophy refers to an act of judgement where one term is subsumed under another. A comprehensive conceptualization describes it as the understanding of the relation expressed by a predicative structure primordially through the opposition between particular and general or the one and the many.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.