16 resultados para Logic of proofs
em Scielo Saúde Pública - SP
Resumo:
As classificações dos signos de C.S.Peirce começam a ser desenvolvidas em 1865 e se estendem a até, pelo menos, 1909. Vou apresentar o período que tem início em 1865, e possui dois momentos de intensa produção - "On a New List of Categories" e "On the Algebra of Logic: a contribution to the philosophy of notation". Em seguida apresento as dez classes de signos, uma morfologia que aparece no "Syllabus of Certain Topics of Logic", e é desenvolvida a partir de 1903. Meu propósito aqui é familiarizar o leitor com as intrincadas classificações sígnicas de Peirce.
Resumo:
OBJECTIVE To comprehend the perception of body image in adolescence. METHODS A qualitative study was conducted with eight focus groups with 96 students of both sexes attending four public elementary school institutions in the city of Rio de Janeiro, Southeastern Brazil, in 2013. An interview guide with questions about the adolescents’ feelings in relation to: their bodies, standards of idealized beauty, practice of physical exercise and sociocultural influences on self-image. In the data analysis we sought to understand and interpret the meanings and contradictions of narratives, understanding the subjects’ context and reasons and the internal logic of the group. RESULTS Three thematic categories were identified. The influence of media on body image showed the difficulty of achieving the perfect body and is viewed with suspicion in face of standards of beauty broadcast; the importance of a healthy body was observed as standards of beauty and good looks were closely linked to good physical condition and result from having a healthy body; the relationship between the standard of beauty and prejudice, as people who are not considered attractive, having small physical imperfections, are discriminated against and can be rejected or even excluded from society. CONCLUSIONS The standard of perfect body propagated by media influences adolescents’ self-image and, consequently, self-esteem and is considered an unattainable goal, corresponding to a standard of beauty described as artificial and unreal. However, it causes great suffering and discrimination against those who do not feel they are attractive, which can lead to health problems resulting from low self-esteem.
Resumo:
ABSTRACT We propose a model to explain how contract terms are selected in the presence of a form of economic power: contract power. The orange juice sector is used to illustrate an analysis that demonstrates the effects of contract power on the economic organization of the sector. We define contract power as the ability to exploit contractual gaps or failures of contractual provisions, which are strategically left incomplete. Empirical evidence from content analysis of antitrust documents supports the logic of contract power in the orange juice sector in three forms: avoiding changes to payment methods from weight to solid contents (quality); using information asymmetries to manipulate indexes that calculate the formula of orange prices; and deliberately harvesting oranges late in order to dehydrate the fruit, which consequently reduces weight and price. The paper contributes to understanding the selection of contract terms and the debate about how antitrust offices can deal with this issue.
Resumo:
This study aimed to analyze the social representations in the professionals of technical staff, who work with children at USP daycare centers. Eight professionals of the nursing field underwent a semi-structured interview. The interviews were recorded and transcribed in their entirety and the content of the discourse was subjected to thematic-categorical analysis. The categories were transformed into variables and processed by the software Classification Hiérarchique Classificatoire et Cohésitive (CHIC®) and analyzed by the hierarchical similarity tree. The results indicate that actions to promote health are reported as educational and transformative, in which health care gains new meaning through contextualized conceptions in the field of child education. We conclude that professionals attribute new meanings to their practices in the health care environment of daycare centers as their representations shifts from the logic of the biomedical field to a logic of educational care. In this sense, they perceive themselves as being challenged to establish an interaction with the children in terms of their activities related to the promotion of health and in an educational act.
Resumo:
Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC , a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.
Resumo:
"Science as culture" is based on the assumption that science is a valuable component of human culture. We therefore have to build the bridge, in cultural terms, from the scientific community to the common citizen. Teaching science as culture requires the co-construction of knowledge and citizenship. Ways of articulating science/technology with society are invoked, pondering on the ethical ambivalence of such connections. The goals of this reflection are to think about: a) epistemological obstacles that, in favouring the logic of monoculture, oppose the implantation of the science as culture; b) epistemological strategies that point towards a diversity of cultural practices and "constellations" of knowledge leading to the reconfiguration of the being through knowledge; c) imperatives that force us to (re)think the epistemological bases suited to the paradigmatic changes and which translate the dynamics and complexity of the evolution of the frameworks that currently sustain science and school scientific education.
Resumo:
ABSTRACT This paper is an analysis of the manner Nishida Kitarô (1870-1945), in the process of construction of his own philosophy of religion, enters into dialogue with Leibniz's thought concerning Pre-established Harmony. Although the philosophy of religion is an important theme and Nishida goes back to Leibniz at some points in his textual career, there are relatively few studies that touch on the relationship between these two thinkers. I study Nishida's approach under three headings. The first section concerns ten main aspects of the world of pre-established harmony. The second tries to show the manner in which such a world becomes a guide towards a philosophy of religion, placing the emphasis on three characteristically Christian aspects: a created, fallen, and Trinitarian world. The third section includes some elements such as the entrance into religion, metanoia, satori and a comparison between Christian agape and Buddhist maha-kruna. These are themes on which Nishida elaborates in his 1945 masterpiece, The Logic of Basho and a Religious Worldview.
Resumo:
Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or preparatory conditions. According to standard logic of attitudes (Hintikka), human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode.
Resumo:
This paper criticizes the conventional theory of choice for being grounded on a minimal set of rationality axioms. We claim that this theory does not take due account of the fact that agents are driven by motives other than the pursuit of material self-interest. Our departure point is logic of commitments and planned action, which helps us to identify some puzzles in the conventional theory of choice. As a way out, we discuss the Kantian perspective and the notions of metapreference and metaranking. We then build a model of choice which points to the possibility of a systematic treatment of higher order preferences and incommensurable objectives.
Resumo:
Karl Popper versus Theodor Adorno: Lessons from a historical confrontation. In 1961, during the Congress of the German Society of Sociology, two great theoretical references of the XX century faced in a historical debate about the logic of the social sciences. In addition to methodological issues strict sense, the confrontation became known as a debate between positivism and dialectic. The article first deals with the theoretical trajectories of Popper and Adorno and the relation of their theories with their political and ideological certainties. On one hand, the trajectory of the Popperian epistemology is examined, its contributions and vigorous attacks on Marx in what he called 'poverty of historicism" and false predictive Marxist world, and, on the other hand, the role of Adorno in the Frankfurt School, his criticism of totalitarianism and the defense of a critical emancipatory reason. The article also deals with the confrontation itself, the exposure of Popper's twenty-seven theses that culminate with the situation logic and the method of the economy as exemplary for the social sciences and Adorno's critical perspective of sociology and society as non-separable objects. In conclusion we show how the articulation of theory with the weltanschauung of each author helps to clarify the terms of the debate and how the confrontation contributed unequivocally to the dynamics of scientific progress and for the critical history of the ideas.
Resumo:
Modeling of water movement in non-saturated soil usually requires a large number of parameters and variables, such as initial soil water content, saturated water content and saturated hydraulic conductivity, which can be assessed relatively easily. Dimensional flow of water in the soil is usually modeled by a nonlinear partial differential equation, known as the Richards equation. Since this equation cannot be solved analytically in certain cases, one way to approach its solution is by numerical algorithms. The success of numerical models in describing the dynamics of water in the soil is closely related to the accuracy with which the water-physical parameters are determined. That has been a big challenge in the use of numerical models because these parameters are generally difficult to determine since they present great spatial variability in the soil. Therefore, it is necessary to develop and use methods that properly incorporate the uncertainties inherent to water displacement in soils. In this paper, a model based on fuzzy logic is used as an alternative to describe water flow in the vadose zone. This fuzzy model was developed to simulate the displacement of water in a non-vegetated crop soil during the period called the emergency phase. The principle of this model consists of a Mamdani fuzzy rule-based system in which the rules are based on the moisture content of adjacent soil layers. The performances of the results modeled by the fuzzy system were evaluated by the evolution of moisture profiles over time as compared to those obtained in the field. The results obtained through use of the fuzzy model provided satisfactory reproduction of soil moisture profiles.
Resumo:
ABSTRACT 'The Duologue of King/Governor Pāyāsi' ("Long Discourses") has long been recognised as a source for the proto-materialism current at the time of the Buddha. What needs to be stressed is the significance of the text as a pointer to the development of Logic in India. Perception (observation and experiment employing the joint method of agreement and difference), which is an accepted method of experimental enquiry, and reasoning from analogy, which can lead at best to a probable conclusion - these two are the only means employed to settle the dispute concerning the existence of the other-world. The Jain version of the same duologue-cum-parable, though varying in minor details regarding the name and identity of the monk refuting the king/governor, contains the same contrast, namely, perception versus analogical reasoning. There can be little doubt that the original parable was conceived with a view to asserting the existence of the other-world. In the Kaṭha Upaniṣad (sixth century BCE), an earlier Brahmanical text, however, instead of argument by analogy, verbal testimony (śabda) was invoked to settle the same point. Naciketas is assailed by doubt about the existence of a person after his or her death. The authority of Yama, the Pluto of Indian mythology, is invoked to convince him that the other-world does exist. Thus, the three parables taken together exhibit three means of knowledge in operation: verbal testimony and argument by analogy pitted against perception.
Resumo:
The fuzzy logic admits infinite intermediate logical values between false and true. With this principle, it developed in this study a system based on fuzzy rules, which indicates the body mass index of ruminant animals in order to obtain the best time to slaughter. The controller developed has as input the variables weight and height, and as output a new body mass index, called Fuzzy Body Mass Index (Fuzzy BMI), which may serve as a detection system at the time of livestock slaughtering, comparing one another by the linguistic variables "Very Low", "Low", "Average ", "High" and "Very High". For demonstrating the use application of this fuzzy system, an analysis was made with 147 Nellore beeves to determine Fuzzy BMI values for each animal and indicate the location of body mass of any herd. The performance validation of the system was based on a statistical analysis using the Pearson correlation coefficient of 0.923, representing a high positive correlation, indicating that the proposed method is appropriate. Thus, this method allows the evaluation of the herd comparing each animal within the group, thus providing a quantitative method of farmer decision. It was concluded that this study established a computational method based on fuzzy logic that mimics part of human reasoning and interprets the body mass index of any bovine species and in any region of the country.
Resumo:
An Autonomous Mobile Robot battery driven, with two traction wheels and a steering wheel is being developed. This Robot central control is regulated by an IPC, which controls every function of security, steering, positioning localization and driving. Each traction wheel is operated by a DC motor with independent control system. This system is made up of a chopper, an encoder and a microcomputer. The IPC transmits the velocity values and acceleration ramp references to the PIC microcontrollers. As each traction wheel control is independent, it's possible to obtain different speed values for each wheel. This process facilities the direction and drive changes. Two different strategies for speed velocity control were implemented; one works with PID, and the other with fuzzy logic. There were no changes in circuits and feedback control, except for the PIC microcontroller software. Comparing the two different speed control strategies the results were equivalent. However, in relation to the development and implementation of these strategies, the difficulties were bigger to implement the PID control.
Resumo:
This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180º out of phase.