Radical and autopoietic enactivists disagree concerning how to understand the concept of sense-making in enactivist discourse and the extent of its distribution within the organic domain. I situate this debate within a broader conflict of commitments to naturalism on the part of radical enactivists, and to phenomenology on the part of autopoietic enactivists. I argue that autopoietic enactivists are in part responsible for the obscurity of the notion of sense-making by attributing it univocally to sentient and non-sentient beings and following (...) Hans Jonas in maintaining a phenomenological dimension to life-mind continuity among all living beings, sentient or non-sentient. I propose following Merleau-Ponty instead, who offers a properly phenomenological notion of sense-making for which sentience is a necessary condition. Against radicalist efforts to replace sense-making with a deflationary, naturalist conception of intentionality, I discuss the role of the phenomenological notion of sense-making for understanding animal behavior and experience. (shrink)

This paper clarifies Merleau-Ponty’s distinction between speaking and spoken speech, and the relation between the two, in his Phenomenology of Perception. Against a common interpretation, I argue on exegetical and philosophical grounds that the distinction should not be understood as one between two kinds of speech, but rather between two internally related dimensions present in all speech. This suggests an interdependence between speaking and spoken aspects of speech, and some commentators have critiqued Merleau-Ponty for claiming a priority of speaking over (...) spoken speech. However, there is a sense in which Merleau-Ponty is right to emphasize the priority, namely, in terms of the ontological priority of the speaking subject with respect to language understood as a constituted cultural ideality. The latter only maintains its ontological status insofar as it is taken up by a language community. I favorably contrast Merleau-Ponty’s views on this question to those of the late Heidegger and de Saussure, and suggest potential applications of this clarified position for contemporary discussions in philosophy of language. (shrink)

Approaches to the naturalization of phenomenology usually understand naturalization as a matter of rendering continuous the methods, epistemologies, and ontologies of phenomenological and natural scientific inquiry. Presupposed in this statement of the problematic, however, is that there is an original discontinuity, a rupture between phenomenology and the natural sciences that must be remedied. I propose that this way of thinking about the issue is rooted in a simplistic understanding of the phenomenological reduction that entails certain assumptions about the subject matter (...) of phenomenology and its relationship to the natural sciences. By contrast, Merleau‐Ponty's first work, The Structure of Behavior, presents a radically different approach to the phenomenological reduction, one that traverses the natural sciences and integrates them into phenomenology from the outset. I outline the argument for this position in The Structure of Behavior and then discuss consequences for current methodological issues surrounding the naturalization of phenomenology, focusing on the relationship between empirical sciences of mind, phenomenological psychology, and transcendental phenomenology. This novel exegesis of Merleau‐Ponty's view on the reduction offers new insight into his oft‐quoted remark that the phenomenological reduction is impossible to complete. (shrink)

In this paper I develop a novel account of the phenomenality of language by focusing on characteristics of perceived speech. I explore the extent to which the spoken word can be said to have a horizonal structure similar to that of spatiotemporal objects: our perception of each is informed by habitual associations and expectations formed through past experiences of the object or word and other associated objects and experiences. Specifically, the horizonal structure of speech in use can fruitfully be compared (...) to that of a tool in use. The comparison suggests an account of our linguistic faculty as continuous with more foundational faculties of perception and action. I provide empirical corroboration of this account by drawing on recent neuroimaging studies of the multimodal, sensorimotor bases of speech comprehension. I then discuss how such an understanding of our linguistic ability helps advocates of embodied, non-representationalist accounts of cognition respond to a common objection. Critics grant that embodied approaches may be adequate to account for lower-level, online modes of cognition, such as perception and action, which directly engage their object. But they question whether such approaches can “scale up” to higher modes of cognition, such as imagination, memory, thought, and language, which can entertain absent, non-existent, or abstract objects. By providing a plausible account of the continuity of lower cognition and language-involving cognition, my approach responds to this objection, at least where language is concerned. (shrink)

I have two objectives in this article. The first is methodological: I elaborate a minimal phenomenological method and attempt to show its importance in studies of infant behavior. The second objective is substantive: Applying the minimal phenomenological approach, combined with Meltzoff’s “like-me” developmental framework, I propose the hypothesis that infants learn the pointing gesture at least in part through imitation. I explain how developments in sensorimotor ability (posture, arm and hand control and coordination, and locomotion) in the first year of (...) life prepare the infant for acquiring the pointing gesture. The former may directly enable the latter by allowing the infant to experience its own body as being “like those” of others, thus allowing it to imitatively appropriate a broader range of adult behavior. My proposal emphasizes the embodiment of mind in the development of cognition, contrary to latent dualistic tendencies in some developmental literature. (shrink)

This paper tracks the development of Merleau-Ponty's inquiries into language through the themes of institution, symbolism, and nature in his Collège de France lectures of 1953-1960. It seeks to show the continuity of Merleau-Ponty's inquiries over this period. The Problem of Speech course (1953-1954) constitutes his last extended treatment of speech, language, and expression, and it leaves many questions unanswered. Nonetheless, a careful study of the course reveals that the inquiries that follow into institution and symbolism, and later into nature, (...) do not mark a sharp rupture with his earlier thought. Rather, the later investigations are required by those into language and expression to clarify the underlying functions that support them. Ultimately, the themes of language and nature will be deeply interwoven in Merleau-Ponty's late thought, with institution and symbolism serving as important mediating concepts. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Temporal Changes in Ovarian Gonadotropin-Releasing Hormone mRNA Levels by Gonadotropins in the Rat Sung Ho Lee, Eun-Seob Song, Sun Kyeong Yu, Changmee Kim, Dae Kee Lee, Wan Sung Choi l and Kyungjin Kim* Department of Molecular Biofogy and SRC for Cell Differentiation, Seoul National University, Seoul 150-742, Korea; IDepartment of Anatomy, College of Medicine, Gyeongsanf; National University, Chinju 660-280, Korea (Recei·. cd on December 29, 1993) The present study examines whether gonadotropins are involved in the regulation of ovarian GnRH gene (...) expression and how ovarian GnRH gene expression temporalJy correlates with alterations in hypothalamic GnRH, pituitary LH~ gene expression in respons to gonadotropins. Hypothalamic and ovarian GnRH mRNA and pituitary LH~ mRNA levels were determined by respective RNA-blot hybridizations, and ovarian GnRH and estradiol contents and serum LH levels were measured by respective radioimmunoassays. Three animal models such as 1) PMSG-treated, 2) PMSG and heG-treated immature rats and 3) proestrous stage of adult rats were used. Immature rats (25-days old) were administered with PMSG (10 iu) at 10:00 hand 48 h later with heG (10 iu) to induce ovulation. In the PMSG-injected model, hypothalamic GnRH mRNA levels were markedly augmented about 9-fold at 50 h, and pituitary LH mRNA 3-fold at 52 h after PMSG administration. Serum LH levels were increased to the preovulatory surge levels at 56 h, and ovarian GnRH mRNA levels were augmented 4-fold at 60 h after PMSG injection. Administration of heG also induced a marked enhancement in ovarian GnRH mRNA levels in comparison to the values shown in both intact and PMSGtreated rats at 52 hand 54 h, respectively. In the proestrous stage of normal adult rats, pituitary LH~ mRNA levels were peaked at 16:00 h. The preovulatory LH surge was evident at 4 h before increment in ovarian GnRH mRNA levels as shown in PMSG-treated rats. The present study clearly showed the sequential increase in hypothalamic GnRH mRNA, pituitary LH~ mRNA and ovarian GnRH mRNA levels, indicating that ovarian GnRH may play a possible role in the control of follicular maturation and the ovulation process. (shrink)