Work

A 1996 Debate with Nuel Belnap on the Thin Red Line

Year: 2025

Type: article

Abstract: This paper examines a 1996 debate with Nuel Belnap on the thin red line (TRL) in branching-time semantics. While A.N. Prior’s tense-logic did not incorporate a privileged future, he discussed the idea as a possible interpretation of Ockham’s logic. The TRL asserts that one future among many is “true”, preserving bivalence, but Belnap and Green (Philos Perspect 8:365–388, 1994) argued that this contradicts indeterminism. The paper explores the origins of the term “thin red line”, Belnap and Green’s objections, and refinements to the TRL, conceived as a dynamic function for selecting a privileged chronicle at each moment in a branching time model. It also examines Belnap’s response to these refinements and situates the debate within broader discussions on Ockhamism and Molinism.

Source: Studia Logica

DOI: 10.1007/s11225-025-10205-w

Author: Peter Øhrstrøm

Institution: Aalborg University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,990

Funder: Aalborg Universitet