State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (shrink)

It is possible to understand the expressive power of a logic as issuing from its capacity to express properties of its models. There are some ways to formally capture whether a property of models is expressible, among them is one based on the notion of definability, and one based on the notion of discrimination. If the logics to be compared are defined within the same class of models, one can employ the notions of definability and discrimination directly to obtain formal (...) conditions for relative expressiveness. This paper studies generalizations of these formal conditions to cases where the compared logics are defined within different classes of models. There have been proposed in the literature formal conditions of two main kinds: with forward and with backward model-mappings. It is shown that none of them is adequate, despite their initial reasonableness. Moreover, we argue that general and reasonable formal conditions for relative expressiveness involving forward mappings are not likely to be found, given that they turn out to be highly dependent on specific features of the compared logics. On the other hand, it will be argued that there is a reasonable formal condition involving backward model-mappings. (shrink)

This paper investigates the question “when is a logic more expressive than another?” In order to approach it, “logic” is understood in the model-theoretic sense and, contrary to other proposals in the literature, it is argued that relative expressiveness between logics is best framed with respect to the notion of expressing properties of models, a notion that can be captured precisely in various ways. It is shown that each precise rendering can give rise to a formal condition for relative expressiveness (...) that has appeared in the literature. Five such conditions are exposed, tested for some properties and compared to each other. As the formal conditions for relative expressiveness have various levels of stringency, some results on lifting some conditions to stricter ones are explored. Finally, a discussion on the properties of these formal conditions is presented. Special attention is given to notion of meaning equivalence, and how one may consider that it holds or not, depending on the weight attributed to logical and non-logical constants in expressiveness comparisons. (shrink)

A pesquisa analisou os possíveis impactos da aplicação de uma sequência didática envolvendo o aplicativo (app) Telegram à prática pedagógica sob a perspectiva da aprendizagem significativa. Este estudo foi desenvolvido no Mestrado Profissional em Educação Profissional e Tecnológica (ProfEPT) em sua linha de pesquisa “Práticas Educativas em Educação Profissional e Tecnológica (EPT). Nesse estudo aplicado de abordagem qualitativa aplicaram-se dois questionários semiestruturados: um aos estudantes da disciplina de empreendedorismo e outro aos docentes do Curso Técnico em Administração no CEDUP Guaramirim. (...) Complementarmente, optou-se para análise dos dados a análise textual discursiva (ATD), categorizando-os pelos conteúdos, procedimentos e atitudes relevantes à prática pedagógica. Ao consolidar os dados, questionou-se: Como o app Telegram pode ser envolvido à prática pedagógica de forma que contribua para uma aprendizagem significativa? Em resposta a indagação, elaborou-se um produto educacional no formato de uma sequência didática, como instrumento que integrou os conhecimentos prévios aos interesses pedagógicos dos discentes, com os desafios e competências docentes envolvendo a TDIC. Os resultados obtidos demonstraram que a participação discente ao incorporar o app Telegram no processo de planejamento e aplicação da prática pedagógica contribuiu para uma aprendizagem democrática, autônoma, criativa e significativa. (shrink)

Psychological approaches to fostering sustainability are heavily focused on individual behaviors and often insufficiently address the physical and social contexts individuals are embedded in. This limits the ability to create meaningful, long-lasting change, as many of day-to-day behaviors are social practices embedded in broader cultural norms and systems. This is particularly true in the work context, where organizational cultures heavily condition both the actions of individual employees and the collective actions of organizations. Thus, we argue cultures, not behaviors, must become (...) the focus of sustainability change efforts. In this paper, we present a theory of change aimed at fostering strong organizational cultures of sustainability (COS) within a high-performance multi-tenant office building. Our theory takes a systems perspective that incorporates the social and physical aspects of the work environment, and views culture change as a co-creative exercise involving engagement of multiple stakeholders. The paper concludes with implications for practice and research. (shrink)

In this paper a proposal by Henkin of a nominalistic interpretation for second and higher-order logic is developed in detail and analysed. It was proposed as a response to Quine’s claim that second and higher-order logic not only are committed to the existence of sets, but also are committed to the existence of more sets than can ever be referred to in the language. Henkin’s interpretation is rarely cited in the debate on semantics and ontological commitments for these logics, though (...) it has many interesting ideas that are worth exploring. The detailed development will show that it employs an early strategy of using substitutional quantification in order to reduce ontological commitments. It will be argued that the perspective adopted for the predicate variables renders it a natural extension of Quine’s nominalistic interpretation for first-order logic. However, we will argue that, with respect to Quine’s nominalistic program and his notion of ontological commitment, still holds and thus Henkin’s interpretation is not nominalistic. Nevertheless, it will be seen that is addressed successfully and this provides further insights on the so-called “Skolem Paradox”. Moreover, the interpretation is ontologically parsimonious and, in this respect, it arguably fares better than a recent proposal by Bob Hale. (shrink)

Taking Kant’s suspicion of the morality as a simple phantom of the mind as a departing point, we are intending to investigate the central role of the moral consciousness, taken here both as the possible source of this illusion so much as the premise through which one can infer the normativity of reason and assure the reality of duty and of our moral experience. Despite the fact this suspicion be somehow inevitable and remains in the philosopher’s mind as a kind (...) of threat, it has been contrasted with a factual perspective of morality – according to which the experience of morality as an unconditional obligation is by itself an evidence of its intrinsic origin in reason. (shrink)

O que somos? Como nos tornamos o que somos? Quais relações de saber-poder atravessam nossas subjetividades? Quais dispositivos e tecnologías foram/são mobilizados em torno das urgências histórico-contemporâneas? Quais outros somos são possíveis diante das estratégias de governamentalidade disciplinares e biopolíticas que marcam a contemporaneidade? O pensamento de Michel Foucault e seu modo crítico de indagação histórica e filosófica possibilitam que interpelemos os processos que nos fizeram e nos fazem ser quem somos, seus mecanismos de assujeitamento e posibilidades de resistências, nos (...) levando a problematizar os processos de subjetivação como efeitos e indicios de relações de poder-saber historicamente constituídas [...]. (shrink)

We aimed to characterize the age of onset of training, age at menarche, menstrual periodicity, and performance perception during the menstrual cycle and examined the impact of these reproductive variables on body composition, morphology, and body weight satisfaction in Brazilian elite futsal players. The study consisted of 115 female Brazilian elite futsal players from the top national teams. Data were collected during the twentieth Women’s Brazil Futsal Cup. Players were interviewed and self-reported their age of onset of training, age at (...) menarche, menstrual periodicity, and the menstrual period, where they performed best. We also asked for what they considered to be their ideal body weight as well as information related to their training. Subsequently, anthropometric measurements were performed to estimate the body composition and determine morphological characteristics. Fifty-nine players were postmenarche-trained and 52 were premenarche-trained. Eighteen, 65, and 28 were classified as early, normal, and late menarche, respectively. Only 11 and 1 had irregular menstrual cycles and were amenorrheic, respectively. Seventy-three, 23, and 9 reported that their game performance was the best at the follicular phase, menses, and luteal phase of the menstrual cycle, respectively. No associations between the four reproductive-related variables were found. Postmenarche-trained players had significant lower age at menarche and higher percentage body fat. The somatotype profile registered lower ectomorphy rate for the postmenarche-trained participants after controlling for covariates. Early menarche group presented higher sum of six skinfold thickness and endomorphy rate compared to normal and late menarche groups. No differences were found when menstrual periodicity groups and best performance groups were compared, except for higher femur width in the regular menstrual cycle group compared to the irregular one. The association between body weight satisfaction and the four reproductive-related variables were not observed. Premenarche-trained Brazilian elite futsal players had the menarche later than the postmenarche-trained athletes. Most of the participants had menarche age classified as “normal,” presented “regular” menstrual cycles and perceived to perform better during the follicular phase of the menstrual cycle. (shrink)