Wittgenstein on Pseudo-Irrationals, Diagonal Numbers and Decidability

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers

Semantic Criteria of Correct Formalization

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context

Book Review: East-West Dialogues: An Interreligious Encounter

A review of East-West Dialogues: An Interreligious Encounter by Satyaraja Dasa Adhikari (Steven Rosen) and Rev. Alvin V. P. Hart

Topological Surface States in Paramagnetic and Antiferromagnetic Iron Pnictides

The electronic structure of iron pnictides is topologically nontrivial, leading to the appearance of Dirac cones in the band structure for the antiferromagnetic phase. Motivated by the analogy with Dirac cones in graphene, we explore the possible existence of topologically protected surface states. Surprisingly, bands of surface states exist even in the paramagnetic state. A realistic five-orbital model predicts two such bands. In the antiferromagnetic phase, these surface bands survive but split. We obtain the bulk and surface dispersion from exact diagonalization of two- and five-orbital models in a strip geometry and discuss the results based on topology.Comment: 5 pages, 4 figure

A Decision Procedure for Herbrand Formulas without Skolemization

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests on nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction

Transport through a quantum spin Hall quantum dot

Quantum spin Hall insulators, recently realized in HgTe/(Hg,Cd)Te quantum wells, support topologically protected, linearly dispersing edge states with spin-momentum locking. A local magnetic exchange field can open a gap for the edge states. A quantum-dot structure consisting of two such magnetic tunneling barriers is proposed and the charge transport through this device is analyzed. The effects of a finite bias voltage beyond linear response, of a gate voltage, and of the charging energy in the quantum dot are studied within a combination of Green-function and master-equation approaches. Among other results, a partial recurrence of non-interacting behavior is found for strong interactions, and the possibility of controlling the edge magnetization by a locally applied gate voltage is proposed.Comment: 12 pages, 7 figure

Emergence of Spontaneously Broken Supersymmetry on an Anti-D3-Brane in KKLT dS Vacua

The KKLT construction of de Sitter vacua includes an uplifting term coming from an anti-D3-brane. Here we show how this term can arise via spontaneous breaking of supersymmetry, based on the emergence of a nilpotent chiral supermultiplet on the world-volume of the anti-D3-brane. We establish and use the fact that both the DBI as well as the WZ term, with account of orientifolding, acquire a form of the Volkov-Akulov action. For an O3 orientifold involution of $\mathbb{R}^{9,1}$ we demonstrate the cancellation between the fermionic parts of the DBI and WZ term for the D3-brane action. For the anti-D3-brane we show that the DBI action and the WZ action combine and lead to the emergence of the goldstino multiplet which is responsible for spontaneous breaking of supersymmetry. This provides a string theoretic explanation for the supersymmetric uplifting term in the KKLT effective supergravity model supplemented by a nilpotent chiral multiplet.Comment: 17 pages; v2: added clarifying comments and a referenc