We show that length initial submodels of S12 can be extended to a model of weak second order arithmetic. As a corollary we show that the theory of length induction for polynomially bounded second order existential formulae cannot define the function division.

We evaluated the relationships of daily sleep duration and inconsistency with soft tennis competitive performance among 15 healthy collegiate soft tennis players. Sleep duration and inconsistency were determined by a 50-day sleep diary, which recorded sleep and wake times of sleep. Soft tennis athletic performance was evaluated by a service and baseline stroke accuracy test and the spider run test. Mean sleep duration was 7.4 ± 1.7 h. No correlation was found between long-term mean sleep duration and athletic performance. But (...) inconsistency in sleep duration was inversely correlated with service score after controlling for soft tennis experience and sex. There was no significant relationship between sleep inconsistency and other athletic performance. This result indicates that reducing the instability of sleep duration in the long-term may have a positive effect on soft tennis players’ service performance. Although participants’ current mean sleep duration was not as sufficient as the recommendation in sleep extension experiments, it revealed the importance for athletes to maintain regular sleep in daily life. (shrink)

Nous nous proposons dans cette intervention de structurer synchroniquement trois moments philosophiques d’origines differentes : l’intuition agissante chez Kitarō Nishida, la dialectique de la mediation absolue chez Hajime Tanabe et la philosophie de l’individuation chez Gilbert Simondon, dans un contexte de reflexion philosophique sur la nature de la vie humaine. Les trois moments semblent susceptibles de se croiser, se critiquer et se completer dans un terrain transductif au sens ou l’entend Simondon. C’est ce nouveau terrain que nous entendons defricher afin (...) d’ouvrir une perspective ou un individu humain se transforme en agent responsable d’un transhumanisme a travers le processus de l’individuation dynamique et transindividuelle, laquelle nous preparerait a l’emergence du posthumain dans un futur proche. (shrink)

Dans la double conception du sujet que précise Tokieda Motoki dans sa théorie du processus langagier : sujet subordonné au prédicat et sujet d’action langagière volontaire, conception fondée sur une théorie linguistique inspirée principalement d’études grammaticales de la langue japonaise et qui s’est donc totalement émancipée du paradigme de la grammaire des langues européennes, on peut retrouver, de manière tout à fait paradoxale et frappante, le sens originaire du sujet, à savoir celui de son origine latine « subjectum » qui (...) est d’ailleurs la traduction du mot grec « ὑποκείμενον », à double titre : celui qui est assujetti ou soumis à une instance supérieure ou plus fondamentale et celui qui est susceptible de donner lieu ou occasion aux accidents, aux faits contingents. (shrink)

Machine generated contents note: Dialectic of Praxis -- I. Philosophy of Subjectivity and -- Historical Materialism 7 -- A. What is the "Toposical Tachiba"? 7 -- B. The Present and Past of Umemoto's Theory of Subjectivity 17 -- C. The Basis and Structure of Degeneration 36 -- II. Confused 'Dialectic of the Subject of Cognition' 48 -- A. Destruction of the Logic of Origo 48 -- 1. Summary of Umemoto's Epistemology 49 -- 2. Umemoto's Defect in Epistemology 56 -- 3. (...) Reversed Hegelianism 60 -- B. Objective Cognition and the Logic of Self-Awareness 68 -- 1. Ontology and Epistemology 68 -- 2. Negation of "Two Circular Structures" 76 -- 3. Objective Cognition and Value Consciousness 82 -- C. Evaporation of Praxiology 89 -- 1. Alienation and Self-Awareness 89 -- 2. Objectivization of Praxis 96 -- 3. Strained Interpretation of Uno's Theory 99 -- 4. Political Economy, Materialist Outlook of History, -- and Praxiology 107 -- 5. A Domain Proper to the Theory of -- Revolutionizing Praxis 116 -- III. Defects in Criticism of Uno's Economics 131 -- A. Problem Awareness 132 -- B. Fall into a "View that the Principles are Lost -- in the Historical Process" 137 -- C. Historicistic Remedy for the Theory of the -- Circulation Form 155 -- 1. Beautification of a Distorting Tendency to -- Emphasize the Circulation Form 156 -- 2. Complementation of the 'Theory of Form -- without the Logic of Substance' 169 -- 3. On the Trans-Historicization of the -- 'Dual Character of Labour' 178 -- IV. Political Economy and -- Materialist Outlook of History 195 -- A. 'Anatomy of Bourgeois Society' and -- 'Anatomy of History' 195 -- B. Consolidation with Reversed Hegelianism 202 -- C. 'Logic of Circularity' and 'Logic of History' 218 -- V, Political Economy and the -- Logic of Revolutionization 231 -- A. Defects in the Understanding of Political Economy 232 -- B. Distortion of 'Labour-Power Commodity' 255 -- 1. On the Dialectic: Commodity Market and the -- Production Process 255 -- 2. Private Property and Capitalist Property 261 -- 3. Negation of the Negation: Sublation of the -- Commoditization of Labour-Power 268 -- C. Capitalist Thingivation and the -- Logic of its Revolutionization 282 -- Afterword 301 -- Supplementary Notes to the English Edition 303 -- Index 309. (shrink)

We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.

師廣松哲学の「体系の軋み」を見た熊野が若きヘーゲル哲学に寄港し彷徨い、ついには「父殺し」に辿り着いたことを鮮やかに描出。同時に、廣松哲学体系の破綻を浮き彫りにする黒田晩年の静謐なる論断。.

We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC0. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.

We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.

I identify three functions of language: the communicative, the objectifying, and the objective. I claim that of these three functions, the objective function is the most essential, in the sense specified in the paper, and the communicative the least. I further indicate that language use without the communicative function is more prevalent than might commonly be believed.