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.

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)

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)

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.

A nucleus is an operation on the collection of truth values which, like double negation in intuitionistic logic, is monotone, inflationary, idempotent and commutes with conjunction. Any nucleus determines a proof-theoretic translation of intuitionistic logic into itself by applying it to atomic formulas, disjunctions and existentially quantified subformulas, as in the Gödel–Gentzen negative translation. Here we show that there exists a similar translation of intuitionistic logic into itself which is more in the spirit of Kuroda’s negative translation. The key (...) is to apply the nucleus not only to the entire formula and universally quantified subformulas, but to conclusions of implications as well. (shrink)

Kolmogorov established the principle of the double negation translation by which to embed Classical Predicate Logic |${\operatorname {CQC}}$| into Intuitionistic Predicate Logic |${\operatorname {IQC}}$|⁠. We show that the obvious generalizations to the Basic Predicate Logic of [3] and to |${\operatorname {BQC}}$| of [12], a proper subsystem of |${\operatorname {IQC}}$|⁠, go through as well. The obvious generalizations of Kuroda’s embedding are shown to be equivalent to the Kolmogorov variant. In our proofs novel nontrivial techniques are needed to overcome the absence (...) of full modus ponens in Basic Predicate Logic. In [3] we argued that |${\operatorname {IQC}}$| is not the logic of constructive mathematics. Our doubts were far from new. New was that we put forward an alternative, |${\operatorname {BQC}}$|⁠. One concern is that |${\operatorname {BQC}}$| is too weak for serious mathematics, or even trivial. This paper is one step to alleviate such concerns. (shrink)

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)