Boltzmann’s lectures on natural philosophy point out how the principles of mathematics are both an improvement on traditional philosophy and also serve as a necessary foundation of physics or what the English call “Natura Philosophy”, a title which he will retain for his own lectures. We start with lecture #3 and the mathematical contents of his lectures plus a few philosophical comments. Because of the length of the lectures as a whole we can only give the main points of each (...) but organized into a coherent study. Behind his mathematics stands his support of Darwinian evolution interpreted in a partly Lamarckian way. He also supported non-Euclidean geometry. Much of Boltzmann’s analysis of mathematics is an attempt to refute Kant’s static a priori categories and his identification of space with “non-sensuous intuition”. Boltzmann’s strong attention toward discreteness in mathematics can be seen throughout the lectures. Part II of this paper will touch on the historical background of atomism and focus on the discrete way of thinking with which Boltzmann approaches problems in mathematics and beyond. Part III briefly points out how Boltzmann related mathematics and discreteness to music. (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).

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.

This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in order to determine what kind of set existence axioms are needed to prove theorems of basic analysis. We are especially concerned with Cauchy’s integral theorem. We show that a weak version of Cauchy’s integral theorem is proved in RCAo. Using this, we can prove that holomorphic functions are analytic in RCAo. On the other hand, (...) we show that a full version of Cauchy’s integral theorem cannot be proved in RCAo but is equivalent to weak König’s lemma over RCAo. (shrink)

Disbelief, lies, and manipulations have been objects of scholarly consideration from widely different perspectives: historical, sociological, philosophical, ethical, logical, and pragmatic. In this paper, these notions are re-examined in the framework of a Transactional Discourse Model which operates in terms of the location and relocation of various knowledge items within two sets of knowledge, A and B, representing two interlocators A and B, and two of their subsets Ca and Cb, which constitute the sets of the matters of A's and (...) B's current concern. This approach reveals certain formal features shared by lies, disbelief, and manipulations that indicate that these three types of discourse behavior constitute a deviation from successful interpersonal communication as defined in the proposed model. The model, moreover, enables us to explicitly capture both the similarities and the differences of lies and manipulations with other pragmatic phenomena, such as jokes, impersonating, role-acting, memory failure, politeness expressions, and tact; the comparison suggests that certain modifications of Gricean conversational maxims may be in order. (shrink)

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₀.

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)

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.

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)

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).

The first English translation of a forty-year-old Japanese classic--Nishitani's treatment of the problem of nihilism, with particular reference to Nietzsche's philosophical ideas, and from a perspective influenced by Buddhist thought. Paper edition, $14.95. Annotation copyrighted by Book News, Inc., Portland, OR.

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)

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)

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)

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.

Alzheimer’s disease (AD) in its most common form results in cognitive changes in memory function leading to dementia due to underlying neurodegenerative disease. Recent research advancements in AD...

Introduction Social anxiety disorder (SAD) symptoms are maintained by cognitive biases, which are overestimations of the severity and likelihood of negative social events (cost/probability biases), and by sensitivity to rewards and punishments that are determined according to behavioral inhibition/behavioral activation systems (BIS/BAS). Cost/probability biases might activate the behavioral immune system and exacerbate the avoidance of social events. Earlier studies have proposed that low BIS or high BAS decrease SAD symptoms; BIS/BAS may even change the effects of cognitive biases on SAD (...) symptoms. Hence, the current study investigates the interaction effects of BIS/BAS and cost/probability biases on SAD symptoms. Method Seventy-six Japanese undergraduate students completed the Japanese version of the Liebowitz Social Anxiety Scale (LSAS), which comprises Fear and Avoidance subscales, the BIS/BAS Scale, and the Social Cost Probability Scale. Results A multiple regression analysis was performed to examine whether cost/probability biases, BIS/BAS, and their interactions affected SAD symptoms; following this, the main effects of cost bias and BIS were determined for LSAS-Fear (β =.64, p <.001; β =.33, p <.01) and LSAS-Avoidance (β =.49, p <.001; β =.35, p <.01). The interaction effect between cost bias and BAS was significant for LSAS-Avoidance (β = −.32, p <.05). Simple slope analysis showed that the slope of cost bias was significant for low-BAS individuals (β =.77, p <.001) but not for high-BAS individuals (β = −.21, n.s.). The interaction effect between probability bias and BAS was significant for LSAS-Avoidance (β =.40, p <.01) as well. Further, simple slope analysis revealed that the slope of probability bias was significant for low-BAS individuals (β = −.53, p <.05) but not for high-BAS individuals (β =.17, n.s.). Discussion The study found interesting results with respect to the avoidance of social events. Low-BAS individuals with high cost or low probability biases regarding social events may have a tendency to avoid social events. In contrast, if high-BAS individuals overestimate the cost of social events or underestimate the probability of social events, their anticipation of rewards might prevent them from avoiding social events. (shrink)

Both W9 and OP3‐4 were known to bind the receptor activator of NF‐κB ligand (RANKL), inhibiting osteoclastogenesis. Recently, both peptides were shown to stimulate osteoblast differentiation; however, the mechanism underlying the activity of these peptides remains to be clarified. A primary osteoblast culture showed that rapamycin, an mTORC1 inhibitor, which was recently demonstrated to be an important serine/threonine kinase for bone formation, inhibited the peptide‐induced alkaline phosphatase activity. Furthermore, both peptides promoted the phosphorylation of Akt and S6K1, an upstream molecule (...) of mTORC1 and the effector molecule of mTORC1, respectively. In the in vivo calvarial defect model, W9 and OP3‐4 accelerated BMP‐2‐induced bone formation to a similar extent, which was confirmed by histomorphometric analyses using fluorescence images of undecalcified sections. Our data suggest that these RANKL‐binding peptides could stimulate the mTORC1 activity, which might play a role in the acceleration of BMP‐2‐induced bone regeneration by the RANKL‐binding peptides. (shrink)

The Jordan decomposition theorem states that every function $f \colon \, [0,1] \to \mathbb {R}$ of bounded variation can be written as the difference of two non-decreasing functions. Combining this fact with a result of Lebesgue, every function of bounded variation is differentiable almost everywhere in the sense of Lebesgue measure. We analyze the strength of these theorems in the setting of reverse mathematics. Over $\mathsf {RCA}_{0}$, a stronger version of Jordan’s result where all functions are continuous is equivalent to (...) $\mathsf {ACA}_0$, while the version stated is equivalent to ${\textsf {WKL}}_{0}$. The result that every function on $[0,1]$ of bounded variation is almost everywhere differentiable is equivalent to ${\textsf {WWKL}}_{0}$. To state this equivalence in a meaningful way, we develop a theory of Martin–Löf randomness over $\mathsf {RCA}_0$. (shrink)

We study the first-order consequences of Ramsey’s Theorem fork-colourings ofn-tuples, for fixed$n, k \ge 2$, over the relatively weak second-order arithmetic theory$\mathrm {RCA}^*_0$. Using the Chong–Mourad coding lemma, we show that in a model of$\mathrm {RCA}^*_0$that does not satisfy$\Sigma ^0_1$induction,$\mathrm {RT}^n_k$is equivalent to its relativization to any proper$\Sigma ^0_1$-definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe.We give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^n_k$for$n \ge (...) 3$. We show that they form a non-finitely axiomatizable subtheory of$\mathrm {PA}$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _{\ell +3}$fragment for$\ell \ge 1$lies between$\mathrm {I} \Sigma _\ell \Rightarrow \mathrm {B} \Sigma _{\ell +1}$and$\mathrm {B} \Sigma _{\ell +1}$. We also give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k + \neg \mathrm {I} \Sigma _1$. In general, we show that the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k$form a subtheory of$\mathrm {I} \Sigma _2$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _4$fragment is strictly weaker than$\mathrm {B} \Sigma _2$but not contained in$\mathrm {I} \Sigma _1$.Additionally, we consider a principle$\Delta ^0_2$-$\mathrm {RT}^2_2$which is defined like$\mathrm {RT}^2_2$but with both the$2$-colourings and the solutions allowed to be$\Delta ^0_2$-sets rather than just sets. We show that the behaviour of$\Delta ^0_2$-$\mathrm {RT}^2_2$over$\mathrm {RCA}_0 + \mathrm {B}\Sigma ^0_2$is in many ways analogous to that of$\mathrm {RT}^2_2$over$\mathrm {RCA}^*_0$, and that$\mathrm {RCA}_0 + \mathrm {B} \Sigma ^0_2 + \Delta ^0_2$-$\mathrm {RT}^2_2$is$\Pi _4$- but not$\Pi _5$-conservative over$\mathrm {B} \Sigma _2$. However, the statement we use to witness failure of$\Pi _5$-conservativity is not provable in$\mathrm {RCA}_0 +\mathrm {RT}^2_2$. (shrink)

Let f be a computable function from finite sequences of 0ʼs and 1ʼs to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also prove: if X is strongly f-random and Turing reducible to Y where Y is Martin-Löf random relative to Z, then X is strongly f-random relative to Z. In addition, we prove analogous propagation results for other notions of partial randomness, including non-K-triviality and autocomplexity. We prove that f-randomness relative to a (...) PA-degree implies strong f-randomness, hence f-randomness does not imply f-randomness relative to a PA-degree. (shrink)

Poor sleep quality negatively affects memory performance, and working memory in particular. We investigated sleep habits related to sleep quality including sleep duration, daytime nap duration, nap frequency, and dream content recall frequency (DCRF). Declarative working memory can be subdivided into verbal working memory (VWM) and visuospatial working memory (VSWM). We hypothesized that sleep habits would have different effects on VWM and VSWM. To our knowledge, our study is the first to investigate differences between VWM and VSWM related to daytime (...) nap duration, nap frequency, and DCRF. Furthermore, we tested the hypothesis that the effects of duration and frequency of daytime naps and DCRF on VWM and VSWM differed according to sex. We assessed 779 healthy right-handed individuals (434 males and 345 females; mean age: 20.7 ± 1.8 years) using a digit span forward and backward VWM task, a forward and backward VSWM task, and sleep habits scales. A correlation analysis was used to test the relationships between VWM capacity (VWMC) and VSWM capacity (VSWMC) scores and sleep duration, nap duration, nap frequency, and DCRF. Furthermore, multiple regression analyses were conducted to identify factors associated with VWMC and VSWMC scores and to identify sex-related differences. We found significant positive correlations between VSWMC and nap duration and DCRF, and between VWMC and sleep duration in all subjects. Furthermore, we found that working memory capacity (WMC) was positively correlated with nap duration in males and with sleep duration in females, and DCRF was positively correlated with VSWMC in females. Our finding of sex-related differences in the effects of sleep habits on WMC has not been reported previously. The associations between WMC and sleep habits differed according to sex because of differences in the underlying neural correlates of VWM and VSWM, and effectiveness of the sleep habits in males and females. (shrink)