Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o (...) de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa. (shrink)

Deontic logic is a branch of symbolic logic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Deontic Logic or KD. In this paper, we will mention some of them and highlight one that is of interest. With this presentation we can propose a simple algebraic model for the Standard Deontic Logic.

The future of awake bruxism assessment will incorporate physiological data, possibly electromyography of the temporal muscles. But up to now, temporal muscle contraction patterns in awake bruxism have not been characterized to demonstrate clinical utility. The present study aimed to perform surface EMG evaluations of people assessed for awake bruxism to identify possible different subtypes. A 2-year active search for people with awake bruxism in three regions of the country resulted in a total of 303 participants. Their inclusion was confirmed (...) through non-instrumental approaches for awake bruxism: self-reported questionnaire and clinical exam, performed by three experienced and calibrated dentists. Also, 77 age- and sex-matched healthy controls were recruited. Temporalis surface EMG was performed with a portable device. EMG signals were sent to a computer via Bluetooth 4.0 at a sampling rate of 1,000 Hz. Digital signal processing was performed using the commercial neuroUP software, transformed in RMS and then normalized for peak detection, in a 10 min session. Cluster analysis revealed three distinct subtypes of awake bruxism: phasic, tonic, and intermediate. Individuals with a predominance of EMG peaks/min were classified as the “phasic” subtype. Those with the highest EMG rest power were classified as the “tonic” subtype. There was also an “intermediate” subtype, when both variables remained low. Characterization of awake bruxism physiology is important for future establishment of instrumental assessment protocols and treatment strategies. (shrink)

resumo: Este artigo tem como foco a influência e o domínio da tecnologia no nosso mundo atual. Através de um acompanhamento da reflexão de Heidegger sobre a técnica, buscamos responder a seguinte questão: o mundo, tomado como subsistência, é ele próprio o resultado de uma visão de mundo? Para alcançar uma resposta, primeiramente interrogamos os delineamentos de mundos, a partir do tema das visões de mundo. Encontramos, assim, o tema da postura humana enquanto elemento principal. Em segundo lugar, acompanhamos a (...) crítica de Heidegger à ciência moderna e à técnica, na qual constatamos uma ambiguidade fundamental na postura da Serenidade. Diante desse contexto, a resposta para o questionamento principal é afirmativa: o mundo enquanto subsistência é o resultado de uma visão de mundo. Contudo, uma inevitável participação do homem na atividade de “armazenamento”, conduz a uma esperança de reversão no processo de dominação da técnica. abstract: This article focuses on the influence and dominance of technique in our world today. By an incursion in Heidegger’s reflection on technique, we seek to answer the following question: is the world itself, taken as subsistence, the result of a worldview? To reach an answer, first, we question the outlining of worlds from the matter of worldviews. We find thus the theme of human posture as the main element. Secondly, we follow Heidegger’s critique of modern science and technique, where we see a fundamental ambiguity in the position of Serenity. In this context, the answer to the main question is affirmative: the world as subsistence is the result of a worldview. However, an inevitable human participation in the activity of “storage” leads to a hope of reversing technique’s domination process. (shrink)

This article investigates the existence of an original Brazilian legal culture. It parts from a critical examination of the key moments in the history of Brazil through the accounts of its most important scholars, such as Caio Prado Júnior, Darcy Ribeiro, Sérgio Buarque de Holanda, Wilson Martins, Oliveira Viana, Roberto Damatta, José Murilo de Carvalho, among others. It identifies in the Brazilian legal culture something one might call tradition of exception, which can be found in many of its most prominent (...) aspects, such as the persistent denial of any general or abstract regulatory standards, the uncritical introduction of foreign doctrines and legal patterns, the maintenance of aristocratic traditions in social life and the historical disregard of the Brazilian people as political subject. The article also offers a reflection on the problems and potentials of the current historic moment, in which for the first time Brazilians face the possibility of a genuine cultural emancipation. (shrink)

In Francesco Berto’s words, the term “Serious Actualism” is used for the position “that any object must exist in every circumstance in which it has any property – the thesis that predication, or the having of properties as such, entails existence.” (“Modal Meinongianism and Fiction: The Best of Three Worlds”, Philosophical Studies 152, 2011, 324f.) Berto agrees with Nathan Salmon that Serious Actualism is “a confused and misguided prejudice” (Salmon, “Nonexistence”, Noûs 32, 1998, 290). The aim of this paper is (...) to defend the doctrine of Serious Actualism against this verdict. (shrink)

States of affairs raise, among others, the following questions: What kind of entity are they (if there are any)? Are they contingent, causally efficacious, spatio-temporal and perceivable entities, or are they abstract objects? What are their constituents and their identity conditions? What are the functions that states of affairs are able to fulfil in a viable theory, and which problems and prima facie counterintuitive consequences arise out of an ontological commitment to them? Are there merely possible (non-actual, non-obtaining) states of (...) affairs? Are there molecular (i.e., negative, conjunctive, disjunctive etc.) states of affairs? Are there modal and tensed states of affairs? (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Presents spiritual reflections, thoughts, stories, and ideas intended to inspire readers to realize the immeasurable value of every moment of life, and to encourage them to conduct their lives accordingly.

Are there nonexistent objects, i.e., objects that do not exist? Some examples often cited are: Zeus, Pegasus, Sherlock Holmes, Vulcan (the hypothetical planet postulated by the 19th century astronomer Le Verrier), the perpetual motion machine, the golden mountain, the fountain of youth, the round square, etc. Some important philosophers have thought that the very concept of a nonexistent object is contradictory (Hume) or logically ill-formed (Kant, Frege), while others (Leibniz, Meinong, the Russell of Principles of Mathematics) have embraced it wholeheartedly. (...) This entry is an examination of the many questions which arise in connection with the view that there are nonexistent objects. The following are particularly salient: What reasons are there (if any) for thinking that there are nonexistent objects? If there are nonexistent objects, then what kind of objects are they? How can they be characterized? Is it possible to provide a consistent theory of nonexistent objects? What is the explanatory force of a consistent theory of nonexistent objects (if such a thing is possible)? (shrink)

In Über Möglichkeit und Wahrscheinlichkeit entwickelt Meinong seine Theorie der unvollständigen Gegenstände. Der Begriff der Unvollständigkeit wird eingeführt mittels expliziter Bezugnahme auf den Satz vom ausgeschlossenen Dritten: Ein Gegenstand ist unvollständig genau dann, wenn für ihn der Satz vom ausgeschlossenen Dritten nicht gilt. M. a. W.: x ist unvollständig, wenn nicht für jede Eigenschaft P gilt, daß x P hat oder daß x P nicht hat. Alle existierenden und bestehenden Gegenstände sind vollständig; Gegenstände wie das Dreieck in abstracto oder der (...) Gegenstand etwas Blaues sollen dagegen unvollständig sein. Meinong unterscheidet zwei Arten der Negation:(Ne) Es ist nicht der Fall, daß x p hat. (Externe Negation)(Ni) X hat nicht-P (Interne Negation)Meinong selbst stellt fest, daß in bezug auf die externe Negation der Satz vom ausgeschlossenen Dritten uneingeschränkt gültig ist. Um zu verstehen, was es heißt, daß ein Gegenstand unvollständig ist, erscheint es daher unumgänglich, Klarheit darüber zu gewinnen, was eigentlich mit der internen Negation zum Ausdruck gebracht wird. Es wird eine Interpretation der internen Negation vorgeschlagen, und es soll gezeigt werden, daß es gemäß dieser Interpretation überhaupt keine Gegenstände gibt, die unvollständig im Sinne Meinongs sind. (shrink)

In diesem Beitrag geht es um die Frage, ob wir aus fiktionalen literarischen Werken etwas lernen können. Können fiktionale literarische Werke uns Wissen vermitteln? Wenn ja, wie ist das möglich, und welche Art von Wissen vermitteln uns fiktionale Werke? Es wird argumentiert, dass fiktionale literarische Werke in der Tat Wissen vermitteln können, und zwar, unter anderem, propositionales Wissen über die “wirkliche Welt”.

In diesem Beitrag geht es um die Frage, ob wir aus fiktionalen literarischen Werken etwas lernen können. Können fiktionale literarische Werke uns Wissen vermitteln? Wenn ja, wie ist das möglich, und welche Art von Wissen vermitteln uns fiktionale Werke? Ich werde argumentieren, dass fiktionale literarische Werke in der Tat Wissen vermitteln können, und zwar, unter anderem, propositionales Wissen über die „wirkliche Welt“.

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

Corporate social responsibility has become a much-discussed subject in the business world. The Internet has become one of the main tools for CSR information disclosure, allowing companies to publicise more information less expensively and faster than ever before. As a result, corporations are increasingly concerned with communicating ethically and responsibly to the diversity of stakeholders through the web. This paper addresses the main question as whether CSR information disclosure on corporate websites is influenced by country of origin and/or industry sector. (...) Analysing the websites of 127 corporations from emerging countries, such as Brazil, Chile, China, India, Indonesia, Mexico, Thailand and South Africa, it becomes evident that both country of origin and industry sector have a significant influence over CSR information disclosure on the web . Based on the data studied, country of origin has a stronger influence over CSRIDOW than industry sector. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

From the early to mid-1970s, Michel Foucault posited that power consists of a relation rather than a substance and that this relation is comprised of unequal forces engaged in a warlike struggle against each other, resulting invariably in the domination of some forces over others. This understanding of power, which he retrospectively dubbed `Nietzsche's hypothesis' and `the model of war', underpinned his well-known analyses of disciplinary power. Yet, Foucault in his Collège de France course from the academic year 1975-6, `Society (...) Must Be Defended', suddenly began to call into question this understanding and his doubts about it did not abate well into the late 1970s. In this article, we suggest that his militant politics in the early 1970s sustained his adherence to the war model and that his more cautious political attitude later in the decade underpinned his suspicions about this model. Key Words: biopolitics • Henri de Boulainvilliers • Michel Foucault • Thomas Hobbes • militancy • F. W. Nietzsche • politics • power • race • war. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

States of affairs raise, among others, the following questions: What kind of entity are they (if there are any)? Are they contingent, causally efficacious, spatio-temporal and perceivable entities, or are they abstract objects? What are their constituents and their identity conditions? What are the functions that states of affairs are able to fulfil in a viable theory, and which problems and prima facie counterintuitive consequences arise out of an ontological commitment to them? Are there merely possible (non-actual, non-obtaining) states of (...) affairs? Are there molecular (i.e., negative, conjunctive, disjunctive etc.) states of affairs? Are there modal and tensed states of affairs? In this volume, these and other questions are addressed by David M. Armstrong, Marian David, Herbert Hochberg, Uwe Meixner, L. Nathan Oaklander, Peter Simons, Erwin Tegtmeier and Mark Textor. (shrink)

O presente artigo examina como a obra historiográfica _Revoluções Cisplatinas_, de 1915, do político, diplomata e historiador Alfredo Augusto Varella, representa tanto disputa política como uma forma de escrita da história sobre a Farroupilha. A partir da hipótese de que na Primeira República, no Rio Grande do Sul, houve uma hegemonia social e política do PRR quer se investigar como a obra de Varella articulou-se com o seu contexto. Portanto, o objetivo é analisar como foi construída a narrativa sobre a (...) Farroupilha no contexto de disputas em torno do borgismo. Para atingir tal objetivo, usa-se o conceito de operação historiográfica de Michel de Certeau, isto é, como a partir de uma análise do lugar social, da prática científica e da escrita do texto pode-se perceber as transformações na escrita da história sobre a Farroupilha. Por fim, percebe-se que a obra analisada foi um objeto tanto de luta política como de virada interpretativa na escrita da Farroupilha. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

For most of the history of prejudice research, negativity has been treated as its emotional and cognitive signature, a conception that continues to dominate work on the topic. By this definition, prejudice occurs when we dislike or derogate members of other groups. Recent research, however, has highlighted the need for a more nuanced and “inclusive” (Eagly 2004) perspective on the role of intergroup emotions and beliefs in sustaining discrimination. On the one hand, several independent lines of research have shown that (...) unequal intergroup relations are often marked by attitudinal complexity, with positive responses such as affection and admiration mingling with negative responses such as contempt and resentment. Simple antipathy is the exception rather than the rule. On the other hand, there is mounting evidence that nurturing bonds of affection between the advantaged and the disadvantaged sometimes entrenches rather than disrupts wider patterns of discrimination. Notably, prejudice reduction interventions may have ironic effects on the political attitudes of the historically disadvantaged, decreasing their perceptions of injustice and willingness to engage in collective action to transform social inequalities.These developments raise a number of important questions. Has the time come to challenge the assumption that negative evaluations are inevitably the cognitive and affective hallmarks of discrimination? Is the orthodox concept of prejudice in danger of side-tracking, if not obstructing, progress towards social justice in a fuller sense? What are the prospects for reconciling a prejudice reduction model of change, designed to get people to like one another more, with a collective action model of change, designed to ignite struggles to achieve intergroup equality? (shrink)

The aim of this paper is an ontological clarification of the concept of artefact. The following questions are addressed: 1. Do artefacts constitute an ontological category of objects in its own right, and if so, how could this category be characterized? 2. How do artefacts come into existence? 3. What kind of artefacts are there, and in which relations do they stand to each other? It is argued that artefacts are characterized essentially through their genesis and that they owe their (...) existence to mental acts of a particular kind, which I call “acts of creation”. It is maintained that there are not only concrete, material artefacts, but also abstract artefacts, that is, artefacts that cannot be perceived through the senses and are not located in space. Furthermore, it shall be claimed that in a sense those abstract artefacts are even primary to the concrete, material artefacts. (shrink)

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)

Kant, los sábados por la tarde -- ¿Andaría en algo Sócrates? -- El álef de "El Aleph" -- La angustia ya no se lleva -- El tango de la muerte -- Los ilotas y la juventud maravillosa -- Los jóvenes en Flores -- El filósofo y la princesa.

Se indagó sobre el desarrollo de la Investigación Acción Participativa en Psicología. Se observó que en América y Europa, esta metodología se utiliza en una variedad de áreas disciplinares, principalmente en la Psicología Comunitaria. Aborda fundamentalmente problemáticas sociales, comunitarias y ps..

ExcerptAt its core, the concept of biopolitics refers to the constitution of the life of a population as the object and objective of politics. Of course, Michel Foucault pioneered this concept in his analyses from the late 1970s, first in his Collège de France course from the academic year 1975–76, “Society Must Be Defended”, and subsequently in the first volume of The History of Sexuality, published in the fall of 1976.1 Taking as his cue the analysis in the latter publication, (...) Giorgio Agamben, in a few highly schematic but rich and provocative passages from the introduction to his now seminal…. (shrink)

Entrevista com o professor Mauro Rêgo Sá Costa para o dossiê Rádio nas Bordas.