This paper argues that donkey pronouns should be construed as definite articles, followed by an NP sister which has undergone deletion in the phonology. So Every man who owns a donkey beats it is claimed to share a Logical Form with Every man who owns a donkey beats the donkey, which means the same. There is independent evidence for assimilating pronouns to determiners, and for NP-deletion; so this theory explains E-type anaphora without postulating any special entity (`E-type (...) pronoun') for the purpose. Since NP-deletion, like other ellipsis, requires an antecedent, this theory also explains the requirement for a "formal link" between donkey pronoun and antecedent, which standard E-type theories find difficult to account for. Other empirical advantages of this theory include its ability to explain the pattern of strict and sloppy identity displayed by donkey sentences with phonologically reduced continuations. It is shown that Bach-Peters sentences, quantificational subordination, and paycheck sentences can also be dealt with on the present approach. (shrink)

The proofs of universally quantified statements, in mathematics, are given as “schemata” or as “prototypes” which may be applied to each specific instance of the quantified variable. Type Theory allows to turn into a rigorous notion this informal intuition described by many, including Herbrand. In this constructive approach where propositions are types, proofs are viewed as terms of λ-calculus and act as “proof-schemata”, as for universally quantified types. We examine here the critical case of Impredicative Type (...) class='Hi'>Theory, i. e. Girard's system F, where type-quantification ranges over all types. Coherence and decidability properties are proved for prototype proofs in this impredicative context. (shrink)

Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full (...) NP whose semantics is assumed to be known (e.g. a definite description). In this paper, I argue that there are serious problems with any version of the E-type account as well as the (original form of the) dynamic account. I will explore a new account based on structured propositions, which can be considered a conservative extension of a traditional proposition-based semantics, but which at the same time incorporates some crucial insights of the dynamic account. (shrink)

Mathematicians often consider Zermelo-Fraenkel Set Theory with Choice (ZFC) as the only foundation of Mathematics, and frequently don’t actually want to think much about foundations. We argue here that modern Type Theory, i.e. Homotopy Type Theory (HoTT), is a preferable and should be considered as an alternative.

In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function B prop [x : A], i. e. to require that the predicate ∨ ¬ B) is provable, is equivalent, when working within the framework of Martin-Löf's Intuitionistic Type Theory, to require that there exists a decision function ψ: A → Boole such that = Booletrue) ↔ B). Since we will also show that the proposition x = Booletrue [x: Boole] is decidable, (...) we can alternatively say that the main result of this paper is a proof that the decidability of the predicate Bprop [x : A] can be effectively reduced by a function ψ A → Boole to the decidability of the predicate ψ = Booletrue [x : A]. All the proofs are carried out within the Intuitionistic Type Theory and hence the decision function ψ, together with a proof of its correctness, is effectively constructed as a function of the proof of ∨ ¬ B). (shrink)

Speaking of Professor Geach's belief that pronouns in natural language function like the bound variables in quantification theory, Gareth Evans, in ‘Pronouns, Quantifiers, and Relative Clauses - I’ says :I want to try to show that there are pronouns with quantifier antecedents that function in a quite different way. Such pronouns typically stand in a different grammatical relation to their antecedents, and; in contrast with bound pronouns, must be assigned a reference, so that their most immediate sentential contexts can (...) always be assigned a truth value. The relevant grammatical relation appears to be Klima's relation of ‘in construction with’. When the pronoun is in construction with its antecedent, as in [‘Some man loves his mother’] and [‘No man is happy when he is in love’] the result is a bound pronoun. (shrink)

Spectrum Exchangeability, Sx, is an irrelevance principle of Pure Inductive Logic, and arguably the most natural extension of Atom Exchangeability to polyadic languages. It has been shown1that all probability functions which satisfy Sx are comprised of a mixture of two essential types of probability functions; heterogeneous and homogeneous functions. We determine the theory of Spectrum Exchangeability, which for a fixed languageLis the set of sentences ofLwhich must be assigned probability 1 by every probability function satisfying Sx, by examining separately (...) the theories of heterogeneity and homogeneity. We find that the theory of Sx is equal to the theory of finite structures, i.e., those sentences true in all finite structures forL, and it emerges that Sx is inconsistent with the principle of Super-Regularity. As a further consequence we are able to characterize those probability functions which satisfy Sx and the Finite Values Property. (shrink)

A type-structure of partial effective functionals over the natural numbers, based on a canonical enumeration of the partial recursive functions, is developed. These partial functionals, defined by a direct elementary technique, turn out to be the computable elements of the hereditary continuous partial objects; moreover, there is a commutative system of enumerations of any given type by any type below (relative numberings). By this and by results in [1] and [2], the Kleene-Kreisel countable functionals and the hereditary (...) effective operations (HEO) are easily characterized. (shrink)

In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In (...) MTT-semantics, common nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: degree adjectives, comparatives and multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of \-types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context. We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured. (shrink)

An ordinal in a model of set theory is truly countable if its set of predecessors is countable in the real world. We classify the order types of the sets of truly countable ordinals. Models with indiscernibles and other related results are discussed.

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

With quantifier elimination and restriction of language to a binary relation symbol and constant symbols it is shown that countable complete theories having three isomorphism types of countable models are "essentially" the Ehrenfeucht example [4, $\s6$ ].

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

ABSTRACTThere are two distinct types of legal wrongdoing: civil and criminal. This article demonstrates in three ways that Immanuel Kant's Universal Principle of Right, properly interpreted, offers a plausible and resilient account of this important distinction. First, Kant's principle correctly identifies attempted crimes as crimes themselves even when they do not violate the rights of any individual. Second, it justifies our treatment of reckless endangerment as a crime by distinguishing it from ordinary negligence, traditionally thought to be only civilly wrong. (...) Third, it explains and justifies differences between the features of traditional criminal punishments and the features of civil remedies. Moreover, the Universal Principle of Right yields a Kantian standard for criminal wrongdoing that is compelling enough to inform future philosophical inquiries into the nature and limits of the state's criminal lawmaking authority. (shrink)

The purpose of this entry is to provide a systematic introduction to medieval views about the nature and ontological status of relations. Given the current state of our knowledge of medieval philosophy, especially with regard to relations, it is not possible to discuss all the nuances of even the best known medieval philosophers' views. In what follows, therefore, we shall restrict our aim to identifying and describing (a) the main types of position that were developed during the Middle Ages, and (...) (b) the most important considerations that shaped their development. We shall have occasion along the way, however, to examine in detail certain aspects of the views of important representatives of all the main medieval positions, including Peter Abelard (1079 1142), Gilbert of Poitiers (1085 1154), Albert the Great, (1200 1280), Thomas Aquinas (1225 1274), John Duns Scotus (1265 1308), Henry Harclay (1270 1317), Peter Auriol (1280 1322), and William Ockham (1285 1347). (shrink)

The type of cognitive theory of emotion traditionally espoused by philosophers of mind makes two central claims. First, that the occurrence of propositional attitudes is essential to the occurrence of emotions. Second, that the identity of a particular emotional state depends upon the propositional attitudes that it involves. In this paper I try to show that there is little hope of developing a theory of emotion which makes these claims true. I examine the underlying defects of the (...) programme, and show that several recent variants fail to repair these defects. Furthermore, even if such a theory could be developed, it would not achieve many of the things that we look to a theory of emotion for. I argue that philosophers should turn their attention to new and more promising approaches. These have been developed by various of the special sciences, while philosophy has remained enthralled by traditional, propositional attitude psychology. (shrink)

Dual-process and dual-system theories in both cognitive and social psychology have been subjected to a number of recently published criticisms. However, they have been attacked as a category, incorrectly assuming there is a generic version that applies to all. We identify and respond to 5 main lines of argument made by such critics. We agree that some of these arguments have force against some of the theories in the literature but believe them to be overstated. We argue that the dual-processing (...) distinction is supported by much recent evidence in cognitive science. Our preferred theoretical approach is one in which rapid autonomous processes are assumed to yield default responses unless intervened on by distinctive higher order reasoning processes. What defines the difference is that Type 2 processing supports hypothetical thinking and load heavily on working memory. (shrink)

The relation between theory and practice is the object of a central debate in the history of science. In a recent contribution to the issue, L. E. Sandelands equates practice with G. Ryle's "knowing how" and theory with Ryle's "knowing that," arguing that practice and theory are incommensurate forms of knowing such that theory cannot be translated into practice. R. T. Craig took issue with Sandelands' position, pointing out that it reflects an academic approach removed from (...) everyday social behavior in which problem solving is always both practical and theoretical. The authors agree and take this blurring of the theory/practice dichotomy as a cue to deconstruct the conception of two ways of knowing. J. Shotter's concepts of "joint action" and "knowing from within" suggest a third type of knowing which develops between knowers in particular contexts or circumstances. This third way of knowing has important implications for psychological training and inquiry. 2012 APA, all rights reserved). (shrink)

Due to the potential ethical and psychological implications of screening, and especially inregard of screening on children without available and acceptable therapeutic measures, there is a common view that such procedures are not advisable. As part of an independent research- and bioethical case study, our aim was therefore to explore and describe bioethical issues among a representative sample of participant families (n = 17,055 children) in the ABIS (All Babies In South-east Sweden) research screening for Type 1 diabetes (IDDM).The (...) primary aim is the identification of risk factors important for the development of diabetes and other multifactorial immune-mediated diseases. Four hundred, randomly chosen, participant mothers were asked to complete a questionnaire exploring issues of information, informed consent, bio-material, confidentiality and autonomy, and of prevention/intervention. 293 completed the questionnaire, resulting in a response rate of 73.3%. The majority of questions had the form of 6-point Likert-type response scales (1–6).We found that the majority of respondents felt calm in regard of samples and written material, and also concerning the possibility of their child in the future being identified as having high risk of developing Type 1 diabetes. An important finding concerning access and control of mainly biological data was indicated, with the respondents expressing concern for potential future use. We believe our findings indicate that this kind of empirical studies can substantially contribute to our understanding of bioethical issues of medical research involving genetics. Issues, such as safeguards ensuring theethical criteria of autonomy and respect, were emphasised by our respondents. We believe theissues brought up may promote further discussion, and do suggest issues for consideration by, among others, researchers, bioethicists and Institutional Review Boards. (shrink)

ABSTRACTHumans are cognitive misers because their basic tendency is to default to processing mechanisms of low computational expense. Such a tendency leads to suboptimal outcomes in certain types of hostile environments. The theoretical inferences made from correct and incorrect responding on heuristics and biases tasks have been overly simplified, however. The framework developed here traces the complexities inherent in these tasks by identifying five processing states that are possible in most heuristics and biases tasks. The framework also identifies three possible (...) processing defects: inadequately learned mindware; failure to detect the necessity of overriding the miserly response; and failure to sustain the override process once initiated. An important insight gained from using the framework is that degree of mindware instantiation is strongly related to the probability of successful detection and override. Thus, errors on such tasks cannot be unambiguously attributed to miserly processing – and corre... (shrink)

We give two examples. T 0 has nine countable models and a nonprincipal 1-type which contains infinitely many 2-types. T 1 has four models and an inessential extension T 2 having infinitely many models.

A critical analysis of Kelsen’s theory leads to a broad concept of custom, which covers diverse types of customary norms, where the always required conviction of legal bindingness depends on different types of factual and normative reasons. In it we should include a strict concept of custom or legal usage, derogating custom, custom of general international law, custom that establishes an unwritten constitution, custom that establishes a new written constitution, judicial custom which creates a rule of precedent and custom (...) newly expressed in the judicial application of customary rules. The basic norm could be formulated as a constitutive norm: ‘If the norms created through the first historical constitution are effective, then the first historical constitution are valid.’ It is thus a customary constitutive rule that recognizes the first historical constitution as valid law. Norms which establish sources of law are constitutive rules, they can be customary norms or legislated norms, but if they are legislated, they have their validity recognized by, directly or indirectly, a constitutive customary norm. By using a broad concept of custom as a conventional practice, Hart implies that general recognition of a customary rule, together with the practice that accompanies it, are sufficient conditions of validity. A doctrine of recognition that is arrived at by means of criticism and a rational reconstruction of the doctrines of Kelsen and Hart regains the essential theses of the traditional recognition theory of Bierling and Engisch. (shrink)

Many critics of dual-process models have mistaken long lists of descriptive terms in the literature for a full-blown theory of necessarily co-occurring properties. These critiques have distracted attention from the cumulative progress being made in identifying the much smaller set of properties that truly do define Type 1 and Type 2 processing. Our view of the literature is that autonomous processing is the defining feature of Type 1 processing. Even more convincing is the converging evidence that (...) the key feature of Type 2 processing is the ability to sustain the decoupling of secondary representations. The latter is a foundational cognitive requirement for hypothetical thinking. (shrink)

In this paper we discuss the following contributions to recursion theory made by John Myhill: two sets are recursively isomorphic iff they are one-one equivalent; two sets are recursively isomorphic iff they are recursively equivalent and their complements are also recursively equivalent; every two creative sets are recursively isomorphic; the recursive analogue of the Cantor–Bernstein theorem; the notion of a combinatorial function and its use in the theory of recursive equivalence types.

One objective of this paper is the determination of the proof-theoretic strength of Martin-Löf's type theory with a universe and the type of well-founded trees. It is shown that this type system comprehends the consistency of a rather strong classical subsystem of second order arithmetic, namely the one with Δ 2 1 comprehension and bar induction. As Martin-Löf intended to formulate a system of constructive (intuitionistic) mathematics that has a sound philosophical basis, this yields a constructive (...) consistency proof of a strong classical theory. Also the proof-theoretic strength of other inductive types like Aczel's type of iterative sets is investigated in various contexts.Further, we study metamathematical relations between type theories and other frameworks for formalizing constructive mathematics, e.g. Aczel's set theories and theories of operations and classes as developed by Feferman. (shrink)

It is a crucial issue for history to determine a cause or a causal relation between two events. The regularity theory of causation is one of the most popular approach to this problem. The paper analyzes mainly how this approach deals with the determination of a causal condition and with the choice of the main cause from the remaining causal conditions. It examines also Mackie’s conception of cause as an INUS condition, which is in fact only one version of (...) the regularity theory. The paper not only outlines and illustrates these approaches, using a concrete causal statments, but also presents the criticism of their shortcomings. It points to their difficulties springing from their inability to distinguish between the laws and accidental generalizations. This is important, because a genuine causal relation cannot be based on the second type of statments. (shrink)

We consider the question, of longstanding interest, of realizing types in regular ultrapowers. In particular, this is a question about the interaction of ultrafilters and theories, which is both coarse and subtle. By our prior work it suffices to consider types given by instances of a single formula. In this article, we analyze a class of formulas φ whose associated characteristic sequence of hypergraphs can be seen as describing realization of first- and second-order types in ultrapowers on one hand, and (...) properties of the corresponding ultrafilters on the other. These formulas act, via the characteristic sequence, as points of contact with the ultrafilter D, in the sense that they translate structural properties of ultrafilters into model-theoretically meaningful properties and vice versa. Such formulas characterize saturation for various key theories , yet their scope in Keisler’s order does not extend beyond Tfeq. The proof applies Shelah’s classification of second-order quantifiers. (shrink)

La connaissance métaphysique est accessible et nous possédons un tel type de connaissance. Il faut pratiquer la métaphysique de manière directe, sans passer par des considérations de philosophie du langage ou de l'esprit. Les deux principales critiques de la métaphysique sont : le naturalisme évolutionniste et le kantisme. Le naturalisme est incohérent car il nie la possibilité défaire des hypothèses métaphysiques et pourtant il repose sur de telles hypothèses. Kant également ne va pas au bout de son projet, car (...) on ne peut éviter la question du contenu des pensées, une fois qu'on a réduit la métaphysique à une théorie de la connaissance. L'examen des arguments de Barcan-Kripke confirme la possibilité d'une argumentation métaphysique et l'impossibilité d'y échapper. Metaphysical knowledge is accessible and indeed, we have such a knowledge. Metaphysics shoud be done directly, without starting with considerations of philosophy of language or philosophy of mind. The two main critiques of metaphysics are evolutionary naturalism and Kantianism. Naturalism is inconsistent because it denies any possibility to make metaphysical hypotheses, but it hinges upon such hypotheses. Kant is also inconsistent because one cannot avoid the question of the content of thoughts once metaphysics has been reduced to epistemology. A scrutiny of the arguments by Barcan and Kripke confirms the possibility of a purely metaphysical argumentation and the impossibility to do without it. (shrink)

This essay argues that Freud's theory pictures modern selves as coping with a new existential and social predicament: a sense of homelessness within their own home. More specifically, Freud suggests that individuals feel estranged from parts of their own psyche as well as feeling distant from their own culture and tradition ; in modernity, neither one's mind nor one's community can promise any longer a sense of ground. Because of this sense of perpetual and irrevocable displacement, Freud feared that (...) modern selves might become semi-psychotic, selves lacking an inner social-normative voice. He calls on moderns, however, to overcome this bleak prospect and the related danger of political chaos by accepting the social norms imposed by their super-egos. But Freud champions only a conditional acceptance of tradition, one that involves ongoing scepticism, ambivalence and emotional distance. Freud's position could therefore be characterized as a unique type of communitarianism: it seeks a balance between admission of the constitutive force of tradition on the one hand, and the formation of an emotional detachment from its myths, practices and normative claims on the other. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 535 eluded. Have Straussians proved that there is no higher human knowledge than philosophy? One hopes that they will meet their critics, because Stmussians are deeply serious men and women, and we can all learn from their mentor. Hillsdale, College Hillsdale, Michigan D. T. ASSELIN Philosophical Problems of Classical Film Theory. By NOEL CARROLL. Princeton, N.J.: Princeton University Press, 1988. Pp. 268. This book is a (...) provocative, clearly written, and carefully argued presentation of a philosophical critique of traditional film criticism. If film is taken as a serious art form, one which can stand alongside of music, painting, theatre, and literature, then Carroll's book is a good example of the type of philosophical study that is needed. Assistant professor of philosophy at Wesleyan University, Carroll knows the world of film well and attacks with vigor what he takes to be erroneous in traditional film criticism. His three targets are the film theories of Rudolf Arnheim, Andre Bazin, and V. F. Perkins. It would be difficult to overemphasize the influence of Arnheim and Bazin on the history of the aesthetics of film: each man is a giant in the history of theorizing about film. Though much less influential, Perkins does present an mteresting view of film. Philosophical Problems of Classical Film Theory consists of an introduction, three central chapters, and a conclusion. Each of the three chapters is devoted to one of the film theorists, and each chapter begins with an explanation of the theory being discussed. In trying to present the theory in its strongest form, Carroll includes a detailed discussion of its historical setting, and this makes its contextual importance clear. But most of each chapter is devoted to criticism of the theory iii question. Thinking of film theories as a series of answers to abstract questions, Carroll suggests that Arnheim, Bazin, and Perkins address the same central questions and expect the answers to these questions to be related logically in the same way. Carroll lists three questions that he thinks suggest a similar structure in the three theories he is studying: " What is the determinant or special feature of film? What is the value or role of cinema? What are the processes of articulation in film in relation to the previous two answers? " Concerning the answers to these questions Carroll writes 586 BOOK REVIEWS Most classical film theories-including those of Amheim, Bazin, and Perkins-relate answers to the three basic questions in the following way: the determinant characteristic stands to the role of cinema as a means to an end, while the articulatory processes are assessed as instances of the determinant characteristic of cinema (pp. 14-15). Arnheim represents an early type of film theorizing which Carroll names the silent-film paradigm. Those who embrace this approach, and Carroll would include the Soviet montagists of the twenties such as Sergei Eisenstein, insist that film is not merely a record of reality but rather manipulates reality expressively. Though Arnheim wrote after sound had entered film, he disdained talkies and looked back to silent film to discover the paradigm of film. Carroll's treatment of Arnheim relies on the latter's 1957 Film As Art, which is a condensed version of his 1933 book Film. The 1957 condensation can he considered the authoritative articulation of Arnheim's position. The prejudice against cinema in its early days derived from the fact that a major constituent of film was photography. Many felt that photography could not be an art form because it was merely a copying process. Arnheim's theory can be called creationist because he successfully showed how cinema could be creative in capturing and re-presenting reality. Arnheim showed that film transcends the simple viewpoint that simple recording implies. Carroll summarizes Arnheim's view: In summary, Arnheim holds that one role of filmmaking-the one that concerns him-is art. He also contends that the determinant characteristics of the medium-those relevant to the purpose of art makingare the various ways that the medium diverges from the mechanical duplication of reality, and finally, Arnheim spends the bulk of Film As Art on lengthy examinations of the various modes of cinematic articulalation, in order to demonstrate... (shrink)

According to the standard view in philosophy, intentionality is the mark of genuine action. In psychology, human cognition and agency are now widely explained in terms of the workings of two distinct systems (or types of processes), and intentionality is not a central notion in this dual-system theory. Further, it is often claimed, in psychology, that most human actions are automatic, rather than consciously controlled. This raises pressing questions. Does the dual-system theory preserve the philosophical account of intentional (...) action? How much of our behavior is intentional according to this view? And what is the role of consciousness? I will propose here a revised account of intentional action within the dual-system framework, and we will see that most of our behavior can qualify as intentional, even if most of it is automatic. An important lesson will be that philosophical accounts of intentional action need to pay more attention to the role of consciousness in action. (shrink)

Many of the most important properties of human groups – including properties that may give one group an evolutionary advantage over another – are properly defined only at the level of group organization. Yet at present, most work on the evolution of culture has focused solely on the transmission of individual-level traits. I propose a conceptual extension of the theory of cultural evolution, particularly related to the evolutionary competition between cultural groups. The key concept in this extension is the (...) emergent group-level trait. This type of trait is characterized by the structured organization of differentiated individuals and constitutes a unit of selection that is qualitatively different from selection on groups as defined by traditional multilevel selection theory. As a corollary, I argue that the traditional focus on cooperation as the defining feature of human societies has missed an essential feature of cooperative groups. Traditional models of cooperation assume that interacting with one cooperator is equivalent to interacting with any other. However, human groups involve differential roles, meaning that receiving aid from one individual is often preferred to receiving aid from another. In this target article, I discuss the emergence and evolution of group-level traits and the implications for the theory of cultural evolution, including ramifications for the evolution of human cooperation, technology, and cultural institutions, and for the equivalency of multilevel selection and inclusive fitness approaches. (shrink)

It is widely believed that the principal difference between Einstein's special relativity and its contemporary rival Lorentz-type theories was that while the Lorentz-type theories were also capable of “explaining away” the null result of the Michelson-Morley experiment and other experimental findings by means of the distortions of moving measuring-rods and moving clocks, special relativity revealed more fundamental new facts about the geometry of space-time behind these phenomena. I shall argue that special relativity tells us nothing new about the (...) geometry of space-time, in comparison with the pre-relativistic Galileo-invariant conceptions; it simply calls something else "space-time", and this something else has different properties. All statements of special relativity about those features of reality that correspond to the original meaning of the terms "space" and "time" are identical with the corresponding traditional pre-relativistic statements. It will be also argued that special relativity and Lorentz theory are completely identical in both senses, as theories about space-time and as theories about the behavior of moving physical objects. (shrink)

I would like to stress Vadim Mikhailovich's [Mezhuev's] position and clarify our conversation about culturology. It is constantly repeated that culturology is a science. It is my profound conviction that culturology is not a science. Culturology is a distinctive phenomenon of Russian culture and represents a certain intellectual movement. If one briefly surveys the history of its emergence, its philosophical origin becomes obvious. This intellectual movement consists of three levels, if one takes into account the "-logy" ending. First, the philosophical (...) level, from which in the 1970s culture began to be conceived as a special field of knowledge in our country. Then, humanistic knowledge: a great many representatives of the humanities in Russia-historians, art specialists, art critics, essayists-studied culture. Finally, there is the socioscientific tendency, which is just beginning to form in Russia and carries the internationally accepted name of social and cultural anthropology. All of us are synergistically attracted to these three tendencies, which comprise what is called culturology. The question of how these three tendencies of knowledge are correlated in the framework of the given intellectual movement is, in my view, extremely important. For quite some time now, there has been no reflection in Russia on the foundations of scientific and philosophical knowledge, but such reflection is necessary. To advance along the road of rational knowledge it is important to reflect in what cognitive space we find ourselves, what we are doing within its boundaries, and for what reason. From this point of view, neither philosophers nor representatives of the humanities or the social sciences will renounce their positions of observer. Moreover, I agree with Mezhuev that there is no single philosophy, humanistic conception, or theory of culture. Anyone who is engaged professionally in the study of cultural phenomena can choose his initial foundations. As Vadim Mezhuev correctly notes, the significance of philosophy for other types of knowledge lies in the fact that there are borderline areas of man's existence in the world. However, they are identified in different ways by different philosophies: positivism, phenomenology, classical Platonism, Aristotelianism, Kantianism, and so forth. Representatives of humanistic and socioscientific knowledge are free to choose any metaphysics. Philosophers will continue to attend to their business in their subject area, and scientists in theirs. But it is important periodically to determine rationally when there must be close and complementary relations between the three components of this intellectual movement and when they must exist in parallel. Then questions such as who has priority and who is the guardian of truth will not arise. If the tendencies have diverged in parallel, then the representatives of each of them are occupied within their domains with questions which are irrelevant in other fields of knowledge or for other theoretical models. At the end of the twentieth century, to pose the question of scientism or antiscientism is senseless because today we know that there are different forms of rationality and that science is not the only, and is quite a narrow, form of rationality. Myth too is rational. It is expressed in categories and has a particular inner logic. We recognize myth as a rational cultural entity, because it is represented in symbolic form as an ordered sequence of judgments, as an artifact. But it differs from scientific theory. That is why it is fruitful to reflect on what forms of rationality are relevant to what levels of knowledge. I agree with Ogurtsov, who says that these forms penetrate in one way or another into every culturally institutionalized form of knowledge. Indeed, in philosophical knowledge there are elements of everyday, mythological, and scientific knowledge, but this does not negate the distinctive nature of the philosophical form of knowledge. In science there are elements of metaphysics, mythology, and everyday knowledge, but this does not cancel the particularities of the scientific form of knowledge. The same is true of the humanistic form, which is in principle irremovable from the framework of institutionalized knowledge, at least for now. I do not agree with Ogurtsov that I give the humanistic form of knowledge a negative evaluation. Humanistic knowledge begins to be significant in a period of a cognitive paradigm shift. This, we can say, is apparent today, at a time of transition from the grand style of modernism in its postmodern mode to the building of the foundations for a new whole. The point is that the humanistic form of knowledge enables us to isolate at the outset those areas of the unknown at which we arrive because of the limitations inherent in other forms of rationality. It is closest to everyday and empirical categories of knowledge and forms of ideas; hence, particularism, image syncretism, and mobility are its distinctive features. But without this humanistic level no further step is possible in either scientific or philosophical knowledge. The breakdown into these forms of knowledge- philosophical, humanistic, and scientific-may be primitive, but we have to start our reflection on the foundations of our cognitive relationship to our surroundings somewhere. The identification of the forms of knowledge makes it possible to draw the conclusion that, unlike philosophical and humanistic knowledge, socioscientific knowledge is modeled on the natural sciences. From this it becomes obvious that the distinctive features of the object of social sciences determine also the special nature of the categorial apparatus, operationalization, selection method, and information analysis. I do not insist that the model I suggest must be accepted. Other models can be constructed. But let us start with a simpler comparison of types of knowledge and later we shall differentiate them. I started from this level because in our culture such a division is apparent and generally accepted. There are the philosophical, humanistic, and scientific forms of knowledge. They are irreducible to one another, they perform entirely different functions in the knowledge of man's relationship to the environment, and express different views about how man lives in culture. I agree that philosophy is exactly existence in culture with a singling out of the limits of this existence. But representatives of humanistic and socioscientific knowledge also deal with existence in culture. What is important for the philosopher is the direction of knowledge from within to the outside; for the representative of humanistic knowledge it is the description of how he exists among a multitude of seemingly diverse and divergent artifacts and processes; and for the scientist it is the order of the philosophically and humanistically defined reality in order to control it the better. (shrink)

A review essay of three recent publications that focus in different ways on the evolution­ary basis of religion. Asma focuses on the ways in which “religion” energizes the emotional needs of humans. Torrey pays close attention to the evolutionary stages of brain development that are necessary for the emergence of religious concepts and the attitudes that accompany them. Finally, Turner et al. develop a complex theory of different types of selection that they regard as necessary in order to account (...) for the institu­tionalization of religion: they think that biological natural selection, even though building human capacities, is insufficient to explain the sociological facts about religion. (shrink)

Hollywood movies can be deeply engaging and easy to understand. To succeed in this manner, feature-length movies employ many editing techniques with strong psychological underpinnings. We explore the origins and development of one of these, the reaction shot. This shot typically shows a single, unspeaking character with modest facial expression in response to an event or to the behavior or speech of another character. In a sample of movies from 1940 to 2010, we show that the prevalence of one (...) class='Hi'>type of these shots—which we call the cryptic reaction shot—has grown dramatically. These shots are designed to enhance viewers’ emotional involvement with characters. They depict a facial gesture that reflects a slightly negative and slightly aroused emotional state. Their use at the end of conversations, and typically at the end of scenes, helps to leave viewers in a state of speculation about what the character is thinking and what her thoughts may mean for the ongoing narrative. (shrink)

This dissertation argues for a particular interpretation of John Stuart Mill’s utilitarianism, namely that Mill is best read as a sanction utilitarian. In general, scholars commonly interpret Mill as some type of act or rule utilitarian. In making their case for these interpretations, it is also common for scholars to use large portions of Mill’s Utilitarianism as the chief source of insight into his moral theory. By contrast, I argue that Utilitarianism is best read as an ecumenical text (...) where Mill explains and defends the general tenets of utilitarianism rather than setting out his own preferred theory. The exception to this ecumenical approach to the text comes in the fifth chapter on justice which, I argue on textual and historical grounds, outlines the central features of Mill’s utilitarianism. -/- With this understanding of Utilitarianism in place, many of the passages commonly cited in favor of the previous interpretations are rendered less plausible, and interpretations emphasizing Mill’s other writings are strengthened. Using this methodology, I critique four of the most prominent act or rule utilitarian interpretations of Mill’s moral theory. I then provide an interpretation of Mill’s theory of moral obligation and utilitarianism. On Mill’s account of moral obligation (which purportedly holds for moral theories generally, not just utilitarianism) there is a tight relation between an action being wrong and it being subject to punishment by an agent’s conscience. The utilitarian aspect of Mill’s theory concerns the role of rules in an agent’s conscience. According to Mill’s sanction utilitarian view, the actions that are punished are those actions that violate the moral rules which, if widely internalized across society, would promote general utility. On this account, an action is wrong when an agent violates a justified moral rule and is properly punished, at least by one’s conscience. An action is right when conditions are such that if the action were not performed, then the action would be properly punished by at least the agent’s conscience. I apply this interpretation to other notable components of Mill’s approach such as his account of practical action (the Art of Life) and his theory of liberty. (shrink)

There are at least three different genealogical accounts of morality: the ontogenetic, the sociohistorical, and the evolutionary. One can thus construct, in principle, three distinct genealogical debunking arguments of morality, i.e., arguments that appeal to empirical data, or to an empirical hypothesis, about the origin of morality to undermine either its ontological foundation or the epistemic credentials of our moral beliefs. The genealogical account that has been, particularly since the early 2000s, the topic of a burgeoning line of inquiry in (...) the metaethical literature is the one that explains the origin of moral thinking by appealing to Charles Darwin’s theory of evolution through natural selection. For this reason, when it comes to genealogical debunking arguments, it is various types of evolutionary debunking argument (EDA) that are the focus of the current debate between moral skeptics and moral realists. Evolutionary moral debunkers maintain that the capacity to make moral judgments is an evolved trait—a view accepted by most of their detractors. They maintain, in addition, that such a capacity is an adaptation—i.e., a trait selected for because it enhances reproduction and survival—and not merely either a by-product of an adaptation or an evolutionary accident—a view accepted by fewer of their detractors. Roughly put, the thrust of EDAs is that biological evolution is aimed, not at moral belief-forming processes that are reliable, but at moral belief-forming processes that are adaptive. In other words, the evolutionary function of those processes is not that of tracking the moral truth: their general success at matching or accurately representing allegedly objective or attitude-independent moral facts, properties, or truths explains neither their emergence nor their persistence. Humans are therefore disposed to make moral judgments regardless of the evidence to which they are exposed, regardless of whether there are or are not objective moral facts, properties, or truths. In the contemporary scene, the most important and influential EDAs are those advanced by Richard Joyce and Sharon Street. Although Joyce’s EDA is more elaborate than Street’s inasmuch as it is based on a detailed evolutionary account of morality, it is Street’s EDA that has received the most attention among those seeking to defend moral realism against EDAs. If an EDA can establish at most an epistemological conclusion, then it could be argued that Joyce’s argument (at least the version defended in his later works) is superior to Street’s given that the conclusion of the former is epistemological whereas that of the latter is ontological. Indeed, while Joyce’s EDA is taken to support epistemological moral skepticism, according to which our moral beliefs are epistemically unjustified, Street’s is taken to support moral anti-realism (moral constructivism in particular), according to which attitude-independent moral facts do not exist. (shrink)