One reason, several logics

Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.

HISTORIOGRAPHY OF PSYCHOLOGY IN BRAZIL: Pioneer Works, Recent Developments

The evolution of the historiography of psychology in Brazil is surveyed, to describe how the field has evolved from the seminal works of the pioneer, mostly self-taught, psychologists, to the now professional historians working from a variety of theoretical models and methods of inquiry. The first accounts of the history of psychology written by Brazilians and by foreigners are surveyed, as well as the recent works made by researchers linked to the Work Group on the History of Psychology of the Brazilian Association of Research and Graduate Education in Psychology and published in periodicals such as Memorandum and Mnemosine. The present historiography focuses mainly the relationship of psychological knowledge to specific social and cultural conditions, emphasizing themes such as women`s participation in the construction of the field, the development of psychology as a science and as a profession in education and health, and the development of psychology as an expression of Brazilian culture and of the experience of resistance of local communities to domination. To reveal this process of identity construction, a cultural historiography is an important tool, coupled with methodological pluralism.

A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.

A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.

Predicating from an early age: edusemiotics and the potential of children’s preconceptions

This paper aims to explain how semiotics and constructivism can collaborate in an educational epistemology by developing a joint approach to prescientific conceptions. Empirical data and findings of constructivist research are interpreted in the light of Peirce’s semiotics. Peirce’s semiotics is an anti-psychologistic logic (CP 2.252; CP 4.551; W 8:15; Pietarinen in Signs of logic, Springer, Dordrecht, 2006; Stjernfelt in Diagrammatology. An investigation on the borderlines of phenomenology, ontology and semiotics, Springer, Dordrecht, 2007) and relational logic. Constructivism was traditionally developed within psychology and sociology and, therefore, some incompatibilities can be expected between these two schools. While acknowledging the differences, we explain that constructivism and semiotics share the assumption of realism that knowledge can only be developed upon knowledge and, therefore, an epistemological collaboration is possible. The semiotic analysis performed confirms the constructivist results and provides a further insight into the teacher-student relation. Like the constructivist approach, Peirce’s doctrine of agapism infers that the personal dimension of teaching must not be ignored. Thus, we argue for the importance of genuine sympathy in teaching attitudes. More broadly, the article also contributes to the development of postmodern humanities. At the end of the modern age, the humanities are passing through a critical period of transformation. There is a growing interest in semiotics and semiotic philosophy in many areas of the humanities. Such a case, on which we draw, is the development of a theoretical semiotic approach to education, namely edusemiotics (Stables and Semetsky, Pedagogy and edusemiotics: theoretical challenge/practical opportunities, Sense Publishers, Rotterdam, 2015).

Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

Analysis of sport psychology consultancy at three Olympic Games: Facts and figures

Objectives Despite many reports on best practises regarding onsite psychological services, little research has attempted to systematically explore the frequency, issues, nature and client groups of onsite sport psychology consultancy at the Olympic Games. The present paper will fill this gap through a systematic analysis of the sport psychology consultancy of the Swiss team for the Olympic Games of 2006 in Turin, 2008 in Beijing and 2010 in Vancouver. Design Descriptive research design. Methods The day reports of the official sport psychologist were analysed. Intervention issues were labelled using categories derived from previous research and divided into the following four intervention-issue dimensions: “general performance”, “specific Olympic performance”, “organisational” and “personal” issues. Data were analysed using descriptive statistics, chi square statistics and odds ratios. Results Across the Olympic Games, between 11% and 25% of the Swiss delegation used the sport psychology services. On average, the sport psychologist provided between 2.1 and 4.6 interventions per day. Around 50% of the interventions were informal interventions. Around 30% of the clients were coaches. The most commonly addressed issues were performance related. An association was observed between previous collaboration, intervention likelihood and intervention theme. Conclusions Sport psychologists working at the Olympic Games are fully engaged with daily interventions and should have developed ideally long-term relationships with clients to truly help athletes with general performance issues. Critical incidents, working with coaches, brief contact interventions and team conflicts are specific features of the onsite consultancy. Practitioners should be trained to deal with these sorts of challenges.

Implementation of multiple specialization in logic programs

We study the múltiple specialization of logic programs based on abstract interpretation. This involves in general generating several versions of a program predícate for different uses of such predícate, making use of information obtained from global analysis performed by an abstract interpreter, and finally producing a new, "multiply specialized" program. While the topic of múltiple specialization of logic programs has received considerable theoretical attention, it has never been actually incorporated in a compiler and its effects quantified. We perform such a study in the context of a parallelizing compiler and show that it is indeed a relevant technique in practice. Also, we propose an implementation technique which has the same power as the strongest of the previously proposed techniques but requires little or no modification of an existing abstract interpreter.

The role of computational logic as a hinge paradigm among deduction, problem solving, programming, and parallelism

This paper presents some brief considerations on the role of Computational Logic in the construction of Artificial Intelligence systems and in programming in general. It does not address how the many problems in AI can be solved but, rather more modestly, tries to point out some advantages of Computational Logic as a tool for the AI scientist in his quest. It addresses the interaction between declarative and procedural views of programs (deduction and action), the impact of the intrinsic limitations of logic, the relationship with other apparently competing computational paradigms, and finally discusses implementation-related issues, such as the efficiency of current implementations and their capability for efficiently exploiting existing and future sequential and parallel hardware. The purpose of the discussion is in no way to present Computational Logic as the unique overall vehicle for the development of intelligent systems (in the firm belief that such a panacea is yet to be found) but rather to stress its strengths in providing reasonable solutions to several aspects of the task.

Analysis of concurrent constraint logic programs with a fixed scheduling rule

The analysis of concurrent constraint programs is a challenge due to the inherently concurrent behaviour of its computational model. However, most implementations of the concurrent paradigm can be viewed as a computation with a fixed scheduling rule which suspends some goals so that their execution is postponed until some condition awakens them. For a certain kind of properties, an analysis defined in these terms is correct. Furthermore, it is much more tractable, and in addition can make use of existing analysis technology for the underlying fixed computation rule. We show how this can be done when the starting point is a framework for the analysis of sequential programs. The resulting analysis, which incorporates suspensions, is adequate for concurrent models where concurrency is localized, e.g. the Andorra model. We refine the analysis for this particular case. Another model in which concurrency is preferably encapsulated, and thus suspensions are local to parts of the computation, is that of CIAO. Nonetheless, the analysis scheme can be generalized to models with global concurrency. We also sketch how this could be done, and we show how the resulting analysis framework could be used for analyzing typical properties, such as suspensión freeness.

Analysis of irregular behaviour on an optical computing logic cell

A new methodology to study irregular behaviours in logic cells is reported. It is based on two types of diagrams, namely phase and working diagrams. Sets of four bits are grouped and represented by their hexadecimal equivalent. Some hexadecimal numbers correspond to certain logic functions. The influence of the internal and external tolerances, namely those appearing in the employed devices and in the working signals, may be analysed with this method. Its importance in the case of logic structures with chaotic behaviours is studied.

An Evaluation of Sport Psychology Service Delivery in Collegiate Athletics

Sport and Performance Psychology is an ever-evolving specialty. While its development continues, it has not been without its challenges. Sport and performance psychologists work in a variety of settings and often come from similar, yet inherently different, training backgrounds. Individuals from both sport sciences and psychology have made compelling arguments as to which approach provides quality services to their respective clients. The question that remains, however, is what are these quality services? Who are the clients and what do they need from professionals in the field?Collegiate student athletes inherently face a number of typical issues related to their age and development. They also face a number of atypical difficulties as a result of their status as student athletes. As such, they provide an adequate sample of potential presenting issues for sport and performance psychologists. This current study utilized a qualitative, exploratory method to evaluate the presenting issues that brought clients to seek services from professionals.This paper seeks to establish a foundation for the development of a theoretical basis of the psychology of human performance, including both performance and general mental health concerns, and how sport and performance psychologists can most effectively intervene in this process. This paper is based on an analysis of seven years of service delivery within a NCAA Division I athletic department.Results indicate that collegiate student athletes seek services related to performance enhancement and general mental health at relative equal frequency. As such, training and service delivery in both areas would be most beneficial and best serve this population.  

The principles of understanding; an introduction to logic from the standpoint of personal idealism,

Mode of access: Internet.