Realizability Research Articles

Philosophy and Science Dialogue: Mental Causation

This paper is a dialogue between Thalia Wheatley and Terence Horgan. Horgan maintains that philosophy is a broadly empirical discipline, and that philosophical theorizing about how concepts work treats certain intuitions about proper concept-usage as empirical data. He holds that the possibility of strong multiple realizability undermines the psychophysical identity theory. He holds that the concept of causation is governed by implicit contextual parameters, and that this dissolves Kim’s problem of “causal exclusion.” He holds that the concept of free will is governed by implicit contextual parameters, and that free-will attributions are often true, in typical contexts, even if determinism is true. Thalia Wheatley holds that the concept of multiple realizability hinges on the level of abstraction discussed and that neuroscientific data does not yet support multiple realizability of mental states from specific, high resolution brain states. She also holds that compatibilism redefines the concept of free will in ways that bear little resemblance to the common understanding―that of being free to choose otherwise in the moment. She maintains that this folk understanding is incompatible with the brain as a physical system and is not rescued by concepts of context and capacity.

Seventy Years in Philosophy of Mind: An Overview, with Emphasis on the Issue of Mental Causation

This paper is an opinionated overview of major developments in philosophy of mind during the past seventy years, with emphasis on the issue of mental causation. Its most prominent positions all embrace a broadly “naturalistic” or “materialistic” conception of human beings, and of mentalityand its place in nature. Included in this paper are discussions of analytical behaviorism, the psychophysical identity theory, functionalism, multiplerealizability and strong multiple realizability, supervenience, the causal exclusion problem, phenomenal mental states, wide content, contextualist causal compatibilism, agentive phenomenology, and the agent-exclusion problem.

Realizability of Choreography Given by Two Scenarios

Realizability of Choreography Given by Two Scenarios

2-colored diagrams of knots

It is well known that there are many presentations of a knot and each presentation has both its own advantages and disadvantages. In the paper we present another presentation of a knot. For the new presentation we define moves and rewrite the criterion of realizability.

REALIZABILITY OF TORSION FREE SUBGROUPS WITH PRESCRIBED SIGNATURES IN FUCHSIAN GROUPS

The necessary and sufficient conditions for the existence of a subgroup of finite index in a Fuchsian group $\Gamma = \fp^{n}_{j=1} {\bf Z}_{p_j}$, where each $p_j \geq 2$, are the Riemann-Hurwitz and diophantine conditions. For torsion free subgroups of index $d$ in $\Gamma$, the diophantine condition reduces to the one that $d$ is divisible by each $p_j$. The purpose of this paper is to study the realizability problem of torsion free subgroups of finite index with given signatures in $\Gamma$. In general, the Riemann-Hurwitz and diophantine conditions are not sufficient for our realizability problem if $n \geq 3$. An additional necessary end-condition for the existence of a subgroup $\Phi$ of index $d$ in $\Gamma$ is that the number $t$ of punctures of the Riemann surface ${\bf H^2} / \Phi$ is at most $d$. A major goal is to completely determine all possible $t \leq d$. Such signatures can always be realized under the Riemann-Hurwitz, diophantine and certain end conditions.

On the realizability of quantum computers

On the realizability of quantum computers

Development of a Nonlinear Near-Wall Model for Turbulent Flow and Heat Transfer

A new nonlinear near-wall turbulence model is developed to predict turbulent flow and heat transfer in strongly nonequilibrium flows. The k--f/, model of Park and Sung(1)/ is extended to a nonlinear formulation. The stress-strain relationship is the thrid-order in the mean velocity gradients. The strain dependent coefficients are obatined from the realizability constraints and the singular behavior at large strains. An improved explicit heat flux model is proposed with the aid of Cayley-Hamilton theorem. This new model includes the quadratic effects of flow deformations. The near-wall asymptotic behavior is incorporated by modifying the fλ/ function. The model performance is shown to be satisfactory.

On propositions-as-types in realizability models

On propositions-as-types in realizability models

Elementary realizability

Elementary realizability

Subcountability under realizability.

On montre que la theorie intuitionniste des ensembles IZF est consistante avec les assertions: SCDS (tout ensemble discret est sous denombrable) et SCMD (tout espace metrique est sous-denombrable). On formule un nouveau principe plus general que satisfait une structure de realisabilite deduite de l'œuvre de Kleene

Realizability of cohomology algebras: a survey

Pub. Mat. UABVol. 26 N° 2 Juny 1982REALIZABILITY OF COHOMOLOGY ALGEBRAS:A SURVEYJ. AGUADE(Universitat Autonoma de Barcelona)Rebut el 1 de desembre del 19810. Introduction 271. The Steenrod algebra 282. Secondary cohomology operations 333. K-theory 394 . Rational homotopy 435. Completion 476 . The theorem of Adams and Wilkerson 527. Other results7.1 Generalized cohomology 567.2 Integral cohomology of Ho-spaces 577.3 Realizability of invariant subalgebras 587.4 The algebra Zp[x]®E(y) 607.5 Polynomial algebras on two generators 618. Problems 63

On the stochastic fuel-regulator problem.

Stochastic fuel regulator problem investigated by optimal and self organizing techniques, emphasizing realizability of resulting controllers

Note on the Realizability of Directed Graphs

Note on the Realizability of Directed Graphs