Tarski's physicalism

Hartry Field has argued that Alfred Tarski desired to reduce all semantic concepts to concepts acceptable to physicalism and that Tarski failed to do this. In the two succeeding decades, Field has been charged with being too lenient with Tarski; but it has been almost universally accepted that an objection at least as strong as Field's is telling against Tarski's theory. Close examination of the relevant literature, most of it printed in this journal in the 1930s, reveals that Field's conception of physicalism is anachronistic. Tarski did succeed in furthering the sort of physicalist program he had in mind.     

Key notions of Tarski's methodology of deductive systems

The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.     

Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types

The new concept of lambda calculi with monotone inductive types is introduced byhelp of motivations drawn from Tarski's fixed-point theorem (in preorder theory) andinitial algebras and initial recursive algebras from category theory. They are intendedto serve as formalisms for studying iteration and primitive recursion ongeneral inductively given structures. Special accent is put on the behaviour ofthe rewrite rules motivated by the categorical approach, most notably on thequestion of strong normalization (i.e., the impossibility of an infinitesequence of successive rewrite steps). It is shown that this key propertyhinges on the concrete formulation. The canonical system of monotone inductivetypes, where monotonicity is expressed by a monotonicity witness beinga term expressing monotonicity through its type, enjoys strong normalizationshown by an embedding into the traditional system of non-interleavingpositive inductive types which, however, has to be enriched by the parametricpolymorphism of system F. Restrictions to iteration on monotone inductive typesalready embed into system F alone, hence clearly displaying the differencebetween iteration and primitive recursion with respect to algorithms despitethe fact that, classically, recursion is only a concept derived from iteration.     

Examining the Assumption

Many believe that at the end of her life Mary was assumed bodily 'into heaven' where she remains exalted by her divine son. This claim, magisterially entitled The Doctrine of the Assumption of the Blessed Virgin Mary , strikes some as absurd. Even many traditional Christians are opposed to, or have doubts about this aspect of Catholic doctrine (as they do of its non–defined equivalent among the Eastern Orthodox marked by the feast of the koimesis (dormition) of the Theotokos [the one who 'gave birth to' God]).
Typically critics regard the doctrine as being at best a sentimental piety and at worst a neo–Pagan accretion entirely lacking in support from any appropriate quarter. Others go further, however; suggesting that it is not simply without biblical or other evidential warrant but is in some way incoherent. Here I explore some of the sources of difficulties that confront any attempt to present and defend the doctrine.
Ancient and mediaeval accounts often relate narratives of Mary's final days. Significantly, however, they also reason that given Mary's unique status the Assumption must have happened because it should have done. I consider this style of deductive theology before examining certain historical presentations, in which I argue that there may be material evidence of the tradition as far back as the end of the persecution of Diocletian around the time of the Edict of Milan.
Thereafter I take up the philosophical problems, exploring various possibilities and suggesting that acknowledging Aquinas's insistence on the impoverished nature of disembodied human souls, and their need of resurrected embodiment is consistent with Mary's unique role that the mode of her present existence is of a different order to that of other separated subjects.     

Color And The Duplication Assumption

Susan Hurley has attacked the 'Duplication Assumption', the assumption thatcreatures with exactly the same internal states could function exactly alike inenvironments that are systematically distorted. She argues that the dynamicalinterdependence of action and perception is highly problematic for the DuplicationAssumption when it involves spatial states and capacities, whereas no such problemsarise when it involves color states and capacities. I will try to establish that theDuplication Assumption makes even less sense for lightness than for some ofthe spatial cases. This is due not only to motor factors, but to the basic physicalasymmetry between black and white. I then argue that the case can be extendedfrom lightness perception to hue perception. Overall, the aims of this paper are:(1) to extend Susan Hurley's critique of the Duplication Assumption; (2) to argueagainst highly constrained versions of Inverted Spectrum arguments; (3) to proposea broader conception of the vehicle for color perception.     

Hidden shame

Shame dynamics, after decades of neglect, reappeared in psychoanalytic thinking with increasing prevalence in the last thirty years. Shame that is hidden is an aspect of complex clinical phenomenology that is particularly likely to be missed and hidden further by partial psychoanalytic explanations that drive shame more and more from view. Shame is often hidden theoretically by formulations limiting conflict to conflict between drives or impulses and something opposing them. By contrast, the incompatible idea model propounded by Freud in Studies on Hysteria emphasizes awareness incompatible with the dictates of conscience, and hence is broader in scope and closer to actual experience. Although shame and guilt arise developmentally earlier than does a true sense of morality, these emotions and their unconscious variants become entwined with the individual's sense of morality as development proceeds. The dynamics of shame and guilt are considerably more complex than their phenomenology as overt emotions. Shame emphasizes weakness, vulnerability, and the likelihood of rejection--so much so that its acknowledgment often generates more shame. Guilt, however, since it is action- and power-oriented, often obscures shame and so defends against it.     

Elementary Particles,Hidden Variables,And Hidden Predicates

We recently showed that it is possible to deal withcollections of indistinguishable elementary particles (in thecontext of quantum mechanics) in a set-theoretical framework, byusing hidden variables. We propose in the presentpaper another axiomatics for collections of indiscernibleswithout hidden variables, where hidden predicates are implicitlyassumed. We also discuss the possibility of a quasi-settheoretical picture for quantum theory. Quasi-set theory, basedon Zermelo-Fraenkel set theory, was developed for dealing withcollections of indistinguishable, but, not identical objects.     

The Linearity Assumption in Cultivation Research

Cultivation theorists hypothesize a monotonic pattern of means across viewing subgroups, that is, that people in groups defined by higher levels of television viewing will be more likely to give the “television world” answer than will people in groups defined by lower levels of viewing. This prediction, along with the methodological practices used in conducting research on the theory, make it clear that there is an assumption of linearity that is accepted by both theorists and researchers. However, there is reason to speculate that the underlying cultivation relationship may not be linear. This study provides empirical evidence that the relationship is not linear. Because of the nonlinearity of the distribution, the selection of cut points is a critical decision that can significantly influence the results of subsequent analyses. Also, the popular use of certain statistical procedures designed to test linear relationships is also challenged.     

Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ‘say’ something), and they have subject matter (they are ‘about’ something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge.