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.

Nous proposons une logique épistémique quadrivalente AR4.

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.

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.

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

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

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)

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)

(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.

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)

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.

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)

Spectral decomposition techniques can break down the broadband seismic records into a series of frequency components that are useful for seismic interpretation and reservoir characterization. However, it is laborious and time-consuming to analyze and to interpret each seismic frequency volume taking all the usable seismic bandwidth. In this context, we propose a multivariate technique based on independent component analysis with the goal of choosing the spectral components that best represent the whole seismic spectrum while keeping the main geological information. The (...) ICA-based method goes beyond the Gaussian assumption and takes advantage of higher order statistics to find a new set of variables that are independent of each other. The independence between two components is a more general statistical concept than the noncorrelation and, in principle, allows the extraction of more significant information from the data. We have tested four different contrast functions to estimate the independent components, which we could verify a better channel system identification depending on the contrast function used. By stacking the ICs in the red-green-blue color space, we could represent the main information in a single, good quality image. To illustrate the proposed method, we have applied it to a seismic volume which was acquired over the F3 block in the Dutch sector of the North Sea. We also compared the results with those obtained by principal component analysis. In this case, the ICA-based method could generate a better image and faithfully delineate a channel system presented in the studied seismic volume. (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 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)

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)

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 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)

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)

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)

During the last few decades, the concept of primitive accumulation 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 colonial and 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)

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)

Seismic resolution plays an important role in the delineation of structural and stratigraphic features. The resolution improvement directly affects the seismic attributes and, consequently, the interpretation of a given feature. However, the broadband data do not necessarily provide the best insight for seismic attribute evaluation. Particularly, geologic discontinuities, such as karsts, faults, and fractures, can have different seismic expressions according to their intrinsic scales, and, therefore, they are better illuminated in a given frequency range. To extract dissimilar characteristics in different (...) frequency bands, we have combined a recently developed spectral enhancement method based on differential resolution and similarity attributes. The DR algorithm is simultaneously used for frequency enhancement and acting as a pseudofilter, allowing us to compute similarity attributes at different frequency bands. The similarity computation follows the reflector dip of each DR subband and adjusts its analysis window accordingly to the dominant frequency within the subbands. Then, the subband similarities are combined in the red-green-blue-alpha color space, allowing a more detailed view of the geology under investigation. Although more expensive in terms of processing time because of all the steps needed for each subband, the proposed strategy proved to be a great improvement over the conventional procedure of detecting and delineating discontinuities in fault and karst structures when treating seismic data from an offshore carbonate field in Campos Basin, Brazil. (shrink)

O presente trabalho pretende oferecer uma visão geral da vida e das façanhas de Alexandre Magno, do ponto de vista de Pseudo-Calístenes, em sua obra Romance de Alexandre Magno, que serve como ponto de partida para a análise de algumas tradições em relação à figura brilhante de Alexandre e sua apresentação como um rei muito culto e sábio. A imagem de Alexandre Magno nesta obra penetra fundo na imaginação popular. Imagem esta que não é correta historicamente, (...) mas é aquela que o público preferiu. (shrink)

Neste ensaio procuramos responder à pergunta “Por que uma Zona de Investigações Poéticas?”, situando-a no contexto político-educacional de nosso país. Trazemos a noção de Zona Autônoma Temporária anunciada por Hakim Bey, compreendendo a poética como um modo de fazer e a política uma forma de viver-junto. Apresentamos a figura da amizade pelo viés pré-individual, não limitando-a à relação entre sujeitos ou às imagens unitárias de Ego e Grupo. Com Agamben e Ortega pensamos a amizade enquanto experiência poética e política, em (...) que os sujeitos são vaporizados de seus lugares de intimidade, forjados e forçados a outras configurações na relação com o mundo e sob circuitos de afetos diversos. Com Dardot e Laval trazemos a noção de cosmocapitalismo como força colonizadora do inconsciente acadêmico, através do que Bordieu chama de homo academicus. Para além de um Grupo de Pesquisa, a ZIP é defendida como território a ser cartografado e como fantasia de convivência. (shrink)

Identification of structural and stratigraphic components within a hydrocarbon reservoir is essential for the construction of geologic models that represent the facies distribution as accurately as possible. Such construction may represent a challenge for ancient carbonate reservoirs, which exhibit greater heterogeneity than siliciclastic reservoirs. We developed a workflow that incorporated seismic attribute analysis and well log data to highlight structural and architectural elements with the benefit of the understanding the distribution of facies in this features in an Albian offshore carbonate (...) reservoir in Brazil. The proposed workflow combined incoherence, sweetness, and a new approach of spectral decomposition to delineate the main structural and architectural elements in the field. Well log facies and modern analog analyses were used to support the architectural elements’ interpretation. Joulters Cays is an oolitic shoal in the Bahamas that provided a modern analog for the field in study. Three main fault systems, responsible for the rollover structure of the field, were detected with the incoherence attribute. The workflow allowed the interpretation of four main architectural elements in the field: tidal channels, carbonate shoals, reef, and lagoons. Tidal channels and lagoons are mainly composed by wackestone. Carbonate shoals are primarily composed by grainstone with secondary packstone, while the reef crest is composed by packstone. Sequential indicator simulation of well log facies supported these observations. The highlighted architectural elements could be helpful for the construction of a conceptual model of the field or useful as a training image for multiple-point statistics because SIS of well log facies does not define geologic bodies. (shrink)

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)

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)

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.

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)

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)

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)

Of the first six chapters of the Phenomenology of the spirit -- Summary of the course in 1937-1938 -- Philosophy and wisdom -- A note on eternity, time, and the concept -- Interpretation of the third part of chapter VIII -- A dialectic of the real and the phenomenological method in Hegel.

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

I take as my starting point the evident fact that people are capable of modifying their beliefs in response to reasons in the course of deliberation. This fact is sufficient to make notions such as responsibility, blameworthiness, and praiseworthiness applicable to people with regard to their beliefs. If a state is such, and one is such, that one is capable of determining it through one’s best evaluations of reasons in the course of deliberation, then even if it isn’t under one’s (...) voluntary control, it is attributable to one as something for which one is appropriately held accountable. There is thus conceptual space for the possibility of one’s conducting oneself poorly or well with regard to it, and accordingly for the application of praise or criticism. And there is room for an evaluation of whether one has conducted oneself responsibly or irresponsibly – that is, whether one has proceeded in a way that takes proper account of the considerations which one reasonably could have been expected to take account of, or not. (shrink)