Bivalence and related laws

In logic, the laws of bivalence, excluded middle, and non-contradiction are related, but not the same. This page discusses the differences.

Table of contents
1 The laws
2 Bivalence is deepest
3 Why these distinctions might matter
4 External links

The laws

For any proposition P, at a given time, in a given respect, there are three related laws:

Bivalence is deepest

It is possible to state the laws of non-contradiction and the excluded middle in the formal manner of the traditional propositional calculus:

  • Excluded middle: P ∨ ¬P
  • Non-contradiction: ¬(P ∧ ¬P)

In fact, with the law of bivalence taken for granted, the two other laws can be derived as theorems, using the rules of propositional calculus.

It is, however, not possible to state the principle of bivalence in such a way, as the traditional propositional calculus just assumes sentences are true or false.

Why these distinctions might matter

These different principles are closely related, but there are certain cases where we might wish to affirm that they do not all go together. Specifically, the link between bivalence and the law of excluded middle is sometimes challenged.

Future contingents

A famous example is the contingent sea battle case found in Aristotle's work, De Interpretatione, chapter 9:

Imagine P refers to the statement "There will be a sea battle tomorrow."

The law of the excluded middle clearly holds:

There will be a sea battle tomorrow, or there won't be.

However, some philosophers wish to claim that P is neither true nor false today, since the matter has not been decided yet. So, they would say that the principle of bivalence does not hold in such a case: P is neither true nor false (yet). This view is controversial, however.

Vagueness

In fuzzy logic or other multi-valued logics dealing with vagueness, again it may be the case that (P or not-P) is true but P is not considered true or false. For example, suppose P is:

Joe is bald.

In this case, in multi-valued logics, this proposition may be given a truth value in between "true" or "false" (if Joe has a bit of hair, but not much). Nevertheless, under some such logics, the following statement may be considered true:

Joe is bald, or Joe is not bald.

So such logics reject bivalence, but maintain the law of the excluded middle.

External links



In the News

Mutation Of The COX2 Gene Can Double Or Triple A Woman's Risk Of Ovari
Researchers have discovered that a specific mutation of the COX2 gene seems to play a role in the onset of ovarian cancer, increasing women's susceptibility to developing the disease. The discovery raises the possibility that it might be possible to use nonsteroidal anti-inflammatory drugs, such as aspirin and ibuprofen, which are used already for other conditions, to prevent ovarian cancer developing in women with the COX2 mutation.

New Computer Program Uses Brain Scans To Assess Risk Of Alzheimer's
New York University School of Medicine researchers have developed a brain scan-based computer program that quickly and accurately measures metabolic activity in a key region of the brain affected in the early stages of Alzheimer's disease. Applying the program, they demonstrated that reductions in brain metabolism in healthy individuals were associated with the later development of the memory robbing disease, according to a new study.

Physics Reveals The Secrets Of Saint Francis
The tunic believed to have been worn by Saint Francis of Assisi preserved in the Church of Saint Francis in Cortona (Province of Arezzo) dates back to the period in which the saint lived, whereas the tunic preserved in the Church of Santa Croce in Florence was made after his death. Carbon 14 measurements, which allow a relic to be dated, show that the tunic in Santa Croce dates back to some time between the late 13th century and late 14th century and thus could not have belonged to the "Poor Man of Assisi", who died in 1226. These and other discovers were made possible through the analysis of the relics with a tandem particle accelerator, which was performed by the Laboratory of Nuclear Techniques for Cultural Heritage of the INFN of Florence.

Godzilla Conquers the Globe: Japanese Monster Movies in International
This website offers a virtual tour of a 2004 exhibit on the Japanese film genre known as kaijū eiga (monster movies). The exhibit feature movie posters, film programs, lobby cards, and other materials from several countries for Godzilla and other monster movies. Include descriptions of the items and images of related items such as Japanese bestiaries. From the Donald Keene Center of Japanese Culture at Columbia University.

How Amber Becomes The Death Trap For Watery Creatures
Shiny amber jewelry and a mucky Florida swamp have given scientists a window into an ancient ecosystem that could be anywhere from 15 million to 130 million years old. Prehistoric aquatic critters such as beetles and small crustaceans unwittingly swim into resin flowing down into the water from pine-like trees.

Self-assembled Nano-sized Probes Allow Penn Researchers To See Tumors
Nano-sized particles embedded with bright, light-emitting molecules have enabled researchers to visualize a tumor more than one centimeter below the skin surface using only infrared light. A team of chemists, bioengineers and medical researchers based at the University of Pennsylvania and the University of Minnesota has lodged fluorescent materials called porphyrins within the surface of a polymersome, a cell-like vesicle, to image a tumor within a living rodent.

Radiation Seeds Effectively Cure Prostate Cancer In Young Men
Radiation seed implants are just as effective at curing prostate cancer in younger men (aged 60 and younger) as they are in older men, according to a study presented at a scientific session on Oct. 31, 2007, at the American Society for Therapeutic Radiology and Oncology's 49th Annual Meeting in Los Angeles.

How Protein-rich Diets Curb Hunger
Researchers have uncovered new evidence to explain the observation that diets rich in protein stunt the appetite, according to a report in the November Cell Metabolism. The findings suggest a novel link connecting macronutrients in the diet to hunger, the researchers said. The results also point to a potential new target for the treatment of eating disorders, they added.

Fungal Contamination In Breast Implant Surgery: A Rare, Preventable Co
Although apparently uncommon, fungal contamination of saline-filled breast implants is readily preventable, according to a study in the July 1 issue of The Journal of Infectious Diseases, now available online. The key steps are to use closed systems for filling the devices and to adhere to the strict moisture control and operating room ventilation standards in forceat major hospitals.

Help for Homeowners Facing the Loss of Their Home
This site discusses steps to take when you may unable to pay the mortgage on your home. Topics include contacting your lender, talking to a housing counseling agency, prioritizing debts, and exploring loan workout solutions (such as forbearance or mortgage modification). Includes comments about predatory lending schemes, and a link to a list of HUD-approved housing counseling agencies by state. From the U.S. Department of Housing and Urban Development (HUD).


MP3 Music Downloads

Preview songs, Download Free Music,Burn CDs at ITunes.com
iTunes_RGB_9mm

 


Google




InformationQuickFind.com - Find Information Fast

Links