A 10 kHz pulsed X-ray generator utilising a hot-cathode triode in conjunction with a new type of grid control device for controlling X-ray duration is described. The energy-storage condenser was charged up to 70 kV by a power supply, and the electric charges in the condenser were discharged to the X-ray tube repetitively by the grid control device. The maximum values of the grid voltage, the tube voltage, and the tube current were −1.5 kV, 70 kV, and 0.4 A, respectively. (...) The duration of the flash X-ray pulse was primarily determined by the time constant of the grid control device and the cut-off voltage of thermoelectrons. The X-ray duration was controlled within a region of less than 1 ms; the X-ray intensity with a pulse width of 0.27 ms, a charged voltage of 70 kV, and a peak tube current of 0.4 A was 0.92 μC kg −1 at 0.5 m per pulse. The maximum repetition rate was about 10 kHz, and the size of the focal spot was about 3.5×3.5 mm. (shrink)

We measure, in the presence of the axiom of infinity, the proof-theoretic strength of the axioms of set theory which make the theory look really like a “theory of sets”, namely, the axiom of extensionality Ext, separation axioms and the axiom of regularity Reg . We first introduce a weak weak set theory as a base over which to clarify the strength of these axioms. We then prove the following results about proof-theoretic ordinals:1. and ,2. and . We also show (...) that neither Reg nor affects the proof-theoretic strength, i.e., where T is Basic plus any combination of Ext and. (shrink)

O Transtorno de Déficit de Atenção e Hiperatividade (TDAH) é um transtorno do neurodesenvolvimento e representa uma preocupação significativa, principalmente, em crianças em idade escolar. Esta pesquisa busca fornecer atualizações sobre a medicalização e o TDAH presentes na realidade escolar do ensino fundamental da cidade de Maringá-PR. Para isso, utilizou-se um questionário semiestruturado em 8 Instituições de Ensino Básico, distribuídas em 4 regiões da cidade, no período de 2015 a 2016. A amostra contou com 2.367 estudantes de 6 a 10 (...) anos. Os dados foram analisados de forma quantitativa e qualitativa e, a partir destes, observou, percentualmente, o índice de crianças com TDAH foi o esperado, não ultrapassando a média constante na literatura, e o medicamento prevalente foi o metilfenidato. Entretanto, percebemos que sem a adequação pedagógica e a falta de sinergia entre o uso do medicamento ao acompanhamento psicológico, o transtorno pode não estar sendo resolvido, mas apenas mascarado. (shrink)

日米開戦前夜、京大の哲学教授はいかにしてエリート学生を洗脳し、戦地へ送ったのか? 悪魔の講義の構造を解明する合宿講座全記録。.

O artigo tece considerações sobre a relação entre psicologia e gestão, apresentando a contribuição que a leitura sobre o cotidiano oferece para compreender o trabalho, os processos que o organizam e, conseqüentemente, a sua gestão. Ilustra suas considerações com a análise de um episódio ocorrido em ..

Context: Our body schema is not restricted to biological body boundaries (such as the skin), as can be seen in the use of a cane by a person who is visually impaired or the “rubber hands” experiment. The tool becomes a part of the body schema when the focus of our attention is shifted from the tool to the task to be performed. Problem: A body schema is formed through interactions among brain, body, tool, and environment. Nevertheless, the dynamic mechanisms (...) underlying changes in the body schema are still not fully understood. Method: To study the changing conditions of the body schema (e.g., a shift of attention), a simulation model of object discrimination was extended to differentiate between two kinds of sensitivities – sensitivity to an object being directly manipulated and sensitivity to another object being manipulated by the first. The proposed model consisted of windmills with different numbers of vanes. A model agent was required to determine the number of vanes on a windmill by touching the vanes blindly with an arm controlled by a neural network. Placing a second windmill beside the first and gearing the two windmills to move associatively resulted in the agent using the first windmill as a tool with which to discern the number of vanes on the second windmill. In other words, an agent’s body schema can shift from its arm tip to the boundary between the first and second windmills. We then introduced an experiment with a real windmill model to test the hypothesis demonstrated by the theoretical model. Results: We demonstrated that even simple computational agents can have two different sensitivities to the windmills. One agent becomes sensitive to the first windmill and insensitive to the second one. Another agent becomes insensitive to the first windmill and sensitive to the second one by using the first one as a tool. Therefore, we concluded that the boundary of the body schema was extended to the first windmill in the case of the latter agent because paying attention to the task to be performed instead of the tool itself is essential for the tool to be considered as part of the body schema. Analysis of the experiments using a computational model and human experimentation revealed that a shift from an irregular to a regular movement of a windmill is an indication of extension of the body schema. Constructivist content: Our insights are beneficial for enactive cognitive science. This is because an extended body schema questions the Cartesian separation between subject and object, and the self and the environment. (shrink)

Proposes a provocative reinterpretation of poststructuralist theory of power The “structuralist” theories of power show that the subject is produced and reproduced by the investment of power: but how then can we then think of the subject’s resistance to power? Based on this fundamental question, Power and Resistance interprets critically the (post-)structuralist theory of power and resistance, i.e., the theories of Foucault, Deleuze and Guattari, Derrida and Althusser. It analyses also the mechanism of power and the strategies of resistance in (...) the era of neoliberalism. This meticulous analysis that completely renewed the theory of power is already published in French, Japanese, and Korean with success. (shrink)

We investigate which part of Brouwer’s Intuitionistic Mathematics is finitistically justifiable or guaranteed in Hilbert’s Finitism, in the same way as similar investigations on Classical Mathematics (i.e., which part is equiconsistent with$\textbf {PRA}$or consistent provably in$\textbf {PRA}$) already done quite extensively in proof theory and reverse mathematics. While we already knew a contrast from the classical situation concerning the continuity principle, more contrasts turn out: we show that several principles are finitistically justifiable or guaranteed which are classically not. Among them (...) are:(i)fan theorem for decidable fans but arbitrary bars;(ii)continuity principle and the axiom of choice both for arbitrary formulae; and(iii)$\Sigma _2$induction and dependent choice. We also show that Markov’s principle MP does not change this situation; that neither does lesser limited principle of omniscience LLPO (except the choice along functions); but that limited principle of omniscience LPO makes the situation completely classical. (shrink)

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies have been extensively studied, we point out that well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting α⊢wfwhereα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_\alpha \vdash \mathsf{wf}\, {\rm where}\, _\alpha}$$\end{document} stands for the iteration of Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^0_1}$$\end{document} comprehension along some ordinal α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document} and wf\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{wf}}$$\end{document} stands for the well-foundedness of α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document}. (shrink)

Researchers have theoretically proposed that humans decode other individuals' emotions or elementary cognitive appraisals from particular sets of facial action units (AUs). However, only a few empirical studies have systematically tested the relationships between the decoding of emotions/appraisals and sets of AUs, and the results are mixed. Furthermore, the previous studies relied on facial expressions of actors and no study used spontaneous and dynamic facial expressions in naturalistic settings. We investigated this issue using video recordings of facial expressions filmed unobtrusively (...) in a real-life emotional situation, specifically loss of luggage at an airport. The AUs observed in the videos were annotated using the Facial Action Coding System. Male participants ( n = 98) were asked to decode emotions (e.g., anger) and appraisals (e.g., suddenness) from facial expressions. We explored the relationships between the emotion/appraisal decoding and AUs using stepwise multiple regression analyses. The results revealed that all the rated emotions and appraisals were associated with sets of AUs. The profiles of regression equations showed AUs both consistent and inconsistent with those in theoretical proposals. The results suggest that (1) the decoding of emotions and appraisals in facial expressions is implemented by the perception of set of AUs, and (2) the profiles of such AU sets could be different from previous theories. (shrink)

Neurofeedback has been suggested as a potential complementary therapy to different psychiatric disorders. Of interest for this approach is the prediction of individual performance and outcomes. In this study, we applied functional connectivity-based modeling using electroencephalography (EEG) and functional near-infrared spectroscopy (fNIRS) modalities to (i) investigate whether resting-state connectivity predicts performance during an affective neurofeedback task and (ii) evaluate the extent to which predictive connectivity profiles are correlated across EEG and fNIRS techniques. The fNIRS oxyhemoglobin and deoxyhemoglobin concentrations and the (...) EEG beta and gamma bands modulated by the alpha frequency band (beta-m-alpha and gamma-m-alpha, respectively) recorded over the frontal cortex of healthy subjects were used to estimate functional connectivity from each neuroimaging modality. For each connectivity matrix, relevant edges were selected in a leave-one-subject-out procedure, summed into “connectivity summary scores” (CSS), and submitted as inputs to a support vector regressor (SVR). Then, the performance of the left-out-subject was predicted using the trained SVR model. Linear relationships between the CSS across both modalities were evaluated using Pearson’s correlation. The predictive model showed a mean absolute error smaller than 20%, and the fNIRS oxyhemoglobin CSS was significantly correlated with the EEG gamma-m-alpha CSS (r = −0.456, p = 0.030). These results support that pre-task electrophysiological and hemodynamic resting-state connectivity are potential predictors of neurofeedback performance and are meaningfully coupled. This investigation motivates the use of joint EEG-fNIRS connectivity as outcome predictors, as well as a tool for functional connectivity coupling investigation. (shrink)

A multilingual disaster information system (MLDI) has been developed to overcome the language barrier during times of natural disaster. MLDI is a web-based system that includes templates in nine languages so that translated texts can be made available immediately. Mobile phone e-mail with graphic text is a useful tool for delivering multilingual disaster information. The visibility of graphic text on mobile phones was measured and found to be equivalent to the built-in font. However, visibility deteriorates as the character size becomes (...) smaller, especially, on displays with poor resolution. This article also discusses the necessity of multilingual information and measures for a safe and barrier-free society. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Books ReceivedAquinas on Being. By Anthony Kenny. Oxford: Clarendon Press, 2002. Pp. x + 212. Price not given.Before and after Avicenna: Proceedings of the First Conference of the Avicenna Study Group. Edited by David C. Reisman, with the assistance of Ahmed H. al Rahim. Leiden: Brill, 2003. Pp. xix + 302. Price not given.Beside Still Waters: Jews, Christians, and the Way of the Buddha. Edited by Harold Kasimow, John (...) P. Keenan, and Linda Klepinger Keenan. Boston: Wisdom Publications, 2003. Pp. 284. Paper $14.95.The Buddhist Unconscious: The ālaya-vijñāna in the Context of Indian Buddhist Thought. By William S. Waldron. London and New York: RoutledgeCurzon, 2003. Pp. xvi + 269. Price not given.Comparative Political Philosophy: Studies under the Upas Tree. Edited by Anthony J. Parel and Ronald C. Keith. Lanham, Maryland: Lexington Books, 2003. Pp. xxxviii + 260. Paper $26.95.The Confucian Quest for Order: The Origin and Formation of the Political Thought of Xun Zi. By Masayuki Sato. Leiden: Brill, 2003. Pp. xviii + 500. Price not given.Gathering the Meanings: The Compendium of Categories: The Arthaviniścaya Sūtra and Its Commentary Nibandhana. Translated from the Sanskrit by N. H. Samtani. Berkeley: Dharma Publishing, 2002. Pp. xxxiv + 390. Price not given.I Have Arrived, I Am Home: Celebrating Twenty Years of Plum Village Life. By Thich Nhat Hanh. Berkeley: Parallax Press, 2003. Pp. 253. Paper $25.00.Identity and the Moral Life. By Mrinal Miri. New Delhi: Oxford University Press, 2003. Pp. xvii + 132. Hardcover Rs 645.00.Indian Philosophers and Postmodern Thinkers: Dialogues on the Margins of Culture. By Carl Olson. New Delhi: Oxford University Press, 2002. Pp. xv + 331. Hardcover Rs 950.00.Islamic Humanism. By Lenn E. Goodman. New York: Oxford University Press, 2003. Pp. xiii + 273. Price not given.Letting Go: The Story of Zen Master Tōsui. Translated by Peter Haskel. Honolulu: University of Hawai'i Press, 2001. Pp. xv + 167. Hardcover $45.00. Paper $16.95.A Life Journey to the East: Sinological Studies in Memory of Giuliano Bertuccioli (1923-2001). Edited by Antonino Forte and Federico Masini. Kyoto: Scuola Italiana di Studi sull'Asia Orientale, 2002. Pp. xxxv + 280. Price not given.The Measure of Things: Humanism, Humility and Mystery. By David E. Cooper. Oxford: Clarendon Press, 2002. Pp. ix + 372. Price not given. [End Page 277]Mencius, Hume and the Foundations of Ethics. By Xiusheng Liu. Aldershot, Hampshire: Ashgate Publishing Limited, 2003. Pp. vii + 204. Price not given.Monks and Monarchs, Kinship and Kingship: Tanqian in Sui Buddhism and Politics. By Chen Jinhua. Kyoto: Scuola Italiana di Studi sull'Asia Orientale, 2002. Pp. xiii + 310. Price not given.Music in the Sky: The Life, Art, and Teachings of the 17th Gyalwa Karmapa Ogyen Trinley Dorje. By Michele Martin. Ithaca: Snow Lion Publications, 2003. Pp. 351. Paper $18.95, U.K. £12.95.New Confucianism: A Critical Examination. Edited by John Makeham. New York: Palgrave Macmillan, 2003. Pp. 262. Hardcover $55.00.On the Boundaries of Theological Tolerance in Islam: Abū Hāmid Al-Ghāzalī's Faysal al-Tafriqa Bayna al-Islām wa al-Zandaqa. By Sherman A. Jackson. Oxford: Oxford University Press, 2002. Pp. xiv + 156. Hardcover Rs 295.00.Pandita Ramabai's American Encounter: The Peoples of the United States (1889). By Pandita Ramabai and translated and edited by Meera Kosambi. Bloomington: Indiana University Press, 2003. Pp. xi + 284. Hardcover $59.95. Paper $29.95.Parmenides of Elea: A Verse Translation with Interpretative Essays and Commentary to the Text. By Martin J. Henn. Westport, Connecticut: Praeger, 2003. Pp. 147. Hardcover $59.95.Philosophes taoïstes, tome II: Huainan Zi, texte traduit, présenté et annoté sous la direction de Charles le Blanc et de Rémi Mathieu. Paris: Éditions Gallimard, 2003. Pp. lxxxiii + 1182. Hardcover €56,90.The Philosophy and Ethics of the Vīraśaiva Community. By Dan A. Chekki. Lewiston, New York: The Edwin Mellen Press, 2003. Pp. xxv + 287. Hardcover $119.95.Poems of Hanshan. Translated by Peter Hobson with introduction by T. H. Barrett. Walnut Creek, California: AltaMira Press, 2003. Pp. viii + 151. Hardcover $65.00. Paper $19.95.Psychoanalysis and Buddhism: An Unfolding Dialogue. Edited by Jeremy D. Safran. Boston... (shrink)

Ringraziamo Michele Bertolini per averci permesso di riprodurre il suo testo. Esso è sato pubblicato per la prima volta nella rivista De Musica, V, 2001. Introduzione Nell'opera di Raymond Bayer , uno dei protagonisti dell'estetica francese di ispirazione realistico-formale e cofondatore insieme a Lalo e Souriau della Revue d'esthétique nel 1948, la riflessione specifica sulla musica e sul sentimento estetico della natura occupa un posto importante ma certamente non esclusivo - Musique et Musicologie – GALERIE – Nouvel article.

Genshi shiroku -- Hakurokudō Shoin keijimon.

1. Seikyō ronkō -- 2-3. Shibunrui -- 4-10. Rangai shorui -- 11-12. Genshi shiroku -- 13-14. Fukureki.

Dr. Sato's volume deals with the origin and formation of the political thought of pre-imperial Xun Zi, with close focus on this synthesizer's formative theory ...

One Seit Platon (mit dem Spott von Diogenes) über Kant ist die Fundamentalfrage "Was ist der Mensch?" bis heute nicht nur von der Philosophie (als regina scientiarum), sondern von der Wissenschaft überhaupt nicht beantwortet. Phänomenologisch hat der Mensch a posteriori physische (somatische), psychische(perceptio, emotio, cognitio), mentale (logische), spirituelle (conscientia, volitio, actio) "Sphären". Ontologisch in Kontext von to ti en einai (Aristoteles) sollte der Mensch a priori ein "Programm" (Information) vor der Kosmogonie haben. Der (Neo‐) Positivismus (z.B. Hume bis Carnap, Russel*; (...) * Nobel Laureate) verwirft Fragen der Metaphysik als Scheinprobleme. Damit bleibt das Menschen‐Wesen in Kontext von Postulaten, wie res cogitans (Descartes), Monaden(Leibniz), "Gott, Freiheit, Unsterblichkeit", Seligkeit und (moralischer) Vollkommenheit (Kant), absoluter Geist (Hegel) in der theologischen Dimension. Antwort könnte eine zukünftige (holistisch‐multidimensionale) philosophische theoretische und Experimentaltheologie (kontrollierbare Beobachtung) durch weitere Forschung geben, in Kontext (bzw. Existenz) von A. Physikotheologie bzw. (a) höhere (als drei) geometrische/physikalische Dimensionen (Hilbert, Riemann /Friedmann, Minkowski, Schmutzer), (b) Paralleluniversen (z.B. L. Randall), (c) Quantentheorie/‐philosophie (Planck*, u.a.), (d) Gravitations‐/Relativitätstheorie (Newton/Einstein*), (e) Vakuumenergie (Sato), etc. B. ChemoBiotheologie bzw. "psychischen" (Fechner) und "spezifischen" (Joh. Müller) Energien,"biologischem Feld" (Gurwitsch), künstlicher Biogenese (Oparin, Fox, Urey*, u.a.; 32 Fragen von John Bernal). C. Psychotheologie bzw. parapsychische Phänomene (Carrel*, Richet*/France, Rhinne/USA, Vassilev, Bechterew/Russia, etc.). D. Religionstheologie: (über‐) Bewußtsein, übersinnliche, immaterielle, supraphysikalische Phänomene (Sri Aurobindo, Dalai Lama*, Konfuzius/Laotse, Gopi Krishna, Papst Benedikt, Paramahansa Yogananda, Sri Yogendra, etc.)und ihre physiologische Begründung (Anand/Chinna, Kasamatsu/Hirai, Ornstein, Pauli*, von Weizsäcker, etc.). Damit hängt die ontologische Frage nach dem MenschenWesen mit der Lösung des Problemkomplexes "Gott Geist/Seele Mensch Natur" zusammen. (shrink)

The goal of our target article is to establish that electrophysiological data constrain models of short-term memory retention operations to schemes in which activated long-term memory is its representational basis. The temporary stores correspond to neural circuits involved in the perception and subsequent processing of the relevant information, and do not involve specialized neural circuits dedicated to the temporary holding of information outside of those embedded in long-term memory. The commentaries ranged from general agreement with the view that short-term memory (...) stores correspond to activated long-term memory (e.g., Abry, Sato, Schwartz, Loevenbruck & Cathiard [Abry etal.], Cowan, Fuster, Grote, Hickok & Buchsbaum, Keenan, Hyönä & Kaakinen [Keenan et al.], Martin, Morra), to taking a definite exception to this view (e.g., Baddeley, Düzel, Logie & Della Sala, Kroger, Majerus, Van der Linden, Colette & Salmon [Majerus et al.], Vallar). (shrink)

My life as a quantum physicist / M. Nakahara -- A review on operator quantum error correction - Dedicated to Professor Mikio Nakahara on the occasion of his 60th birthday / C.-K. Li, Y.-T. Poon and N.-S. Sze -- Implementing measurement operators in linear optical and solid-state qubits / Y. Ota, S. Ashhab and F. Nori -- Fast and accurate simulation of quantum computing by multi-precision MPS: Recent development / A. Saitoh -- Entanglement properties of a quantum lattice-gas model on (...) square and triangular ladders / S. Tanaka, R. Tamura and H. Katsura -- On signal amplification from weak-value amplification / Y. Shikano -- Topological protection of quantum information / K. Fujii -- Quantum annealing with antiferromagnetic fluctuations for mean-field models / Y. Seki and H. Nishimori -- A method to change phase transition nature - Toward annealing methods / R. Tamura and S. Tanaka -- Computational analysis of the first stage of the photosynthetic system, the light-dependent reaction, by quantum chemical simulation method / M. Tada-Umezaki -- Two-qubit gate operation on selected nearest neighboring qubits in a neutral atom quantum computer / E. Hosseini Lapasar... [et al.] -- A simple operator quantum error correction scheme avoiding fully correlated errors / C. Bagnasco, Y. Kondo and M. Nakahara -- Black hole predictability, classical and quantum / A. Ishibashi -- Classical field simulation of finite-temperature Bose gases / T. Sato -- Atomic quantum simulations of lattice gauge theory: Effect of gauge symmetry breaking / K. Kasamatsu, I. Ichinose and T. Matsui -- Recursive construction of noiseless subsystem for qudits / U. Gungordu... [et al.] -- Composite quantum gates for precise quantum control / M. Bando... [et al.] -- New formulation of statistical mechanics using thermal pure quantum states / S. Sugiura and A. Shimizu -- Thermodynamics in unitary time evolution / T. N. Ikeda -- Second law of thermodynamics with QC-mutual information / T. Sagawa. (shrink)

By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 234–268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of (...) reverse mathematics–Friedman–Simpson’s “orthodox” reverse mathematics, Cook’s bounded reverse mathematics and large cardinal theory–can be reformulated within one language so that we can compare them more directly. (shrink)

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to (...) constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (shrink)

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA0, those in second order set theory extending NBG are. In this article, we establish the equivalence between Δ01-LFP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-LFP}}$$\end{document} and Δ01-FP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-FP}}$$\end{document}, which assert the existence of a least and of a fixed point, respectively, for positive elementary operators. Our proof also shows (...) the equivalence between ID1 and ID^1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\widehat{\it ID}_1}$$\end{document}, both of which are defined in the standard way but with the starting theory PA replaced by ZFC. (shrink)

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)

Given the growing centrality of interdisciplinarity to scientific research, gaining a better understanding of successful interdisciplinary collaborations has become imperative. Drawing on extensive case studies of nine research networks in the social, natural, and computational sciences, we propose a construct that captures the multidimensional character of such collaborations, that of a shared cognitive–emotional–interactional platform. We demonstrate its value as an integrative lens to examine markers of and conditions for successful interdisciplinary collaborations as defined by researchers involved in these groups. We (...) show that markers and conditions embody three different dimensions: cognitive, emotional, and interactional; these dimensions are present in all networks, albeit to different degrees; the dimensions are intertwined and mutually constitutive; and they operate in conjunction with institutional conditions created by funders. We compare the SCEI platforms to available frameworks for successful interdisciplinary work. (shrink)

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)

We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \ formulae are provable in \. It is shown to be larger than the proof-theoretic ordinal \ by power of base 2. (...) We also show a similar result for the structural transfinite induction, defined with fundamental sequences. (shrink)