A System of Logic

Last updated
A System of Logic, Ratiocinative and Inductive
A system of logic.jpg
Author John Stuart Mill
CountryUnited Kingdom
LanguageEnglish
Publication date
1843
Media typePrint

A System of Logic, Ratiocinative and Inductive is an 1843 book by English philosopher John Stuart Mill.

Contents

Overview

In this work, he formulated the five principles of inductive reasoning that are known as Mill's Methods. This work is important in the philosophy of science, and more generally, insofar as it outlines the empirical principles Mill would use to justify his moral and political philosophies.

An article in "Philosophy of Recent Times" has described this book as an "attempt to expound a psychological system of logic within empiricist principles.”

This work was important to the history of science, being a strong influence on scientists such as Dirac. [1] [2] A System of Logic also had an impression on Gottlob Frege, who rebuked many of Mill's ideas about the philosophy of mathematics in his work The Foundations of Arithmetic . [3]

Mill revised the original work several times over the course of thirty years in response to critiques and commentary by Whewell, Bain, and others.

Introduction

Begins with a discussion of difficulty of a preliminary definition of what Logic is but gives one. Mill asserts his right to do this, " I do this by virtue of the right I claim for every author, to give whatever provisional definition he pleases of his own subject". He concludes with "Logic, then, is the science of the operations of the understanding which are subservient to the estimation of evidence"

Book One

This Book is headed "Of Names and Propositions".

Mill begins with a "simple" quotation from Thomas Hobbes which although simple contains the essence of what leads to the greater complexities there are in naming things and ideas.

In Chapter VI of this book Mill gives a look back at the different kinds of proposition. "We then examined the different kinds of Propositions, and found that, with the exception of those which are merely verbal, they assert five different kinds of matters of fact, namely, Existence, Order in Place, Order in Time, Causation, and Resemblance; that in every proposition one of these five is either affirmed, or denied, of some fact or phenomenon, or of some object the unknown source of a fact or phenomenon."

Book Two

This book is headed "Of Inference, or Reasoning, in General".

Mill begins with the retrospect that we have concluded that propositions assert. We now move "to the peculiar problem of the Science of Logic, namely, how the assertions, of which we have analysed the import, are proved or disproved"

In Chapter I of this book Mill emphasies the practicality of the type of Logic He values and hopes this book will promote. "There is no more important intellectual habit, nor any the cultivation of which falls more strictly within the province of the art of logic, than that of discerning rapidly and surely the identity of an assertion when disguised under diversity of language".

Book III

This book is headed "Of Induction"

The centrality of Induction to Mills System of Logic is emphasized by such statements as, "What Induction is, therefore, and what conditions render it legitimate, cannot but be deemed the main question of the science of logic ,the question which includes all others."

Book IV

This book is headed "Of Operations Subsidiary to Induction"

Mill writes that this book is needed because,

"The consideration of Induction, however, does not end with the direct rules for its performance. Something must be said of those other operations of the mind, which are either necessarily presupposed in all induction, or are instrumental to the more difficult and complicated inductive processes".

Book V

This book is headed "On Fallacies"

The five classes of fallacies being, Fallacies of Simple inspection, or a priori fallacies, Fallacies of Observation, Fallacies of Generalization, Fallacies of ratiocination, Fallacies of Confusion.

Book VI

This book is headed "On the Logic of the Moral Sciences".

John Stuart Mill thought this a very important chapter for the social progress he so keenly sort.

"The backward state of the Moral Sciences can only be remedied by applying to them the methods of Physical Science, duly extended and generalized".

Editions

Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation by JOHN STUART MILL BOOKS I-III AND APPENDICES [4]

Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation by JOHN STUART MILL BOOKS IV-VI AND APPENDICES [5]

See also

Related Research Articles

<span class="mw-page-title-main">Empiricism</span> Idea that knowledge comes only/mainly from sensory experience

In philosophy, empiricism is an epistemological view which holds that true knowledge or justification comes only or primarily from sensory experience. It is one of several competing views within epistemology, along with rationalism and skepticism. Empiricism emphasizes the central role of empirical evidence in the formation of ideas, rather than innate ideas or traditions. Empiricists may argue that traditions arise due to relations of previous sensory experiences.

<span class="mw-page-title-main">John Stuart Mill</span> British philosopher and political economist (1806–1873)

John Stuart Mill was an English philosopher, political economist, politician and civil servant. One of the most influential thinkers in the history of classical liberalism, he contributed widely to social theory, political theory, and political economy. Dubbed "the most influential English-speaking philosopher of the nineteenth century" by the Stanford Encyclopedia of Philosophy, he conceived of liberty as justifying the freedom of the individual in opposition to unlimited state and social control.

In the philosophy of language, a proper name – examples include a name of a specific person or place – is a name which ordinarily is taken to uniquely identify its referent in the world. As such it presents particular challenges for theories of meaning, and it has become a central problem in analytic philosophy. The common-sense view was originally formulated by John Stuart Mill in A System of Logic (1843), where he defines it as "a word that answers the purpose of showing what thing it is that we are talking about but not of telling anything about it". This view was criticized when philosophers applied principles of formal logic to linguistic propositions. Gottlob Frege pointed out that proper names may apply to imaginary or nonexistent entities, without becoming meaningless, and he showed that sometimes more than one proper name may identify the same entity without having the same sense, so that the phrase "Homer believed the morning star was the evening star" could be meaningful and not tautological in spite of the fact that the morning star and the evening star identifies the same referent. This example became known as Frege's puzzle and is a central issue in the theory of proper names.

In classical rhetoric and logic, begging the question or assuming the conclusion is an informal fallacy that occurs when an argument's premises assume the truth of the conclusion. Historically, begging the question refers to a fault in a dialectical argument in which the speaker assumes some premise that has not been demonstrated to be true. In modern usage, it has come to refer to an argument in which the premises assume the conclusion without supporting it. This makes it more or less synonymous with circular reasoning.

<span class="mw-page-title-main">Syllogism</span> Type of logical argument that applies deductive reasoning

A syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.

<span class="mw-page-title-main">Fallacy</span> Argument that uses faulty reasoning

A fallacy, is the use of invalid or otherwise faulty reasoning in the construction of an argument that may appear to be well-reasoned if unnoticed. The term was introduced in the Western intellectual tradition by the Aristotelian De Sophisticis Elenchis.

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.

Deductive reasoning is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. it is impossible for the premises to be true and the conclusion to be false.

<span class="mw-page-title-main">William Stanley Jevons</span> English economist and logician (1835–1882)

William Stanley Jevons was an English economist and logician.

Circular reasoning is a logical fallacy in which the reasoner begins with what they are trying to end with. Circular reasoning is not a formal logical fallacy, but a pragmatic defect in an argument whereby the premises are just as much in need of proof or evidence as the conclusion, and as a consequence the argument fails to persuade. Other ways to express this are that there is no reason to accept the premises unless one already believes the conclusion, or that the premises provide no independent ground or evidence for the conclusion. Circular reasoning is closely related to begging the question, and in modern usage the two generally refer to the same thing.

The term Inductive reasoning is used to refer to any method of reasoning in which broad generalizations or principles are derived from a body of observations. This article is concerned with the inductive reasoning other than deductive reasoning, where the conclusion of a deductive argument is certain given the premises are correct; in contrast, the truth of the conclusion of an inductive argument is at best probable, based upon the evidence given.

<i>Organon</i> Standard collection of Aristotles six works on logic

The Organon is the standard collection of Aristotle's six works on logical analysis and dialectic. The name Organon was given by Aristotle's followers, the Peripatetics, who maintained against the Stoics that Logic was "an instrument" of Philosophy.

<span class="mw-page-title-main">Logical reasoning</span> Process of drawing correct inferences

Logical reasoning is a mental activity that aims to arrive at a conclusion in a rigorous way. It happens in the form of inferences or arguments by starting from a set of premises and reasoning to a conclusion supported by these premises. The premises and the conclusion are propositions, i.e. true or false claims about what is the case. Together, they form an argument. Logical reasoning is norm-governed in the sense that it aims to formulate correct arguments that any rational person would find convincing. The main discipline studying logical reasoning is logic.

Inductionism is the scientific philosophy where laws are "induced" from sets of data. As an example, one might measure the strength of electrical forces at varying distances from charges and induce the inverse square law of electrostatics. This concept is considered one of the two pillars of the old view of the philosophy of science, together with verifiability. An application of inductionism can show how experimental evidence can confirm or inductively justify the belief in generalization and the laws of nature.

In logic and philosophy, a formal fallacy, deductive fallacy, logical fallacy or non sequitur is a pattern of reasoning rendered invalid by a flaw in its logical structure that can neatly be expressed in a standard logic system, for example propositional logic. It is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion. Thus, a formal fallacy is a fallacy where deduction goes wrong, and is no longer a logical process. This may not affect the truth of the conclusion, since validity and truth are separate in formal logic.

Inductivism is the traditional and still commonplace philosophy of scientific method to develop scientific theories. Inductivism aims to neutrally observe a domain, infer laws from examined cases—hence, inductive reasoning—and thus objectively discover the sole naturally true theory of the observed.


The following events related to sociology occurred in the 1840s.

<span class="mw-page-title-main">British philosophy</span> Philosophical tradition of the British people

British philosophy refers to the philosophical tradition of the British people. "The native characteristics of British philosophy are these: common sense, dislike of complication, a strong preference for the concrete over the abstract and a certain awkward honesty of method in which an occasional pearl of poetry is embedded".

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

References

  1. Farmelo, Graham (2009). The Strangest Man: The Hidden Life of Paul Dirac, Quantum Genius. Faber and Faber. ISBN   9780571222780.
  2. Cassidy, David C. (2010). "Graham Farmelo. The Strangest Man: The Hidden Life of Paul Dirac, Mystic of the Atom". Isis . University of Chicago Press. 101: 661. doi:10.1086/657209. Farmelo also discusses, across several chapters, the influences of John Stuart Mill...
  3. Frege, Gottlob (1980). The foundations of arithmetic; a logico-mathematical enquiry into the concept of number. Translated by Austin, J. L. (2nd ed.). Evanston, Illinois: Northwestern University Press. ISBN   0810106051. OCLC   650.
  4. https://oll.libertyfund.org/title/mill-the-collected-works-of-john-stuart-mill-volume-vii-a-system-of-logic-part-i
  5. https://oll.libertyfund.org/title/mill-the-collected-works-of-john-stuart-mill-volume-viii-a-system-of-logic-part-ii

Sources

Online editions