Life distinguishes itself from non-life in taking advantage of the cohesion of temporal origin which non-life cannot afford. The temporal cohesion letting the local participants adhere to each other in a contemporaneous manner refers to an instance of the precedent product being pulled into the subsequent production. Setting the precedent is equivalent to preparing the conditions for the subsequent to follow. A concrete implementation of the cohesion of temporal origin, compared with the spatial cohesion common in physics, is found in (...) the natural construction of a reaction cycle with use of the temporal affinity exerted from the immediate local environment. That construction is a temporally local phenomenon in the experiential domain, rather than in the theoretical. The cohesion originating in the local environment is due to the local act of measurement by the environment. A major component of the local environment to each reactant in the reaction cycle is the cycle itself. The cohesion specific to the reaction cycle rests upon the fact that every reaction product from the upstream production in the cycle comes to be fed upon by the immediate downstream production. Every production constituting the reaction cycle is temporally adjacent to and contemporaneous with the similar others residing in the whole cycle, in sharp contrast to the case of the open-ended linear chain of reaction. One externalist scheme of appreciating the internalist enterprise of constructing a durable reaction cycle in a contemporaneous manner may become possible as referring to the Bayesian probability. The durable reaction cycle may be made actual with probability unity under the condition that the products from the preceding production come with the protocol for the similar production to come subsequently. (shrink)

Comment comprendre la nyctophobie? Les uns pensent, comme John Locke, que la nuit n’a rien qui fasse peur, et cherchent la cause de cette angoisse ailleurs que dans l’obscurité. Les autres, à commencer par Edmund Burke, affirment que l’obscurité est la source par excellence de la peur : pour Emmanuel Levinas comme pour Maurice Merleau-Ponty, qui s’appuient tous deux sur la description de l’« espace noir » par Eugène Minkowski, la nuit noire menace de déposséder le sujet de sa souveraineté (...) pour le submerger dans une unité sans articulation. Mais, une dizaine d’années plus tôt, Roger Caillois se réfère aussi à Minkowski pour voir dans la nyctophobie l’effet de la « tentation de l’espace » : pour lui, la peur de la nuit est la peur d’être la nuit – de ne faire qu’un avec elle. (shrink)

We construct an ab initio generic structure for a predimension function with a positive rational coefficient less than or equal to 1 which is unsaturated and has a superstable non-ω-stable theory.

Koichiro Kokubun focuses on Deleuze's method of 'free indirect discourse' to locate and explicate Deleuze's philosophy of transcendental empiricism and its constitutive limits. He works through Deleuze's confrontations with Hume, Kant, Bergson, Freud, Lacan, Foucault and Guattari, and the influence of structuralism and psychoanalysis.

Hrushovski constructed an -categorical stable pseudoplane which refuted Lachlan's conjecture. In this note, we show that an -categorical projective plane cannot be constructed by "the Hrushovski method.".

David Bakhurst's 2011 book ‘The Formation of Reason’ explores the philosophy of John McDowell in general and the Aristotelian notion of second nature more specifically, topics to which philosophers of education have not yet given adequate attention. The book's widespread appeal led to the symposium ‘Second Nature, Bildung and McDowell: David Bakhurst's The Formation of Reason’, which appeared in the first issue of the 50th anniversary volume of the Journal of Philosophy of Education in 2016. Despite its obvious educational relevance, (...) whether and how Bakhurst's McDowellian line of philosophical argument shapes the domain of educational enquiry or discourse remains up for debate. The rich contributions of Sebastian Rödl, Paul Standish and Jan Derry help us confront this issue. Proceeding with an analysis that is partly explanatory and partly critical of the central aspects of their respective views, I try to show that the basic attraction of the McDowellian/Bakhurstian line of argument concerning educational thinking is that it enables us to address education in the proper context of the natural and the social. In other words, their depiction of a human being as a natural animal in a normative world allows us not to be perturbed either by the natural-scientific conception of the natural or by the social constructivist thinking of the social, both of which have occasionally distorted how education is addressed and therefore impoverished our understanding of education itself. I conclude with a brief word on the significance of continuing and advancing the conversation initiated by the symposium by noting two viable examples of future work. (shrink)

One common denominator between biosemiotics and quantum physics is the participation of agents detecting their surroundings. In biosemiotics, any biological agents as the internal observers including the molecular and cellular ones are involved in detecting their surroundings. Likewise, the physicist as the external observer is also involved in detecting what should be all about the physical world with use of a wide variety of sophisticated measurement apparatuses. On the other hand, the difference between the two is in the nature of (...) the agents of detection involved there. One obvious difference is that although the physicist can report the results of measurement with use of the symbolic language, the biological beings take the indexical act of measurement to simply be a matter of experiencing. The internal observers are phenomenological in constructing something durable as participating in the construction of the phenomenon. In a similar vein, the external observer is also phenomenological in getting into interpreting the constructed durable class property of an object with use of the symbolic language. In particular, the potential use of phenomenology is not limited only to the phenomenologist as the external observer. A possible integration of both the internal and external observers may be sought within quantum phenomenology allowing for the external observer to descriptively make access to the durable objects the internal observers could eventually have constructed. The internal observers are ubiquitous in the environment that functions as the absorbers of whatever quantum particles available there. (shrink)

In philosophy, it is almost a platitude to argue that fact and value intertwine. However, in empirically oriented educational research, it is not. Hence, there is some affinity between logical positivism, which is no longer tenable in philosophy, and empirically based contemporary educational research in terms of assumptions each makes about “the given.” In this essay, Koichiro Misawa casts light on how fact and value intertwine by invoking the notion of “second nature” that John McDowell has reanimated. This will in (...) turn prompt us to see the relation between nature and nurture, as well as between mind and world, quite differently and to discern two senses of “the given”: one is illusory; the other educational. Misawa concludes that the philosophy of education should and can take the lead in forming rigorous interdisciplinary studies of the human future with a certain sensitivity to the tight and complex interweaving between the empirical and the conceptual, or between the factual and the normative. (shrink)

Let L be a finite relational language and α=(αR:R ∈ L) a tuple with 0 < αR ≤1 for each R ∈ L. Consider a dimension function $ \delta _\alpha (A) = \left| A \right| - \sum\limits_{R \in L} {\alpha {\mathop{\rm Re}\nolimits} R(A)} $ where each eR(A) is the number of realizations of R in A. Let $K_\alpha $ be the class of finite structures A such that $\delta _\alpha (X) \ge 0$ 0 for any substructure X of A. We (...) show that the theory of the generic model of $K_\alpha $ is AE-axiomatizable for any α. (shrink)

A theory T is called almost [MATHEMATICAL SCRIPT CAPITAL N]0-categorical if for any pure types p1,…,pn there are only finitely many pure types which extend p1 ∪…∪pn. It is shown that if T is an almost [MATHEMATICAL SCRIPT CAPITAL N]0-categorical theory with I = 3, then a dense linear ordering is interpretable in T.

Approaches to studying the ‘social’ are prominent in educational research. Yet, because of their insufficient acknowledgement of the social nature of human beings and the reality we experience, such attempts often commit themselves to the dualism of scheme and content, which in turn is a by-product of the underlying dualism of reason and nature that has characterised modern thinking. Drawing largely on John McDowell’s argument, this paper attempts to illuminate the sense that nature, nurture and human nature are interconnected and (...) that the capacity to be responsive to reasons is a necessary prerequisite for the essential nature of human beings as social and natural animals at the same time. It ends by acknowledging the importance of philosophy in the study of education as a primary discipline that highlights distinctive features of human beings that make us the kind of beings we are, and by briefly mentioning how we could do more than draw obvious but trivial ‘educational implications’ from McDowell’s argument. (shrink)

In this paper, we show within ${\mathsf{RCA}_0}$ that both the Jordan curve theorem and the Schönflies theorem are equivalent to weak König’s lemma. Within ${\mathsf {WKL}_0}$ , we prove the Jordan curve theorem using an argument of non-standard analysis based on the fact that every countable non-standard model of ${\mathsf {WKL}_0}$ has a proper initial part that is isomorphic to itself (Tanaka in Math Logic Q 43:396–400, 1997).

An infinite structure is said to be minimal if each of its definable subset is finite or cofinite. Modifying Hrushovski's method we construct minimal, non strongly minimal structures with arbitrary finite dimensions. This answers negatively to a problem posed by B. I Zilber.

We are concerned with two modes of describing the dynamics of natural systems. Global descriptions require simultaneous global coordination of all dynamical operations. Global dynamics, including mechanics, remain invariant in the absence of external perturbation. But, failing impossible global coordination, dynamical operations could actually become coordinated only locally. In local records, as in global ones, the law of the excluded middle would be strictly observed, but without global coordination it could only be fullfilled sequentially by passing causative factors forward onto (...) subsequent contiguous operations.The local dynamics of sequential operations would be indefinite with regard to how commitments will be made which will avoid violating the law of the excluded middle, but any resulting record will be as definite as if there had been global coordination. While maintaining an agential capacity for making contingent choices internally, local dynamics could be cumulated into a global record of seemingly simultaneous operations. Natural selection within a framework of local dynamics would have a capacity for making opportunistic commitments, but its effects in a posterior record can be reduced to the mechanistic neodarwinian version as if there had been a global dynamics. However, the resulting global description falsifies the actual material nature of the dynamics. (shrink)

The Schrödinger equation for quantum mechanics, which is approachable in third-person description, takes for granted tenseless time that does not distinguish between different tenses such as past, present, and future. The time-reversal symmetry grounded upon tenseless time globally may, however, be broken once measurement in the form of exchanging indivisible quantum particles between the measured and the measuring intervenes. Measurement breaks tenseless time locally and distinguishes different tenses. Since measurement is about the material process of feeding and acting upon the (...) quantum resources already available from any material bodies to be measured internally, the agency of measurement is sought within the environment in the broadest sense. Most indicative of internal measurement of the environmental origin are chemical reactions in the reaction environment. Temporality naturalized in chemical reactions proceeding as being subjected to frequent interventions of internal measurement is approachable in second-person description because of the participation of multiple agents of measurement there. The use of second-person description is found in the appraisal of the material capacity of generating, distinguishing, and integrating different tenses. An essence of the temporality to be naturalized is within the genesis of different tenses. A most conspicuous exemplar of naturalized temporality is sought in the origins of life conceivable exclusively on the material ground. (shrink)

The central thesis of this article is that the notion of second nature that John McDowell has reanimated has something of ethical and educational importance, thereby possibly extending the borders of the philosophy of education. The argument to this conclusion is the subject of serious consideration and criticism. The aim of this article is therefore to clarify the educational implications of the conception of second nature by responding to the three likely objections: (1) the charge of idealism, (2) the charge (...) of anthropocentrism, and (3) the charge of triviality. Through critical discussions of these criticisms, it is made explicit that second nature, from the outset, illuminates every sphere of the lives of human beings. A lively appreciation of this leads to the conclusion that the issue of how we develop our world of meaning with the conception of second nature should come under the scope of serious philosophical discourse on education. (shrink)

ABSTRACT At the heart of our current environmental predicament lies the issue of our relationship with nature. Michael Bonnett’s educational rehabilitation of nature, which might be called a ‘metaphysical’ turn in nature-related issues, brings us back to the core question of educational-philosophical thinking: how we are to understand ourselves and our relation to the world. In this paper, by confronting his environmental philosophy of education with what John McDowell, in his debate with Hubert Dreyfus, terms the ‘pervasiveness thesis’ – that (...) conceptual rationality in a relevant sense pervades human lives – I try to offer an analytical supplement to the notion Bonnett entertains: that a phenomenological project to ‘retrieve’ nature and ‘ecologise’ education can have massive implications for the character of philosophy of education and the whole enterprise of education. I also argue a confluence of their nature-related ideas adds an educational nuance to the traditional picture of human beings as rational animals. (shrink)

In this paper, we show that equation image is a equation image-conservative extension of BΣ1 + exp, thus it does not imply IΣ1.

Michael Bonnett has long attempted to rehabilitate the concept of nature, thereby challenging us to reconsider its profound implications for diverse educational issues. Castigating both ‘postmodern’ and ‘scientistic’ accounts of nature for failing to appreciate that nature is at once transcendent and normative, Bonnett proposes his phenomenology-inspired view of nature as the ‘self-arising’, which is bound up with the notion of ‘our experience of nature’. Despite its enormous strengths, however, Bonnett’s argument might obscure the ways in which the real issue (...) involved in nature is addressed: the issue of our nature, which enables our experience of nature in the first place. In this paper, after reviewing Bonnett’s view of nature and considering his criticism of Richard Rorty’s assault on the reality of nature, I will try to show how the Aristotelian notion of second nature that John McDowell has reanimated can supplement Bonnett’s project and render plausible the idea that the naturalness of our sensibility is unique to human beings; through this approach, the issue of human nature can be located in discussions of nature at large and, connectedly, brought again within the scope of the philosophical study of education in the present-day intellectual climate that increasingly marginalises non-scientific, intellectual endeavours. I will also briefly reflect on the relevance of the notion of second nature to Stephen Boulter’s recently proposed idea of ‘education from a biological point of view’. (shrink)

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

Let L be a countable relational language. Baldwin asked whether there is an ab initio generic L-structure which is superstable but not ω-stable. We give a positive answer to his question, and prove that there is no ab initio generic L-structure which is superstable but not ω-stable, if L is finite and the generic is saturated.

A partial map f of a structure M is called almost total if |M — dom| = |M — ran| < ω. We study a difference between an almost total elementary map and an automorphism.

Chemical affinity is by itself inclusive of the action of a sign. Naturalization of the action of a sign is latent in the material organization holding its own identity by means of the exchange of material. A concrete experimental example is the citric acid cycle running in the absence of biological enzymes. The carbon atoms to be exchanged round the cycle serve as the signs for holding the cycle as a natural system. The action of a sign operates in the (...) present progressive tense and is also descriptively approachable in the same tense, as implying that a natural system holding its own identity assumes the first-person status acting for its own sake. The action of a sign is thus addressable in first person descriptions on the level of the supporting material system that can recognize the sign as such from within. Furthermore, if the action of a sign happens to precipitate the record registered in the present perfect tense, the record itself will be approachable in third person descriptions in the present tense. When one can relate the record of an earlier event to that of a later one, what is called information will come up. Information to be externalized and objectified is about the completed outcome from the action of a sign that is accessible in third person descriptions in the present tense. Conversely, if the action of a sign is carried by a natural system holding its own identity in a manner to be registered in the present perfect tense after the event, information will appear in a proper form of bookkeeping as relating the memory to anticipation on the part of the material agency. Although information in the present has the capacity of relating the past to future in the present tense as avoiding direct confrontation with the dynamic nature of the present or now head on, the action of a sign facing the present squarely is competent enough to address and decipher the generative capacity of information itself operating in the present progressive tense. (shrink)

Background There are several psychosocial and ethical issues surrounding the decision to be a living kidney donor. The present study aimed to determine the perceptions of psychosocial and ethical issues that living kidney donors may have, and analyze their psychological characteristics.Methods Face-to-face semi-structured interviews were conducted with 15 donors. Thematic analysis was then performed to categorize the thematic elements of the transcripts. All procedures were approved by the relevant review board.Results Four main categories were identified: Awareness of family dynamics, barriers (...) to a proper understanding, contrasting psychological effects of recipient presence in clinical practice, insufficient information explained in informed consent.Conclusion Donors felt that they took on the “role as a care giver” for the recipient and were less aware of themselves as patients. This is a new concept that has not been shown in previous studies. Donors exist within the recipient and family, and the range of their autonomy may go beyond the traditional concept of autonomy and be rooted in relational autonomy. This study suggested that medical treatment in the presence of the recipient promotes the relational autonomy of the donor. (shrink)

We show that many principles of first-order arithmetic, previously only known to lie strictly between [Formula: see text]-induction and [Formula: see text]-induction, are equivalent to the well-foundedness of [Formula: see text]. Among these principles are the iteration of partial functions of Hájek and Paris, the bounded monotone enumerations principle by Chong, Slaman, and Yang, the relativized Paris–Harrington principle for pairs, and the totality of the relativized Ackermann–Péter function. With this we show that the well-foundedness of [Formula: see text] is a (...) far more widespread than usually suspected. Further, we investigate the [Formula: see text]-iterated version of the bounded monotone iterations principle, and show that it is equivalent to the well-foundedness of the -height [Formula: see text]-tower [Formula: see text]. (shrink)

The program of Reverse Mathematics (Simpson 2009) has provided us with the insight that most theorems of ordinary mathematics are either equivalent to one of a select few logical principles, or provable in a weak base theory. In this paper, we study the properties of the Dirac delta function (Dirac 1927; Schwartz 1951) in two settings of Reverse Mathematics. In particular, we consider the Dirac Delta Theorem, which formalizes the well-known property \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\int_\mathbb{R}f(x)\delta(x)\,dx=f(0)}$$\end{document} of the Dirac delta function. We show that the Dirac Delta Theorem is equivalent to weak König’s Lemma (see Yu and Simpson in Arch Math Log 30(3):171–180, 1990) in classical Reverse Mathematics. This further validates the status of WWKL0 as one of the ‘Big’ systems of Reverse Mathematics. In the context of ERNA’s Reverse Mathematics (Sanders in J Symb Log 76(2):637–664, 2011), we show that the Dirac Delta Theorem is equivalent to the Universal Transfer Principle. Since the Universal Transfer Principle corresponds to WKL, it seems that, in ERNA’s Reverse Mathematics, the principles corresponding to WKL and WWKL coincide. Hence, ERNA’s Reverse Mathematics is actually coarser than classical Reverse Mathematics, although the base theory has lower first-order strength. (shrink)

We show that if a class K of finite relational structures is closed under quasi-substructures, then there is no saturated K-generic structure that is superstable but not ω -stable.

No matter how far medicine advances, incurable disease will inevitably exist; and the dying patient's last resort will likewise look to medical research. In this report, we examine a case concerning the use of experimental medical therapy on a critically ill child. We discuss the ethical argument pertaining to the recommending of experimental medical therapy to the family of a dying patient.Under the circumstances of having to face the impending death of one's own child, parents of a terminally ill child (...) are extremely vulnerable to suggestion and often loose the ability to make a composed decision._Moreover, there exists the possibility of not only patients, but also medical staff and researchers, to fall into therapeutic misconception. Likewise, for the terminal patient and his/her family though, experimental medical therapy is often the only hope, which is, however, always accompanied by a factor of uncertainty and is considered to be merely an unapproximated gamble. The proposing of experimental medical therapy can result in being cruel by shattering the parent's expectations of saving their child._We examine the issues involved in proposing an experimental medical therapy to patients who are in dire need of a last hope; and conclude that, in times of emergency, we must take great consideration in recommending an experimental medical therapy as an "innovative treatment." In extreme circumstances where an individual's life is on the line, doing nothing can be quite trying; yet, what is right is not necessarily doing something, but rather making the right decision. (shrink)

Functional electrical stimulation (FES), a method for inducing muscle contraction, has been successfully used in gait rehabilitation for patients with deficits after neurological disorders and several clinical studies have found that it can improve gait function after stroke and spinal cord injury. However, FES gait training is not suitable for patients with walking difficulty, such as those with severe motor paralysis of the lower limbs. We have previously shown that action observation combined with motor imagery (AO + MI) of walking (...) induces walking-related cortical activity. Therefore, we combined FES, which alternately generates dorsiflexion and plantar flexion, with AO + MI as an alternative to gait training. The present study investigates the transient effects of 20-min of FES simultaneously with and without AO + MI of walking on corticospinal and spinal reflex excitability in able-bodied participants. We measured motor evoked potentials and Hoffmann-reflexes to assess corticospinal and spinal reflex excitability at rest before and after the 20-min FES with and without the AO + MI. Our results show that FES without AO + MI did not change excitability (p > 0.05), while FES with AO + MI facilitated corticospinal excitability (p < 0.05). This facilitation likely occurred due to the synchronization of sensory inputs from FES and cortical activity during AO + MI. Facilitation was observed only in the dorsiflexor but not the plantar flexor muscle (p < 0.05), suggesting muscle specificity of the facilitation. These results demonstrate the effectiveness of combining FES with AO + MI and pave the way for novel neurorehabilitation strategies for patients with neurological gait deficits. (shrink)

Enzymes are remarkable molecules which make metabolism possible. Their processing powers are considerable for not only are they catalysts they also contribute to information processing, integration, coherence and memory in the cell. This complex of attributes suggests that a complementary perspective to enzyme nature and activity is needed related to what enzymes and verbs have in common. The value of this kind of thinking is that it shifts the focus from objects and mechanisms to processes and information. In order to (...) support this idea a number of features which enzymes and verbs share are discussed including, context-dependence, occurrence, cases, voice, mood and glue/integrative capacities. The paper concludes with some reflections on the utility of a view of enzymes as verbs. (shrink)

In this paper, we introduce a system of nonstandard second-order arithmetic $\mathsf{ns}$-$\mathsf{WWKL_0}$ which consists of $\mathsf{ns}$-$\mathsf{BASIC}$ plus Loeb measure property. Then we show that $\mathsf{ns}$-$\mathsf{WWKL_0}$ is a conservative extension of $\mathsf{WWKL_0}$ and we do Reverse Mathematics for this system.

In this paper, we introduce the systems ns-ACA₀ and ns-WKL₀ of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA₀ and WKL₀, respectively. Then, we give direct transformations from non-standard proofs in ns-ACA₀ or ns-WKL₀ into proofs in ACA₀ or WKL₀.

Anticipatory acts or predictive behavior are prerequisites for living organisms to sustain their survival when escaping from a predator, catching prey, or schooling. For example, catching prey requires that the predator perform some procedures that are equivalent to estimating the directional movement of the prey, its speed and its distance relative to the predator. Underlying these procedures is time experience, which does not adhere to man-made mechanical clocks. Living organisms keep time based on the local activities of each participant and (...) form ecological clocks together. The timekeeping of ecological clocks has been called E-series time, which is interactive in character and consists of mutual alignment of timing that is co-adjusted to each other’s movements and rhythms. A main objective of our current work is to illustrate how E-series time is used for flows of anticipatory acts. To explain such predictive moves and their efforts based on how the perspective of the immediate future affects the present, we resort to the organismic activity of revising the preceding acts in retrospect and semiotic scaffolding that extends beyond simple linear causality. Special attention is paid to the construction of the notion of retrocausal scaffolding, which is a series of dialogical punctuations or mutual coordination of rhythms for the joint production of the present moment of now. Retrocausal scaffolding is synonymous with negotiated anticipation, which is a semiotic/communicative account of revising the preceding acts in the present moment. (shrink)

Paul Hirst’s philosophical ‘conversion’ from forms of knowledge to forms of social practices was largely prompted by his radical reappraisal of the philosophical underpinnings that had validated his classic conception of liberal education. The primary motivation for Hirst’s later works was to remedy his own neglect of practical reason, whose sharp distinction from theoretical reason he acknowledged he had failed to appreciate. There is much to commend in his ‘practical’ turn. The main challenge that remains, however, is that the social (...) practices view is something of a ‘foundationalist’ two-part picture, where overwhelming priority is given to practical reason. I appreciate the importance of the two issues Hirst puts on the table, in his debate with Wilfred Carr particularly and in his later works more generally: the issues of cultivating phronesis and of making sense of the practical character of critical-reflective activities. But I argue that addressing these issues fully requires us to recognize that neither theoretical nor practical rationality can be intelligible apart from the other. To press the point home, I review the analogous debate between Hubert Dreyfus and John McDowell over whether to accept, and how to understand, the view that rational conceptuality in a relevant sense pervades not only deliberation and propositional thinking but also perception and embodied coping skills. I conclude by briefly considering the prospect that the legacy of Hirst and recent discussions around human nature, practical rationality, and the formation of reason will interactively enrich our philosophical-educational scholarship. (shrink)

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.

Molecular imprints of organisms serving as both the agents and the products of the underlying sign activities are quantum mechanical in their origins. In particular, molecules in any reaction networks constituting a biological organism are semiotic or context-dependent in the sense that their activities reside within the proper coordination of the entire networks. The origin of life could have been related to a specific aspect of molecular semiotics, especially in the transition from molecules as the physical symbols of material units (...) to molecules as the semiotic signs having the capacity of pointing to something else other than the molecules themselves. Quantum mechanical underpinning of the molecular imprints leading to the emergence of life is in the appraisal of the material capacities of both coherent assimilation and decoherent dissociation already latent in the imprints. One empirical evidence suggesting the likelihood of both coherent assimilation and decoherent dissociation in prebiotic settings could have been found in synthetic chemical reactions running in hydrothermal circulation of seawater through hot vents in the Haedean ocean on the primitive Earth. (shrink)

“What is the nature of the beings that we are?” is perhaps the most difficult question. The difficulty lies in our being a natural animal in a normative environment. In harmony with John McDowell’s conception of a naturalism of second nature, this paper claims that we should not rest satisfied with the predominant scientific picture in which the seeming rift between our animality and our rationality is to be resolved by detailed studies of empirically knowable facts about our animal modes (...) of existence. Instead, appreciating the sui generis character of a distinctive mode of human engagement with the world is a necessary clearing of the ground and an essential first step toward addressing meticulously the above difficult question on human nature. The paper suggests that the human sciences in general and education studies in particular should start off not with disclosed first-natural facts but with a sensitivity to second-natural backgrounds that set the stage for the first-natural facts. (shrink)

This research is motivated by the program of reverse mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second-order arithmetic ACA0, we investigate some aspects of non-standard analysis related to sequential compactness. Then, using arguments of non-standard analysis, we show the equivalence of the Riemann mapping theorem and ACA0 over WKL0. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).

Timing adjustment is an important ability for living organisms. Wild animals need to act at the right moment to catch prey or escape a predator. Land plants, although limited in their movement, need to decide the right time to grow and bloom. Humans also need to decide the right moment for social actions. Although scientists can pinpoint the timing of such behaviors by observation, we know extremely little about how living organisms as actors or players decide when to act – (...) such as the exact moment to dash or pounce. The time measurements of an outsider-observer and the insider-participants are utterly different. We explain how such essential operations of timing adjustment and temporal spanning, both of which constitute a single regulated set, can be carried out among organisms. For this purpose, we have to reexamine the ordinary conception of time. Our specific explanatory tools include the natural movement known as the upbeat (anacrusis) in music, a rhythmic push for the downbeat that follows, which predicts future moves as an anticipatory lead-in. The scheme is situated in and is the extension of our formulation of E-series time, i.e., timing co-adjusted through interaction, which is derived from the semiotic/communicative perspectives. We thereby demonstrate that a prediction-based timing system is not mechanical but communicative and entails meanings for future anticipation. (shrink)