-
Implicit Commitment in a General Setting
Authors:
Mateusz Łelyk,
Carlo Nicolai
Abstract:
Gödel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing logical strength that make progressively more explicit those \emph{implicit} assumptions. This notion of \emph{implicit commitment} motivates directly or indirectly several research programmes in logic and the foundation…
▽ More
Gödel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing logical strength that make progressively more explicit those \emph{implicit} assumptions. This notion of \emph{implicit commitment} motivates directly or indirectly several research programmes in logic and the foundations of mathematics; yet there hasn't been a direct logical analysis of the notion of implicit commitment itself. In a recent paper, Łelyk and Nicolai carried out an initial assessment of this project by studying necessary conditions for implicit commitments; from seemingly weak assumptions on implicit commitments of an arithmetical system $S$, it can be derived that a uniform reflection principle for $S$ -- stating that all numerical instances of theorems of $S$ are true -- must be contained in $S$'s implicit commitments. This study gave rise to unexplored research avenues and open questions. This paper addresses the main ones. We generalize this basic framework for implicit commitments along two dimensions: in terms of iterations of the basic implicit commitment operator, and via a study of implicit commitments of theories in arbitrary first-order languages, not only couched in an arithmetical language.
△ Less
Submitted 23 April, 2023; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
Authors:
Carlo Nicolai,
Mario Piazza,
Matteo Tesi
Abstract:
The paper investigates from a proof-theoretic perspective various non-contractive logical systems circumventing logical and semantic paradoxes. Until recently, such systems only displayed additive quantifiers (Grišin, Cantini). Systems with multiplicative quantifers have also been proposed in the 2010s (Zardini), but they turned out to be inconsistent with the naive rules for truth or comprehensio…
▽ More
The paper investigates from a proof-theoretic perspective various non-contractive logical systems circumventing logical and semantic paradoxes. Until recently, such systems only displayed additive quantifiers (Grišin, Cantini). Systems with multiplicative quantifers have also been proposed in the 2010s (Zardini), but they turned out to be inconsistent with the naive rules for truth or comprehension. We start by presenting a first-order system for disquotational truth with additive quantifiers and we compare it with Grišin set theory. We then analyze the reasons behind the inconsistency phenomenon affecting multiplicative quantifers: after interpreting the exponentials in affine logic as vacuous quantifiers, we show how such a logic can be simulated within a truth-free fragment of a system with multiplicative quantifiers. Finally, we prove that the logic of these multiplicative quantifiers (but without disquotational truth) is consistent, by showing that an infinitary version of the cut rule can be eliminated. This paves the way to a syntactic approach to the proof theory of infinitary logic with infinite sequents.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Time-averaged velocity and scalar fields of the flow surrounding a group of cylinders
Authors:
Dea Daniella Wangsawijaya,
Claudia Nicolai,
Bharathram Ganapathisubramani
Abstract:
We examine the characteristics of mean flow and scalar concentration characteristics of a turbulent boundary layer flow im**ing on a cluster of tall obstacles (which can also be interpreted as a porous obstruction). The cluster is created with a group of cylinders of diameter $d$ and height $h$ arranged in a circular patch of diameter $D$.The solidity of the patch/obstruction is defined by $φ$ (…
▽ More
We examine the characteristics of mean flow and scalar concentration characteristics of a turbulent boundary layer flow im**ing on a cluster of tall obstacles (which can also be interpreted as a porous obstruction). The cluster is created with a group of cylinders of diameter $d$ and height $h$ arranged in a circular patch of diameter $D$.The solidity of the patch/obstruction is defined by $φ$ (the total planar area covered by cylinders), which is systematically varied ($0.098 \leq φ\leq 1$) by increasing the number of cylinders in a patch ($N_c$). A point source is placed at ground level upstream of the patch and its transport around the patch is examined. Time-averaged velocity and scalar fields, obtained from simultaneous planar PIV-PLIF (particle image velocimetry-planar laser-induced fluorescence) measurements, reveal that the characteristics of wake and flow above porous patches are heavily influenced by $φ$. In particular, we observe that the horizontal and vertical extent of the wake and scalar concentration downstream of the patches decreases and increases with $φ$, respectively. Here, the recirculation bubble is shifted closer to the trailing edge of the patches as $φ$ increases, limiting the flow from convecting downstream, decreasing the scalar concentration and virtually `extending' the patch in streamwise direction. As the bubble forms in the trailing edge, vertical bleeding increases and hence the concentration increases above patch where the cylinders appear to be `extend' vertically towards the freestream.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
Making cosmic particle accelerators visible and audible
Authors:
Stefan Ohm,
Konrad Rappaport,
Carsten Nicolai,
Till Mundzeck,
Andrew Taylor,
Sylvia Jiechen Zhu,
Matthias Füßling,
Robert Daniel Parsons
Abstract:
In a collaboration between astroparticle physicists, animation artists from the award-winning Science Communication Lab, and musician Carsten Nicolai (a.k.a. Alva Noto), two cosmic particle accelerators have been brought to life: the massive binary star Eta Carinae, and the exploding star, which resulted in the gamma-ray burst GRB190829A. For Eta Carinae, the computer-generated images are close to…
▽ More
In a collaboration between astroparticle physicists, animation artists from the award-winning Science Communication Lab, and musician Carsten Nicolai (a.k.a. Alva Noto), two cosmic particle accelerators have been brought to life: the massive binary star Eta Carinae, and the exploding star, which resulted in the gamma-ray burst GRB190829A. For Eta Carinae, the computer-generated images are close to reality because the measured orbital, stellar and wind parameters were used for this purpose. Particle acceleration in the jet of GRB190829A has also been animated at a level of detail not seen before. The internationally acclaimed multimedia artist Carsten Nicolai, who uses the pseudonym Alva Noto for his musical works, exclusively composed the sound for the animations. The multimedia projects aim at making the discoveries more accessible to the general public, and to mediate scientific results and their reference to reality from an artistic point of view.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE
Authors:
Martin Fischer,
Carlo Nicolai,
Pablo Dopico Fernandez
Abstract:
Questions concerning the proof-theoretic strength of classical versus non-classical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In thi…
▽ More
Questions concerning the proof-theoretic strength of classical versus non-classical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In this paper we consider the addition of a suitable conditional to First-Degree Entailment -- a logic recently studied by Hannes Leitgeb under the label `HYPE'. We show in particular that, by formulating the theory PKF over HYPE one obtains a theory that is sound with respect to fixed-point models, while being proof-theoretically on a par with its classical counterpart KF. Moreover, we establish that also its schematic extension -- in the sense of Feferman -- is as strong as the schematic extension of KF, thus matching the strength of predicative analysis.
△ Less
Submitted 13 August, 2020; v1 submitted 14 July, 2020;
originally announced July 2020.
-
Cut elimination for systems of transparent truth with restricted initial sequents
Authors:
Carlo Nicolai
Abstract:
The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strat…
▽ More
The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules.
△ Less
Submitted 28 June, 2020; v1 submitted 14 June, 2020;
originally announced June 2020.
-
The Modal Logics of Kripke-Feferman Truth
Authors:
Carlo Nicolai,
Johannes Stern
Abstract:
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal{M}$, or an axiomatization $S$ thereof, we find a modal logic $M$ such that a modal sentence $\varphi$ is a theorem of $M$ if and only if the sentence $\varphi^*$ obtained by translating the modal operator with the trut…
▽ More
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal{M}$, or an axiomatization $S$ thereof, we find a modal logic $M$ such that a modal sentence $\varphi$ is a theorem of $M$ if and only if the sentence $\varphi^*$ obtained by translating the modal operator with the truth predicate is true in $\mathcal{M}$ or a theorem of $S$ under all such translations. To this end, we introduce a novel version of possible worlds semantics featuring both classical and nonclassical worlds and establish the completeness of a family of non-congruent modal logics whose internal logic is subclassical with respect to this semantics.
△ Less
Submitted 6 May, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Iterated reflection principles over full disquotational truth
Authors:
Martin Fischer,
Carlo Nicolai,
Leon Horsten
Abstract:
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by finitely iterated reflection at strong compositional truth theories. In the context of classical logic it is incoherent t…
▽ More
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by finitely iterated reflection at strong compositional truth theories. In the context of classical logic it is incoherent to adopt an initial truth theory in which A and 'A is true' are inter-derivable. In this article we show how in the context of a weaker logic, which we call Basic De Morgan Logic, we can coherently start with such a fully disquotational truth theory and arrive at a strong compositional truth theory by applying a natural uniform reflection principle a finite number of times.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.