Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Resonance and Hybrid Structures

Resonance and Hybrid Structures

According to the theory of resonance, if two or more Lewis structures with the same arrangement of atoms can be written for a molecule, ion, or radical, the actual distribution of electrons is an average of that shown by the various Lewis structures.
Resonance Structures and Resonance Hybrids
The Lewis structure of a nitrite anion (NO2−) may actually be drawn in two different ways, distinguished by the locations of the N–O and N=O bonds.

Classifying Matter by Composition

Classifying Matter by Composition

Matter: Pure Substances and Mixtures
According to its composition, the matter can be classified into two broad categories — pure substances and mixtures.
A pure substance is a form of matter that has a constant composition throughout with uniform properties. For example, any sample of sucrose has the same composition and same physical properties, such as melting point, color, and sweetness, regardless of the source from which it is isolated.
A mixture is composed of two or...

Modes of Standing Waves - I

Modes of Standing Waves - I

A close look at earthquakes provides evidence for the conditions appropriate for resonance, standing waves, and constructive and destructive interference. A building may vibrate for several seconds with a driving frequency matching the building's natural frequency of vibration; this produces a resonance that results in one building collapsing while the neighboring buildings do not. Often, buildings of a certain height are devastated, while other taller buildings remain intact. This...

Properties of Fourier series II

Properties of Fourier series II

Time scaling of signals is a crucial concept in signal processing that affects the Fourier series representation without altering its coefficients. The process modifies the fundamental frequency, thereby changing how the series represents the signal over time. This principle is essential in various applications, including audio and image processing, where signal manipulation is frequent. Understanding function symmetries is fundamental to simplifying the Fourier series.
A function f(t) is...

Double Resonance Techniques: Overview

Double Resonance Techniques: Overview

Double resonance techniques in Nuclear Magnetic Resonance (NMR) spectroscopy involve the simultaneous application of two different frequencies or radiofrequency pulses to manipulate and observe two distinct nuclear spins. One important application of double resonance is spin decoupling, which selectively suppresses coupling with one type of nucleus while observing the NMR signal from another nucleus, simplifying the spectrum and enhancing resolution.
Spin decoupling is usually achieved by...

Coplanar Forces

Coplanar Forces

Consider an object upon which multiple forces are acting. If the lines of action of each force lie within the same plane, the system can be considered coplanar. The Cartesian vector form can be used to resolve each force into its respective components. For a coplanar system, the system will be in equilibrium if each component of the resultant force equals zero and the resultant force on the system is zero. If the sum of the forces is not equal to zero, then the object will not be in equilibrium...

You might also read

Related Articles

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

Sort by

Same author

Naïve validity.

Synthese·2022

Same author

Categoricity by convention.

Philosophical studies·2021

Same author

Surprise, surprise: KK is innocent.

Thought (Hoboken, N.J.)·2021

Same author

Conservative deflationism?

Philosophical studies·2020

Same journal

Concept(s) of Health: Lifestyle at the Heart of Modern Health.

Erkenntnis·2026

Same journal

Common Belief and Make-Believe.

Erkenntnis·2026

Same journal

Hilbert's Early Metatheory Revisited.

Erkenntnis·2026

Same journal

Neo-Russellian Abstractionism.

Erkenntnis·2026

Same journal

Epistemic Rationality Begins Unreflectively.

Erkenntnis·2026

Same journal

Forward-Looking Concept Functions and the Function/Accident Distinction.

Erkenntnis·2026

See all related articles

Search research articles

Related Experiment Video

Updated: Dec 15, 2025

fMRI Mapping of Brain Activity Associated with the Vocal Production of Consonant and Dissonant Intervals

fMRI Mapping of Brain Activity Associated with the Vocal Production of Consonant and Dissonant Intervals

Published on: May 23, 2017

Classical Harmony and Separability.

¹University of Salzburg, Salzburg, Austria.

|July 11, 2020

Summary

This summary is machine-generated.

This study introduces a new formalization for classical logic, demonstrating it can be both harmonious and separable. This challenges the view that classical logic cannot be explained using inferentialist principles.

More Related Videos

Spatial Separation of Molecular Conformers and Clusters

Spatial Separation of Molecular Conformers and Clusters

Published on: January 9, 2014

Hemi-laryngeal Setup for Studying Vocal Fold Vibration in Three Dimensions

Hemi-laryngeal Setup for Studying Vocal Fold Vibration in Three Dimensions

Published on: November 25, 2017

Related Experiment Videos

Last Updated: Dec 15, 2025

fMRI Mapping of Brain Activity Associated with the Vocal Production of Consonant and Dissonant Intervals

fMRI Mapping of Brain Activity Associated with the Vocal Production of Consonant and Dissonant Intervals

Published on: May 23, 2017

Spatial Separation of Molecular Conformers and Clusters

Spatial Separation of Molecular Conformers and Clusters

Published on: January 9, 2014

Hemi-laryngeal Setup for Studying Vocal Fold Vibration in Three Dimensions

Hemi-laryngeal Setup for Studying Vocal Fold Vibration in Three Dimensions

Published on: November 25, 2017

Area of Science:

Formal Logic
Philosophy of Language
Proof Theory

Background:

Inferentialism posits that logical expression meaning derives from usage rules.
Harmony and separability are key proof-theoretic requirements for admissible logical rules.
Standard formalizations of classical logic fail to meet these requirements, posing a challenge for inferentialist accounts.

Purpose of the Study:

To challenge the prevailing view that classical logic is incompatible with inferentialist semantics.
To present a novel formalization of classical propositional logic that satisfies harmony and separability.
To demonstrate that classicality can be an emergent structural feature within an inferentialist framework.

Main Methods:

Development of a new assertion-based, single-conclusion formalization for classical propositional logic.
Proof-theoretic analysis to demonstrate the satisfaction of harmony and separability conditions.
Examination of the structural properties of the proposed logical framework.

Main Results:

A formal system for classical propositional logic is introduced that is both harmonious and separable.
The proposed framework successfully accounts for classical logic within inferentialist terms.
Classicality is shown to arise as a structural characteristic of the logic, rather than a predefined axiom.

Conclusions:

The presented formalization overcomes limitations of previous systems, reconciling classical logic with inferentialism.
This work offers a new perspective on the relationship between logical practice and semantic theories.
The findings suggest that inferentialist explanations can be extended to encompass classical logic effectively.