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

Skin Diseases and Disorders01:23

Skin Diseases and Disorders

5.0K
Skin is the first line of defense and encounters a variety of microbes. Some pathogenic strains are often the cause of a broad range of infections of the skin and other body systems. These conditions can affect people of all ages and may have different causes, including genetic factors, infections, autoimmune reactions, environmental factors, and lifestyle choices.
Gram-positive Staphylococcus spp. and Streptococcus spp. are responsible for many of the most common skin infections. However, many...
5.0K
Skin Cancer01:30

Skin Cancer

5.6K
Skin cancer is a type of cancer that occurs when there is an abnormal growth of skin cells, usually triggered by damage to the DNA within the skin cells. It is primarily caused by exposure to ultraviolet (UV) radiation from the sun or artificial sources like tanning beds. Skin cancer is the most common type of cancer worldwide, and its incidence continues to rise.
Basal Cell Carcinoma (BCC): BCC is the most common type of skin cancer, accounting for about 80% of cases. It typically develops in...
5.6K
Lysosomal Hydrolases01:22

Lysosomal Hydrolases

4.4K
Lysosomes are the site for the degradation of macromolecules and biological polymers released during membrane trafficking events such as secretory, endocytic, autophagic, and phagocytic pathways. The membrane-enclosed area of the lysosome, called the lumen, contains hydrolytic enzymes active in an acidic environment. These acid hydrolases are functional at a pH between 4.5 and 5 and are involved in cellular processes such as cell signaling, energy metabolism, restoration of the plasma membrane,...
4.4K

You might also read

Related Articles

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

Sort by
Same author

Stereo- and regioselective phyllobilane oxidation in leaf homogenates of the peace lily (Spathiphyllum wallisii): hypothetical endogenous path to yellow chlorophyll catabolites.

Chemistry (Weinheim an der Bergstrasse, Germany)·2014
Same author

Stereo- and Regioselective Phyllobilane Oxidation in Leaf Homogenates of the Peace Lily (Spathiphyllum wallisii): Hypothetical Endogenous Path to Yellow Chlorophyll Catabolites.

Chemistry (Weinheim an der Bergstrasse, Germany)·2014
Same author

["Every single assault prevented is worth the effort"].

MMW Fortschritte der Medizin·2014
Same author

Endocavitary contrast-enhanced ultrasound: a technique whose time has come?

Journal of clinical ultrasound : JCU·2014
Same author

Efficiency of gas transfer in venovenous extracorporeal membrane oxygenation: analysis of 317 cases with four different ECMO systems.

Intensive care medicine·2014
Same author

[Large therapy studies. New options for restless legs syndrome therapy].

MMW Fortschritte der Medizin·2014
Same journal

A Logical Modeling of Severe Ignorance.

Journal of philosophical logic·2023
Same journal

Williamson on Counterpossibles.

Journal of philosophical logic·2019
Same journal

Principles for Object-Linguistic Consequence: from Logical to Irreflexive.

Journal of philosophical logic·2019
Same journal

A Topological Approach to Full Belief.

Journal of philosophical logic·2019
Same journal

On Sahlqvist Formulas in Relevant Logic.

Journal of philosophical logic·2018
Same journal

Referential Dependencies Between Conflicting Attitudes.

Journal of philosophical logic·2017
See all related articles

Related Experiment Video

Updated: Dec 29, 2025

Skin Diseases and Disorders
01:23

Skin Diseases and Disorders

5.0K

BH-CIFOL: Case-Intensional First Order Logic: (II) Branching Histories.

Nuel Belnap1, Thomas Müller2

  • 1Department of Philosophy, University of Pittsburgh, 1001 Cathedral of Learning, Pittsburgh, PA 15260 USA.

Journal of Philosophical Logic
|January 12, 2016
PubMed
Summary
This summary is machine-generated.

This study introduces branching histories for case-intensional first-order logic (CIFOL), enabling analysis of indeterminism and temporal/modal concepts like future and settledness. The framework addresses substances and sortals within branching futures, refuting objections to such models.

Keywords:
BranchingIdentityIndeterminismModal logicQuantificationSortalSubstanceTracing

More Related Videos

Skin Cancer
01:30

Skin Cancer

5.6K
Lysosomal Hydrolases
01:22

Lysosomal Hydrolases

4.4K

Related Experiment Videos

Last Updated: Dec 29, 2025

Skin Diseases and Disorders
01:23

Skin Diseases and Disorders

5.0K
Skin Cancer
01:30

Skin Cancer

5.6K
Lysosomal Hydrolases
01:22

Lysosomal Hydrolases

4.4K

Area of Science:

  • Logic and Formal Philosophy
  • Metaphysics
  • Philosophy of Time

Background:

  • Part I introduced case-intensional first-order logic (CIFOL).
  • Previous work lacked a structured framework for indeterminism.
  • Existing models struggled with temporal/modal concepts and individual persistence.

Purpose of the Study:

  • To introduce a framework of branching histories (BH-CIFOL) to model indeterminism.
  • To formally define Ockhamist temporal/modal connectives (past, future, settledness).
  • To analyze the persistence of substances and the specification of sortals within branching histories.

Main Methods:

  • Development of the BH-CIFOL system, where cases are moment/history pairs.
  • Formalization of temporal/modal connectives within the branching histories framework.
  • Analysis of individual tracing via absolute properties in branching scenarios.

Main Results:

  • BH-CIFOL successfully incorporates indeterminism using structured cases.
  • The framework allows for clear definitions of past, future, and settledness.
  • Persistence of substances and specification of sortals are shown to be coordination tasks.

Conclusions:

  • The BH-CIFOL framework provides a robust model for indeterminism in first-order logic.
  • It offers novel insights into temporal/modal logic and the metaphysics of persistence.
  • The paper refutes Lewis's argument against branching histories.