This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

This book presents an exhaustive study of the three 13-century discussions explicitly dealing with the notion of Significatio. The study aims to show that the three discussions emerge because of apparently opposite claims about the signification of words in the authoritative literature of the period. It also shows that the three discussions develop in the same direction - towards a unified use of the notion of signification, which keeps its explanatory role in semiotics, but loses its role in grammar and (...) logic. (shrink)

The beliefs of economists are not solely determined by empirical evidence in direct relation to the theories and models they hold. Economists hold 'ontological presuppositions', fundamental ideas about the nature of being which direct their thinking about economic behaviour. In this volume, leading philosophers and economists examine these hidden presuppositions, searching for a 'world view' of economics. What properties are attributed to human individuals in economic theories, and which are excluded? Does economic man exist? Do markets have an essence? Do (...) macroeconomic aggregates exist? Is the economy a mechanism, the functioning of which is governed by a limited set of distinct causes? What are the methodological implications of different ontological starting points? This collection, which establishes economic ontology as a coordinated field of study, will be of great value to economists and philosophers of social sciences. (shrink)

Based on conversations between 10 Chinese children with Autism Spectrum Disorders and five therapists in the context of Naturalistic Intervention, this study investigated the therapists’ agreement expressions in this typical setting. The study found that the therapists mainly used four agreement strategies: acknowledgment, positive evaluation, repetition and blending. These four strategies could be used individually or in combination. The first three strategies and their combinations were used frequently during the therapeutic conversation. With the major occurrences in the post-expansion position, the (...) agreement expressions in the therapeutic conversation mainly performed three functions, namely, creating a supportive therapeutic relationship, serving as positive reinforcers and implementing interventions pertinent to communication skills. This study proposed that the therapists’ preferred use of agreement expressions in the intervention process could be explained by the features of Naturalistic Intervention. (shrink)

Parallel attribute reduction is one of the most important topics in current research on rough set theory. Although some parallel algorithms were well documented, most of them are still faced with some challenges for effectively dealing with the complex heterogeneous data including categorical and numerical attributes. Aiming at this problem, a novel attribute reduction algorithm based on neighborhood multigranulation rough sets was developed to process the massive heterogeneous data in the parallel way. The MapReduce-based parallelization method for attribute reduction was (...) proposed in the framework of neighborhood multigranulation rough sets. To improve the reduction efficiency, the hashing Map/Reduce functions were designed to speed up the positive region calculation. Thereafter, a quick parallel attribute reduction algorithm using MapReduce was developed. The effectiveness and superiority of this parallel algorithm were demonstrated by theoretical analysis and comparison experiments. (shrink)

ABSTRACTConsulting Heidegger's other texts composed during 1936–1942, this article employs a principle of charity and constructs a consistent discourse about an inceptual negativity Heidegger articulates through a confrontation with Hegel in GA 68. Heidegger deliberately differentiates his use of denial that bears Being-historical significance from Hegel's Negation that allegedly aims at synthesis or elevation as a dialectical movement. Being unsatisfied with his approach that remains entangled with metaphysics in the Contributions, Heidegger attempts to transform the question of the Nothing from (...) a subsidiary question to Beyng to an abyssal question. One needs to go under toward the Nothing in its concealed, conjoined, and most intimate relation to Beyng. The movement of going under is fundamentally significant for transitions that could occur from out of the history of Beyng. Never being the fullness of essence, the Nothing places a limit on Beyng, constantly thwarts its unfolding, and maint... (shrink)

Because they are key components of aircraft, improving the safety, reliability and economy of engines is crucial. To ensure flight safety and reduce the cost of maintenance during aircraft engine operation, a prognostics and health management system that focuses on fault diagnosis, health assessment, and life prediction is introduced to solve the problems. Predicting the remaining useful life is the most important information for making decisions about aircraft engine operation and maintenance, and it relies largely on the selection of performance (...) degradation features. The choice of such features is highly significant, but there are some weaknesses in the current algorithm for RUL prediction, notably, the inability to obtain tendencies from the data. Especially with aircraft engines, extracting useful degradation features from multisensor data with complex correlations is a key technical problem that has hindered the implementation of degradation assessment. To solve these problems, deep learning has been proposed in recent years to exploit multiple layers of nonlinear information processing for unsupervised self-learning of features. This paper presents a deep learning approach to predict the RUL of an aircraft engine based on a stacked sparse autoencoder and logistic regression. The stacked sparse autoencoder is used to automatically extract performance degradation features from multiple sensors on the aircraft engine and to fuse multiple features through multilayer self-learning. Logistic regression is used to predict the remaining useful life. However, the hyperparameters of the deep learning, which significantly impact the feature extraction and prediction performance, are determined based on expert experience in most cases. The grid search method is introduced in this paper to optimize the hyperparameters of the proposed aircraft engine RUL prediction model. An application of this method of predicting the RUL of an aircraft engine with a benchmark dataset is employed to demonstrate the effectiveness of the proposed approach. (shrink)

With the advancement of human microbiome research, it is inevitable that a growing number of biobanks will include a collection of microbiota specimens to characterize the microbial communities that inhabit the human body and explore the relationships between the microbiota and their human hosts. Biobanks of human microbiota and their associated genetic information may become a valuable health resource. But, this area of research also presents ethical and social problems, some of which are distinct from those faced by biobanks that (...) store human tissue samples. This paper examines four core issues which are considered highly relevant to microbiome biobanking: the nature of human microbiome samples and how different understandings have an impact on benefit/risk evaluation, privacy, informed consent, and returning the result to participants. We argue that these issues should be addressed early on in microbiome research projects and also call for adjusting or developing new governance mechanism to better accommodate these changes. (shrink)

With the rapid development of artificial intelligence technology, multitasking textual translation has attracted more and more attention. Especially after the application of deep learning technology, the performance of multitask translation text detection and recognition has been greatly improved. However, because multitasking contains the interference problem faced by the translated text, there is a big gap between recognition performance and actual application requirements. Aiming at multitasking and translation text detection, this paper proposes a text localization method based on multichannel multiscale detection (...) of the largest stable extreme value region and cascade filtering. This paper selects the appropriate color channel and scale to extract the maximum stable extreme value area as the character candidate area and designs a cascaded filter from coarse to fine to remove false detections. The coarse filter is based on some simple morphological features and stroke width features, and the fine filter is trained by a two-recognition convolutional neural network. The remaining character candidate regions are merged into horizontal or multidirectional character strings through the graph model. The experimental results on the text data set prove the effectiveness of the improved deep learning network character model and the feasibility of the textual implication translation analysis method based on this model. Among them, the text contains translation character recognition results prove that the model has good description ability. The characteristics of the model determine that this method is not sensitive to the scale of the sliding window, so it performs better than the existing typical methods in retrieval tasks. (shrink)

The main aim of this essay is to show that, for Stevens, the concept of reality is very fluctuating. The essay begins with addressing the relationship between poetry and philosophy. I argue, contra Critchley, that Stevens’ poetic work can elucidate, or at least help us to understand better, the ideas of philosophers that are usually considered obscure. The main “obscure” philosophical work introduced in and discussed throughout the essay is Schelling’s System of Transcendental Idealism. Both a (shellingian) philosopher and a (...) (stevensian) poet search for reality. In order to understand Stevens’ poetry better, I distingush several concepts of reality: initial reality (the external world of the common sense), imagined reality (a fiction, a product of one’s mind), final reality (the object of a philosopher’s and a poet’s search) and total reality (the sum of all realities, Being). These determinations are fixed by reason (in the present essay), whereas in Stevens’ poetic works, they are made fluid by the imagination. This fluidity leads the concept of reality from its initial stage through the imagined stage to its final stage. Throughout this process, imagined reality must be distinguished from both a mere fancy and its products. Final reality is, however, nothing transcendent. It is rather a general transpersonal order of reality created by poetry/the imagination. The main peculiarity of final reality is that it is a dynamic order. It is provisional at each moment. Stevens (and Schelling too) characterizes this order as that of a work of art which is a finite object, but has an infinite meaning. Stevens calls this order “the central poem” or the “endlessly elaborating poem”. If ultimate reality is a poem created by the imagination, one may ask who is the imagining subject. I argue that this agent is best to be thought as total reality, that is, as Being. Stevens, however, maintains that if there were such an agency, it would be an inhuman agency, “an inhuman meditation”. The essay concludes, in a Derridian manner, with the claim that this agency cannot have any name; it is the “unnamed creator of an unknown sphere, / Unknown as yet, unknowable, / Uncertain certainty” (OP: 127). It is best thought as an X, as an unknown variable. Being has no name. (shrink)

Graded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. We give an extension with public announcements, i.e., public events, and an extension with graded event models, a generalization also including nonpublic events. We present complete axiomatizations for both logics.

di 1 juan. Shi lun juan -- di 2 juan. Fan chou juan -- di 3 juan. Men lei juan.

Extreme Learning Machine is widely used in various fields because of its fast training and high accuracy. However, it does not primarily work well for Domain Adaptation in which there are many annotated data from auxiliary domain and few even no annotated data in target domain. In this paper, we propose a new variant of ELM called Discriminative Extreme Learning Machine with Cross-Domain Mean Approximation for unsupervised domain adaptation. It introduces Cross-Domain Mean Approximation into the hidden layer of ELM to (...) reduce distribution discrepancy between domains for domain bias elimination, which is conducive to train a high accuracy ELM on annotated data from auxiliary domains for target tasks. Linear Discriminative Analysis is also adopted to improve the discrimination of learned model and obtain higher accuracy. Moreover, we further provide a Discriminative Kernel Extreme Learning Machine with Cross-Domain Mean Approximation as the kernelization extension of DELM-CDMA. Some experiments are performed to investigate the proposed approach, and the result shows that DELM-CDMA and DKELM-CDMA could effectively extend ELM suitable for domain adaptation and outperform ELM and many other domain adaptation approaches. (shrink)

Conducting effective classroom dialog is an important foundation for high-quality classrooms. This study investigates the characteristics of effective classroom dialog from the perspective of Chinese mathematics classrooms. Classroom videotapes from 40 expert and 33 novice teachers were selected from a national project and analyzed through a developed coding framework. Results showed that the dominant types of dialog in expert teachers’ classrooms were related to Basic Knowledge, Construction, Analysis, and Personal Information. Compared to novice teachers, expert teachers’ classrooms have a significantly (...) lower proportion of dialog on Basic Knowledge and significantly higher proportions of dialog on Personal Information and Speculation. Based on expert teachers’ classrooms, the characteristics of effective classroom dialog in the Chinese context were discussed. The analytical framework for classroom dialog developed in this study could be a powerful tool for subsequent research. Suggestions are provided on increasing the effectiveness of classroom dialog. (shrink)

Greek philosophy; Syriac schools; Ancient Near East; history.

Data mining technology is an effective knowledge mining and data relationship induction technology based on massive data, which is widely used in data analysis in many fields. In order to improve the utilization effect of students’ performance and meet the teaching needs of modern education, data mining technology can be applied to the existing performance database to mine the data information and treatment. Data mining technology is used to analyse and process the data stored in the student achievement management system, (...) which provides the basis for improving the teaching quality and optimizing the teaching resources. Based on the analysis of the relevant data of large-scale English test results, this paper finds out the relevant rules that affect college English test results, forms the corresponding performance prediction rules, uses data mining technology to more comprehensively analyse the factors that affect students’ performance, establishes a model, and uses data mining tools to mine and analyse students’ English test data. It is of great practical significance to select the model with high accuracy, further optimize the parameters, make good use of the data, and then take targeted measures to guide the teaching reform, help students make more efficient learning plans, and improve and perfect the existing problems in teaching. (shrink)

Objectives: To explore the effect of social support and ability perception on stress coping strategies for competitive stress, and to reveal the mediating effects of primary and secondary evaluation, so as to further improve the theoretical model of stress coping in soccer players.Methods: A total of 331 male athletes from 22 teams in the Chengdu Middle School Campus Football League were taken as survey samples, and surveys were conducted on their stress experience, social support, ability perception, cognitive assessment, and coping (...) strategies for competition stress. SPSS 21.0 and AMOS 21.0 statistical analysis software were used. Descriptive statistics, correlation analysis, exploratory factor analysis, and confirmatory factor analysis were used to process the obtained data.Results: Positive primary assessment acted as a full mediator in the relationship between social support and secondary assessments, and negative primary assessment acted as a partial mediator in the relationship between competence perception and secondary assessments; Secondary assessment played a partial mediating role between positive primary assessment and positive coping strategies, and a full mediating role between negative primary assessment and positive coping strategies; Secondary assessments played the mediator neither between social support and a coping strategy for stress nor competence perception and a coping strategy for stress; Positive primary assessment, positive negative assessment, and secondary assessment all had significant positive benefits for positive coping. Still, the impact of positive primary assessment on positive coping was significantly better than negative primary assessment and secondary assessment.Conclusion: The coping strategy for the competitive stress model proposed by this study has a very good fit for the causal model. It can be used to explain the observed data from soccer players in middle schools. The primary and secondary assessments play different roles in the model. The combination of problem focuses and emotional focus on the positive stress coping strategy is suitable in the field of competitive sports. Still, the relevant research results need to be further explored and verified in the future. (shrink)

The paper will revolve around Shulamith Firestone’s claims that women’s biology is the root cause of prejudices against women and at the same time the basis for solutions that seek to end such prejudices. In the rational attack to these claims, it is argued that Firestone does not really debunk the patriarchal view but actually agrees with it. The attack focused on her avowed solution to the women problem that turns out to be defeatist in nature. In the attempt to (...) prevent, if not end discrimination against women, the paper carefully offers possible solutions to consider. (shrink)

Da natureza afetiva da forma na obra de arte.--Forma e personalidade.--Panorama da pintura moderna.