Contextuality and nonlocality are nonclassical properties exhibited by quantum statistics whose implications profoundly impact both the foundations applications of theory. In this paper we provide some insights into logical contextuality inequality-free proofs. The former can be understood as possibility version contextuality, while latter refers to proofs that not based on violations noncontex...

Abstract Hans Reichenbach’s position in the debate over scientific realism is remarkable. On one hand, he endorsed programmatic premises of logical empiricism; on other, explicitly employed a realist approach to conceptions such as reference, causality, and inference best explanation. How could that work out? It will be shown present paper view not, frequently assumed, opposed empiricism but ra...

This thesis provides a model–theoretic semantic analysis of aspects of the LF logical framework. The LF logical framework is the λΠ-calculus together with the judgements-as-types representation mechanism. A denotational semantics is provided for the λΠ-calculus in terms of Kripke λΠ-models. These are a generalization of the Kripke lambda models of Mitchell and Moggi to dependent types and are b...