The subtraction and covariance paradigms are two analytic techniques used with functional neuroimaging data. The first assumes that a brain region participating in a task should show altered neural activity (relative to a control task). The second assumes that tasks are mediated by networks of interacting regions.Images of mindattempts to link results from the subtraction paradigm with a network interpretation that could have been more explicitly done using the covariance paradigm.

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller-Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to constructive as well (...) as classical systems of arithmetic, analysis, and set theory. They yield relative consistency and conservativity results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations. Prerequisites are: familiarity with classical and intuitionistic predicate logic, basics of computability theory, Gödel's incompleteness theorems. (shrink)

The dominant model for interpreting brain imaging experiments assumes that the brain is organized to support mental processes that control behavior. However functional neuroimaging experiments, particularly of cognitive tasks, have not shown a high level of reproducibility and localization. This lack of clear functional segregation has been blamed on limitations in imaging technology and non linearity and regional overlap in how the brain implements these processes. However the validity of the underlying cognitive models used to describe the brain have rarely (...) been questioned or directly tested against imaging results. We propose an alternative model of brain function which correlates observed human behavior directly with measured brain activity without assumptions about intervening cognitive processes, that we term the Non-Cognitive Behavioral Model (NBM). Our model derives from Behavioral Psychology but is extended to include brain activations in addition to behavior as an observable. A further extension is the role of neuroplasticity as opposed to innate cognitive processes in the development of the brains support of cognitive behavior. Applications of NBM to neuroimaging studies are described and contrasted with the standard methodology which we refer to as the Standard Cognitive Model (SCM). In one application, the NBM correctly predicted the global, total energy consumption as the brain parameter that best correlates with a person being in the state of consciousness, a correlation missed by studies using the SCM due to its assumption that global activity does not support cognitive processes. Neuroplasticity is shown to provide a natural explanation of findings that object recognition activating the fusiform facial area comes from expertise through raining as opposed to the SCM explanation of an innate cognitive process specialized for face recognition. The conclusions are generalized to explain the poor reproducibility of cognitive processes reported in functional neuroimaging and to suggest how such studies can be used to better explain how the brain supports behavior. (shrink)

It is argued that the many-worlds interpretation is by far the best interpretation of quantum mechanics. The key points of this view are viewing the wave functions of worlds in three dimensions and understanding probability through self-locating uncertainty.

This article presents a parametrized functional interpretation. Depending on the choice of two parameters one obtains well-known functional interpretations such as Gödel's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kohlenbach's monotone interpretations, Kreisel's modified realizability, and Stein's family of functional interpretations. A functional interpretation consists of a formula interpretation and a soundness proof. I show that all these interpretations differ only on two design choices: first, on the number of counterexamples for A which became (...) witnesses for ¬A when defining the formula interpretation and, second, the inductive information about the witnesses of A which is considered in the proof of soundness. Sufficient conditions on the parameters are also given which ensure the soundness of the resulting functional interpretation. The relation between the parametrized interpretation and the recent bounded functional interpretation is also discussed. (shrink)

A notion of feasible function of finite type based on the typed lambda calculus is introduced which generalizes the familiar type 1 polynomial-time functions. An intuitionistic theory IPVω is presented for reasoning about these functions. Interpretations for IPVω are developed both in the style of Kreisel's modified realizability and Gödel's Dialectica interpretation. Applications include alternative proofs for Buss's results concerning the classical first-order system S12 and its intuitionistic counterpart IS12 as well as proofs of some of Buss's conjectures (...) concerning IS12, and a proof that IS12 cannot prove that extended Frege systems are not polynomially bounded. (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing (...) some applications of the new interpretation to theories of classical arithmetic and analysis. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)

It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two.

Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a (...) variant of the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

Extending Gödel's Dialectica interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite recursion on well-founded trees.

In the present paper we give a functional interpretation of Aczel's constructive set theories CZF − and CZF in systems T ∈ and T ∈ + of constructive set functionals of finite types. This interpretation is obtained by a translation × , a refinement of the ∧ -translation introduced by Diller and Nahm 49–66) which again is an extension of Gödel's Dialectica translation. The interpretation theorem gives characterizations of the definable set functions of CZF − and CZF (...) in terms of constructive set functionals. In a second part we introduce constructive set theories in all finite types. We expand the interpretation to these theories and give a characterization of the translation × . We further show that the simplest non-trivial axiom of extensionality is not interpretable by functionals of T ∈ and T ∈ + . We obtain this result by adapting Howard's notion of hereditarily majorizable functionals to set functionals. Subject of the last section is the translation ∨ that is defined in Burr for an interpretation of Kripke-Platek set theory with infinity. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time (...) of assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

Donald Davidson argues in "Thought and Talk" that all speakers must be interpreters of other speakers: linguistic competence requires the possession of intentional concepts and the ability to attribute intentional states to other people. Kristin Andrews (in Philosophical Psychology, 15) has argued that empirical evidence about autism undermines this theoretical claim, for some individuals with autism lack the requisite "theory of mind" skills to be able to interpret, yet are competent speakers. In this paper, Davidson is defended on the grounds (...) that the high-functioning autistic individuals in question have a more robust theory of mind than has been acknowledged, and that this is sufficient for them to be interpreters of other speakers. It is argued, further, that Davidson's theory would remain intact even if one or more autistic speakers lacking a theory of mind were to exist, as he makes conceptual claims about thought and language that are not vulnerable to empirical counterexamples. (shrink)

In 1958 Gödel published his Dialectica interpretation, which reduces classical arithmetic to a quantifier-free theory T axiomatizing the primitive recursive functionals of finite type. Here we extend Gödel's T to theories Pn of “predicative” functionals, which are defined using Martin-Löf's universes of transfinite types. We then extend Gödel's interpretation to the theories of arithmetic inductive definitions IDn, so that each IDn is interpreted in the corresponding Pn. Since the strengths of the theories IDn are cofinal in the ordinal (...) Γ0, as a corollary this analysis provides an ordinal-free characterization of the <Γ0-recursive functions. (shrink)

Understanding the functional mechanisms underlying genetic signals associated with complex traits and common diseases, such as cancer, diabetes and Alzheimer's disease, is a formidable challenge. Many genetic signals discovered through genome‐wide association studies map to non‐protein coding sequences, where their molecular consequences are difficult to evaluate. This article summarizes concepts for the systematic interpretation of non‐coding genetic signals using genome annotation data sets in different cellular systems. We outline strategies for the global analysis of multiple association intervals and the (...) in‐depth molecular investigation of individual intervals. We highlight experimental techniques to validate candidate (potential causal) regulatory variants, with a focus on novel genome‐editing techniques including CRISPR/Cas9. These approaches are also applicable to low‐frequency and rare variants, which have become increasingly important in genomic studies of complex traits and diseases. There is a pressing need to translate genetic signals into biological mechanisms, leading to prognostic, diagnostic and therapeutic advances. (shrink)

Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit 'interpreting' instances that make the implication valid. For proofs in constructive set theory CZF-, it may not always be possible to find just one such instance, but it must suffice to explicitly name (...) a set consisting of such interpreting instances. The aim of eliminating unbounded quantification in favor of appropriate constructive functionals will still be obtained, as our ∧-interpretation theorem for constructive set theory in all finite types CZFω- shows. By changing to a hybrid interpretation ∧q, we show closure of CZFω- under rules that – in stronger forms – have already been studied in the context of Heyting arithmetic. In a similar spirit, we briefly survey modified realizability of CZFω- and its hybrids. Central results of this paper have been proved by Burr 2000a and Schulte 2006, however, for different translations. We use a simplified interpretation that goes back to Diller and Nahm 1974. A novel element is a lemma on absorption of bounds which is essential for the smooth operation of our translation. (shrink)

Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit ‘interpreting’ instances that make the implication valid. For proofs in constructive set theory CZF‐, it may not always be possible to find just one such instance, but it must suffice to explicitly name (...) a set consisting of such interpreting instances. The aim of eliminating unbounded quantification in favor of appropriate constructive functionals will still be obtained, as our ∧‐interpretation theorem for constructive set theory in all finite types CZFω‐ shows. By changing to a hybrid interpretation ∧q, we show closure of CZFω‐ under rules that – in stronger forms – have already been studied in the context of Heyting arithmetic. In a similar spirit, we briefly survey modified realizability of CZFω‐ and its hybrids. Central results of this paper have been proved by Burr 2000a and Schulte 2006, however, for different translations. We use a simplified interpretation that goes back to Diller and Nahm 1974. A novel element is a lemma on absorption of bounds which is essential for the smooth operation of our translation. (shrink)

In this article we discuss the problem of finding an interpretation of quantum mechanics which provides an objective account of physical reality. In the first place we discuss the problem of interpretation and analyze the importance of such an objective account in physics. In this context we present the problems which arise when interpreting the quantum wave function within the orthodox formulation of quantum mechanics. In connection to this critic, we expose the concept of ‘entity’ as an (...) epistemological obstruction. In the second part of this paper we discuss the relation between actuality and potentiality in classical and quantum physics, and continue to present the concept of ontological potentiality which is distinguished from the generic Aristotelian notion of potentiality in terms of ‘becoming actual’. In this paper our main aim is to provide an objective interpretation of quantum mechanics which allows us to discuss the meaning of physical reality according to the theory. For this specific propose we present the concept of faculty in place of the concept of ‘entity’. Within our theory of faculties, we continue to discuss and interpret two paradigmatic experiments of quantum mechanics such as the double-slit and Schrodinger’s cat. (shrink)

Logics for ‘generally’ are intended to express some vague notions, such as ‘generally’, ‘several’, ‘many’, ‘most’, etc., by means of the new generalized quantifier ∇ and to reason about assertions with ‘generally’ . We introduce the idea of functional interpretation for ‘generally’ and show that representative functions enable elimination of ∇ and reduce consequence to classical theories. Thus, one can use proof procedures and theorem provers for classical first-order logic to reason about assertions involving ‘generally’.

In this paper, I provide further support for my earlier claim that the existence of high-functioning autistic speakers does not undermine Davidson's theory of radical interpretation. Andrews and Radenovic, in criticizing my arguments for this position, have presented fresh evidence from the clinical literature on autism for the existence of an individual who speaks but does not interpret, and maintain that the existence of such an individual seriously challenges Davidson's theory. I counter this claim by showing that the evidence (...) they point to in fact better supports the conclusion that this autistic speaker, and others like him, are Davidsonian interpreters. (shrink)

In recent years, proof theoretic transformations that are based on extensions of monotone forms of Gödel’s famous functional interpretation have been used systematically to extract new content from proofs in abstract nonlinear analysis. This content consists both in effective quantitative bounds as well as in qualitative uniformity results. One of the main ineffective tools in abstract functional analysis is the use of sequential forms of weak compactness. As we recently verified, the sequential form of weak compactness for bounded closed (...) and convex subsets of an abstract Hilbert space can be carried out in suitable formal systems that are covered by existing metatheorems developed in the course of the proof mining program. In particular, it follows that the monotone functional interpretation of this weak compactness principle can be realized by a functional Ω∗ definable from bar recursion of lowest type. While a case study on the analysis of strong convergence results that are based on weak compactness indicates that the use of the latter seems to be eliminable, things apparently are different for weak convergence theorems such as the famous Baillon nonlinear ergodic theorem. For this theorem we recently extracted an explicit bound on a metastable version of this theorem that is primitive recursive relative to Ω∗.In the current paper we for the first time give the construction of Ω∗ . As a corollary to the fine analysis of the use of bar recursion in this construction we obtain that Ω∗ elevates arguments in Tn at most to resulting functionals in Tn+2 . In particular, one can conclude from this that our bound on Baillon’s theorem is at least definable in T4. (shrink)

A distinction between different notions of “structure” and “function” is suggested for interpreting the overwhelming amount of data on microbiome structure and function. Sequence data, biochemical agents, interaction networks, taxonomic communities, and their dynamics can be linked to potential or actual biochemical activities, causal roles, and selected effects, respectively. This conceptual clarification has important methodological consequences for how to interpret existing data and approach open questions in contemporary microbiome research practice. In particular, the field will have to start (...) thinking about notions of function more directly. Also see the video abstract here https://youtu.be/j5pq5uGld1k. (shrink)

Hayek's social theory presupposes that rules are unintended consequences of individual actions. This essay explicates one kind of Hayekian explanation of that claim. After noting the kinds of rules that Hayek believes are subject to such a theory, the essay distinguishes three functional explanations advocated by Hayek. He combines one of these functional explanations with an invisible hand explanation. A schema suitable for constructing invisible hand-functional evolutionary theories is employed to outline this combination.

Abstract.Carrying out a suggestion by Kreisel, we adapt Gödel’s functional interpretation to ordinary first-order predicate logic(PL) and thus devise an algorithm to extract Herbrand terms from PL-proofs. The extraction is carried out in an extension of PL to higher types. The algorithm consists of two main steps: first we extract a functional realizer, next we compute the β-normal-form of the realizer from which the Herbrand terms can be read off. Even though the extraction is carried out in the extended (...) language, the terms are ordinary PL-terms. In contrast to approaches to Herbrand’s theorem based on cut elimination orɛ-elimination this extraction technique is, except for the normalization step, of low polynomial complexity, fully modular and furthermore allows an analysis of the structure of the Herbrand terms, in the spirit of Kreisel ([13]), already prior to the normalization step. It is expected that the implementation of functional interpretation in Schwichtenberg’s MINLOG system can be adapted to yield an efficient Herbrand-term extraction tool. (shrink)

There seem to be two distinct aspects to the role played by the Interpretant in Peirce’s account of the sign relation. On the one hand, the Interpretant is said to establish the relation between the Sign and Object. That is, the Sign can “stand for” its Object, and thereby actually function as a Sign, only by virtue of its being interpreted as such by an Interpretant. On the other hand, the Interpretant is said to be “determined” by the Sign (...) in such a way that it is thereby mediately determined by the Sign’s Object. How can we understand the relation between these two aspects of the Interpretant? This is the question with which this paper is concerned. I begin by drawing a distinction between what I call the first-order function and second-order function of the Interpretant, and illustrating this distinction using Peirce’s example of comparing the letters p and b in § 9 of the 1867 “On a New List of Categories.” I then show that this same distinction can be discerned in a significant passage in the second section of Peirce’s 1903 “A Syllabus of Certain Topics of Logic,” as well as in his early definition of the Interpretant in the “New List.” This double function of the Interpretant has been noted in the Peircean literature, specifically by Joseph Ransdell in his 1966 dissertation, and more recently by André De Tienne. However, an important aspect of what I call the second-order function of the Interpretant remains unclarified in Ransdell and De Tienne’s approaches, namely, its relation to the logical operation of hypostatic abstraction. I will show that the Interpretant, in its second-order function, plays a role formally identical in the sign process to the role played by hypostatic abstraction in Peirce’s demonstrations of the Reduction Thesis. This formal identity will afford us with a way of understanding the relation between the two aspects of the Interpretant in terms of hypostatic abstraction. (shrink)

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

The Dialectica-style functional interpretation of Kripke-Platek set theory with infinity ( $\hbox{\sf KP} \omega$ ) given in [1] uses a choice functional (which is not a definable set function of ( $hbox{\sf KP} \omega$ ). By means of a Diller-Nahm-style interpretation (cf. [4]) it is possible to eliminate the choice functional and give an interpretation by set functionals primitive recursive in $x\mapsto\omega$ . This yields the following characterization: The class of $\Sigma$ -definable set functions of $\hbox{\sf (...) KP} \omega$ coincides with the collection of set functionals of type 1 primitive recursive in $x\mapsto \omega$. (shrink)

Gödel interpreted Heyting arithmetic HA in a “logic-free” fragment T 0 of his theory T of primitive recursive functionals of finite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is different—in particular more complicated—, it forces us to look for different and more complicated functional translations. We discuss the arising logical problems for arithmetical and set theoretical systems from HA to CZF . We want (...) to test the thesis: While the functionals take care of the proof theoretic strength of the interpreted system, it is the functional translation that has to cope with the logical complexities of the system. (shrink)

The Dialectica-style functional interpretation of Kripke-Platek set theory with infinity (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\hbox{\sf KP} \omega$\end{document}) given in [1] uses a choice functional (which is not a definable set function of (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $hbox{\sf KP} \omega$\end{document}). By means of a Diller-Nahm-style interpretation (cf. [4]) it is possible to eliminate the choice functional and give an interpretation by set functionals primitive recursive in (...) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $x\mapsto\omega$\end{document}. This yields the following characterization: The class of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\Sigma$\end{document}-definable set functions of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\hbox{\sf KP} \omega$\end{document} coincides with the collection of set functionals of type 1 primitive recursive in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $x\mapsto \omega$\end{document}. (shrink)

This paper investigates whether the fundamental linguistic insights and intuitions of Lexical Functional Grammar, which is usually presented as a constraint-based linguistic theory, can be reformulated in a resource sensitive framework using a substructural modal logic. In the approach investigated here, LFG's f-descriptions are replaced with expressions from a multi-modal propositional logic. In effect, the feature structure unification basis of LFG's f-structures is replaced with a very different resource based mechanism. It turns out that some linguistic analyses that required non-monotonic (...) devices in LFG analysis of Icelandic) can be straightforwardly expressed in the framework presented here. Moreover, a Curry– Howard correspondence between proofs in this logic and -terms provides a semantic interpretation as a by-product of the process of showing syntactic well-formedness. (shrink)

In this paper I investigate, within the framework of realistic interpretations of the wave function in nonrelativistic quantum mechanics, the mathematical and physical nature of the wave function. I argue against the view that mathematically the wave function is a two-component scalar field on configuration space. First, I review how this view makes quantum mechanics non- Galilei invariant and yields the wrong classical limit. Moreover, I argue that interpreting the wave function as a ray, in agreement (...) many physicists, Galilei invariance is preserved. In addition, I discuss how the wave function behaves more similarly to a gauge potential than to a field. Finally I show how this favors a nomological rather than an ontological view of the wave function. (shrink)

There are two distinct questions that arise when one asks about “the interpretation of quantum mechanics” or “how can quantum mechanics be reconciled with the ‘real’ world—the world we experience.”.

This paper proposes an exploration of the methodology of utility functions that distinguishes interpretation from representation. While representation univocally assigns numbers to the entities of the domain of utility functions, interpretation relates these entities with empirically observable objects of choice. This allows us to make explicit the standard interpretation of utility functions which assumes that two objects have the same utility if and only if the individual is indifferent among them. We explore the underlying assumptions of such (...) an hypothesis and propose a non-standard interpretation according to which objects of choice have a well-defined utility although individuals may vary in the way they treat these objects in a specific context. We provide examples of such a methodological approach that may explain some reversal of preferences and suggest possible mathematical formulations for further research. (shrink)

This study compared professional and amateur classical musicians matched for age, gender, and education on reaction times during the Stroop color-word test, brainwaves during an auditory ERP task and during paired reaction-time tasks, responses on the Gibbs Sociomoral Reflection questionnaire, and self-reported frequencies of peak experiences. Professional musicians were characterized by: lower color-word interference effects , faster categorization of rare expected stimuli , and a trend for faster processing of rare unexpected stimuli , higher scores on the Sociomoral Reflection questionnaire, (...) and more frequent peak experiences during rest, tasks, and sleep. Both groups had high values on the Brain Integration Scale. These findings are interpreted in light of a Unified Theory of Performance, which posits that effectiveness in any area is influenced by one’s level of mind-brain development—emotional, cognitive, moral, ego and cortical development—with higher mind-brain development supporting greater effectiveness in any domain. (shrink)

The aim of this article is to give an introduction to functional interpretations of set theory given by the authorin Burr (2000a). The first part starts with some general remarks on Gödel's functional interpretation with a focus on aspects related to problems that arise in the context of set theory. The second part gives an insight in the techniques needed to perform a functional interpretation of systems of set theory. However, the first part of this article is not (...) intended to be a complete survey of functional interpretations and here we recommend, for example, Avigad and Feferman (1998),Troelstra (1990) and Troelstra (1973). (shrink)