A dichotomy daɪˈkɒtəmi is a partition of a whole (or a set) into two parts (subsets). In other words, this couple of parts must be jointly exhaustive: everything must belong to one part or the other, and mutually exclusive: nothing can belong simultaneously to both parts. If there is a concept A, and it is split into parts B and not-B, then the parts form a dichotomy: they are mutually exclusive, since no part of B is contained in not-B and vice versa, and they are jointly exhaustive, since they cover all of A, and together again give A. Such a partition is also frequently called a bipartition. The two parts thus formed are complements. In logic, the partitions are if there exists a proposition such that it holds over one and not the other. Treating continuous variables or multicategorical variables as binary variables is called dichotomization. The discretization error inherent in dichotomization is temporarily ignored for modeling purposes. The term dichotomy is from the Greek language διχοτομία dichotomía "dividing in two" from δίχα dícha "in two, asunder" and τομή tomḗ "a cutting, incision". In set theory, a dichotomous relation R is such that either aRb, bRa, but not both. A false dichotomy is an informal fallacy consisting of a supposed dichotomy which fails one or both of the conditions: it is not jointly exhaustive and/or not mutually exclusive. In its most common form, two entities are presented as if they are exhaustive, when in fact other alternatives are possible. In some cases, they may be presented as if they are mutually exclusive although there is a broad middle ground (see also undistributed middle). One type of dichotomy is dichotomous classification – classifying objects by recursively splitting them into two groups. As Lewis Carroll explains, "After dividing a Class, by the Process of Dichotomy, into two smaller Classes, we may sub-divide each of these into two still smaller Classes; and this Process may be repeated over and over again, the number of Classes being doubled at each repetition.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related concepts (1)
Logic
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.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.