Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Exon Recombination02:32

Exon Recombination

4.0K
The evolution of new genes is critical for speciation. Exon recombination, also known as exon shuffling or domain shuffling, is an important means of new gene formation. It is observed across vertebrates, invertebrates, and in some plants such as potatoes and sunflowers. During exon recombination, exons from the same or different genes recombine and produce new exon-intron combinations, which might evolve into new genes. 
Exon shuffling follows “splice frame rules.” Each exon...
4.0K
Correspondence Bias01:17

Correspondence Bias

171
Correspondence bias, also referred to as the fundamental attribution error, describes the tendency to attribute another person’s behavior to internal characteristics rather than situational influences. This cognitive bias leads individuals to overlook external factors that may be influencing actions, thereby fostering potentially inaccurate assessments of others’ intentions and dispositions.Empirical Evidence for Correspondence BiasResearch has consistently demonstrated the...
171
Incomplete Dominance01:43

Incomplete Dominance

29.6K
Gregor Mendel's work (1822 - 1884) was primarily focused on pea plants. Through his initial experiments, he determined that every gene in a diploid cell has two variants called alleles inherited from each parent. He suggested that amongst these two alleles, one allele is dominant in character and the other recessive. The combination of alleles determines the phenotype of a gene in an organism.
29.6K
In- and Out-Groups01:31

In- and Out-Groups

42.9K
People all belong to a gender, race, age, and social economic group. These groups provide a powerful source of our identity and self-esteem (Tajfel & Turner, 1979) and serve as our in-groups. An in-group is a group that we identify with or see ourselves as belonging to.
42.9K
Crossover Experiments01:16

Crossover Experiments

4.5K
Crossover experiments, also called the repeated-measurements design, is a study design in which all experimental units are exposed to all treatments in different periods. Crossover experiments are generally used in psychology, the pharmaceutical industry, agriculture, and medicine.
Crossover designs are performed even with smaller sample sizes since the samples can act as their controls. These are better than simple randomized trials since patients are exposed to all the treatments.
4.5K
The Pauli Exclusion Principle03:06

The Pauli Exclusion Principle

58.8K
The arrangement of electrons in the orbitals of an atom is called its electron configuration. We describe an electron configuration with a symbol that contains three pieces of information:
58.8K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic.

Erkenntnis·2024
See all related articles

Related Experiment Video

Updated: Jan 8, 2026

Measuring Neural and Behavioral Activity During Ongoing Computerized Social Interactions: An Examination of Event-Related Brain Potentials
09:40

Measuring Neural and Behavioral Activity During Ongoing Computerized Social Interactions: An Examination of Event-Related Brain Potentials

Published on: November 15, 2014

14.5K

Connexive Exclusion.

Yaroslav Shramko1, Heinrich Wansing2

  • 1Department of Philosophy, Kryvyi Rih State Pedagogical University, Kryvyi Rih, 50086 Ukraine.

Erkenntnis
|December 22, 2025
PubMed
Summary

This study introduces connexive exclusion logic, defining principles for this propositional connective dual to implication. The research develops a semantic approach, resulting in a contradictory yet non-trivial logic system.

Area of Science:

  • Formal Logic
  • Mathematical Logic
  • Philosophy of Logic

Background:

  • Exclusion, also known as co-implication, is a propositional connective.
  • It is considered dual to the connective of implication.
  • Exclusion is non-connexive in classical and intuitionistic logics, failing to meet connexivity principles.

Purpose of the Study:

  • To present a logic dealing with connexive exclusion.
  • To formulate principles for connexive exclusion, dual to Aristotle's and Boethius' theses for implication.
  • To develop a semantic approach for a logic of connexive exclusion.

Main Methods:

  • Formulating principles for connexive exclusion.
  • Defining criteria for a logical system to be considered a logic of connexive exclusion.

More Related Videos

Assessing Dyslexia at Six Year of Age
15:00

Assessing Dyslexia at Six Year of Age

Published on: May 1, 2020

8.7K
Osmotic Avoidance in Caenorhabditis elegans: Synaptic Function of Two Genes, Orthologues of Human NRXN1 and NLGN1, as Candidates for Autism
11:20

Osmotic Avoidance in Caenorhabditis elegans: Synaptic Function of Two Genes, Orthologues of Human NRXN1 and NLGN1, as Candidates for Autism

Published on: December 11, 2009

12.2K

Related Experiment Videos

Last Updated: Jan 8, 2026

Measuring Neural and Behavioral Activity During Ongoing Computerized Social Interactions: An Examination of Event-Related Brain Potentials
09:40

Measuring Neural and Behavioral Activity During Ongoing Computerized Social Interactions: An Examination of Event-Related Brain Potentials

Published on: November 15, 2014

14.5K
Assessing Dyslexia at Six Year of Age
15:00

Assessing Dyslexia at Six Year of Age

Published on: May 1, 2020

8.7K
Osmotic Avoidance in Caenorhabditis elegans: Synaptic Function of Two Genes, Orthologues of Human NRXN1 and NLGN1, as Candidates for Autism
11:20

Osmotic Avoidance in Caenorhabditis elegans: Synaptic Function of Two Genes, Orthologues of Human NRXN1 and NLGN1, as Candidates for Autism

Published on: December 11, 2009

12.2K
  • Developing a semantic justification for the exclusion connective.
  • Using connexive logic C as a paradigm.
  • Main Results:

    • Exclusion is non-connexive in standard logics.
    • Principles for connexive exclusion are formulated.
    • A logic of connexive exclusion is proposed, requiring asymmetry of the exclusion connective.
    • The developed logic is shown to be contradictory but not trivial.

    Conclusions:

    • Connexive exclusion logic can be formally defined with specific principles.
    • A semantic approach provides a foundation for this logic.
    • The resulting logic, while contradictory, offers a non-trivial system for studying exclusion.