This paper analyzes the problem of implication and attempts to characterize conditionals by a criterion of adequacy. A definition of implication based on the notion of limit of an infinite sequence is proposed.

Nous proposons une logique épistémique quadrivalente AR4.

This paper combines a non-contingency logic with an epistemic logic by means of fusions and products of modal systems. Some consequences of these interplays are pointed out.

This article shows that although Fitch’s paradox has been extremely widely studied, up to now no correct formalization of the problem has been proposed. The purpose of this article is to present the paradox front the viewpoint of combining logics. It is argued that the correct minimal logic to state the paradox is composed by a fusion of modal frames, and a fusion of modal languages and logics.

Two kinds of justification logics are studied. Then, this article shows how the notion of quasi-truth can be defined in these systems.

This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...) we study the case of paraconsistentization of propositional classical logic. (shrink)

This is a paper dealing with methodological and foundational issues in the realm of Futures Studies. It provides possible metrics for the temporal coordinate in the cone of plausibility. As a consequence, some adaptable scales to classify levels of future with respect to a certain time interval relevant to measure the future of humanity are suggested.

International Studies in the Philosophy of Science, Volume 25, Issue 2, Page 194-196, June 2011.

Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...) logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed. (shrink)

(2012). Foreword. Journal of Applied Non-Classical Logics: Vol. 22, SPECIAL ISSUE 1: Uses of Non-Classical Logic: Foundational Issues; SPECIAL ISSUE 2: Formal Models of Norm Change, pp. 1-1. doi: 10.1080/11663081.2012.682433.

Universal logic is to logic what universal algebra is to algebra. It is not a specific system of logic that would apply to everything but a general theory of all existing and possible logics. This new field has been slowly emerging through the new directions of research in logic of the past decades and the name was coined 15 years ago. In the Spring of 2005 was organized in Montreux, Switzerland, the First World Congress on Universal Logic. This exciting event (...) gathered more than 200 people from about 40 different countries. Many famous logicians were present there, such as Dov Gabbay, Krister Segerberg, Saul Kripke, Michael Dunn, Jouko Väännänen. Most of the papers in this book arose from talks - and discussions that follow - presented during this event. They are concerned with philosophical and historical approaches discussing the basic concepts of logic and reflecting the meaning of a universal approach to logic, the development and elaboration of general tools in order to construct frameworks useful for studying classes of logics, applications of logics to concrete problems through the universal perspective. (shrink)

This article introduces some concepts that help exploring the ontological import of universal logic. It studies the notions of an antilogic and counterlogic associated to each logic and shows some of their properties. It presents the notion of galaxy, as the class of possible worlds compatible with a given logic.We explore some consequences of these developments.

Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.

This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.

Departing from theories of distributive justice and their relation with the distribution of health care within society, especially egalitarianism and libertarianism, this paper aims at demonstrating that the approach taken by the European Court of Justice regarding the application of the Internal Market principles (or the market freedoms) to the field of health care services has introduced new values which are more concerned with a libertarian view of health care. Moreover, the paper also addresses the question of how these new (...) values introduced by the Court may affect common principles of European health systems, such as equity and accessibility. (shrink)

Departing from theories of distributive justice and their relation with the distribution of health care within society, especially egalitarianism and libertarianism, this paper aims at demonstrating that the approach taken by the European Court of Justice regarding the application of the Internal Market principles (or the market freedoms) to the field of health care services has introduced new values which are more concerned with a libertarian view of health care. Moreover, the paper also addresses the question of how these new (...) values introduced by the Court may affect common principles of European health systems, such as equity and accessibility. (shrink)

Fertility levels have dropped substantially in Latin America in recent decades, fuelled by increased contraceptive use and notably a method mix skewed towards female sterilization. This study examined choice of female sterilization in four Latin American countries: Brazil, Colombia, the Dominican Republic and Peru. Data were drawn from national Demographic and Health Surveys conducted in 1995s reproductive histories to consider the effects of a number of sociodemographic and contextual determinants as they pertained to status at the moment of the event. (...) The results revealed that the likelihood of a womans propensity to choose sterilization. (shrink)

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

During the last few decades, the concept of primitive accumulation (ursprüngliche Akkumulation) introduced by Karl Marx and expanded by Rosa Luxemburg has been revived and improved. Accordingly, scholars have used this framework not to characterize a past moment in the history of capitalism, but to grasp the continuous process of coupling and uncoupling geographical and social spheres in the capital accumulation in different fields: financialization, the care economy, green grabbing, the sharing economy, real estate bubbles, data mining, etc. Despite the (...) quality and productivity of these debates, they are still focused on authors and phenomena observed in the Global North, ignoring a long tradition of similar discussions developed especially in Latin America. The article seeks to decentre these debates by taking seriously into account approaches which address primitive accumulation from the perspective of (post)colonial and (post)slave societies. It coins the concept entangled accumulation to emphasize the interdependencies between practices of exploitation and expropriation, wage and slave labour, state power and illegal violence, and capitalist and non-capitalist economies, which have shaped capital accumulation throughout history. (shrink)

COSTA, Alexandre da. Fundamentos da bioética: estudo sobre o pensamento de Hugo Tristram Engelhardt Jr. FERREIRA, Amauri Carlos. O imaginário religioso e modos de vida urbana: experiência e memória da Juventude Católica em Belo Horizonte – MG, anos 80. GONÇALVES, Davidson Sepini. O Panóptico de Jeremy Bentham: por uma leitura utilitarista. GÓIS, Aurino José. Parque Municipal de Belo Horizonte: público, apropriações e significados. FARIA, Paulo Antônio Couto. Teologia no limiar da filosofia: a modernidade e o encontro fé e (...) razão na obra de Henrique Cláudio de Lima Vaz. (shrink)

AimTo evaluate the cognitive functioning of subjects practicing trance mediumship in Brazil.MethodThe study was based on the measurement of cognitive functions of 19 spirits mediums through neuropsychological tests such as the Brief Cognitive Screening Battery, the Verbal Fluency Test, the digit span test, the cube test, the five digit test and an evaluation of mental health through scales such as the Beck Depression Inventory, the Self-Report Questionnaire, and the Trauma History Questionnaire. The sample included the participation of spirit mediums divided (...) into two groups. The more experienced group with 11 subjects had more than 10 years of mediumistic practice, while the other less experienced group with 8 subjects had 1–5 years of experience. The inclusion criteria were psychophonic mediums with regular trance practices for at least one year. The data collected were analyzed using the SPSS statistical package.ResultsRegarding performance on the BCSB and digit span test, all subjects reached scores at the median or higher in comparison to standardized scores of Brazilians. Scores of 90% on the cube test and 42% on the FAS were reached in comparison to median or higher values, versus the median of standardized scores among Brazilians. On the FDT, we found statistical significance in the choice stage, with higher performance of subjects whose initial age of trance recognition occurred before 21 years old. On the BDI scale, no participant met the criteria for major depression. The SRQ showed an incidence of common mental disorders in 21% of the sample, which was more prevalent in the LEG.ConclusionThe cognitive functioning of subjects who practice trance mediumship in Brazil is associated with cognitive health. Executive dysfunction may be a tendency in LEG. However, an incidence of common mental disorders in the LEG was observed. Executive processing was higher in the subgroup with early practices of recognizing the phenomenon. (shrink)

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

The use of transcranial Electrical Stimulation in the modulation of cognitive brain functions to improve neuropsychiatric conditions has extensively increased over the decades. tES techniques have also raised new challenges associated with study design, stimulation protocol, functional specificity, and dose-response relationship. In this paper, we addressed challenges through the emerging methodology to investigate the dose-response relationship of High Definition-transcranial Direct Current Stimulation, identifying the role of negative valence in tinnitus perception. In light of the neurofunctional testable framework and tES application, (...) hypotheses were formulated to measure clinical and surrogate endpoints. We posited that conscious pairing adequately pleasant stimuli with tinnitus perception results in correction of the loudness misperception and would be reinforced by concurrent active HD-tDCS on the left Dorsolateral Prefrontal Cortex. The dose-response relationship between HD-tDCS specificity and the loudness perception is also modeled. We conducted a double-blind, randomized crossover pilot study with six recruited tinnitus patients. Accrued data was utilized to design a well-controlled adaptive seamless Bayesian dose-response study. The sample size and optimum interims were anticipated for adaptive decision-making about efficacy, safety, and single session dose parameters. Furthermore, preliminary pilot study results were sufficient to show a significant difference within the longitudinally detected self-report tinnitus loudness between before and under positive emotion induction. This study demonstrated a research methodology used to improve emotion regulation in tinnitus patients. In the projected method, positive emotion induction is essential for promoting functional targeting under HD-tDCS anatomical specificity to indicate the efficacy and facilitate the dose-finding process. The continuous updating of prior knowledge about efficacy and dose during the exploratory stage adapts the anticipated dose-response model. Consequently, the effective dose range to make superiority neuromodulation in correcting loudness misperception of tinnitus will be redefined. Highly effective dose adapts the study to a standard randomized trial and transforms it into the confirmatory stage in which active HD-tDCS protocol is compared with a sham trial. Establishing the HD-tDCS intervention protocols relying on this novel method provides reliable evidence for regulatory agencies to approve or reject the efficacy and safety. Furthermore, this paper supports a technical report for designing multimodality data-driven complementary investigations in emotion regulation, including EEG-driven neuro markers, Stroop-driven attention biases, and neuroimaging-driven brain network dynamics. (shrink)

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

O PROBLEMA DO LICENCIAMENTO DE GRANDES EMPREENDIMENTOS PRIVADOS EM FACE DO DIREITO URBANÍSTICO: ANÁLISE DE UM CASO EMBLEMÁTICO NA PERIFERIA DA REGIÃO METROPOLITANA DO RIO DE JANEIRO.

Frame Semantics includes context as a central aspect of the theory. Frames themselves can be regarded as a representation of the immediate context against which meaning is to be construed. Moreover, the notion of frame invocation includes context as one possible source of information comprehenders use to construe meaning. As the original implementation of Frame Semantics, Berkeley FrameNet is capable of providing computational representations of some aspects of context, but not all of them. In this article, we present FrameNet Brasil: (...) a framenet enriched with qualia relations and capable of taking other semiotic modes as input data, namely pictures and videos. We claim that such an enriched model is capable of addressing other types of contextual information in a framenet, namely sentence-level cotext and commonsense knowledge. We demonstrate how the FrameNet Brasil software infrastructure addresses contextual information in both database construction and corpora annotation. We present the guidelines for the construction of two multimodal datasets whose annotations represent contextual information and also report on two experiments: the identification of frame-evoking lexical units in sentences and a methodology for domain adaptation in Neural Machine Translation that leverages frames and qualia for representing sentence-level context. Experimental results emphasize the importance of computationally representing contextual information in a principled structured fashion as opposed to trying to derive it from the manipulation of linguistic form alone. (shrink)

We examine how Frege’s contrast between identity judgments of the forms “a=a” vs. “a=b” would fare in the special case where ‘a’ and ‘b’ are complex mental representations, and ‘a’ stands for an introspected ‘I’-thought. We first argue that the Fregean treatment of I-thoughts entails that they are what we call “one-shot thoughts”: they can only be thought once. This has the surprising consequence that no instance of the “a=a” form of judgment in this specific case comes out true, let (...) alone a priori true. This further reinforces Glezakos’s objections against the set-up of Frege’s puzzle, while also raising what we think is an acute problem for Fregeans, insofar as I-thought (and indexical thinking more generally), understood in their way, turns out to be incompatible with some basic features of rationality. (shrink)

Esse artigo faz parte de um estudo maior sobre Avicena e suas fontes tardo-antigas que visa a analisar a relação entre Avicena, Alexandre de Afrodísia e Temístio no que diz respeito ao intelecto. Há, ainda hoje, uma série de questões discutidas pelos estudiosos relativas à teoria noética de Avicena. Uma dessas questões trata da natureza do intelecto agente e da sua relação com o intelecto humano. Contudo, dada a complexidade dessa relação, as linhas que se seguem consistem na primeira (...) parte da investigação, a qual se restringirá a uma introdução geral ao posicionamento dos três autores quanto à natureza do intelecto produtivo (ou agente). Tendo em vista as diferentes abordagens, dentre elas a identificação da posição tomada por Avicena com aquela encontrada nas obras de Alexandre de Afrodísia e Temístio, analisarei, em linhas gerais, as suas interpretações do De anima 430a10-25 quanto à caracterização e distinção dos intelectos. Por fim, discutirei algumas dificuldades apresentadas por esse tipo de abordagem da questão. (shrink)

The prepositional calculiC n , 1 n introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum''s algebra forC n . C. Mortensen settled the problem, proving that no equivalence relation forC n . determines a non-trivial quotient algebra.The concept of da Costa algebra, which reflects most of the logical properties ofC n , as well as the concept of paraconsistent (...) closure system, are introduced in this paper. (shrink)

O tradicional problema do conhecimento do singular mantém-se hoje em dia: o impasse assinalado por Aristóteles prevalece na maioria das ciências actuais que lidam precisamente com casos particulares, contingentes, imprevisíveis, que escapam ao enquadramento nos modelos categoriais. Este Colóquio sobre O Estatuto do Singular constituiu um desafio para todos aqueles que em diversas áreas filosóficas e científicas se enfrentam com a necessidade de repensar modelos e estratégias aplicáveis ao caso prático, à decisão, à acção, à inovação, à invenção; noções como (...) o incerto, o provável, o casual, o frequente, o diferente, o imprevisível - exigem um novo modo de pensar e uma revisão das formas típicas da racionalidade. O tópico convocou, além da filosofia, uma ampla gama de domínios: desde as ciências e artes médicas, a biologia, até ao direito e às ciências humanas e sociais, passando também pela literatura e a arte. O que se pretendeu foi apresentar uma sinopse de diferentes olhares e perspectivas sobre um ponto de mira comum: «o estatuto do singular» foi o leit motiv para abrir um horizonte de pensamento e de diálogo profícuo e abrangente. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

“Moorean Dogmatist” responses to external world skepticism endorse courses of reasoning that many people find objectionable. This paper seeks to locate this dissatisfaction in considerations about epistemic responsibility. I sketch a theory of immediate warrant and show how it can be combined with plausible “inferential internalist” demands arising from considerations of epistemic responsibility. The resulting view endorses immediate perceptual warrant but forbids the sort of reasoning that “Moorean Dogmatism” would allow. A surprising result is that Dogmatism’s commitment to immediate epistemic (...) warrant isn’t enough to avoid certain standard arguments for skepticism about the external world. (shrink)

This book argues that external world skepticism is false for straightforward reasons. To make this case it develops and defends a neglected methodological approach involving a distinctive process of first-person reflection. We begin within the practices, procedures, and commitments of ordinary life and science. We then seek some reason to think skepticism true, carefully scrutinizing all the most important arguments. Finding no reason to think it true and decisive reasons to think it false, we reject it. As the book shows, (...) this is a fully satisfactory refutation. No epistemological theorizing is needed. The book begins by exploring and defending this method in seminal works of G. E. Moore and J. L. Austin. Turning to contemporary epistemology, it asks why we shouldn't appeal to considerations about the world when responding to skeptical argumentation. No good reason is found, despite exploration of a wide range of central issues in recent epistemology. To the contrary, perfectly ordinary examples indicate that it is correct to reject the skeptical scenarios - the dreaming worry, Descartes' evil demon, the brain-in-a-vat - by appealing to things we know about the world. Likewise, considerations about sensory perception do not provide any reason to think our evidence excludes considerations about the world. Along the way, methodological lessons are drawn from consideration of the most important skeptical arguments in the contemporary literature. The book concludes by defending the satisfactoriness of its approach. What emerges is a new understanding of what philosophical illumination might look like in relation to core epistemological issues. (shrink)

In den vergangenen Jahrzehnten hat die Metapher in der Philosophie zunehmend Beachtung gefunden und wurde zu einem zentralen Thema, mit dem Kant sich in seiner kritischen Philosophie in Begriffen von Analogie und Symbolisierung beschäftigt. Sein Beitrag zur Entwicklung unseres Verständnisses der Rolle, die Bilder, Metaphern und Symbole in theoretischer und praktischer Hinsicht leisten, ist bedeutend; zudem ist Kant selber auch als Schöpfer von Metaphern weithin bekannt. Symbole, Analogien und ästhetische Ideen sind unleugbar metaphorische Verfahren, die eine ebenso grundlegende wie systematische (...) Funktion in Kants philosophischer Sprache einnehmen. – Dieser Sammelband ist das Ergebnis einer neueren Initiative seitens einer internationalen Gruppe von mit Kant befassten Philosophen und Kant-Spezialisten, um die Erforschung von Themen zu befördern, die noch nicht umfassend bearbeitet sind. Das trifft mit Sicherheit auf die „Metapher“-Thematik in Kants Philosophie zu, der der vorliegende Band gewidmet ist. (shrink)