Oppositions in a line segment

Traditional oppositions are at least two-dimensional in the sense that they are built based on a famous bidimensional object called square of oppositions and on one of its extensions such as Blanch\'e's hexagon. Instead of two-dimensional objects, this article proposes a construction to deal with oppositions in a one-dimensional line segment.Comment: This is the version accepted for publication (South American Journal of Logic, 2018

Logics and Their Galaxies

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

Fronteiras contingentes e conhecimento limitado

Este artigo mostra que combinando as noções lógicas de 'contingência' e 'conhecimento' nós podemos formular uma tese cética de acordo com a qual 'o mundo não pode ser conhecido'. Além disso, ele mostra que tal tese é plausível do ponto de vista epistemológico

Cidade, moda, identidade e globalização

Estava a tomar café numa esplanada da Foz, ouvindo sem querer, mas a querer, uma conversa de duas senhoras de voz grave e fumadoras, como deve ser, que apreciavam com olhares gulosos alguns jovens surfistas que entravam e saiam do mar, vestidos com aqueles maravilhosos fatos pretos colados ao corpo. Alguns vestiam-nos ou despiam-nos bem perto de nós. Os cabelos não tinham gel, tinham sal e muitos eram loiros, cor da areia. Um strip masculino, pelo preço de um café! O sol aquecia e sentia-se, naquele princípio de primavera, o seu brilho no mar, o desabrochar da natureza, da sensualidade, do desejo, que a todos, tias, surfistas eu próprio, atingiam

Construções sistêmicas e leis de interação

A partir de uma definição específica de sistema filosófico, este texto apresenta princípios condutores gerais para guiar o filósofo que deseja criar e propor sistemas. Além disso, este artigo mostra como tais complexos conceituais podem ser definidos com o uso de leis interativas, ligando noções de diferentes naturezas e esclarecendo a estrutura lógica dos sistemas filosóficos. Este artigo contém ainda comparações entre a presente abordagem e a recente desenvolvida por Puntel

Geografías afectivas, cuerpos fronterizos: (in)movilidades en La Jaula de Oro

IX Congresso Brasileiro de Hispanistas realizado nos dias 22 a 25 agosto 2016El presente trabajo se propone analizar la película La Jaula de Oro (2013) del director Diego QuemadaDíez. La película nos muestra la trayectoria de los jóvenes Sara, Juan, Samuel y del indio de etnia tzotzil Chauk, que parten de barrios y comunidades marginales de Guatemala rumbo a los Estados Unidos en búsqueda de otras experiencias y perspectivas. Esta comunicación pretende acompañar el desplazamiento emprendido por los personajes que, al atravesar diversos paisajes rurales y barrios periféricos entre Guatemala y la frontera de México con EE.UU., hacen visibles los espacios de adhesión emotiva (Massey, 2015) y las nuevas geografías de la rabia y del miedo (Appadurai, 2006) que componen la cartografía de las regiones “perdedoras” de la actualidad. Más allá del análisis de los espacios atravesados por los personajes, esta comunicación se detendrá en las performances corporales de los protagonistas. El objetivo es observar de qué modo mujeres, inmigrantes y sujetos racializados intentan resistir a los procesos de exclusión de que son objeto, cómo intentan atravesar imaginarios identitarios que hacen que sus cuerpos estén expuestos a diferentes tipos de violenciaUNILA­-UNIOEST

Poder constituinte e democracia : um debate necessário

Artigo que trata sobre a temática do poder constituinte, que tem sido objeto de reflexão por parte de cientistas políticos, juristas e sociólogos desde a sua concepção, esboçada na prática constituinte norte-americana e elaborada por Sièyes no século XVIII no curso da Revolução Francesa

Oppositions in a point

Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which logical oppositions are defined in a line segment, this article goes one step further and proposes a method defining them using a zero-dimensional object: a point

Oppositions in a point

Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which logical oppositions are defined in a line segment, this article goes one step further and proposes a method defining them using a zero-dimensional object: a point

ONTODL+: an ontology description language and its compiler

Dissertação de mestrado em Engenharia InformáticaOntologies are very powerful tools when it comes to handling knowledge. They offer a good solution to exchange, store, search and infer large volumes of information. Throughout the years various solutions for knowledge-based systems use ontologies at their core. OntoDL has been developed as a Domain Specific Language using ANTLR4, to allow for the specification of ontologies. This language has already been used by experts of various fields has a way to use computer-based solutions to solve their problems. In this thesis, included on the second year of the Master degree in Informatics Engineering, OntoDL+ was created as an expansion of the original OntoDL. Both the language and its compiler have been improved. The language was extended to improve usability and productivity for its users, while ensuring an easy to learn and understand language. The compiler was expanded to translate the language specifications to a vaster array of languages, increasing the potential uses of the DSL with the features provided by the languages. The compiler and some examples of the DSL can be downloaded at the website https: //epl.di.uminho.pt/∼gepl/GEPL DS/OntoDL/ created for the application and presented in the final chapters of the thesis.As ontologias são formalismos muito poderosos no que toca a manipulação de conhecimento. Estas oferecem uma boa solução para trocar, armazenar, procurar e inferir grandes volumes de informação. Ao longo dos anos, várias soluções para sistemas baseados em conhecimento usaram ontologias como uma parte central do sistema. A OntoDL é uma Linguagem de Domínio Específico que foi desenvolvida através do uso de ANTLR4, para permitir a especificação de ontologias. Esta linguagem foi já utilizada por especialistas de diversas áreas como forma de utilizar soluções informáticas para resolver os seus problemas. Nesta tese, incluída no segundo ano do Mestrado em Engenharia Informática, OntoDL+ foi criado como uma expansão tanto à linguagem e como ao seu compilador. A linguagem foi extendida para melhorar a usabilidade e produtividade dos seus utilizadores, mantendo se fácil de aprender e perceber. O compilador foi expandido para ser capaz de traduzir as especificações de OntoDL+ para um leque de linguagens mais vasto, aumentando os potenciais usos da DSL através das funcionalidades providenciadas pelas linguagens alvo. O compilador e alguns exemplos da DSL podem ser acedidos no sítio https://epl.di. uminho.pt/∼gepl/GEPL DS/OntoDL/ criado para a aplicação e mostrado nos capítulos finais da tese