This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ is proposed. An approximate idea of obtaining $$\textsf{G}(\textbf{C}+\textbf{J})$$ is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...) satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system $$\mathbf {C+J}$$ proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996). (shrink)

大地から生まれた自然農法の極意。米麦・野菜・果樹、あらゆる農の実践を縦横無尽に説く。「無」三部作実践篇。.

科挙のような儒教的制度を有さない他方、仏教によって葬儀や祭祀が主導されていた近世日本社会。そうした社会を生きる儒者達は、儒教儀礼、殊に東アジアで絶大な影響力を誇った『家礼』記載の喪祭礼を、どのように捉 え、そしていかにして実践しようと試みていたのか。長期間にわたってこの問題と真摯に向き合い続けた、山崎闇斎を学祖とする闇斎学派に着目、思想と社会とが様々に交錯する現場に立ち入ることで、これまで見落とされ てきた近世日本儒教の新しい一面を照らし出す。.

This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system (C+J)- is (...) semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979). (shrink)

A biosemiotic view of living things is presented that supersedes the mechanistic view of life prevalent in biology today. Living things are active agents with autonomous subjectivity, whose structure is triadic, consisting of the individual organism, its Umwelt and the society. Sociality inheres in every living thing since the very origin of life on the earth. The temporality of living things is guided by the purpose to live, which works as the semantic boundary condition for the processes of embodiment of (...) the subjectivity. Freedom at the molecular and cellular levels allows autonomy and spontaneity to emerge even in single cell organisms, and the presence of the dimension of mind in every living thing is deduced. Living things transcend their individualness, as they live in historically formed higher order structure consisting of the lineage-species and the society. They also transcend materiality, having the dimension of mind. (shrink)

The ethics of care and Confucian care ethics are both characterised by relations-based moral reasoning and decision-making. Acknowledging this similarity, this article compares and contrasts these two ethics, highlighting Western and Eastern moral concerns. One of the main differences between the two ethical theories is their different focus on vulnerability and inequality as factors in achieving equality in the ethics of care; another is the reciprocity, rather than equality, dimension in Confucian ethics. Both theories enshrine the view that the characteristics (...) of care offer scope for developing the capacity for judgement. However, a fundamental difference is revealed when considering that Confucian ethics emphasises care as a virtue in the cultivation of one's moral agency, whereas the ethics of care sees care as both a disposition and practice, and the caring relationship to be a primary means of moral evaluation. For the care ethicists, the practice of care embraces communicative morality, within fluid, dynamic interpersonal relationships - in sharp contrast to Confucian care practices, which are constructed within formal standards and fixed, role-based relationships. (shrink)

Progress in psychology and the cognitive sciences is often taken to vindicate physicalism and cast doubt on such extravagant metaphysical theses as dualism and idealism. The goal of this paper is to argue that cognitive science has no such implications—rather, evidence from cognitive science is largely (but not wholly) irrelevant to the mind-body problem. Our argument begins with the observation that data from cognitive science can be modeled by supervenience relations. We then show that supervenience relations are neutral, by showing (...) how they can be coherently interpreted in physicalist, idealist, and dualist terms. We distinguish several types of supervenience relation, and show that each coheres better with some positions on the mind-body problem than the other. Since these variants of supervenience are not empirically equivalent, there is a possibility that data from cognitive science will end up supporting some positions on the mind-body problem more than others. It is in this sense that cognitive science is mostly, but not wholly, neutral. (shrink)

This chapter presents the main formalism of the book, which is used in subsequent chapters to describe a variety of concepts in Husserlian phenomenology, and thereby unify them. A dynamical systems approach to Husserl is introduced, and several dynamical laws of Husserlian phenomenology are described. The first is an expectation rule according to which expectations are determined by what a person knows, sees, and does. The second is a learning rule according to which background knowledge is updated in a specific (...) way when experiences fulfill or frustrate prior expectations. In addition to these rules, a “supervenience function” is described, which associates how a thing is seen with a “trail set,” the set ways that thing is expected to look, relative to all possible ways of moving around it. This function further illustrates the explanatory dimension of phenomenology described in Chap. 2, whereby how we immanently experience things is determined by how we expect them to look relative to counterfactual movement patterns. (shrink)

The cellular basis of motor learning in the cerebellum has been attributed mostly to long-term depression (LTD) at excitatory parallel fiber (PF)-Purkinje cell (PC) synapses. LTD is induced when PFs are activated in conjunction with a climbing fiber (CF), the other excitatory input to PCs. Recently, by using whole-cell patch-clamp recording from PCs in cerebellar slices, a new form of synaptic plasticity was discovered. Stimulation of excitatory CFs induced a long-lasting (usually longer than 30 min) of 30 sec) and the (...) durations of RP (>30 min) strongly suggests that some intracellular biochemical machinery is involved. Pharmacological evidence suggests that protein kinases are involved in RP of inhibitory synapses and LTD of excitatory PF synapses. Besides the well-described LTD, RP could be a cellular mechanism that plays an important role in motor learning. (shrink)

I argue that Husserlian phenomenology is metaphysically neutral, in the sense of being compatible with multiple metaphysical frameworks. For example, though Husserl dismisses the concept of an unknowable thing in itself as “material nonsense”, I argue that the concept is coherent and that the existence of such things is compatible with Husserl’s phenomenology. I defend this metaphysical neutrality approach against a number of objections and consider some of its implications for Husserl interpretation.

It is often claimed (1) that levels of nature are related by supervenience, and (2) that processes occurring at particular levels of nature should be studied using dynamical systems theory. However, there has been little consideration of how these claims are related. To address the issue, I show how supervenience relations give rise to ‘supervenience functions’, and use these functions to show how dynamical systems at different levels are related to one another. I then use this analysis to describe a (...) graded approach to non-reductive physicalism, and to critically assess Davidson’s arguments for psychological anomaly. I also show how this approach can inform empirical research in cognitive science. (shrink)

Embodied approaches to cognition see abstract thought and language as grounded in interactions between mind, body, and world. A particularly important challenge for embodied approaches to cognition is mathematics, perhaps the most abstract domain of human knowledge. Conceptual metaphor theory, a branch of cognitive linguistics, describes how abstract mathematical concepts are grounded in concrete physical representations. In this paper, we consider the implications of this research for the metaphysics and epistemology of mathematics. In the case of metaphysics, we argue that (...) embodied mathematics is neutral in the sense of being compatible with all existing accounts of what mathematical entities really are. However, embodied mathematics may be able to revive an older position known as psychologism and overcome the difficulties it faces. In the case of epistemology, we argue that the evidence collected in the embodied mathematics literature is inconclusive: It does not show that abstract mathematical thinking is constituted by metaphor; it may simply show that abstract thinking is facilitated by metaphor. Our arguments suggest that closer interaction between the philosophy and cognitive science of mathematics could yield a more precise, empirically informed account of what mathematics is and how we come to have knowledge of it. (shrink)

Aron Gurwitsch’s theory of the structure and dynamics of consciousness has much to offer contemporary theorizing about consciousness and its basis in the embodied brain. On Gurwitsch’s account, as we develop it, the field of consciousness has a variable sized focus or "theme" of attention surrounded by a structured periphery of inattentional contents. As the field evolves, its contents change their status, sometimes smoothly, sometimes abruptly. Inner thoughts, a sense of one’s body, and the physical environment are dominant field contents. (...) These ideas can be linked with (and help unify) contemporary theories about the neural correlates of consciousness, inattention, the small world structure of the brain, meta-stable dynamics, embodied cognition, and predictive coding in the brain. (shrink)

Husserl is well known for his critique of the “mathematizing tendencies” of modern science, and is particularly emphatic that mathematics and phenomenology are distinct and in some sense incompatible. But Husserl himself uses mathematical methods in phenomenology. In the first half of the paper I give a detailed analysis of this tension, showing how those Husserlian doctrines which seem to speak against application of mathematics to phenomenology do not in fact do so. In the second half of the paper I (...) focus on a particular example of Husserl’s “mathematized phenomenology”: his use of concepts from what is today called dynamical systems theory. (shrink)

We define a mathematical formalism based on the concept of an ‘‘open dynamical system” and show how it can be used to model embodied cognition. This formalism extends classical dynamical systems theory by distinguishing a ‘‘total system’’ (which models an agent in an environment) and an ‘‘agent system’’ (which models an agent by itself), and it includes tools for analyzing the collections of overlapping paths that occur in an embedded agent's state space. To illustrate the way this formalism can be (...) applied, several neural network models are embedded in a simple model environment. Such phenomena as masking, perceptual ambiguity, and priming are then observed. We also use this formalism to reinterpret examples from the embodiment literature, arguing that it provides for a more thorough analysis of the relevant phenomena. (shrink)

We survey the development of “California Phenomenology”, both as a philosophical movement originating with Dagfinn Føllesdal’s formulation of a Fregean, analytic reading of Husserl in the late 1950s and 1960s, and as an evolving network of philosophers working throughout California, who have met under the auspices of several groups in a more or less continuous way since that time. We trace the history of these groups in detail, provide an overview of debates that occurred between “West Coast” approaches to Husserlian (...) phenomenology and other approaches, and survey the broad panorama of more recent work. (shrink)

The question whether cognition is subserved by internal processes in the brain (internalism) or extends in to the world (active externalism) has been vigorously debated in recent years. I show how internalist and externalist ideas can be pursued in a common framework, using (1) open dynamical systems, which allow for separate analysis of an agent's intrinsic and embodied dynamics, and (2) supervenience functions, which can be used to study how low-level dynamical systems give rise to higher-level dynamical structures.

I show how existing concepts of supervenience relate to two more fundamental ontological relations: determination and dependence. Determination says that the supervenient properties of a thing are a function of its base properties, while dependence says that having a supervenient property implies having a base property. I show that most varieties of supervenience are either determination relations or determination relations conjoined with dependence relations. In the process of unpacking these connections I identify limitations of existing concepts of supervenience and provide (...) ways of overcoming them. What results is a more precise, flexible, and powerful set of tools for relating sets of properties than current concepts of supervenience provide. I apply these tools to a recalcitrant problem in the physicalism literature – the problem of extras. (shrink)

I develop a “two-systems” interpretation of Husserl’s theory of belief. On this interpretation, Husserl accounts for our sense of the world in terms of (1) a system of embodied horizon meanings and passive synthesis, which is involved in any experience of an object, and (2) a system of active synthesis and sedimentation, which comes on line when we attend to an object’s properties. I use this account to defend Husserl against several forms of Heideggerean critique. One line of critique, recently (...) elaborated by Taylor Carman, says that Husserl wrongly loads everyday perception with explicit beliefs about things. A second, earlier line of critique, due to Hubert Dreyfus, charges Husserl with thinking of belief on a problematic Artificial Intelligence (AI) model which involves explicit rules applied to discrete symbol structures. I argue that these criticisms are based on a conflation of Husserl’s two systems of belief. The conception of Husserlian phenomenology which emerges is compatible with Heideggerean phenomenology and associated approaches to cognitive science (in particular, dynamical systems theory). (shrink)

経済の発展期には美徳とされた勤勉の価値が豊かさの到来とともに揺らいでいる。よく働くことは余暇や家庭や地域の生活と相反する生き方になってしまった。勤勉な労働よりも、意味ある労働が求められるようになる。だ が、勤勉倫理に代わる新しい仕事倫理は生まれるのだろうか。仕事をめぐる過去の思索を訪ね歩き、「良い仕事」の思想の伝統の中に、現代の自己実現願望の限界を超える新しい仕事倫理・仕事理念の可能性を見出す。.

More has been written about phenomenology than could possibly be read in a single person’s lifetime, or even in several lifetimes. Despite its unwieldy size, this vast “horizon” of literary output has a tractable structure. We leverage the tools of bibliometrics to study the structure of the phenomenology literature, and test several hypotheses about it. We create an author-wise co-citation network, a graph of nodes and connections, where each node corresponds to an author who has written a document with the (...) word “Phenomenology” in it, and where two nodes are connected if the corresponding authors have cited each other. By applying clustering algorithms and other techniques to this network, certain structural features of the field emerge. The main areas of research since 1970 conform fairly well to an intuitive understanding of the literature, though there are some surprises. (shrink)

Although debate is a richly structured and prevalent form of discourse, it has received little scholarly attention. Logicians have focused on the structure of individual arguments—how they divide into premises and conclusions, which in turn divide into various constituents. In contrast, I focus on the structure of sets of arguments, showing how arguments are themselves constituents in high-level dialectical structures. I represent debates and positions by graphs whose vertices correspond to arguments and whose edges correspond to two inter-argument relations: “dispute” (...) and “support,” respectively. On this basis I develop a theory of the structure of debate. (shrink)

Although debate is a richly structured and prevalent form of discourse, it has received little scholarly attention. Logicians have focused on the structure of individual arguments-how they divide into premises and conclusions, which in turn divide into various constituents. In contrast, I focus on the structure of sets of arguments, showing how arguments are themselves constituents in high-level dialectical structures. I represent debates and positions by graphs whose vertices correspond to arguments and whose edges correspond to two inter-argument relations: "dispute" (...) and "support," respectively. On this basis I develop a theory of the structure of debate. (shrink)

Aron Gurwitsch’s Gestalt-inspired “field theory of consciousness” was introduced in the same period as Wolfgang Köhler’s theory of “electrical brain fields.” I consider parallels between these theories, drawing on results that have emerged in the last five years. First, I consider the claim that fields of consciousness supervene on electromagnetic fields in the brain, then I outline Gurwitsch’s field theory of consciousness, and finally I consider how the structures described by Gurwitsch might relate to structures in the brain’s electro-magnetic field. (...) Along the way, I expose a dogma (that qualia are paradigmatic conscious states) and develop an interpretation of Gurwitsch’s field theory. (shrink)

_ Source: _Volume 94, Issue 3, pp 391 - 409 The author outlines a provisional phenomenology of problem solving. He begins by reviewing the history of problem-solving psychology, focusing on the Gestalt approach, which emphasizes the influence of prior knowledge and the occurrence of sudden insights. He then describes problem solving as a process unfolding in a field of consciousness against a background of unconscious knowledge, which encodes action patterns, schemata, and affordances. A global feeling of wrongness or tension is (...) resolved by a series of field transitions, which are guided by peripheral experiences of coherence or “rightness.” The author treats the distinction between reproductive thought and productive thought as a difference in field structure. With reproductive thoughts and actions we perform operations to solve a problem in a semi-automatic sequence. In productive thought, by contrast, a kind of parallel search occurs. This may explain the otherwise obscure phenomenology of struggling to break an impasse. (shrink)

Although the concept of information is an inherently qualitative entity implying the capacity for meaning creation, in the historical development of this concept there has been a consistent emphasis on quantitative aspects. The generalization of the information concept from a specialized military term to a concept of broad social application occurred during the period when society as a whole became militarized in the 1930s and 1940s. After the Second World War, with the development of systematic information theory and the spread (...) of computers in society, the military associations of the information concept gradually became obscured. But the popularity of information society theory in Japan and the USA indicates a need to review the military associations of its key concept. Today, with the development and spread of numerous global and local media, the information phenomena are experienced in a manner that far outstrips the narrow confines of the concept's history. So the concept of information needs to be understood as a field of struggle in which different definitions confront each other leading to the creation of new practices and alternative concepts. (shrink)

Lopes ( 2021 ) has argued against my use of neural networks and dynamical systems theory in neurophenomenology. Responding to his argument provides an opportunity to articulate a pluralist approach to neurophenomenology, according to which multiple theoretical frameworks—symbolic, dynamical systems, connectionist, etc.—can be used to study consciousness and its relationship to neural activity. Each type of analysis is best suited to specific phenomena, but they are mutually compatible and can inform and constrain one another in non-trivial ways. I use historical (...) and conceptual arguments to elaborate on this type of pluralism as it applies to cognitive science, phenomenology, and neurophenomenology. (shrink)